PD-274 — Retrospective¶
Pattern confirme : conformite formelle Prolog → convergence v1 GO¶
Apres PD-272 (PV-PROOF), PD-273 (PV-AUDIT) et PD-274 (PV-ANCHOR), le pattern est desormais une regle :
Les stories de conformite formelle Prolog convergent systematiquement en v1 GO avec des scores >9.0.
Raisons : 1. Le perimetre est restreint et bien defini (N checks KO a corriger) 2. La preuve est deterministe (run Prolog) 3. Les modifications sont minimales (alias, normalisation, detection) 4. Il n'y a pas de logique metier nouvelle (que de la conformite)
Taux de faux positifs des reviews LLM¶
| Story | Gate 3 | Gate 5 | Gate 8 |
|---|---|---|---|
| PD-272 | ~70% | ~87% | 0% |
| PD-273 | 70% | 87.5% | 0% |
| PD-274 | 71% | 67% | 100% |
| Moyenne | 70% | 80% | 33% |
Le taux de faux positifs est structurel pour les stories Prolog. La recommandation d'injecter du contexte Prolog dans les templates de review est prioritaire (haute).
Batch de 3 stories : metriques globales¶
| Metrique | PD-272 | PD-273 | PD-274 | Total |
|---|---|---|---|---|
| Duree | ~1.5h | ~2h | ~1.5h | ~5h |
| Fichiers modifies | 3 | 4 | 2 | 9 |
| Lignes modifiees | ~15 | ~20 | ~60 | ~95 |
| Gates | 3 GO v1 | 3 GO v1 | 3 GO v1 | 9 GO v1 |
Le batch de 3 stories a produit 9 gates GO en v1, 0 iteration de correction, et ~95 lignes modifiees sur 9 fichiers. Le SLA moyen est de ~1.7h/story.
Signal CLAUDE.md¶
Les 3 stories confirment qu'il faut : 1. [HAUTE] Injecter du contexte Prolog dans les templates de review (50% de reduction de faux positifs estimee) 2. [BASSE] Documenter le Pattern B extract-facts.py dans le README