PD-280-SPECIFICATION-REVIEW-V2
Review produite : PD-280-specification-review.md
Résumé de la review v2¶
0 Bloquant / 4 Majeurs / 7 Mineurs — nette amélioration vs la review v1 (5 Bloquants / 8 Majeurs).
Les 13 corrections v2 sont vérifiées comme appliquées (INV-280-08 retiré, TC-INV-08 supprimé, couvertures partielles éliminées, clamp contractualisé, etc.).
4 écarts majeurs restants¶
| # | Type | Résumé |
|---|---|---|
| 1 | Ambiguïté | « même vérification » non défini formellement — INV-280-06 non implémentable sans identifiant technique |
| 2 | Ambiguïté | Mécanisme de déclenchement de la réévaluation SLA non spécifié (lazy? cron? worker?) |
| 3 | Hypothèse dangereuse | H-280-06 mono-thread vs NestJS concurrent — invariants INV-280-05/06 non garantis sans locking |
| 8 | Incohérence Spec↔Tests | TC-INV-06 oracle non déterministe (« rejeté ou ignoré ») — ne peut pas échouer |
7 écarts mineurs¶
Asymétrie clamp/pendingResolutionTtl, ERR-280-07 sans couverture matrice, PENDING_FINALITY non défini, TC-INV-05 sans vecteur d'attaque spécifié, sérialisation JSON « absent » vs null, TLA+ « preuve explicite » non objectivable, dérive d'horloge non bornée.