操作
- inspect と check: 台帳の形状、連続性、エビデンスを検証します。
- propose（v3）: 新しい記録について、呼び出し元が宣言するプロバイダー中立の提案を受け付けます。
- recover: 中断された状態や曖昧な状態から、変更を伴わないリカバリーを実行します。
- project: 要求に応じて台帳状態の使い捨てインベントリを出力します。
受け入れと廃止
受け入れられたすべての SCLV 記録は、書き込まれた時点の現在のインデックス済みエビデンスにバインドされます。後にサーフェスが正当に廃止されても、削除された現在の記述を SKVI に戻すことを強制せずに、不変の履歴上の来歴が保持されます。履歴は履歴のまま、現在の真実は現在のままです。SCLV が行わないこと
- SCLV はソース変更を作成したり承認したりしません。
- SCLV は既存の記録を書き換えません。追記専用です。
- SCLV は何も公開しません。公開プロジェクションは SODV の役割です。
現在のすべての SKV エンジンは、読み取り、クエリ、検証、提案のみを行います。正規 apply は、各エンジンの完全な権限および監査コントラクトが完成するまで無効化されています。
関連するサーフェス
SKVI
SCLV の記録がバインドされる、現在の正規の真実をインデックス化します。
SODV
台帳情報の公式な公開プロジェクションを管理します。
SEV
進化ケースは、SCLV が記録する前に変更を評価します。
qxctl ベクターコマンド
qxctl sclv ... を実行して inspect、check、propose、recover を行います。