Ce dossier est assemblé automatiquement avant la gate PMO AMBIGUITY. Itération v2 : après correction des écarts ECT-01, ECT-02, ECT-03.
Type de gate : AMBIGUITY
1. Documents de référence
| Document | Étape | Statut |
| PD-241-specification.md | 1 | ✓ Présent |
| PD-241-tests.md | 2 | ✓ Présent |
| PD-241-plan.md | 4 (corrigé) | ✓ Présent |
| PD-241-code-contracts.yaml | 4 | ✓ Présent |
| PD-241-plan-review.md | 5.1 v1 | ✓ Présent (historique) |
| PD-241-plan-review-v2.md | 5.1 v2 | ✓ Présent |
| PD-241-confrontation-step5-v1.md | 5.2 v1 | ✓ Présent (historique) |
| PD-241-confrontation-step5-v2.md | 5.2 v2 | ✓ Présent |
| PD-241-verdict-step5-v1.yaml | 5.4 v1 | ✓ Présent (NON_CONFORME) |
2. Historique des corrections
| Écart | Gravité v1 | Statut v2 |
| ECT-01 (HttpCode) | BLOQUANT | ✓ Résolu |
| ECT-02 (revokeRefreshToken) | BLOQUANT | ✓ Résolu |
| ECT-03 (idempotence) | Mineur | ✓ Résolu |
| ECT-04 (timeout 5s) | Majeur | Maintenu (contrainte technique) |
3. Couverture invariants → mécanismes
| Invariant | Mécanisme | Couvert ? |
| INV-241-01 | JwtAuthGuard (UnauthorizedException → 401) | ✓ |
| INV-241-02 | invalidateSession() | ✓ |
| INV-241-03 | revokeRefreshToken() + atomicité | ✓ |
| INV-241-04 | HttpExceptionFilter + erreurs typées | ✓ |
| INV-241-05 | try/catch + LogoutFailedError | ✓ |
| INV-241-06 | N/A (hors périmètre) | N/A |
4. Écarts résiduels
| ID | Type | Description | Gravité | Traitement |
| DIV-01 | Documentation | HttpExceptionFilter implicitement rattaché | Majeur | Acceptable |
| DIV-02 | Hypothèse implicite | Race condition comme contrainte | Mineur | Acceptable |
| DIV-03 | Contrainte technique | Timeout 5s non contractuel | Mineur | Acceptable |
5. Rapport de confrontation v2
6. Recommandation pré-verdict
Dossier assemblé par Claude Orchestrateur — 2026-02-07