v0.3.4-pre.003

docs/validation/021-V0_3_4_STORE_POSTGRES_RAW_ACCOUNT.md

@@ -1,11 +1,11 @@
 <!-- file: docs/validation/021-V0_3_4_STORE_POSTGRES_RAW_ACCOUNT.md -->
-<!-- version: 3 -->
+<!-- version: 4 -->
 
 # Validation `0.3.4` — Store/PostgreSQL `RawAccountState` + complétude RAW
 
 ## 1. Portée
 
-Cette matrice est ouverte par `0.3.4-pre.001`. `0.3.4-pre.002` matérialise uniquement la fondation V002 : registry, deux tables et PK/FK de base. Son gate opérateur révèle deux canaris unitaires obsolètes sans défaut de migration ; `0.3.4-pre.002-fix.001` les corrige sans modifier les resources SQL. Les contraintes de domaine, l'index, la compatibilité externe complète, les repositories et les quatre capabilities account restent volontairement pending.
+Cette matrice est ouverte par `0.3.4-pre.001`. `0.3.4-pre.002` matérialise la fondation V002 minimale et `pre.002-fix.001` corrige deux canaris sans modifier le SQL ; son gate opérateur complet est PASS. `0.3.4-pre.003` complète les contraintes de domaine, l'index de navigation, la compatibilité externe et le checksum V002 final. Les repositories et les quatre capabilities account restent volontairement pending.
 
 Base :
 
@@ -272,8 +272,8 @@ Le test live account devra être opt-in/ignored, URI stdin, sans environnement n
 | Tranche | Objet                                                             | État    |
 |---------|-------------------------------------------------------------------|---------|
 | pre.001 | audit, kbot3, threat model, V002 design, sizing, plan/validation  | DONE    |
-| pre.002 | V002 registry + deux tables + PK/FK de base, sans repository      | FIX.001 |
-| pre.003 | contraintes complètes, index, schema compatibility, checksum V002 | PLANNED |
+| pre.002 | V002 registry + deux tables + PK/FK de base, sans repository      | PASS    |
+| pre.003 | contraintes complètes, index, schema compatibility, checksum V002 | GATE    |
 | pre.004 | mapping privé state/observation + get reads + hostile rows        | PLANNED |
 | pre.005 | acquisition atomique state+observation + idempotence/conflict     | PLANNED |
 | pre.006 | observation supplémentaire + races/cancellation unitaires         | PLANNED |
@@ -350,4 +350,35 @@ Invariants du correctif :
 - aucun module repository account, dispatch Store ou implémentation `RawAccount*` ouvert ;
 - `workspace.package.version = 0.3.4-pre.2.fix.1` conformément à `VER-ID-007/010`, car des sources Rust de tests sont modifiées.
 
-Gate opérateur du correctif : **À REJOUER**.
+Gate opérateur du correctif du 2026-08-30 : **PASS complet** — audits Rust/Markdown, workspace check, Clippy all-targets, Store API, Store façade, backend PostgreSQL, Config et `--no-default-features` sont verts.
+
+## 19. Verdict `pre.003`
+
+V002 finale : **PASS statique / gate Cargo opérateur à rejouer**.
+
+Inventaire final :
+
+```text
+V002 resources     = 32
+tables             = 2
+constraints        = 29 (2 PK + 1 FK + 26 CHECK)
+indexes            = 1
+final checksum     = ff21605ed45f7ab4c0f92bbb692700b4118a9488b04d50a31d259ac59bdb550e
+provisional pre.002= 30ac87496f1bb3805d816660891d7eab2127c599a636eb40c17ade5926311f55
+```
+
+Contraintes matérialisées : exactitude fixed-width des identités/hash/signature, domaines `u64` en `NUMERIC(20,0)`, data account `<= 16 MiB`, provenance logique 1..128 octets/alphabet sûr, origin fermé aux cinq variantes API, timestamps `0..MAX_RAW_UNIX_MILLIS`, `observed_at <= received_at`, hash source 32 bytes et source size `<= 64 MiB`. `is_startup` reste un booléen nullable sans contrainte artificielle.
+
+L'unique index métier V002 est non unique et non filtré :
+
+```text
+(slot, pubkey, state_hash)
+```
+
+Aucun index owner/provider/method/time/status n'est ajouté.
+
+Compatibilité de prerelease : le checksum provisoire V002 de `pre.002` n'est accepté que lorsque `schema_update=update_if_needed`. Dans ce cas, les resources manquantes sont matérialisées et vérifiées, la compatibilité externe V002 est contrôlée, puis l'entrée d'historique est mise à jour atomiquement vers le checksum final. Avec `schema_update=disabled`, le checksum provisoire est rejeté ; tout checksum non explicitement connu reste `MigrationMismatch`.
+
+Le probe d'adoption couvre V001 + V002. V000/V001 et leurs checksums restent inchangés. Aucune surface repository/runtime account n'est ouverte : `src/raw_account.rs` absent, aucune implémentation `RawAccount*` et aucun dispatch Store.
+
+Audits exécutables dans l'environnement d'assemblage : Rust rules **PASS** ; audit Markdown à rejouer après cette mise à jour documentaire. Les commandes Cargo ne sont pas disponibles dans cet environnement et restent donc explicitement à rejouer par l'opérateur.