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 を呼び出します。バリデーター
SKVI のカバレッジを補完する、独立した読み取り専用のチェック。