PD-273 — Dossier de conformité Gate 3 (CONFORMITY_CHECK v1)¶
Documents de référence¶
- Spécification :
PD-273-specification.md - Tests :
PD-273-tests.md - Review P1 (Claude) :
PD-273-review-step3.md - Confrontation P2 :
PD-273-confrontation-step3.md
Écarts consolidés¶
MAJEUR (1)¶
MAJ-01 — Dépendance baseline non garantie - Type : AMB (ambiguïté) - Source : Review P1 point 4, confirmé par confrontation P2 - Description : L'hypothèse H-273-01 rend toute la spec dépendante d'une baseline (3 PARTIEL + 21 OK) non vérifiée automatiquement au démarrage - Impact : Si la baseline change entre rédaction et exécution, les bornes numériques deviennent invalides - Recommandation : Acceptable car documentée explicitement dans les hypothèses (section 9). La baseline est vérifiable par exécution du rapport PV-AUDIT-001 avant les modifications.
MINEUR (2)¶
MIN-01 — TC-NOM-273-04 incomplet isolément - Type : ECT (écart test) - Source : Review P1 point 2, partiellement confirmé - Description : TC-NOM-273-04 vérifie la cardinalité (3/3) mais pas les noms des checks. Couvert par TC-NOM-273-01/02/03 en complément. - Impact : Négligeable (couverture totale avec les 4 tests)
MIN-02 — TC-NOM-273-06 nécessite setup bi-phase - Type : ECT (écart test) - Source : Review P1 point 7, partiellement confirmé - Description : Le test de transition PARTIEL→OK nécessite 2 exécutions successives - Impact : Complexité de setup, pas un défaut de testabilité
Faux positifs identifiés (7)¶
| # | Écart P1 | Raison de rejet |
|---|---|---|
| 1 | Ambiguïtés terminologiques | Checks nominativement identifiés dans spec F1/F2/F3 et CA-273-01/02/03 |
| 3 | Invariants non testables | "Audit formel" = Prolog déterministe, pas subjectif |
| 5 | Stack non contrainte | Scope = conformité Prolog, pas feature backend |
| 6 | Timestamps hors périmètre | Métadonnées traçabilité, pas performance |
| 8 | Export probatoire | Observables pour tests, pas exigence d'implémentation |
| 9 | Contournement ERR-273-03 | Garde-fou, critère objectif (testable = Prolog/Jest) |
| 10 | Bornes non testées | TC-NEG-273-02 teste explicitement les bornes |
Scores¶
| Critère | Score | Justification |
|---|---|---|
| completeness | 9.0 | 7 INV couverts, 6 CA testés, 1 dépendance baseline documentée |
| testability | 8.5 | 10 TC nominaux + 4 erreur + 3 NR + 4 NEG, couverture complète |
| clarity | 9.0 | Structure canonique, flux/erreurs/transitions explicites |
| traceability | 9.0 | Matrice de couverture INV→CA→TC exhaustive |
Moyenne : 8.875/10 Verdict attendu : GO (tous >= 8.0)