PD-253 — Dossier de conformité (Étape 3) — Gate 3 v2¶
Type de gate : CONFORMITY_CHECK¶
1. Documents de référence¶
- PD-253-besoin — présent
- PD-253-specification — présent (v2 corrigée)
- PD-253-tests — présent (v2 corrigé)
- PD-253-specification-review — présent (v1)
- PD-253-review-step3-v2 — présent (v2)
- PD-253-confrontation-step3-v2 — présent (v2)
- PD-253-plan — absent (étape 4)
- PD-253-acceptability — absent (étape 7)
- PD-253-rex — absent (étape 9)
2. Rapport de confrontation (v2)¶
Voir : PD-253-confrontation-step3-v2.md
Convergences v2 confirmées : 6/6 (5 complètes, 1 partielle — DIV-03) Écarts MAJEUR confirmés comme bloquants : ECT-01, ECT-02, ECT-03
3. Synthèse des écarts¶
Écarts MAJEUR (3)¶
| ID | Critère | Description | Confirmé confrontation |
|---|---|---|---|
| ECT-01 | testability | Transition READY_FOR_DOWNLOAD → DOWNLOADED non couverte par un TC dédié — mécanisme de confirmation non défini | CONFIRMÉ BLOQUANT |
| ECT-02 | completeness | Schéma complet de destruction-log.json non contractualisé dans §5.1 — seul destruction_act_hash défini | CONFIRMÉ BLOQUANT |
| ECT-03 | completeness | Champ failure_reason non modélisé (format, emplacement API, valeurs enum) dans le modèle §5.1 | CONFIRMÉ BLOQUANT |
Écarts MINEUR (9)¶
| ID | Critère | Description |
|---|---|---|
| ECT-04 | clarity | Mécanisme de confirmation téléchargement (trigger DOWNLOADED) non défini |
| ECT-05 | completeness | Politique de purge post-téléchargement (PC-253-02) non tranchée |
| ECT-06 | completeness | Reprise après FAILED_TIMEOUT (PC-253-05) — libération quota non contractualisée |
| ECT-07 | testability | TC-NOM-14 potentiellement non-déterministe (contrôle état worker) |
| ECT-08 | testability | TC-INV-11 observabilité concrète non définie |
| ECT-09 | testability | TC-INV-12 ne couvre pas crash OOM/kill-signal |
| ECT-10 | testability | CA-253-12 non annoté [CONDITIONNEL] dans §7 spec |
| ECT-11 | testability | TC-NOM-13 accepte 200 ou 204 — code HTTP succès non contractualisé |
| ECT-12 | clarity/traceability | Ambiguïté 504 EXPORT_TIMEOUT (sync HTTP) vs FAILED_TIMEOUT (état async) |
4. Scores (calcul orchestrateur)¶
| Critère | Base | Pénalités MAJEUR | Pénalités MINEUR | Score final |
|---|---|---|---|---|
| completeness | 10 | -1 (ECT-02) -1 (ECT-03) = -2 | -0.25 (ECT-05) -0.25 (ECT-06) = -0.5 | 7.5 |
| testability | 10 | -1 (ECT-01) = -1 | -0.25×5 (ECT-07/08/09/10/11) = -1.25 | 7.75 |
| clarity | 10 | 0 | -0.25 (ECT-04) -0.25 (ECT-12) = -0.5 | 9.5 |
| traceability | 10 | 0 | -0.25 (ECT-12) = -0.25 | 9.75 |
Score moyen : 8.625
5. Convergences v2¶
- DIV-01 (FAILED_TIMEOUT machine à états) : RÉSOLU ✓
- DIV-02 (422 async/sync) : RÉSOLU ✓ — 422 supprimé, FAILED+failure_reason contractualisé
- DIV-03 (DOWNLOADED transition) : PARTIELLEMENT RÉSOLU — flux documenté §5.5, TC manquant (ECT-01)
- DIV-04 (fallback export.sig) : RÉSOLU ✓ — INV-253-06 + H-253-06 cohérents
- DIV-05 (accès inter-utilisateur) : RÉSOLU ✓ — §5.7 + TC-SEC-01
- ZO-08 (flux annulation) : RÉSOLU ✓ — §5.5 flux 4 + TC-NOM-13/14
6. Verdict attendu¶
- GO — conformité vérifiée
- RESERVE — conformité partielle, conditions à satisfaire
- NON_CONFORME — écarts bloquants identifiés
- ESCALADE — décision humaine requise
Conditions RESERVE : 1. ECT-01 à ECT-03 doivent être résolus avant soumission Gate 5 (pas avant Gate 3) 2. ECT-05, ECT-06 résolus dans le plan d'implémentation (Gate 5) 3. ECT-04, ECT-07 à ECT-12 : améliorations souhaitables, non bloquantes pour Gate 5