tools/symphony-validator）は、独立した、決定論的で読み取り専用の C++26 リポジトリチェッカーです。リポジトリとそのコントラクトの現在の状態について、不変のエビデンスを生成します。何かを修復したり公開したりすることはできません。
Validator がチェックするもの
- コントラクトの形式: 必須の Contract Quad のアンカーと構造
- SKVI でインデックス化されたサーフェス全体にわたる、現在のソースの閉包
knowledge/INVARIANTS.mdと不変条件レジストリに基づく不変条件の所有権- SSFV が報告する機能管理の期待値
- SODV が報告するリリースレコード
- リポジトリの README にある、機械が所有するルートサマリー
Validator が行わないこと
- リポジトリへの副作用はない
- ネットワークアクセスはない
- qxctl の保護された警告ポリシー以外で警告を抑制することはない
qxctl との統合
qxctl は、保護された警告ポリシーを適用する前に、Validator の正確なレシートと構造化されたダイジェストを検証します。保護された 9 つの警告ライフサイクル用 qxctl リーフと、レシートに裏付けられた正確なルートサマリーのルートにより、生の検出結果のエビデンスを変更することなく検証の管理機能が提供されます。関連するサーフェス
qxctl validate
保護された警告ポリシー、ベースライン、表示の文法。
SSFV
Validator がチェックする機能管理の期待値。
SODV
Validator が検査するリリースレコード。
SKV の概要
Validator がそのコントラクトをチェックする包括的なフレームワーク。