SKVI が行うこと
SKVI は 3 つの範囲限定の操作を実行します:- inspect と check: マニフェストで宣言されたすべての必須サーフェスが、安定したオーナー、真実のロール、関係、コンシューマー、プロジェクション適格性とともに、正確に 1 回ずつインデックス化されていることを検証します。
- propose: インデックス変更について、呼び出し元が宣言する不変の提案を、適用せずに受け付けます。
- project: 下流のコンシューマー向けに、現在のインデックスの使い捨てのダイジェスト束縛プロジェクションを出力します。
SKVI が行わないこと
SKVI は、機能としての価値やマニフェストのメンバーシップを決定することはありません。所有権は各ベクターの Contract Quad に残ります。SKVI はまた、次のことも行いません:- 正規の Markdown を書き込む、または書き換える
- 公開プロジェクションに何かを公開する
- エビデンスを生成したというだけで権限を付与する
使用するタイミング
ソース変更を提案する前にリポジトリが完全にカバーされていることを確認する場合や、特定のサーフェスがどのオーナーと真実のロールを持つかを確認する場合に SKVI を使用します。そのプロジェクションは、提案のレビュアー、エージェントのコンテキスト、バリデーターのベースラインに供給されます。SKVI は、読み取り、クエリ、検証、提案を行うエンジンの 1 つです。正規 apply は、各エンジンの SSIAG、期待状態トランザクション、qxctl の保護機構、STAV イベント、リカバリー、ネガティブテストの各コントラクトが完成するまで、承認済みのベクターエンジン全体で引き続き無効化されています。
関連するサーフェス
SKV の概要
SKVI を管理する包括的なフレームワーク。
SCLV
完了した重要なソース変更を記録する追記専用の変更台帳。
qxctl ベクターコマンド
qxctl skvi ... を実行して inspect、check、propose を呼び出します。Validator
SKVI のカバレッジを補完する、独立した読み取り専用のチェック。