Saltar al contingut principal
La gramàtica qxctl validate ... administra la política d’avisos protegida, la línia de base i la gramàtica de visualització del Symphony Validator. El validador en C++ instal·lat de manera independent produeix evidència en brut immutable; qxctl administra una presentació protegida neutral respecte a l’invocador sense canviar la detecció.

Què cobreix qxctl validate

  • Nou fulles protegides del cicle de vida dels avisos
  • La ruta exacta de resum de l’arrel recolzada per rebut
  • Gestió de la línia de base i informes de diferències
  • Gramàtica de visualització per a sortida per línies i JSON estructurat
Cada fulla valida el rebut exacte i els digests estructurats del validador abans d’aplicar la política d’avisos protegida.

Límit

qxctl validate no pot reparar fitxers, publicar res ni anul·lar l’evidència en brut dels detectors. La disposició dels avisos afecta la presentació, no la detecció.
  • Cap supressió d’avisos fora de la política protegida
  • Cap modificació de la sortida del validador
  • Cap cobertura inventada per a una ruta no disponible

Usos habituals

  • Establir o restablir una línia de base d’avisos
  • Aprovar o reobrir un avís històric governat
  • Emetre el resum de l’arrel recolzat per rebut que apareix al README del repositori
El validador en què es basa aquesta gramàtica comprova la forma dels contractes, el tancament del codi font actual, la propietat dels invariants, l’administració de funcionalitats, les versions publicades i el resum de l’arrel propietat de la màquina.

Superfícies relacionades

Validador

El verificador independent en C++ de només lectura que administra qxctl.

SSFV

Expectatives d’administració de funcionalitats comprovades a l’evidència.

SODV

Registres de versions publicades que apareixen a l’evidència del validador.

Visió general de qxctl

Superfície d’ordres completa.
Darrera modificació el 10 d’octubre del 2026