Hopp til hovedinnhold
Symphony Validator (tools/symphony-validator) er en uavhengig, deterministisk og skrivebeskyttet C++26-kontrollør for repositoriet. Den produserer uforanderlig evidens om gjeldende tilstand for repositoriet og kontraktene. Den kan ikke reparere eller publisere noe.

Hva validatoren kontrollerer

  • Kontraktform: påkrevde ankere og struktur i Contract Quad
  • Gjeldende kildelukning på tvers av overflater indeksert av SKVI
  • Eierskap til invarianter i henhold til knowledge/INVARIANTS.md og invariantregisteret
  • Forventninger til funksjonsadministrasjon rapportert av SSFV
  • Utgivelsesposter rapportert av SODV
  • Den maskineide rotoppsummeringen i repositoriets README
Evidens sendes ut som linjeutdata eller strukturert JSON. Hver utsending kan reproduseres fra samme repositorietilstand.

Hva validatoren ikke gjør

Validatoren kan ikke reparere filer, skrive om kontrakter eller publisere repositoriet. Den skaper ikke kanonisk sannhet om noe; den bare rapporterer den.
  • Ingen sideeffekter på repositoriet
  • Ingen nettverkstilgang
  • Ingen undertrykking av advarsler utenfor qxctls beskyttede advarselspolicy

qxctl-integrasjon

qxctl validerer validatorens eksakte kvittering og strukturerte sammendrag før beskyttet advarselspolicy anvendes. Ni beskyttede qxctl-blader for advarselslivssyklus pluss den eksakte, kvitteringsstøttede ruten for rotoppsummering eksponerer valideringsadministrasjon uten å endre rå detektorevidens.

Relaterte overflater

qxctl validate

Grammatikk for beskyttet advarselspolicy, grunnlinje og visning.

SSFV

Forventninger til funksjonsadministrasjon som validatoren kontrollerer.

SODV

Utgivelsesposter som validatoren inspiserer.

SKV-oversikt

Det overordnede rammeverket hvis kontrakter validatoren kontrollerer.
Sist endret 10. oktober 2026