v0.3.1-pre.007

docs/validation/018-V0_3_1_STORE_RAW.md

@@ -425,17 +425,46 @@ tombstone minimal sans payload
 retention policy choisie hors Store par worker/job/maintenance
 ```
 
+### 8.5 Matérialisation `pre.007`
+
+La tranche ferme le hardening de surface sans ajouter de nouvelle famille N1 :
+
+```text
+security_hardening.rs
+release_completeness.rs
+RawRetentionWriteOutcome::ExpectedStateMismatch
+```
+
+Gates matérialisés :
+
+```text
+erreurs model/query/provenance hostiles sans echo de valeur
+Debug payload/hash/signature/account sans bytes sensibles
+cursor exact 4 KiB accepté, dépassement rejeté
+RawPageLimit u64::MAX reste représentable
+compare-and-transition perdue distincte de Applied/AlreadyAtTarget
+exports crate-root exacts
+inventaire exact des modules production RAW
+10 capabilities fines exactes, aucun StoreBackend/Store runtime
+Interface ne réexporte pas les modèles persistants Store
+Store API ne publie aucun event-only logs/slot/vote
+aucune surface STRUCTURAL/DECODED/DOMAIN
+aucune fuite PostgreSQL/MySQL/backend runtime
+```
+
+La course de rétention est un état normal de concurrence : si l'état durable ne correspond plus à `expected` et n'est pas déjà `target`, le backend doit retourner `ExpectedStateMismatch`. Cette sémantique évite d'utiliser une erreur de validation pour une course et impose une compare-and-transition atomique à l'implémentation future.
+
 ## 11. État initial des tranches
 
 | Tranche   | Objet                                    | État                  |
 |-----------|------------------------------------------|-----------------------|
 | `pre.001` | audit/design/taxonomie/split             | PRÊT après gate local |
-| `pre.002` | scaffold + taxonomie Store API           | À FAIRE               |
-| `pre.003` | primitives + RawTransaction              | À FAIRE               |
+| `pre.002` | scaffold + taxonomie Store API           | PRÊT après gate local |
+| `pre.003` | primitives + RawTransaction              | PRÊT après gate local |
 | `pre.004` | admission matrix + account/status models | PRÊT après gate local |
 | `pre.005` | backend contracts/capabilities           | PRÊT après gate local |
 | `pre.006` | queries/outcomes/retention/tombstone     | PRÊT après gate local |
-| `pre.007` | boundary/adversarial/completeness        | À FAIRE               |
+| `pre.007` | boundary/adversarial/completeness        | PRÊT après gate local |
 | `pre.008` | gate technique final                     | À FAIRE               |
 | `pre.009` | réconciliation documentaire              | À FAIRE               |
 | `pre.010` | préparation publication                  | À FAIRE               |