tools/symphony-validator) on itsenäinen, deterministinen, vain luku -tyyppinen C++26-repositoriotarkistin. Se tuottaa muuttumatonta näyttöä repositorion ja sen sopimusten nykyisestä tilasta. Se ei voi korjata tai julkaista mitään.
Mitä validaattori tarkistaa
- Sopimusten muoto: vaaditut Contract Quadin ankkurit ja rakenne
- Nykyisten lähteiden sulkeuma SKVI:n indeksoimien pintojen yli
- Invarianttien omistajuus tiedoston
knowledge/INVARIANTS.mdja invarianttirekisterin mukaisesti - SSFV:n raportoimat ominaisuuksien hallinnan odotukset
- SODV:n raportoimat julkaisutietueet
- Koneen omistama juuriyhteenveto repositorion README-tiedostossa
Mitä validaattori ei tee
- Ei sivuvaikutuksia repositorioon
- Ei verkkoyhteyttä
- Ei varoitusten vaimentamista qxctl:n suojatun varoituskäytännön ulkopuolella
qxctl-integraatio
qxctl validoi validaattorin tarkan kuitin ja jäsennellyt tiivisteet ennen suojatun varoituskäytännön soveltamista. Yhdeksän suojattua varoitusten elinkaaren qxctl-lehtikomentoa sekä tarkka, kuittiin perustuva juuriyhteenvetoreitti tuovat validoinnin hallinnan saataville muuttamatta tunnistimen raakaa näyttöä.Liittyvät pinnat
qxctl validate
Suojattu varoituskäytäntö, perustaso ja näyttökielioppi.
SSFV
Validaattorin tarkistamat ominaisuuksien hallinnan odotukset.
SODV
Julkaisutietueet, joita validaattori tarkastelee.
SKV:n yleiskatsaus
Kattokehys, jonka sopimukset validaattori tarkistaa.