tools/symphony-validator) est un vérificateur de dépôt C++26 indépendant, déterministe et en lecture seule. Il produit des preuves immuables sur l’état actuel du dépôt et de ses contrats. Il ne peut rien réparer ni publier.
Ce que vérifie le validateur
- La forme des contrats : ancres et structure obligatoires du Contract Quad
- La clôture actuelle des sources sur l’ensemble des surfaces indexées par SKVI
- La propriété des invariants selon
knowledge/INVARIANTS.mdet le registre des invariants - Les attentes en matière d’administration des fonctionnalités signalées par SSFV
- Les enregistrements de versions signalés par SODV
- Le résumé racine détenu par la machine dans le README du dépôt
Ce que le validateur ne fait pas
- Aucun effet secondaire sur le dépôt
- Aucun accès réseau
- Aucune suppression d’avertissements en dehors de la politique d’avertissements protégée de qxctl
Intégration à qxctl
qxctl valide le reçu exact et les condensés structurés du validateur avant d’appliquer la politique d’avertissements protégée. Neuf commandes terminales qxctl protégées de cycle de vie des avertissements, ainsi que la route exacte du résumé racine appuyée par reçu, exposent l’administration de la validation sans modifier les preuves brutes des détecteurs.Surfaces connexes
qxctl validate
Grammaire de la politique d’avertissements protégée, de la base de référence et de l’affichage.
SSFV
Attentes en matière d’administration des fonctionnalités vérifiées par le validateur.
SODV
Enregistrements de versions qu’inspecte le validateur.
Aperçu de SKV
Le cadre global dont le validateur vérifie les contrats.