modules/accordare-stav-producer) es un productor en Go de freezing path, instalable de forma independiente, para el circuito acotado de auditoría de Named Versions de SAV. Mantiene duraderas la intención previa a la mutación y la recuperación de anexiones, autentica a sus pares locales y envía únicamente el candidato seguro exacto admitido por su vocabulario cerrado. No es en sí mismo la autoridad de anexión de STAV.
El patrón de intención, resultado y recuperación
El productor sigue un patrón de tres pasos para cada mutación auditada:1
Intención previa a la mutación
Registra de forma duradera la intención declarada del llamante antes de que cualquier cambio sea observable. El productor rechaza los candidatos que quedan fuera de su vocabulario cerrado.
2
Resultado final
Después de que la mutación se complete o falle, captura el resultado exacto para que la auditoría refleje la realidad y no un estado deseado.
3
Recuperación acotada
Ante una interrupción, el productor realiza una recuperación acotada del flujo de anexiones sin inventar una reconciliación ni descartar la intención en silencio.
Límites
- El vocabulario del productor es cerrado. Solo acepta candidatos de auditoría de Named Versions de SAV.
- El productor es de freezing path. No debe convertirse en una dependencia del hot path.
- El productor autentica a los pares locales; no autentica a llamantes remotos.
Superficies relacionadas
STAV
La autoridad de anexión que sella los registros de auditoría.
SSIAG
Autoriza la mutación que audita el productor.
SAV
La semántica de composición de Named Versions que audita este circuito.
Comandos de vectores de qxctl
La gramática ratificada de Accordare llegará como
qxctl accord ... una vez implementada.