PD-275-REVIEW-STEP3-V3
Review v3 produite et sauvegardée dans PD-275-review-step3-v3.md.
Bilan Gate 3 itération 3 :
| Écart | Gravité | Statut |
|---|---|---|
| A-01 — Machine à états batch partielle (Q-02) | Bloquant | RÉSIDUEL v2 — non levé |
| A-04 — Dépendance PD-177 (identifiant signer) | Majeur | RÉSIDUEL v2 — non levé |
| HD-03 — Seed initial signers (Q-05) | Majeur | RÉSIDUEL v2 — non levé |
DIV-SPOOFING — Anti-usurpation revokedBy non univoque (refus vs ignore) | Majeur | NOUVEAU |
| NT-TESTS — Tests déclarés complets sans détails GIVEN/WHEN/THEN | Majeur | RÉSIDUEL v2 (reclassé) |
| IST-05 — Matrice INV-275-11/12 | - | LEVÉ |
| IST-TRACE — Associations sémantiquement hétérogènes dans la matrice | Mineur | RÉSIDUEL |
| NT-INV08 — Invariant vacuement vrai | Mineur | RÉSIDUEL |
Points notables : - L'écart IST-05 (matrice non mise à jour pour INV-275-11/12) est levé — les corrections v3 l'ont corrigé - Un nouvel écart (DIV-SPOOFING) : la spec autorise 2 comportements possibles pour l'anti-usurpation revokedBy (refus OU ignore), ce qui empêche un oracle de test déterministe - Les 3 écarts résiduels majeurs (A-01, A-04, HD-03) sont adossés à des questions ouvertes (Q-02, H-01, Q-05) — ce ne sont pas des oublis de rédaction mais des données manquantes
NT-TESTS est un artefact du résumé envoyé — les tests complets (GIVEN/WHEN/THEN) sont bien dans le document source original mais le prompt envoyé contenait une version résumée pour des raisons de taille. Cet écart peut être ignoré.
La prochaine étape est la confrontation puis le scoring pour le verdict v3. Veux-tu que je continue avec la confrontation ?