tools/symphony-validator) es un comprobador de repositorios C++26 independiente, determinista y de solo lectura. Produce evidencia inmutable sobre el estado actual del repositorio y sus contratos. No puede reparar ni publicar nada.
Lo que comprueba el validador
- Forma de los contratos: anclas y estructura obligatorias del Contract Quad
- Cierre actual de las fuentes en las superficies indexadas por SKVI
- Propiedad de los invariantes según
knowledge/INVARIANTS.mdy el registro de invariantes - Expectativas de administración de funcionalidades informadas por SSFV
- Registros de versiones informados por SODV
- El resumen raíz propiedad de la máquina en el README del repositorio
Lo que el validador no hace
- Ningún efecto secundario en el repositorio
- Ningún acceso a la red
- Ninguna supresión de advertencias fuera de la política de advertencias protegida de qxctl
Integración con qxctl
qxctl valida el recibo exacto del validador y los digests estructurados antes de aplicar la política de advertencias protegida. Nueve hojas de qxctl protegidas del ciclo de vida de advertencias, junto con la ruta exacta del resumen raíz respaldada por recibos, exponen la administración de la validación sin alterar la evidencia sin procesar del detector.Superficies relacionadas
qxctl validate
Gramática de la política de advertencias protegida, la línea base y la visualización.
SSFV
Expectativas de administración de funcionalidades que comprueba el validador.
SODV
Registros de versiones que inspecciona el validador.
Descripción general de SKV
El marco general cuyos contratos comprueba el validador.