Pāriet uz galveno saturu
Symphony Validator (tools/symphony-validator) ir neatkarīgs, determinēts, tikai lasāms C++26 repozitorija pārbaudītājs. Tas sagatavo nemainīgus pierādījumus par repozitorija un tā līgumu pašreizējo stāvokli. Tas neko nevar labot vai publicēt.

Ko pārbauda validators

  • Līgumu formu: nepieciešamos Contract Quad enkurus un struktūru
  • Pašreizējo avotu slēgumu SKVI indeksētajās virsmās
  • Invariantu īpašumtiesības saskaņā ar knowledge/INVARIANTS.md un invariantu reģistru
  • Funkciju administrēšanas sagaidāmās vērtības, par kurām ziņo SSFV
  • Laidienu ierakstus, par kuriem ziņo SODV
  • Mašīnai piederošo saknes kopsavilkumu repozitorija README
Pierādījumi tiek izvadīti kā rindu izvade vai strukturēts JSON. Katra izvade ir reproducējama no tā paša repozitorija stāvokļa.

Ko validators nedara

Validators nevar labot failus, pārrakstīt līgumus vai publicēt repozitoriju. Tas nerada kanonisko patiesību ne par ko; tas tikai par to ziņo.
  • Nekādu blakusefektu repozitorijā
  • Nekādas tīkla piekļuves
  • Nekādas brīdinājumu apspiešanas ārpus qxctl aizsargātās brīdinājumu politikas

qxctl integrācija

qxctl validē validatora precīzo kvīti un strukturētos īssavilkumus, pirms piemēro aizsargāto brīdinājumu politiku. Deviņas aizsargātas brīdinājumu dzīves cikla qxctl lapas (leaves), kā arī precīzais ar kvīti pamatotais saknes kopsavilkuma maršruts nodrošina validācijas administrēšanu, nemainot neapstrādātos detektora pierādījumus.

Saistītās virsmas

qxctl validate

Aizsargātās brīdinājumu politikas, bāzes līnijas un attēlošanas gramatika.

SSFV

Funkciju administrēšanas sagaidāmās vērtības, ko pārbauda validators.

SODV

Laidienu ieraksti, ko pārbauda validators.

SKV pārskats

Vispārējais ietvars, kura līgumus pārbauda validators.
Pēdējoreiz mainīts 2026. gada 10. oktobris