modules/accordare-stav-producer）は、範囲を限定した SAV Named Version 監査回路のための、個別にインストール可能なフリージングパスの Go プロデューサーです。変更前のインテントと追記のリカバリーを永続化し、ローカルピアを認証し、閉じた語彙によって受け入れられた正確で安全な候補のみを送信します。STAV の追記権限そのものではありません。
インテント、結果、リカバリーのパターン
プロデューサーは、監査対象のすべての変更に対して 3 ステップのパターンに従います。1
変更前のインテント
変更が観測可能になる前に、呼び出し元が表明したインテントを永続的に記録します。プロデューサーは、閉じた語彙に含まれない候補を拒否します。
2
最終的な結果
変更が完了または失敗した後、正確な結果を取得し、監査が期待された状態ではなく実際の状態を反映するようにします。
3
範囲を限定したリカバリー
中断が発生した場合、プロデューサーは調整を作り出したりインテントを黙って破棄したりすることなく、追記ストリームの範囲を限定したリカバリーを実行します。
境界
- プロデューサーの語彙は閉じています。SAV Named Version の監査候補のみを受け付けます。
- プロデューサーはフリージングパスです。ホットパスの依存関係になってはなりません。
- プロデューサーはローカルピアを認証しますが、リモートの呼び出し元は認証しません。
関連するサーフェス
STAV
監査レコードを封印する追記権限。
SSIAG
プロデューサーが監査する変更を認可します。
SAV
この回路が監査する Named Version の合成セマンティクス。
qxctl ベクターコマンド
承認済みの Accordare の文法は、実装され次第
qxctl accord ... として提供されます。