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 ... として提供されます。