PD-273 — Dossier de conformité Gate 5 (AMBIGUITY v1)¶
Documents de référence¶
- Spec :
PD-273-specification.md - Tests :
PD-273-tests.md - Plan :
PD-273-plan.md - Code contracts :
PD-273-code-contracts.yaml - Review P1 :
PD-273-review-step5.md - Confrontation P2 :
PD-273-confrontation-step5.md
Écarts consolidés¶
MINEUR (1)¶
MIN-01 — Hypothèse extract-facts.py non-régression - Type : AMB (ambiguïté) - Source : Review P1 point 4, partiellement confirmé par P2 - Description : Le plan suppose que la modification de la normalisation des atomes dans extract-facts.py n'impacte pas les autres normes - Impact : Couvert par TASK-6 (run complet 24/24) mais pourrait être documenté plus explicitement - Recommandation : Acceptable tel quel
Faux positifs identifiés (⅞)¶
| # | Écart P1 | Raison de rejet |
|---|---|---|
| 1 | Tests ERR-273-* | Conventions spec, pas features à implémenter |
| 2 | Runs incomplets | Propriété native SWI-Prolog |
| 3 | INV-273-07 | Scope = checks Prolog, testables par définition |
| 5 | Versions Python/Prolog | Infrastructure existante (2 normes déjà) |
| 6 | Race condition | Script séquentiel, pas service concurrent |
| 7 | Variables CI | SWI-Prolog déjà installé en CI |
| 8 | Effets de bord | TASK-6 est le test de non-régression |
Scores¶
| Critère | Score | Justification |
|---|---|---|
| feasibility | 9.5 | 7 tâches concrètes, fichiers identifiés, snippets de code fournis |
| coverage | 9.0 | 7 INV + 6 CA tous mappés à des tâches + tests, 1 "par construction" valide |
| risk_mitigation | 8.5 | Risques documentés section 7, TASK-6 comme filet, 1 mineur sur extract-facts |
| coherence | 9.0 | Plan aligné spec/tests/code-contracts, mapping exhaustif section 5 |
Moyenne : 9.0/10 Verdict attendu : GO (tous >= 8.0)