[DTP-Worker 20260812_120139] vérif · classe « affichage arrondi ⟺ gate booléen » FERMÉE repo-wide : preuve d'immunité structurelle de audit_4big (score-au-seuil 95 = quantité UNIQUE affichage+verdict, ≠ financement à 2 quantités divergentes) + note anti-récurrence in-situ → commentaire pur · rebuild byte-identique · sans fix · sans gate

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2026-08-12 12:07:20 +00:00
parent 3849375b66
commit ea8458d63b
2 changed files with 28 additions and 0 deletions
@@ -63,6 +63,13 @@ def score_module(spec: dict, module: dict) -> dict:
            f"Archétype {archetype} sans critère applicable — spec incohérent.")

    score = _round_half_up(100.0 * earned / total)
+    # Quantité UNIQUE par design : le verdict dérive du MÊME `score` arrondi que
+    # celui affiché (jamais d'une note brute parallèle). Immunité structurelle au
+    # bug « barre à 100 % ⟺ gate ouvert » corrigé côté financement_bancaire (là,
+    # `percent` arrondi et `ok` exact étaient DEUX quantités divergentes en bord de
+    # seuil). Ici affichage et gate sont le même entier → ne PAS scinder en
+    # brut-vs-arrondi (ré-introduirait précisément la divergence). Idem INV6/INV7
+    # du générateur, qui recomputent verdict sur ce `score` (pas sur earned/total brut).
    verdict = "PASS" if score >= thresholds["pass_score"] else "FAIL"
    return {
        "id": module["id"],