tools/symphony-validator）是一個獨立、確定性、唯讀的 C++26 儲存庫檢查工具。它會針對儲存庫及其合約的現行狀態產生不可變的證據。它無法修復或發布任何內容。
Validator 檢查的項目
- 合約形態：必要的 Contract Quad 錨點與結構
- 跨 SKVI 已索引介面的現行來源封閉性
- 依據
knowledge/INVARIANTS.md與不變條件登錄檔的不變條件所有權 - SSFV 所回報的功能管理預期
- SODV 所回報的發布記錄
- 儲存庫 README 中由機器擁有的根摘要
Validator 不做的事
- 不會對儲存庫產生任何副作用
- 不存取網路
- 除了 qxctl 受保護的警告政策之外，不會抑制任何警告
qxctl 整合
qxctl 在套用受保護的警告政策之前，會先驗證 validator 的確切回執與結構化摘要。九個受保護的警告生命週期 qxctl 葉節點指令，加上確切且以回執為依據的根摘要路由，在不改動原始偵測器證據的情況下提供驗證管理功能。相關介面
qxctl validate
受保護的警告政策、基準線與顯示文法。
SSFV
由 validator 檢查的功能管理預期。
SODV
validator 所檢查的發布記錄。
SKV 概觀
validator 所檢查之合約所屬的總括架構。