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