> ## Documentation Index
> Fetch the complete documentation index at: https://docs.quanux.org/symphony/llms.txt
> Use this file to discover all available pages before exploring further.

# Validateur Symphony : vérifications du dépôt en lecture seule

> Le validateur Symphony est un vérificateur C++26 en lecture seule qui produit des preuves en lignes ou en JSON pour les contrats, la clôture des sources, les invariants, les fonctionnalités et les versions.

Le validateur Symphony (`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.md` et 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

Les preuves sont émises sous forme de lignes ou de JSON structuré. Chaque émission est reproductible à partir du même état du dépôt.

## Ce que le validateur ne fait pas

> [!WARNING]
>
> Le validateur ne peut pas réparer de fichiers, réécrire des contrats ni publier le dépôt. Il ne crée aucune vérité canonique; il se contente de la signaler.

* 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

> [card] [qxctl validate](https://docs.quanux.org/symphony/fr-CA/qxctl/validate.md)
>
> Grammaire de la politique d’avertissements protégée, de la base de référence et de l’affichage.

> [card] [SSFV](https://docs.quanux.org/symphony/fr-CA/skv/ssfv.md)
>
> Attentes en matière d’administration des fonctionnalités vérifiées par le validateur.

> [card] [SODV](https://docs.quanux.org/symphony/fr-CA/skv/sodv.md)
>
> Enregistrements de versions qu’inspecte le validateur.

> [card] [Aperçu de SKV](https://docs.quanux.org/symphony/fr-CA/skv/overview.md)
>
> Le cadre global dont le validateur vérifie les contrats.


## Related topics

- [qxctl validate : politique d'avertissement du validateur Symphony](https://docs.quanux.org/symphony/fr-CA/qxctl/validate.md)
- [SKVI : le moteur Symphony Knowledge Vector Index](https://docs.quanux.org/symphony/fr-CA/skv/skvi.md)
- [STAV : registre d’audit en ajout seulement par TOPS pour Symphony](https://docs.quanux.org/symphony/fr-CA/governance/stav.md)
- [Moteurs SHV : sources et graphes du Symphony Hardware Vector](https://docs.quanux.org/symphony/fr-CA/engines/shv-engines.md)
- [qxctl : ligne de commande administrative agentique de Symphony](https://docs.quanux.org/symphony/fr-CA/qxctl/overview.md)


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.