SKVI 做什麼
SKVI 執行三項有界操作:- Inspect 與 check:驗證每個 manifest 所宣告的必要介面都恰好被索引一次,並具有穩定的擁有者、真相角色、關係、使用者與投影資格。
- Propose:接受由呼叫者宣告、針對索引變更的不可變提議,但不套用它們。
- Project:為下游使用者輸出目前索引的可拋棄、與摘要綁定的投影。
SKVI 不做的事
SKVI 絕不會決定某項功能是否值得納入,或 manifest 的成員資格。擁有權仍歸屬於各向量的 Contract Quad。SKVI 也不會:- 寫入或改寫標準 Markdown
- 將任何內容發布到公開投影
- 僅因其產生了證據就授予權限
何時使用
在你提議原始碼變更之前,使用 SKVI 確認儲存庫已完整涵蓋,或查看某個特定介面所具有的擁有者與真相角色。其投影會提供給提議審查者、代理情境與驗證器基準使用。SKVI 是僅支援讀取、查詢、驗證與提議的引擎之一。在每個引擎的 SSIAG、預期狀態交易、qxctl 防護機制、STAV 事件、復原與負面測試合約完成之前,所有已批准的向量引擎都將持續停用標準套用。
相關介面
SKV 概覽
治理 SKVI 的總體框架。
SCLV
記錄已完成之重大原始碼變更的僅附加變更帳本。
qxctl 向量命令
執行
qxctl skvi ... 以呼叫 inspect、check 與 propose。驗證器
補充 SKVI 涵蓋範圍的獨立唯讀檢查。