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