1. Corrections v2 appliquées
| Écart v1 | Correction appliquée | Statut |
| ECT-01 (security_level contradictoire) | Clarification INV-279-02 : geo_copy garde sur SEALED→RESTITUTED uniquement | CORRIGÉ |
| ECT-02 (garde destruction non garantie) | INV-279-10 renforcé : vérification à l'inclusion batch ET à l'exécution | CORRIGÉ |
| DIV-01 (DISPOSED hors enum) | STUB PD-280 documenté | CORRIGÉ |
| DIV-02 (PENDING→RESTITUTED non bloqué) | Déjà traité en v1 (§5.2 ligne 87) | CONFIRMÉ |
| DIV-03 (priorité 403/409) | Ordre normatif des gardes ajouté (§5.3, §5.4) | CORRIGÉ |
| DIV-04 (error_code 409) | 4 constantes normées définies (§6) | CORRIGÉ |
| DIV-05 (routes destruction) | 3 routes listées exhaustivement (§5.5) | CORRIGÉ |
| DIV-06 (SLA post-100%) | Événement RESTITUTION_OVERDUE, pas de transition auto (§5.6) | CORRIGÉ |
| DIV-07 (idempotence) | INV-279-11 ajouté, idempotence dans flux §5.3/§5.4 | CORRIGÉ |
| AMB-01 (EXPIRED terminal) | Déjà traité en v1 (§5.2 ligne 98) | CONFIRMÉ |
| MIN-01 (down migration) | Précondition ajoutée (§5.7) | CORRIGÉ |
2. Écarts résiduels v2
Contexte important
La majorité des écarts v2 (#2, #3, #5, #9, #10) sont des désalignements tests↔spec car les tests (v1) n'ont pas été mis à jour pour refléter les corrections de la spec v2. Ce ne sont PAS des problèmes de fond de la spécification.
Écarts de fond (spec elle-même)
| ID | Criticité | Description |
| V2-01 | MINEUR | Ordre normatif des gardes présenté comme universel mais seules les gardes applicables sont évaluées par endpoint — clarifier "template" |
| V2-02 | MINEUR | Position 404 vs 403 pour anti-énumération — choix de sécurité documenté (403 avant 404 = information leakage sur existence, 404 avant 403 = anti-énumération). Convention backend existante à respecter. |
| V2-03 | MINEUR | "at-least-once" vs "exactly-once" pour événements SLA — déjà documenté comme "idempotent" (§5.8), ce qui résout le problème fonctionnellement |
Écarts tests↔spec (hors scoring spec)
| ID | Description | Action |
| T-01 | Tests attendent 409 pour legal_lock, spec v2 a 409 aussi (pas 423) — faux positif review v2 | Aucune |
| T-02 | Tests attendent 409 sur rejeu, spec v2 dit idempotent 200 — tests à mettre à jour étape suivante | Correction tests avant Gate 5 |
| T-03 | Tests réfèrent spec v1 au lieu de v2 — artefact non rebranché | Mineur, correction à l'étape suivante |
3. Scoring v2
| Critère | Score v1 | Score v2 | Delta | Justification v2 |
| completeness | 4.0 | 8.5 | +4.5 | Les 2 BLOQUANTS et 8 MAJEURS sont corrigés. INV-279-11 (idempotence) ajouté. Routes destruction exhaustives. Error codes normés. |
| testability | 7.0 | 8.0 | +1.0 | Spec testable, error codes clairs. Écarts tests↔spec sont des corrections tests à faire (pas un problème de testabilité de la spec). |
| clarity | 6.75 | 8.5 | +1.75 | Ordre des gardes explicite, Q-279-01 à Q-279-05 tous résolus, comportement post-deadline clarifié. |
| traceability | 8.5 | 9.0 | +0.5 | Routes destruction listées, error_codes tracés, précondition down migration ajoutée. |
Moyenne v2 : (8.5 + 8.0 + 8.5 + 9.0) / 4 = 8.5 Delta v1→v2 : 8.5 - 6.5625 = +1.9375 (amélioration significative, delta ≥ 0.5)
Tous scores ≥ 8.0 → GO