PD-47-CONFRONTATION-STEP3-V2
Tableau de synthèse final¶
| ID | Gravité | Description | Verdict |
|---|---|---|---|
| R-01 | Majeur | Cycle FAILED→SCHEDULED non borné — risque boucle infinie | CONFIRMÉ |
| R-02 | Majeur | Hash SHA3-256 : moment de calcul absent de F1/F3 | REJETÉ (§5.3, §5.8) |
| R-03 | Majeur | 9 TC-INV-* sans GIVEN/WHEN/THEN formalisé | CONFIRMÉ |
| R-04 | Mineur | s3_object_key_backup longueur 24-128 vs fixe 27 | REJETÉ (§5.1) |
| R-05 | Mineur | size_bytes regex autorise > JS safe integer | REJETÉ (§5.1) |
| R-06 | Mineur | Rotation K_backup : fenêtre rétention non bornée | CONFIRMÉ |
| R-07 | Mineur | Réconciliation post-crash : pas de SLA | CONFIRMÉ |
| R-08 | Mineur | Backoff delay min=0 autorise retries instantanés | REJETÉ (§5.8) |
| R-09 | Mineur | Périodicité 90j non vérifiée par CA-47-07 | CONFIRMÉ |
Remarques : - Les verdicts sont basés sur la spécification et les tests fournis. - Les références entre parenthèses indiquent les sections de la spécification qui répondent aux écarts identifiés.