Aller au contenu

PD-56 — Rapport de confrontation (Étape 3)

Ce rapport est produit par l'orchestrateur Claude avant chaque gate PMO.
Il confronte les documents produits pour identifier convergences, divergences et zones d'ombre.

1. Sources confrontées

  • PD-56-specification.md (v2) — étape d'origine : SPECIFICATION.
  • PD-56-tests.md (v2) — étape d'origine : TESTS.

2. Convergences

  • Accord sur le contrat de sortie (available / pending) et les champs attendus. Références : SPEC §5.1, §5.5 F-01/F-02, §6 ; TESTS TC-NOM-01, TC-NOM-02.
  • Accord sur l’auto-vérification cryptographique avant retour available et sur le traitement du mismatch (ERR-56-04 + transition persistée vers CORRUPTED). Références : SPEC INV-56-05, F-04, CA-56-07/11 ; TESTS TC-NOM-05, TC-ERR-08, TC-ERR-11.
  • Accord sur la machine d’état (AVAILABLE->PENDING interdit, CORRUPTED terminal). Références : SPEC §5.4, CA-56-08/12 ; TESTS TC-INV-06, TC-ERR-09, TC-ERR-10.
  • Accord sur le mapping principal des codes contractuels (ERR-56-01..05). Références : SPEC §6 ; TESTS §4.
  • Accord sur la vérification off-chain SHA-256 sans API/BDD tierce. Références : SPEC §1, F-03, CA-56-02/03 ; TESTS TC-NOM-04.
  • Accord sur le déterminisme à snapshot transactionnel constant. Références : SPEC INV-56-02, SCN-56-08 ; TESTS TC-NOM-03, TC-NR-04.
  • Accord sur les budgets perf/taille, avec même réserve sur le benchmark officiel. Références : SPEC §5.2, CA-56-04/05, §10.2 Q4 ; TESTS TC-NOM-09/10, §9.

3. Divergences

⚠️ Les conflits ne doivent JAMAIS être lissés. Chaque divergence est rendue visible.

  • DIV-01 : Statut d’un merklePath vide.
    Source A (SPECIFICATION) : §5.1 autorise merklePath de longueur 0..20 avec length <= ceil(log2(treeSize)) (donc 0 possible).
    Source B (TESTS) : TC-ERR-04 classe merklePath « absent ou vide » en corruption structurelle (ERR-56-03).
    Impact : contradiction sur les cas frontière (ex. arbre à 1 feuille), risque de non-alignement implémentation/tests.

  • DIV-02 : Références d’exigences non résolues dans le plan de tests.
    Source A (SPECIFICATION) : aucune exigence identifiée AMB-04 ni DIV-01 dans la spec fournie.
    Source B (TESTS) : TC-NOM-06 référence AMB-04; TC-ERR-11 référence DIV-01.
    Impact : traçabilité exigences↔tests cassée en gate.

  • DIV-03 : Référence épique incohérente.
    Source A (SPECIFICATION) : Epic PD-187 — BLOCKCHAIN (à confirmer PO).
    Source B (TESTS) : Epic EPIC-XX.
    Impact : rattachement gouvernance non univoque.

4. Zones d'ombre

  • Source canonique exacte de eventHash pour tous les types d’événements non figée. Références : SPEC §10.2 Q1 ; TESTS §9.
  • Règle métier pour un eventId en lot FAILED mais absent d’un lot finalisé non tranchée. Références : SPEC §10.2 Q2 ; pas de scénario explicite dans TESTS.
  • Politique opérationnelle en cas de dépassement durable du SLA pending (>120 min répétés) non définie. Références : SPEC §10.2 Q3 ; TESTS TC-NOM-07 couvre seulement la réévaluation ponctuelle.
  • Environnement officiel d’opposabilité de performance (CA-56-05) non figé. Références : SPEC §10.2 Q4 ; TESTS TC-NOM-10 et §9.
  • Référence épique officielle non confirmée et non convergente entre documents. Références : SPEC Références ; TESTS §1.

5. Recommandation

  • Procéder — convergence confirmée, aucun conflit bloquant
  • Rework nécessaire — divergences à résoudre avant de continuer
  • Escalade — décision humaine requise sur un point structurant