Saltar al contenido principal
La gramática qxctl validate ... administra la política de advertencias protegida, la línea base y la gramática de visualización del validador de Symphony. El validador en C++, instalado de forma independiente, produce evidencia bruta inmutable; qxctl administra una presentación protegida y neutral respecto a quien llama sin cambiar la detección.

Qué cubre qxctl validate

  • Nueve comandos hoja protegidos del ciclo de vida de advertencias
  • La ruta exacta de resumen raíz respaldada por recibos
  • Gestión de la línea base e informes de diferencias
  • Gramática de visualización para salida por líneas y JSON estructurado
Cada comando hoja valida el recibo exacto y los digests estructurados del validador antes de aplicar la política de advertencias protegida.

Límites

qxctl validate no puede reparar archivos, publicar nada ni anular la evidencia bruta del detector. La disposición de las advertencias afecta a la presentación, no a la detección.
  • No se suprimen advertencias fuera de la política protegida
  • No se modifica la salida del validador
  • No se fabrica cobertura para una ruta no disponible

Usos habituales

  • Establecer o restablecer una línea base de advertencias
  • Aprobar o reabrir una advertencia histórica gobernada
  • Emitir el resumen raíz respaldado por recibos que aparece en el README del repositorio
El validador que sustenta esta gramática comprueba la forma de los contratos, el cierre del código fuente actual, la propiedad de los invariantes, la administración de funcionalidades, las versiones publicadas y el resumen raíz propiedad de la máquina.

Superficies relacionadas

Validador

El comprobador independiente de solo lectura en C++ que administra qxctl.

SSFV

Expectativas de administración de funcionalidades comprobadas en la evidencia.

SODV

Registros de versiones que aparecen en la evidencia del validador.

Descripción general de qxctl

Superficie completa de comandos.
Última modificación el 10 de octubre de 2026