tools/symphony-validator）是一个独立的、确定性的、只读的 C++26 仓库检查器。它生成关于仓库及其契约当前状态的不可变证据。它无法修复或发布任何内容。
验证器检查什么
- 契约结构：必需的 Contract Quad 锚点和结构
- 跨 SKVI 索引表面的当前源闭包
- 依据
knowledge/INVARIANTS.md和不变量注册表的不变量所有权 - SSFV 报告的功能管理预期
- SODV 报告的发布记录
- 仓库 README 中由机器维护的根摘要
验证器不做什么
- 对仓库没有副作用
- 不访问网络
- 除 qxctl 受保护的警告策略外，不抑制任何警告
qxctl 集成
qxctl 在应用受保护的警告策略之前，会验证验证器的确切回执和结构化摘要。九个受保护的警告生命周期 qxctl 叶命令，加上确切的、基于回执的根摘要路由，在不改动原始检测器证据的情况下提供验证管理功能。相关界面
qxctl validate
受保护的警告策略、基线和显示语法。
SSFV
由验证器检查的功能管理预期。
SODV
验证器所检查的发布记录。
SKV 概览
验证器所检查契约所属的总体框架。