1. Documents de reference
- Specification v3 :
PD-280-specification.md - Tests v3 :
PD-280-tests.md - Plan v3 :
PD-280-plan.md (Claude, 3e correction) - Code contracts v3 :
PD-280-code-contracts.yaml (Claude, 3e correction) - Review v3 :
PD-280-plan-review-v3.md (ChatGPT, P1) - Confrontation v3 :
PD-280-confrontation-step5-v3.md (Claude, P2)
2. Amelioration v1 → v2 → v3
| Metrique | v1 | v2 | v3 | Delta v2→v3 |
| Bloquants | 2 | 2 | 0* | -2 |
| Majeurs | 6 | 4 | 3 | -1 |
| Mineurs | 4 | 0 | 2 | +2 |
*Les 2 bloquants v2/v3 review sont requalifies apres analyse croisee : - BLQ-01 (verificationRequestId) : la formulation HT-05 residuelle a ete corrigee post-review (DDL-02 = UUID genere a la creation du job, lu par l'endpoint). L'incohérence interne est supprimee. Requalifie en MINEUR (trace residuelle corrigee). - BLQ-02 (TC-INV-05) : l'invariant de monotonie est protege "by design" — l'endpoint est lecture seule (INV-280-09), il ne peut PAS effectuer de transition retour. Le test demontre que le mapper ne projette jamais un maillon terminal comme PENDING. Requalifie en MINEUR.
3. Ecarts v3 residuels
3.1 BLOQUANTS
Aucun apres requalification.
3.2 MAJEURS
| ID | Type | Source | Description |
| MAJ-S5V3-01 | Couverture | P1 #2, P2 DIV-02 | TC-NOM-04 (INDETERMINATE durable, SCN-280-04) absent du document de tests. Present dans plan et spec. |
| MAJ-S5V3-02 | Auditabilite | P1 #3 | INV-280-05 delegation processus externe sans mecanisme contractuel local prouvant non-contournabilite. Mitige par lecture seule. |
| MAJ-S5V3-03 | Trace | P1 #4 | Protection IDOR tenant via guard RLS existant PD-251, non retrace dans les artefacts PD-280. |
3.3 MINEURS
| ID | Type | Source | Description |
| MIN-S5V3-01 | Vocabulaire | P2 DIV-01 | Spec dit "reclassifie", plan dit "projete" — semantiquement divergent mais le plan documente explicitement la resolution. |
| MIN-S5V3-02 | Documentation | P1 #6 | TLA+ source verite norm.yaml vs fichiers impactes incluant _AnchoredFacts_PROOF.tla — coherent avec decision architecturale documentee (CI genere le fichier). |
4. Scoring v3
Feasibility
- Base : 10
- MAJ-S5V3-02 (delegation processus externe non prouvable localement) : -1
- MIN-S5V3-02 (TLA+ source verite) : -0.25
- Score : 8.75
Coverage
- Base : 10
- MAJ-S5V3-01 (TC-NOM-04 absent) : -1
- MIN-S5V3-01 (vocabulaire projection vs reclassification) : -0.25
- Decompte 29/30 (consequence TC-NOM-04) : -0.25
- Score : 8.5
Risk_mitigation
- Base : 10
- MAJ-S5V3-03 (IDOR non retrace localement) : -0.25
- Latence constante non testee : -0.25
- pendingReason taxonomie ouverte : -0.25
- Score : 9.25
Coherence
- Base : 10
- MIN-S5V3-01 (projection vs reclassification) : -0.25
- MIN-S5V3-02 (TLA+ documentation) : -0.25
- Score : 9.5
5. Resume
| Critere | Score |
| feasibility | 8.75 |
| coverage | 8.5 |
| risk_mitigation | 9.25 |
| coherence | 9.5 |
| Moyenne | 9.0 |
Ecarts : 0 BLOQUANT, 3 MAJEURS, 2 MINEURS. Amelioration : v1 5.5 → v2 7.56 → v3 9.0 (delta v2→v3 : +1.44).