modules/accordare-stav-producer) é um produtor Go de freezing path, instalável de forma independente, para o circuito delimitado de auditoria de Named Versions do SAV. Mantém duráveis a intenção prévia à mutação e a recuperação dos acréscimos, autentica os seus pares locais e submete apenas o candidato seguro exato admitido pelo seu vocabulário fechado. Não é, ele próprio, a autoridade de acréscimo do STAV.
O padrão intenção, resultado, recuperação
O produtor segue um padrão de três passos para cada mutação auditada:1
Intenção prévia à mutação
Registar de forma durável a intenção declarada pelo chamador antes de qualquer alteração se tornar observável. O produtor recusa candidatos fora do seu vocabulário fechado.
2
Resultado terminal
Depois de a mutação ser concluída ou falhar, capturar o resultado exato para que a auditoria reflita a realidade e não um estado desejado.
3
Recuperação delimitada
Em caso de interrupção, o produtor efetua uma recuperação delimitada do fluxo de acréscimos sem inventar uma reconciliação nem descartar silenciosamente a intenção.
Fronteiras
- O vocabulário do produtor é fechado. Aceita apenas candidatos de auditoria de Named Versions do SAV.
- O produtor é de freezing path. Não pode tornar-se uma dependência do hot path.
- O produtor autentica pares locais; não autentica chamadores remotos.
Superfícies relacionadas
STAV
A autoridade de acréscimo que sela os registos de auditoria.
SSIAG
Autoriza a mutação que o produtor audita.
SAV
A semântica de composição das Named Versions que este circuito audita.
Comandos de vetor do qxctl
A gramática ratificada do Accordare chegará como
qxctl accord ... quando for implementada.