Aller au contenu

PD-177 — Confrontation v2 (Gate 3 — Phase 2)

Confronteur : ChatGPT (GPT-5.3-codex) Date : 2026-02-23 Itération : v2 (post-correction) Documents analysés : Review v2 Claude + PD-177-specification.md v2 + PD-177-tests.md v2

Convergences

  • CV-01 — ECT-01/ECT-02 (confirmations + Arbitrum) : Résolution confirmée. Politique explicite et testable dans INV-177-16, CA-177-05, TC-177-05.
  • CV-02 — SEC-01 (fail-closed) : Résolution crédible via INV-177-09 + TC-SEC-02 (blocage avant émission).
  • CV-03 — AMB-01 (horodatage) : Résolution correcte. Format ISO 8601 UTC ms imposé dans Définitions + INV-177-13.
  • CV-04 — ECT-03 (signer_address) : Résolution explicite. INV-177-13 impose le champ et l'enrichissement du modèle.
  • CV-05 — AMB-04 / SEC-02 / SEC-03 / MIN-03 / MIN-04 / MIN-05 : Accord global (formulation auditable unifiée, modèle de menace borné, périmètre des fuites explicite, rotation découplée, UUID borné, référence PD-53).

Divergences

  • DV-01 — AMB-03 ne peut pas être "RÉSOLU" à 100% : Le mapping explicite est présent mais NE-01 montre que les noms ne matchent pas l'enum existante → résolution partielle seulement.
  • DV-02 — AMB-02 "append-only" reste fragile : Protection applicative (pas WORM DB) mais CA-177-06 exige "immutable après écriture". Ces deux formulations ne sont pas équivalentes ; immutabilité globale non garantie.
  • DV-03 — MIN-01 (tezos passthrough) reste ambigu : INV-177-04 dit "ignorée ou passée en passthrough". Deux comportements différents → non-déterminisme contractuel.
  • DV-04 — NE-01 gravité sous-estimée → MAJEUR : Contradiction directe avec HYP-177-04 ("sans extension obligatoire immédiate"), impact sur validité des ERR-177-* et TC-ERR-* (mapping non exécutable tel quel).
  • DV-05 — NE-02 gravité sous-estimée → MAJEUR : Conflit direct avec INV-177-16 et CA-177-05. Risque de faux non-finalisé / faux abandon (300s vs 900s), impact probatoire et opérationnel.
  • DV-06 — Incohérence quantitative tests : Le document annonce "27 TC au total" mais détaille 19 + 3 + 8 = 30. Écart de conformité documentaire.

Zones d'ombre

  • ZO-01 — Traçabilité de couverture non audit-able : Le document annonce 21/21, 17/17, 8/8, mais la matrice détaillée dans le document de tests montre bien la correspondance (section 1).
  • ZO-02 — 8 points à clarifier encore ouverts (CL-177-01..08) : Résidu d'ambiguïté pour une gate de conformité contractuelle.
  • ZO-03 — Sémantique exacte append-only : Qui est autorisé à modifier quoi au-delà du service PD-177 ?
  • ZO-04 — Preuve "tiers auditeur" : Artefacts minimaux, format et procédure de vérification tierce non décrits finement.

Score contre-estimé : 6.8/10

Décote : 2 écarts reclassés MAJEUR (NE-01, NE-02) + incohérence quantitative tests + ambiguïtés résiduelles. Verdict contre-audit : NO-GO temporaire.