tools/symphony-validator) je nezávislý, deterministický nástroj v C++26 pro kontrolu repozitáře pouze pro čtení. Vytváří neměnné důkazy o aktuálním stavu repozitáře a jeho kontraktů. Nemůže nic opravovat ani publikovat.
Co validátor kontroluje
- Tvar kontraktů: požadované kotvy a strukturu Contract Quad
- Aktuální uzávěr zdrojů napříč povrchy indexovanými SKVI
- Vlastnictví invariantů podle
knowledge/INVARIANTS.mda registru invariantů - Očekávání správy funkcí hlášená SSFV
- Záznamy o vydáních hlášené SODV
- Strojově vlastněné kořenové shrnutí v README repozitáře
Co validátor nedělá
- Žádné vedlejší účinky na repozitář
- Žádný přístup k síti
- Žádné potlačování varování mimo chráněnou politiku varování qxctl
Integrace s qxctl
qxctl před uplatněním chráněné politiky varování validuje přesné potvrzení validátoru a strukturované digesty. Devět chráněných listových příkazů qxctl pro životní cyklus varování a přesná cesta pro kořenové shrnutí podložená potvrzením zpřístupňují správu validace, aniž by měnily surové důkazy detektoru.Související povrchy
qxctl validate
Gramatika chráněné politiky varování, základní linie a zobrazení.
SSFV
Očekávání správy funkcí kontrolovaná validátorem.
SODV
Záznamy o vydáních, které validátor kontroluje.
Přehled SKV
Zastřešující rámec, jehož kontrakty validátor kontroluje.