Confrontation Gate 3 — PD-55¶

Résultat de la confrontation (Phase 2)¶

Analyse par ChatGPT des 19 écarts identifiés par Claude en Phase 1.

ECT-01¶

Verdict : CONFIRMÉ Analyse : La spec admet explicitement que la tolérance de cadence est "à clarifier" (point 2), donc l'ambiguïté est réelle et la testabilité incomplète.

ECT-02¶

Verdict : CONFIRMÉ Analyse : Les règles d'ordonnancement sont aussi marquées "à clarifier" (point 5) ; sans ordre canonique, le déterminisme d'INV-55-05 ne peut pas être vérifié proprement.

ECT-03¶

Verdict : CONFIRMÉ Analyse : Le format des artefacts de preuve est explicitement "à clarifier" (point 9), ce qui rend INV-55-08 non testable en l'état.

ECT-04¶

Verdict : CONFIRMÉ Analyse : La politique de finalité est "à clarifier" (point 3), donc un timeout non quantifié est bien un manque de spécification testable.

ECT-05¶

Verdict : CONFIRMÉ Analyse : Le périmètre des événements éligibles est explicitement "à clarifier" (point 6), donc la liste n'est pas fermée.

ECT-06¶

Verdict : NUANCÉ Analyse : L'écart est plausible, mais non démontrable avec les seuls extraits fournis (contenu détaillé de T55-13/ERR-55-09 absent). Gravité ajustée : Mineur (à confirmer sur lecture du test exact)

ECT-07¶

Verdict : INFIRMÉ Analyse : Le contexte indique explicitement que T55-17 trace correlation_id avec les transitions ; la corrélabilité est donc bien couverte.

ECT-08¶

Verdict : NUANCÉ Analyse : Le risque "horloge cohérente sans détection de dérive" est crédible, mais l'absence de mécanisme n'est pas prouvée dans les extraits donnés. Gravité ajustée : Mineur à Majeur conditionnel (selon présence réelle de garde-fous ailleurs)

ECT-09¶

Verdict : NUANCÉ Analyse : L'orphelinat de T55-06 dans les matrices est possible, mais non vérifiable sans la matrice complète. Gravité ajustée : Mineur (inchangée, à confirmer)

ECT-10¶

Verdict : NUANCÉ Analyse : Même logique que ECT-09 : assertion plausible mais non prouvable avec les éléments fournis. Gravité ajustée : Mineur (inchangée, à confirmer)

ECT-11¶

Verdict : NUANCÉ Analyse : Même logique que ECT-09/10 : besoin de la matrice effective pour conclure fermement. Gravité ajustée : Mineur (inchangée, à confirmer)

ECT-12¶

Verdict : NUANCÉ Analyse : Le manque de critères quantifiés de "succès continuité" est fréquent et plausible, mais l'extrait ne montre pas explicitement INV-55-12/T55-14. Gravité ajustée : Majeur (provisoire, à confirmer)

ECT-13¶

Verdict : CONFIRMÉ Analyse : La volumétrie est explicitement "à clarifier" (point 8), donc l'écart est légitime.

ECT-14¶

Verdict : NUANCÉ Analyse : Le risque de corrélation sur hash faible entropie est réel en sécurité, mais sa gravité dépend du schéma exact (salt/HMAC/pepper, nature des données). Gravité ajustée : Majeur conditionnel (sinon Mineur si mitigation cryptographique explicite)

ECT-15¶

Verdict : CONFIRMÉ Analyse : HYP-55-05 est formulée comme hypothèse ("format canonique défini et stable") sans standard normatif cité ; pour le déterminisme inter-systèmes, l'écart est légitime.

ECT-16¶

Verdict : NUANCÉ Analyse : Le besoin d'une définition quantitative de "trou de fenêtre" est pertinent, mais non vérifiable ici sans T55-09 complet. Gravité ajustée : Mineur (inchangée, à confirmer)

ECT-17¶

Verdict : CONFIRMÉ Analyse : Le point 3 ("politique de finalité") est explicitement ouvert ; seuil et bornage temporel manquants sont donc un vrai gap.

ECT-18¶

Verdict : NUANCÉ Analyse : Le scénario crash publication on-chain / persistance tx_id est un cas critique plausible, mais l'absence de couverture de T55-18 n'est pas prouvée par l'extrait seul. Gravité ajustée : Majeur (provisoire, à confirmer)

ECT-19¶

Verdict : CONFIRMÉ Analyse : Si les matrices ne couvrent que INV/CA, l'absence de traçabilité ERR est bien une faiblesse de complétude de test.

Tableau récapitulatif¶

Statistiques post-confrontation¶

Avis global¶

La majorité des écarts d'ambiguïté structurelle est fondée, notamment ceux déjà reconnus explicitement dans la section 10 "Points à clarifier" de la spécification.

Un écart est clairement invalide : ECT-07 (la corrélabilité est explicitement couverte dans T55-17).

Plusieurs écarts de type Incohérence Spec↔Tests sont plausibles mais nécessitent une preuve documentaire directe pour être qualifiés fermement.

Les 3 bloquants (ECT-02, ECT-03, ECT-15) sont confirmés — ils concernent tous l'impossibilité de vérification indépendante : - Ordre canonique des événements non défini - Format des artefacts de preuve externe non spécifié - Standard de canonicalisation non référencé