> ## 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.

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

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

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

Les preuves sont émises sous forme de sortie ligne par ligne 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 de contrats ni publier le dépôt. Il ne crée aucune vérité canonique ; il se contente de la signaler.

* 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

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

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

> [card] [SODV](https://docs.quanux.org/symphony/fr/skv/sodv.md)
>
> Enregistrements de versions inspectés par le validateur.

> [card] [Vue d'ensemble de SKV](https://docs.quanux.org/symphony/fr/skv/overview.md)
>
> Le cadre général dont le validateur vérifie les contrats.


## Related topics

- [SKVI : le moteur d’index du Symphony Knowledge Vector](https://docs.quanux.org/symphony/fr/skv/skvi.md)
- [qxctl validate : politique d’avertissement du validateur Symphony](https://docs.quanux.org/symphony/fr/qxctl/validate.md)
- [Moteurs SHV : sources et graphe du Symphony Hardware Vector](https://docs.quanux.org/symphony/fr/engines/shv-engines.md)
- [STAV : registre d'audit en ajout seul par TOPS pour Symphony](https://docs.quanux.org/symphony/fr/governance/stav.md)
- [Symphony Knowledge Vector : vue d’ensemble du framework SKV](https://docs.quanux.org/symphony/fr/skv/overview.md)


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