PD-72 — Retour d'experience (REX)¶

1. Resume executif¶

2. Metriques de convergence¶

2.1 Temps et iterations¶

2.2 Scores de convergence par gate¶

2.3 Ecarts par categorie¶

3. Points fluides¶

• Spec v1 rapide : ChatGPT a produit une specification dense (10 sections, 9 invariants, 10 CA) en 3 minutes grace au besoin detaille.
• Gate 5 GO en v1 : Le plan a passe Gate 5 du premier coup (8.0/10), ce qui est rare pour une story crypto-proof.
• Implementation sequentielle efficace : Claude -p a produit 29 fichiers (20 src + 8 tests + 1 fixtures) en une seule passe de 28 min, avec 123 tests verts, ESLint clean et TSC clean.
• Gate 8 score eleve : 9.44/10 en v1, le plus haut score Gate 8 du projet. Aucun ecart bloquant.
• Stubs bien documentes : Les 8 stubs inter-PD avec stories destinations ont ete reconnus et acceptes en Gate 8 sans penalite excessive.

4. Points difficiles¶

• Gate 3 v1 NON_CONFORME (5.5/10) : 5 ecarts bloquants identifies en v1 — SLA ancrage non contractualise, machine d'etats incomplete (PRE-01 vers BLOCKED_WAITING_CONSENT absent), condition de retry non specifiee, absence de controle d'autorisation emetteur, timing des preconditions ambigu.
• Sonar indisponible (tier degraded) : Phase 1.5 Sonar skippee. ESLint + tsc utilises comme substitution.
• Faux positifs LLM en step 7 : 3 faux positifs (DI sans injection token, code-contracts absent, coherence doc) et 8 ecarts lies aux stubs non cloturables par design. Le tri orchestrateur a reduit 2 bloquants + 6 majeurs a 0 bloquant + 0 majeur.

5. Hypotheses revelees tardivement¶

• H-07 (re-evaluation consentement) : Le mecanisme exact de re-evaluation du consentement apres BLOCKED_WAITING_CONSENT (event ou polling) n'etait pas clarifie en spec v1. Decouvert a l'etape 3 (Gate 3 v1 E-04).
• Ancre temporelle timeout : Le champ de reference pour le calcul du timeout ancrage (created_at vs updated_at) a ete clarifie en Gate 5 — c'est updated_at au moment de la transition vers PROOF_PENDING_ANCHOR.

6. Invariants complexes¶

• INV-03 (zeroization rk) : La zeroization en JavaScript est best-effort (buffer.fill(0) + null). Pas de garantie formelle due au GC V8. Le rk est le seul secret temporaire cote Node.js — les cles restent dans le HSM. — TC-INV-03
• INV-08 (machine d'etats fermee) : 8 etats x 8 = 64 combinaisons a couvrir (10 autorisees, 54 interdites). Service dedie TransferStateMachineService avec map explicite. — TC-INV-08, TC-NR-02
• INV-05 (chaine probatoire complete) : Dependance de 4 modules externes (HSM, TSA, Merkle, anchoring) pour la chaine append-only → signature → Merkle → TSA → ancrage. — TC-INV-05

7. Dette technique¶

• 8 stubs inter-PD : PreEngine (PD-41), HSM (PD-37), TSA (PD-39), Merkle (PD-54), Anchoring (PD-55), Audit (PD-31), Notifications (PD-105), ProofBundle (PD-245) — impact: faible (tous traces avec story destination)
• hashDoc placeholder : '0'.repeat(64) dans l'orchestrateur — stub trace PD-60 — impact: faible
• TC-NR-04 absent : Scenario detaille downgrade policy transfer->copy apres TRANSFER_IN_PROGRESS. Couvert fonctionnellement par la machine d'etats fermee (INV-08). — impact: faible
• Sonar QG non execute : Tier degraded, substitution ESLint+tsc — impact: moyen

8. Risques residuels¶

8bis. Matrice de delegation inter-PD¶

8ter. Bugs de tests¶

Aucun bug de test rencontre. Les 123 tests ont passe en premiere execution.

8quater. Corrections post-Gate 8¶

9. Patterns recurrents detectes¶

9.1 Patterns confirmes (deja vus dans d'autres stories)¶

• Machine a etats explicite avec transitions autorisees/interdites — aussi dans PD-82, PD-250, PD-264, PD-251, PD-277, PD-276, PD-275, PD-279, PD-280, PD-278, PD-282, PD-265 (13e occurrence)
• Stubs inter-PD acceptes en Gate 8 si documentes avec story destination — aussi dans PD-63, PD-82, PD-250, PD-251, PD-277, PD-276, PD-281, PD-279, PD-280, PD-278, PD-282, PD-265 (13e occurrence)
• Faux positifs LLM systematiques en reviews — aussi dans PD-251, PD-276, PD-277, PD-275, PD-281 (18e occurrence). 3 FP detectes en step 7.
• Format non contractualise dans spec v1 bloque en Gate 3 — SLA ancrage et condition retry non specifies en v1 (20e occurrence)
• Sonar Phase 1.5 indisponible — derogation de fait — tier degraded (9e occurrence)

9.2 Nouveaux patterns identifies¶

• Story crypto-proof avec 8+ stubs et Gate 8 GO v1 a 9.44 : La combinaison besoin detaille + stubs bien documentes + machine d'etats exhaustive permet un score Gate 8 eleve malgre un nombre record de stubs.
• Implementation sequentielle complete en une passe (Claude -p) : Pour les stories avec architecture clairement decoupee (10 composants, contrats explicites), Claude -p produit un module complet sans iterations de correction.
• Gate 3 NON_CONFORME v1 suivi de Gate 5+8 GO v1 : Le rebond apres Gate 3 v1 (5.5 -> 8.2) indique que les corrections de spec enrichissent suffisamment le plan pour eviter les gates v2.

10. Ameliorations du workflow¶

10.1 Ameliorations des prompts/templates¶

10.2 Ameliorations des agents¶

10.3 Ameliorations du processus¶

• La derogation Sonar (tier degraded) persiste depuis 9 stories. Envisager la resolution du probleme d'infrastructure Sonar.

11. Enseignements cles¶

1. Besoin detaille = spec rapide — Un besoin structure avec flux nominaux, cas d'erreur et invariants permet a ChatGPT de produire une spec dense en 3 minutes au lieu de 2h.
2. Gate 3 NON_CONFORME est un investissement, pas un echec — Les 5 ecarts bloquants de Gate 3 v1 (SLA, machine d'etats, retry, auth, timing) ont enrichi la spec v2 au point que Gate 5 et Gate 8 passent en v1.
3. Stubs traces avec story destination = ROI Gate 8 — 8 stubs n'ont pas empeche un score de 9.44/10 grace a la documentation systematique avec story destination.
4. Implementation sequentielle viable pour modules bien decomposes — Claude -p a produit 29 fichiers en une passe de 28 min. La cle : 10 code-contracts explicites + architecture arborescente claire dans le plan.
5. Le tri orchestrateur des ecarts LLM est critique — Sans tri, la step 7 aurait conclu 2 bloquants + 6 majeurs. Apres tri : 0 bloquant + 1 majeur. Le taux de faux positifs LLM reste eleve (~60% des ecarts).

12. Metriques cumulatives (auto-calculees)¶