modules/accordare-stav-producer) ist ein unabhängig installierbarer Go-Producer auf dem Freezing Path für den abgegrenzten Audit-Kreislauf von SAV Named Versions. Er hält die Absicht vor der Mutation und die Wiederherstellung von Anhängevorgängen dauerhaft fest, authentifiziert seine lokalen Peers und übermittelt nur den exakten sicheren Kandidaten, den sein geschlossenes Vokabular zulässt. Er ist nicht selbst die STAV-Append-Autorität.
Das Muster aus Absicht, Ergebnis und Wiederherstellung
Der Producer folgt für jede auditierte Mutation einem dreistufigen Muster:1
Absicht vor der Mutation
Die erklärte Absicht des Aufrufers dauerhaft erfassen, bevor eine Änderung beobachtbar wird. Der Producer lehnt Kandidaten außerhalb seines geschlossenen Vokabulars ab.
2
Endgültiges Ergebnis
Nachdem die Mutation abgeschlossen ist oder fehlschlägt, das exakte Ergebnis erfassen, damit das Audit die Realität widerspiegelt und nicht einen erhofften Zustand.
3
Abgegrenzte Wiederherstellung
Bei einer Unterbrechung führt der Producer eine abgegrenzte Wiederherstellung des Append-Streams durch, ohne einen Abgleich zu erfinden oder Absichten stillschweigend zu verwerfen.
Grenzen
- Das Vokabular des Producers ist geschlossen. Er akzeptiert nur Audit-Kandidaten für SAV Named Versions.
- Der Producer arbeitet auf dem Freezing Path. Er darf nicht zu einer Hot-Path-Abhängigkeit werden.
- Der Producer authentifiziert lokale Peers; entfernte Aufrufer authentifiziert er nicht.
Verwandte Oberflächen
STAV
Die Append-Autorität, die Audit-Einträge versiegelt.
SSIAG
Autorisiert die Mutation, die der Producer auditiert.
SAV
Die Kompositionssemantik der Named Versions, die dieser Kreislauf auditiert.
qxctl-Vektorbefehle
Die ratifizierte Accordare-Grammatik erscheint nach der Implementierung als
qxctl accord ....