modules/accordare-stav-producer) és un productor en Go de camí de congelació, instal·lable de manera independent, per al circuit acotat d’auditoria de les Named Versions de SAV. Manté durables la intenció prèvia a la mutació i la recuperació de les addicions, autentica els seus iguals locals i només envia el candidat segur exacte admès pel seu vocabulari tancat. No és l’autoritat d’addició de STAV en si mateixa.
El patró d’intenció, resultat i recuperació
El productor segueix un patró de tres passos per a cada mutació auditada:1
Intenció prèvia a la mutació
Registra de manera durable la intenció declarada de l’invocador abans que cap canvi sigui observable. El productor rebutja els candidats que queden fora del seu vocabulari tancat.
2
Resultat terminal
Quan la mutació es completa o falla, captura el resultat exacte perquè l’auditoria reflecteixi la realitat i no un estat desitjat.
3
Recuperació acotada
En cas d’interrupció, el productor fa una recuperació acotada del flux d’addicions sense inventar cap reconciliació ni descartar silenciosament la intenció.
Límits
- El vocabulari del productor és tancat. Només accepta candidats d’auditoria de Named Versions de SAV.
- El productor és de camí de congelació. No s’ha de convertir en una dependència del camí crític.
- El productor autentica iguals locals; no autentica invocadors remots.
Superfícies relacionades
STAV
L’autoritat d’addició que segella els registres d’auditoria.
SSIAG
Autoritza la mutació que audita el productor.
SAV
La semàntica de composició de les Named Versions que audita aquest circuit.
Ordres de vectors de qxctl
La gramàtica ratificada d’Accordare arribarà com a
qxctl accord ... quan s’implementi.