Skip to main content
Les théorèmes portent sur le .agent. Si l’hôte filtre déjà les données selon une règle métier, le programme peut rester sûr mais ne plus rien gouverner.

​
Lancer l’analyse

La commande trouve automatiquement support_router.py et inspecte son AST.

​
Signaux recherchés

Ces signaux sont heuristiques. Filtrer des entrées vides et filtrer des tickets bloqués ont parfois la même forme Python ; l’outil vous demande donc d’expliquer, pas de lui abandonner le jugement.

​
Documenter une dérogation

La justification doit être présente. Elle couvre l’instruction AST entière et apparaît dans le rapport comme une levée assumée.
Une dérogation sans motif ne lève rien. Une justification décrit pourquoi la ligne relève de la plomberie ; elle ne sert pas à masquer une décision connue.

​
Règles pratiques

Dans l’hôte

Décodage de formats, appels I/O, mesures brutes, adaptation de protocoles et effets réels.

Dans le programme

Seuils, priorités, filtres métier, critères de succès, choix de route et interdits.
Les gardes d’absence comme if value is None ne sont pas signalées : vérifier qu’une donnée existe n’est pas décider ce qu’elle vaut.

​
Boucle de correction

  1. déplacez la règle métier dans une expression, une politique ou un plan du .agent ;
  2. faites rendre à l’hôte la donnée brute nécessaire ;
  3. ajoutez un scénario nominal et un contre-factuel ;
  4. relancez boundary, puis test et verify.