modules/accordare-stav-producer) est un producteur Go en chemin glacial, installable indépendamment, destiné au circuit d’audit borné des Named Versions SAV. Il rend durables l’intention préalable à la mutation et la reprise des ajouts, authentifie ses pairs locaux et ne soumet que le candidat sûr exact admis par son vocabulaire fermé. Il n’est pas lui-même l’autorité d’ajout STAV.
Le modèle intention, résultat, reprise
Le producteur suit un modèle en trois étapes pour chaque mutation auditée :1
Intention préalable à la mutation
Enregistrer de manière durable l’intention déclarée de l’appelant avant que toute modification ne devienne observable. Le producteur refuse les candidats situés en dehors de son vocabulaire fermé.
2
Résultat final
Une fois la mutation achevée ou échouée, capturer le résultat exact afin que l’audit reflète la réalité et non un état espéré.
3
Reprise bornée
En cas d’interruption, le producteur effectue une reprise bornée du flux d’ajouts sans inventer de réconciliation ni écarter silencieusement l’intention.
Frontières
- Le vocabulaire du producteur est fermé. Il n’accepte que les candidats d’audit des Named Versions SAV.
- Le producteur fonctionne en chemin glacial. Il ne doit pas devenir une dépendance du chemin critique.
- Le producteur authentifie les pairs locaux ; il n’authentifie pas les appelants distants.
Surfaces associées
STAV
L’autorité d’ajout qui scelle les enregistrements d’audit.
SSIAG
Autorise la mutation auditée par le producteur.
SAV
La sémantique de composition des Named Versions auditée par ce circuit.
Commandes de vecteur qxctl
La grammaire Accordare ratifiée arrivera sous la forme
qxctl accord ... une fois implémentée.