Type de gate : UNKNOWN
1. Documents de référence
2. Rapport de confrontation
Voir : PD-299-confrontation-step3.md
3. Écarts consolidés (review + confrontation)
BLOQUANTS (4)
| ID | Type | Description | Source |
| ECT-01 | AMB | INV-299-12 "forcé à 6.0" vs diagramme séquence §5bis min(raw, 6.0) — divergence sémantique pour raw < 6.0 | Review E-AMB-01 + DIV-03 |
| ECT-02 | CTR | INV-299-13 normatif ("transition forcée CHECKING→NON_CONFORME") contredit Q-299-02 déclarée ouverte | Review E-CTR-01 |
| ECT-03 | AMB | Scope comptage zéro-test : §3 fige *.test.ts, Q-299-03 laisse ouvert .test.tsx/.spec.ts, diagramme §5bis utilise "*.test.ts" | Review E-CTR-02 |
| ECT-04 | SEC | Regex D-299-07 ^Bearer\s+\S+$ autorise CRLF embedded → injection d'en-têtes HTTP possible | Review E-SEC-01 |
MAJEURS (8)
| ID | Type | Description | Source |
| ECT-05 | SEC | INV-299-09 exige "preuve PO+Legal" sans mécanisme de non-répudiation (hash/signature/identité) | Review E-SEC-02 |
| ECT-06 | CTR | INV-299-18 "FSM fermée" s'applique littéralement à toutes transitions, mais §5.4 ne couvre que Gate 8 ; INV-299-11 réfère à des transitions workflow non-FSM | Review E-CTR-04 |
| ECT-07 | AMB | H-299-06 (hypothèse réfutable) conditionne invariants NON NÉGOCIABLES | Review E-CTR-07 |
| ECT-08 | DIV | Testabilité : spec annonce "hors périmètre si non testable", tests concluent "testable partiellement" | DIV-02 |
| ECT-09 | DIV | plan_extension_item.kind invalide : spec silencieuse, tests imposent rejet | DIV-04 |
| ECT-10 | DIV | correlation_id requis par tests (§8) mais absent de D-299-01..D-299-21 | DIV-05 |
| ECT-11 | AMB | 3 invariants non testables a priori (INV-299-14/17/09) car sources canoniques non spécifiées | Review E-NT-01/02/03 |
| ECT-12 | AMB | Retour NON_CONFORME → PENDING réapplique checks "immédiatement" sans primitive d'atomicité | Review E-HD-02 |
MINEURS (5)
| ID | Type | Description | Source |
| ECT-13 | DIV | Référence Epic non alignée : spec = non renseignée, tests = "EPIC-XX" | DIV-01 |
| ECT-14 | AMB | Q-299-05 composant cible guard (ProofDetailScreen vs ProofScreen) non tranché | Review |
| ECT-15 | AMB | Q-299-06 état initial allowlist metadata (vide ou avec clés initiales) non verrouillé | Review |
| ECT-16 | AMB | Q-299-07 format ratification PO (markdown, yaml, Jira comment signé) non défini | Review |
| ECT-17 | AMB | Q-299-08 emplacement artefact Legal A8 non défini | Review |
Scoring
| Critère | Score | Justification |
| completeness | 6.0 | 18 INV bien définis, 8 questions ouvertes, 2 bloquants ambiguïté |
| testability | 7.0 | Matrice 30/30, mais testabilité partielle (DIV-02), 3 INV non testables |
| clarity | 7.0 | Structure solide, FSM scope ambigu, diagramme/INV contradictoires |
| traceability | 7.5 | Epic non renseignée, sources canoniques manquantes, zones d'ombre |
4. Verdict attendu