Salt la conținutul principal
Gramatica qxctl validate ... administrează politica protejată de avertismente, referința de bază (baseline) și gramatica de afișare ale Symphony Validator. Validatorul C++ instalat independent produce dovezi brute imuabile; qxctl administrează o prezentare protejată, neutră față de apelant, fără a modifica detecția.

Ce acoperă qxctl validate

  • Nouă frunze protejate pentru ciclul de viață al avertismentelor
  • Ruta exactă de rezumat al rădăcinii, susținută de chitanță
  • Gestionarea referinței de bază și raportarea diferențelor
  • Gramatica de afișare pentru ieșire pe linii și JSON structurat
Fiecare frunză validează chitanța exactă și digest-urile structurate ale validatorului înainte de a aplica politica protejată de avertismente.

Limite

qxctl validate nu poate repara fișiere, nu poate publica nimic și nu poate suprascrie dovezile brute ale detectorului. Dispoziția avertismentelor afectează prezentarea, nu detecția.
  • Nicio suprimare a avertismentelor în afara politicii protejate
  • Nicio modificare a ieșirii validatorului
  • Nicio acoperire fabricată pentru o rută indisponibilă

Utilizări frecvente

  • Stabilirea sau resetarea unei referințe de bază pentru avertismente
  • Aprobarea sau redeschiderea unui avertisment istoric guvernat
  • Emiterea rezumatului rădăcinii susținut de chitanță, care apare în README-ul depozitului
Validatorul care stă la baza acestei gramatici verifică forma contractelor, închiderea sursei curente, proprietatea invarianților, administrarea funcționalităților, versiunile publicate și rezumatul rădăcinii deținut de mașină.

Suprafețe asociate

Validator

Verificatorul C++ independent, doar în citire, pe care îl administrează qxctl.

SSFV

Așteptările de administrare a funcționalităților verificate în dovezi.

SODV

Înregistrările de versiuni care apar în dovezile validatorului.

Prezentare generală qxctl

Suprafața completă de comenzi.
Ultima modificare pe 10 octombrie 2026