Passer au contenu principal
La grammaire qxctl validate ... administre la politique d’avertissement protégée, la référence et la grammaire d’affichage du validateur Symphony. Le validateur C++ installé de façon indépendante produit des preuves brutes immuables; qxctl administre une présentation protégée neutre quant à l’appelant sans modifier la détection.

Ce que couvre qxctl validate

  • Neuf feuilles protégées du cycle de vie des avertissements
  • La route exacte de résumé racine appuyée par un reçu
  • La gestion de la référence et le rapport des écarts
  • La grammaire d’affichage pour la sortie ligne par ligne et le JSON structuré
Chaque feuille valide le reçu exact et les condensés structurés du validateur avant d’appliquer la politique d’avertissement protégée.

Limites

qxctl validate ne peut ni réparer de fichiers, ni publier quoi que ce soit, ni passer outre aux preuves brutes du détecteur. La disposition des avertissements touche la présentation, et non la détection.
  • Aucune suppression d’avertissement en dehors de la politique protégée
  • Aucune modification de la sortie du validateur
  • Aucune couverture fabriquée pour une route non disponible

Utilisations courantes

  • Établir ou réinitialiser une référence d’avertissements
  • Approuver ou rouvrir un avertissement historique encadré
  • Émettre le résumé racine appuyé par un reçu qui figure dans le README du dépôt
Le validateur qui sous-tend cette grammaire vérifie la forme des contrats, la fermeture de la source courante, la propriété des invariants, l’administration des fonctionnalités, les versions publiées et le résumé racine géré par la machine.

Surfaces connexes

Validateur

Le vérificateur C++ indépendant en lecture seule qu’administre qxctl.

SSFV

Attentes d’administration des fonctionnalités vérifiées dans les preuves.

SODV

Registres de versions publiées qui figurent dans les preuves du validateur.

Aperçu de qxctl

Surface de commandes complète.
Dernière modification le 10 octobre 2026