tools/symphony-validator) este un verificator de depozit C++26 independent, determinist și doar pentru citire. Acesta produce dovezi imuabile despre starea curentă a depozitului și a contractelor sale. Nu poate repara și nu poate publica nimic.
Ce verifică validatorul
- Forma contractelor: ancorele și structura obligatorii ale Contract Quad
- Închiderea curentă a surselor pe suprafețele indexate de SKVI
- Proprietatea asupra invarianților conform
knowledge/INVARIANTS.mdși registrului de invarianți - Așteptările privind administrarea funcționalităților raportate de SSFV
- Înregistrările de lansare raportate de SODV
- Rezumatul rădăcină deținut automat din README-ul depozitului
Ce nu face validatorul
- Niciun efect secundar asupra depozitului
- Niciun acces la rețea
- Nicio suprimare a avertismentelor în afara politicii protejate de avertismente a qxctl
Integrarea cu qxctl
qxctl validează chitanța exactă și digesturile structurate ale validatorului înainte de a aplica politica protejată de avertismente. Nouă comenzi finale qxctl protejate pentru ciclul de viață al avertismentelor, plus ruta exactă a rezumatului rădăcină susținută de chitanță, expun administrarea validării fără a modifica dovezile brute ale detectorului.Suprafețe asociate
qxctl validate
Gramatica politicii protejate de avertismente, a liniei de bază și a afișării.
SSFV
Așteptările privind administrarea funcționalităților verificate de validator.
SODV
Înregistrările de lansare pe care le inspectează validatorul.
Prezentarea generală SKV
Cadrul general ale cărui contracte le verifică validatorul.