PD-277-REVIEW-STEP3-V2
Review v2 produite. Voici la synthèse :
Résultat de la review v2¶
| Gravité | v1 | v2 | Delta |
|---|---|---|---|
| Bloquant | 3 | 0 | -3 |
| Majeur | 5 | 1 | -4 |
| Mineur | 5 | 9 | +4 |
Convergence forte — Les 3 bloquants v1 (format nonce, faits Prolog, tests TC-INV manquants) sont tous corrigés dans la v2 de la spec/tests. Les 5 majeurs sont réduits à 1.
Majeur résiduel (1)¶
- Constat 2 — Migration
NOT NULLsans default pourowner_certificate_id/recipient_certificate_id: si desLegalReKeypré-existants sont en base, la migration échoue. L'hypothèse d'absence de données n'est pas dans §13.
Mineurs (9)¶
Points de précision contractuelle (origine nonce, structure entries used_nonces, distinction erreurs runtime/build-time, mapping ST-277→TC, variant bits UUID, immuabilité certificats enforcement level, cycle de vie post-binding, retry SERIALIZABLE, référence CA-277-09 erronée dans TC-ERR-10).
Le fichier est en place dans PD-277-specification-review.md. La suite dépend du scoring Gate 3 — avec 0 bloquant et 1 majeur résiduel, le dossier est en bonne posture pour un GO ou RESERVE.