PD-47-REVIEW-STEP3-V2
Review v2 produite. Voici la synthèse :
Corrections v1 : Les 18 écarts (dont 4 bloquants) sont tous résolus par les marqueurs [CORR E-01→E-18].
Écarts résiduels v2 : 9 écarts identifiés (0 bloquant, 3 majeurs, 6 mineurs) :
| ID | Type | Gravité | Résumé |
|---|---|---|---|
| R-01 | Hypothèse dangereuse | Majeur | Cycle FAILED→SCHEDULED non borné — risque de boucle infinie |
| R-02 | Ambiguïté | Majeur | Hash SHA3-256 : moment de calcul absent de F1 (pg_dump) et F3 (basebackup), contrairement à F2 (WAL) |
| R-03 | Incohérence Spec↔Tests | Majeur | 9 tests d'invariants (TC-INV-*) sans GIVEN/WHEN/THEN formalisé |
| R-04 | Ambiguïté | Mineur | s3_object_key_backup longueur 24-128 vs longueur fixe 27 effective |
| R-05 | Ambiguïté | Mineur | size_bytes regex autorise valeurs > JS safe integer |
| R-06 | Ambiguïté | Mineur | Rotation K_backup : fenêtre de rétention anciennes clés non bornée |
| R-07 | Non testable | Mineur | Réconciliation post-crash : pas de SLA ni gestion d'échec |
| R-08 | Hypothèse dangereuse | Mineur | Backoff delay min=0 autorise retries instantanés |
| R-09 | Incohérence Spec↔Tests | Mineur | Périodicité 90j non vérifiée par CA-47-07 |
Évolution : 4 bloquants → 0, 10 majeurs → 3, total 18 → 9. Nette amélioration.
Fichier écrit dans ProbatioVault-infra/docs/epics/storage/PD-47-backup-postgresql/PD-47-specification-review.md.