tools/symphony-validator) er en uafhængig, deterministisk, skrivebeskyttet C++26-kontrol af repositoriet. Den producerer uforanderlig evidens om den aktuelle tilstand af repositoriet og dets kontrakter. Den kan ikke reparere eller publicere noget.
Hvad validatoren kontrollerer
- Kontraktform: påkrævede ankre og struktur i Contract Quad
- Aktuel kildelukning på tværs af SKVI-indekserede overflader
- Ejerskab af invarianter i henhold til
knowledge/INVARIANTS.mdog invariantregistret - Forventninger til funktionsadministration rapporteret af SSFV
- Udgivelsesposter rapporteret af SODV
- Den maskinejede rodoversigt i repositoriets README
Hvad validatoren ikke gør
- Ingen bivirkninger på repositoriet
- Ingen netværksadgang
- Ingen undertrykkelse af advarsler uden for qxctl’s beskyttede advarselspolitik
qxctl-integration
qxctl validerer validatorens præcise kvittering og strukturerede digests, før den beskyttede advarselspolitik anvendes. Ni beskyttede qxctl-blade til advarselslivscyklus samt den præcise, kvitteringsunderstøttede rute til rodoversigten eksponerer valideringsadministration uden at ændre detektorens rå evidens.Relaterede overflader
qxctl validate
Grammatik for beskyttet advarselspolitik, baseline og visning.
SSFV
Forventninger til funktionsadministration, som validatoren kontrollerer.
SODV
Udgivelsesposter, som validatoren inspicerer.
SKV-oversigt
Det overordnede framework, hvis kontrakter validatoren kontrollerer.