modules/accordare-stav-producer) est un producteur Go à 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
Consigner de façon durable l’intention déclarée de l’appelant avant que toute modification ne devienne observable. Le producteur refuse les candidats qui sortent de son vocabulaire fermé.
2
Résultat final
Une fois la mutation terminée ou échouée, saisir 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 rapprochement ni écarter l’intention en silence.
Frontières
- Le vocabulaire du producteur est fermé. Il n’accepte que les candidats d’audit des Named Versions SAV.
- Le producteur est à 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 connexes
STAV
L’autorité d’ajout qui scelle les enregistrements d’audit.
SSIAG
Autorise la mutation qu’audite le producteur.
SAV
La sémantique de composition des Named Versions qu’audite ce circuit.
Commandes de vecteurs qxctl
La grammaire Accordare ratifiée arrivera sous la forme
qxctl accord ... une fois implémentée.