tools/symphony-validator) är en oberoende, deterministisk, skrivskyddad C++26-kontroll av repositoriet. Den producerar oföränderlig evidens om det aktuella tillståndet för repositoriet och dess kontrakt. Den kan inte reparera eller publicera någonting.
Vad validatorn kontrollerar
- Kontraktsform: obligatoriska ankare och struktur för Contract Quad
- Aktuell källslutenhet över ytor som indexeras av SKVI
- Ägande av invarianter enligt
knowledge/INVARIANTS.mdoch invariantregistret - Förväntningar på funktionsadministration som rapporteras av SSFV
- Releaseposter som rapporteras av SODV
- Den maskinägda rotsammanfattningen i repositoriets README
Vad validatorn inte gör
- Inga sidoeffekter på repositoriet
- Ingen nätverksåtkomst
- Ingen undertryckning av varningar utanför qxctl:s skyddade varningspolicy
qxctl-integration
qxctl validerar validatorns exakta kvitto och strukturerade sammandrag innan skyddad varningspolicy tillämpas. Nio skyddade qxctl-löv för varningslivscykeln plus den exakta kvittobaserade rutten för rotsammanfattningen exponerar valideringsadministration utan att ändra detektorns råa evidens.Relaterade ytor
qxctl validate
Grammatik för skyddad varningspolicy, baslinje och visning.
SSFV
Förväntningar på funktionsadministration som kontrolleras av validatorn.
SODV
Releaseposter som validatorn inspekterar.
SKV-översikt
Det övergripande ramverket vars kontrakt validatorn kontrollerar.