Aller au contenu

PD-237 - Plan d'implementation : Revue

1. References

  • Specification : PD-237-specification.md
  • Tests contractuels : PD-237-tests.md
  • Plan d'implementation : PD-237-plan.md
  • Date de revue : 2026-01-25
  • Reviewer : Codex

2. Constatations (ecarts)

Type Reference (Spec/Test/Plan) Description Impact Gravite (BLOQUANT/MAJEUR/MINEUR)
Non-conformite Spec Spec 11 / Plan 7.1 Le plan fixe un mapping HTTP et des payloads d'erreur pour ERR-MK-xx alors que la spec indique que le mapping protocolaire est a clarifier. Comportement contractuel impose sans base normative ; risque de contestation et d'incoherence inter-protocole. MAJEUR
Couverture manquante Spec 2.1 / Plan 5, 9 La recuperation de preuves "par racine" mentionnee dans le perimetre n'est pas couverte par un mecanisme ou endpoint dedie ; seules les recuperations par leaf/tree_id sont decrites. Exigence de perimetre non couverte ; implementation potentiellement non conforme si l'usage "par racine" est attendu contractuellement. MAJEUR
Hypothese implicite Spec 10 (H-04) / Plan 10 (H-IMPL-01) Le plan limite hash_algorithm_id a SHA-256 uniquement, alors que la spec ne fixe pas de liste d'algorithmes supportes. Rejet possible d'arbres conformes PD-54 utilisant un autre hash_algorithm_id ; dependance contractuelle non tracee. MAJEUR
Hypothese implicite Plan 10 (H-IMPL-02) Limite de taille d'arbre a 10 000 feuilles sans base contractuelle. Un arbre conforme mais volumineux pourrait etre rejete ; reduction de perimetre non specifiee. MAJEUR
Hypothese implicite Plan 10 (H-IMPL-03) Limite de taille d'inclusion_proof (< 1MB) non prevue par la spec. Risque de rejet de preuves conformes ; non-conformite potentielle en charge reelle. MAJEUR
Hypothese implicite Plan 10 (H-IMPL-05) Hypothese de mono-instance backend (pas de concurrence multi-noeud). Conformite non garantie en deploiement multi-instance ; risque d'incoherences non documentees. MINEUR

3. Synthese

  • Nombre d'ecarts par gravite : BLOQUANT 0 / MAJEUR 5 / MINEUR 1
  • Points critiques : mapping protocolaire fixe sans base spec, recuperation par racine non couverte, limitations non contractuelles (algo SHA-256, taille arbre, taille preuve).

4. Verdict de la revue

  • Statut : Accepte avec reserves
  • Motif synthetique : Le plan introduit des hypotheses et limites non contractuelles et ne couvre pas explicitement la recuperation de preuves par racine mentionnee dans le perimetre.