Aller au contenu

PD-251 — Dossier de conformité Gate 5 AMBIGUITY (v1)

Date : 2026-02-25 Documents : spec, tests v2, plan, code-contracts, review v1, confrontation v1


1. Synthèse de convergence

Écart Review Confrontation Convergent ? Gravité retenue
COV-01 Majeur Convergent ✅ OUI Majeur
COV-02 Majeur Convergent ✅ OUI Majeur
SEC-01 Majeur Convergent ✅ OUI Majeur
CONF-02 Mineur Divergent (non retenu) ❌ Rejeté
TEST-01 Mineur Divergent (non retenu) ❌ Rejeté
TEST-02 Mineur Divergent (non retenu) ❌ Rejeté
HYP-01 Mineur Divergent (requalifié → ZO-01) ⚠️ Requalifié Voir ZO-01
HYP-02 Mineur Convergent ✅ OUI Mineur
CC-01 Mineur Divergent (non retenu) ❌ Rejeté
CC-02 Mineur Convergent ✅ OUI Mineur
SEC-02 Mineur Convergent ✅ OUI Mineur

2. Zones d'ombre — évaluation PMO

ZO Description Évaluation Gravité retenue
ZO-01 8 entités spec vs 7 tables plan Rejeté : Archive existe dans vault_secure (hypothèse 1 du plan, ALTER TABLE commenté). La 8ème entité est une extension, pas une création.
ZO-02 SLA non détaillé (cadence, escalade) Partiellement convergent : INV-251-13 mappé dans TASK-6 avec observable "Métriques Prometheus, alerte ops tracée". Mais seuils d'escalade temporelle non explicites. Mineur
ZO-03 Journal RFC 8785 non signé dans plan Rejeté : Plan §10.2 détaille canonicalisation RFC 8785 obligatoire. Code contract forbidden "Signer du JSON non canonicalisé". Confrontation travaille sur résumé, pas plan complet.

3. Scoring

Axe Score Justification
Complétude 8 17/17 INV mappés, 16/16 CA mappés. 2 mécanismes insuffisamment détaillés (guard cross-module, réconciliation Merkle) mais présents.
Cohérence 8 Plan cohérent avec spec et tests. Résolution AMB-02/SEC-01/HYP-01 conforme. Mineurs non structurels.
Testabilité 8 22 TC et 6 NR tous réalisables. Observables définis. Crash injection standard (non bloquant).
Sécurité 7 PENDING_SIGNATURE crée une fenêtre de vulnérabilité non bloquée. Rate limiting scope ambigu. Guard cross-module non détaillé.
Conformité 9 Spec respectée intégralement. Aucune règle ajoutée/affaiblie. 3 écarts résiduels Gate 3 résolus conformément.
Clarté 8 Plan bien structuré (12 sections, flux, migration, mappings). Redis lock et réconciliation manquent de détail.

Score moyen : (8 + 8 + 8 + 7 + 9 + 8) / 6 = 8.00

4. Écarts résiduels

# Type ID Description Gravité
1 COV COV-01 Guard cross-module : routes à protéger et jointure inter-schéma vault_integrity/vault_secure non détaillées Majeur
2 COV COV-02 Réconciliation Merkle : mécanisme non détaillé (événements rattrapés, détection écarts) Majeur
3 SEC SEC-01 Fenêtre PENDING_SIGNATURE : guard de transition doit vérifier signature_status=SIGNED, pas juste existence du snapshot Majeur
4 HYP HYP-02 Redis lock distribué : mécanisme (Redlock/SETNX), TTL, comportement si acquis non spécifiés Mineur
5 CC CC-02 TASK-8 sans code contract dédié Mineur
6 SEC SEC-02 Rate limiting scope : périmètre d'application (par endpoint, acteur, global) non précisé Mineur
7 SLA ZO-02 Seuils d'escalade temporelle SLA non explicites dans le plan Mineur