Spring til hovedindhold
Accordare STAV-produceren (modules/accordare-stav-producer) er en uafhængigt installerbar Go-producer på freezing path til det afgrænsede revisionskredsløb for SAV Named Versions. Den holder intention før mutation og gendannelse af tilføjelser holdbare, autentificerer sine lokale peers og indsender kun den præcise, sikre kandidat, som dens lukkede ordforråd tillader. Den er ikke selv STAV’s tilføjelsesmyndighed.

Mønstret intention, udfald, gendannelse

Produceren følger et mønster i tre trin for hver revideret mutation:
1

Intention før mutation

Registrér kalderens erklærede intention holdbart, før nogen ændring bliver observerbar. Produceren afviser kandidater uden for sit lukkede ordforråd.
2

Endeligt udfald

Når mutationen er fuldført eller mislykket, indfanges det præcise udfald, så revisionen afspejler virkeligheden og ikke en ønsket tilstand.
3

Afgrænset gendannelse

Ved afbrydelse udfører produceren en afgrænset gendannelse af tilføjelsesstrømmen uden at opfinde en afstemning eller i det stille kassere intentionen.

Grænser

Accordare-produceren er ikke STAV’s tilføjelsesmyndighed. Den autentificerer lokale peers og indsender kandidater; tilføjelsesmyndigheden validerer, forsegler og lagrer dem holdbart. Gå aldrig uden om denne adskillelse.
  • Producerens ordforråd er lukket. Den accepterer kun revisionskandidater for SAV Named Versions.
  • Produceren kører på freezing path. Den må ikke blive en hot path-afhængighed.
  • Produceren autentificerer lokale peers; den autentificerer ikke fjerne kaldere.

Relaterede overflader

STAV

Tilføjelsesmyndigheden, der forsegler revisionsposter.

SSIAG

Autoriserer den mutation, som produceren reviderer.

SAV

Sammensætningssemantikken for Named Versions, som dette kredsløb reviderer.

qxctl-vector-kommandoer

Den ratificerede Accordare-grammatik kommer som qxctl accord ..., når den er implementeret.
Sidst ændret 10. oktober 2026