メインコンテンツへスキップ
Symphony TOPS Audit Vector（STAV）は、TOPS ごとの追記専用監査台帳のプロトコルを定義します。そのランタイム権限は、個別にインストール可能な Go サービスである modules/stav-append-authority にあります。TOPS ごとの運用台帳は各 TOPS インストールに固有の非公開のものであり、SKV のコンテンツではありません。

STAV 追記権限

modules/stav-append-authority は次のものを提供します。
  • TOPS ごとの追記専用監査台帳
  • 相互認証されたローカル IPC
  • 厳密なプロデューサーおよびリーダーの権限付与
  • レシート発行前の fsync による永続性
  • 範囲が限定された読み取り、検証、リカバリー
  • 登録とネイティブな監視（launchd、systemd）
qxctl が生の追記権限を受け取ることはありません。qxctl はモジュールが所有する厳密なアダプターを通じて登録、検証、権限付与を調整しますが、台帳への追記は追記権限プロセスの内部に封じ込められたままです。

Go 向け STAV プロトコル

libraries/stav-protocol-go は、権限を持たない Go ライブラリであり、正規の STAV v1 コーデック、厳密な検証、ダイジェスト、フレーミング、適合性ルール、閉じたプロデューサー語彙を実装しています。どのプロデューサーやリーダーも、権限を継承することなくこのプロトコルを採用できます。

完了した SODV の公開

現在 SODV を通じて公開されているすべての STAV 成果物は、バイナリリリースではなく Go ソースモジュールのバージョンです。
  • libraries/stav-protocol-go v0.2.0
  • modules/stav-append-authority v0.1.0
  • modules/stav-append-authority v0.2.0

関連するサーフェス

SSIAG

保護された変更を認可し、STAV がそれを監査します。

Accordare プロデューサー

変更前のインテントと最終的な結果を STAV に送出します。

qxctl lifecycle

STAV の登録と組み合わせて動作するライフサイクル管理。

SODV

STAV コンポーネントの公式な公開レコードを管理します。
最終更新日 2026年10月10日