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 à travers les surfaces indexées par SKVI
- La propriété des invariants selon
knowledge/INVARIANTS.mdet le registre des invariants - Les attentes 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 de bord 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 avec 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 feuilles qxctl protégées du cycle de vie des avertissements, ainsi que la route exacte du résumé racine adossée à un reçu, exposent l’administration de la validation sans altérer les preuves brutes du détecteur.Surfaces associées
qxctl validate
Grammaire de la politique d’avertissements protégée, de la ligne de base et de l’affichage.
SSFV
Attentes d’administration des fonctionnalités vérifiées par le validateur.
SODV
Enregistrements de versions inspectés par le validateur.
Vue d'ensemble de SKV
Le cadre général dont le validateur vérifie les contrats.