v0.3.4-pre.005

docs/validation/021-V0_3_4_STORE_POSTGRES_RAW_ACCOUNT.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/021-V0_3_4_STORE_POSTGRES_RAW_ACCOUNT.md -->
-<!-- version: 7 -->
+<!-- version: 8 -->
 
 # Validation `0.3.4` — Store/PostgreSQL `RawAccountState` + complétude RAW
 
@@ -274,8 +274,8 @@ Le test live account devra être opt-in/ignored, URI stdin, sans environnement n
 | pre.001 | audit, kbot3, threat model, V002 design, sizing, plan/validation  | DONE    |
 | pre.002 | V002 registry + deux tables + PK/FK de base, sans repository      | PASS    |
 | pre.003 | contraintes complètes, index, schema compatibility, checksum V002 | PASS    |
-| pre.004 | mapping privé state/observation + get reads + hostile rows        | RECHECK |
-| pre.005 | acquisition atomique state+observation + idempotence/conflict     | PLANNED |
+| pre.004 | mapping privé state/observation + get reads + hostile rows        | PASS    |
+| pre.005 | acquisition atomique state+observation + idempotence/conflict     | RECHECK |
 | pre.006 | observation supplémentaire + races/cancellation unitaires         | PLANNED |
 | pre.007 | list RawAccountStateQuery + keyset cursor V1 account              | PLANNED |
 | pre.008 | 4 impl backend + 4 dispatch Store + conformance 10/10             | PLANNED |
@@ -399,7 +399,7 @@ Gate opérateur de `pre.003-fix.001` du 2026-08-30 : **PASS complet** — audits
 
 ## 21. Verdict `pre.004`
 
-Mapping PostgreSQL privé account : **tests opérateur PASS ; Clippy `pre.004` FAIL ; `pre.004-fix.001` appliqué statiquement, gate complet à rejouer**.
+Mapping PostgreSQL privé account : **PASS final via `pre.004-fix.001`**. Le gate initial `pre.004` avait échoué uniquement sur Clippy ; le gate complet du correctif est désormais vert.
 
 Surface matérialisée :
 
@@ -447,5 +447,32 @@ Invariants du fix :
 - aucun write, cursor, trait account ou dispatch Store ouvert ;
 - `workspace.package.version = 0.3.4-pre.4.fix.1`.
 
-Validations exécutées dans l'environnement d'assemblage du fix : audit Rust général/export/workspace **PASS**, audit Markdown **PASS**, absence de `?` dans `src/raw_account.rs` confirmée. Le gate opérateur complet doit rejouer `cargo fmt`, audits, check, Clippy et suites ciblées après application du delta.
+Validations exécutées dans l'environnement d'assemblage du fix : audit Rust général/export/workspace **PASS**, audit Markdown **PASS**, absence de `?` dans `src/raw_account.rs` confirmée. Gate opérateur du 2026-08-30 : **PASS complet** — audits Rust/Markdown, workspace check, Clippy all-targets, Store API, Store façade, backend PostgreSQL (52 tests), Config et `--no-default-features` sont verts.
+
+## 22. Verdict `pre.005`
+
+Acquisition atomique account : **PASS statique ; gate opérateur complet à rejouer**.
+
+Surface ajoutée :
+
+```text
+PostgresBackend::persist_raw_account_acquisition
+INSERT state ON CONFLICT DO NOTHING
+SELECT state FOR UPDATE sur collision
+comparaison exacte du state canonique complet
+INSERT observation ON CONFLICT DO NOTHING
+SELECT observation FOR UPDATE sur collision
+comparaison exacte référence + provenance + metadata optionnelles
+COMMIT unique state + observation
+```
+
+Les préconditions `state.reference.network == backend.network`, `observation.account.network == backend.network` et `observation.account == state.reference` sont évaluées avant `pool.get()`. Une divergence de référence ou de contenu est classée `Conflict`; un échec physique d'écriture reste `WriteFailed`, sans texte PostgreSQL conservé.
+
+L'idempotence state ne fait aucune confiance exclusive à `state_hash` : un même `(pubkey, slot, state_hash)` n'est `AlreadyPresent` que si `lamports`, `owner`, `executable`, `rent_epoch` et `data` sont identiques. L'idempotence observation compare le modèle `RawAccountObservation` complet, y compris `is_startup`, `transaction_signature`, `write_version` et toute la provenance.
+
+La transaction commune garantit qu'une collision divergente sur l'observation après insertion d'un nouveau state ne peut pas laisser ce state durable isolément. Aucun `has_*`, `ON CONFLICT DO UPDATE`, `UPDATE` ou `DELETE` account n'est introduit.
+
+Canaries `pre.005` : guard réseau/référence, comparaison state complète, comparaison observation complète, encodage origin fermé, SQL `DO NOTHING + FOR UPDATE`, bridge backend-agnostic et absence des quatre implémentations `RawAccount*`.
+
+Reste explicitement hors tranche : `record_raw_account_observation` (`pre.006`), concurrence/cancellation ciblées (`pre.006`), pagination/cursor (`pre.007`) et implémentations/dispatch 10/10 (`pre.008`). Les migrations V000/V001/V002 restent inchangées et le checksum V002 final demeure `ff21605ed45f7ab4c0f92bbb692700b4118a9488b04d50a31d259ac59bdb550e`.