Langsung ke konten utama
Accordare STAV producer (modules/accordare-stav-producer) adalah producer Go freezing path yang dapat dipasang secara independen untuk sirkuit audit Named Version SAV yang terbatas. Producer ini menjaga intent pra-mutasi dan pemulihan append tetap tahan lama, mengautentikasi peer lokalnya, dan hanya mengirimkan kandidat aman yang eksak yang diterima oleh kosakata tertutupnya. Producer ini bukan otoritas append STAV itu sendiri.

Pola intent, hasil, pemulihan

Producer mengikuti pola tiga langkah untuk setiap mutasi yang diaudit:
1

Intent pra-mutasi

Catat intent yang dinyatakan pemanggil secara tahan lama sebelum perubahan apa pun dapat diamati. Producer menolak kandidat di luar kosakata tertutupnya.
2

Hasil terminal

Setelah mutasi selesai atau gagal, tangkap hasil yang eksak sehingga audit mencerminkan kenyataan, bukan status yang diharapkan.
3

Pemulihan terbatas

Saat terjadi gangguan, producer melakukan pemulihan terbatas atas aliran append tanpa mengarang rekonsiliasi atau membuang intent secara diam-diam.

Batasan

Accordare producer bukan otoritas append STAV. Producer mengautentikasi peer lokal dan mengirimkan kandidat; otoritas append memvalidasi, menyegel, dan menyimpannya secara tahan lama. Jangan pernah mengakali pemisahan ini.
  • Kosakata producer bersifat tertutup. Producer hanya menerima kandidat audit Named Version SAV.
  • Producer bersifat freezing path. Producer tidak boleh menjadi dependensi hot path.
  • Producer mengautentikasi peer lokal; producer tidak mengautentikasi pemanggil jarak jauh.

Permukaan terkait

STAV

Otoritas append yang menyegel catatan audit.

SSIAG

Mengotorisasi mutasi yang diaudit oleh producer.

SAV

Semantik komposisi Named Version yang diaudit oleh sirkuit ini.

Perintah vektor qxctl

Tata bahasa Accordare yang telah diratifikasi hadir sebagai qxctl accord ... setelah diimplementasikan.
Terakhir diubah pada 10 Oktober 2026