v0.3.4-pre.003-fix.001

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: 4 -->
+<!-- version: 5 -->
 
 # 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 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.
+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 ; `pre.003-fix.001` corrige uniquement l'ordre alphabétique du bloc `const` de migration. Les repositories et les quatre capabilities account restent volontairement pending.
 
 Base :
 
@@ -273,7 +273,7 @@ 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 | GATE    |
+| pre.003 | contraintes complètes, index, schema compatibility, checksum V002 | FIXED   |
 | 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 |
@@ -354,7 +354,7 @@ Gate opérateur du correctif du 2026-08-30 : **PASS complet** — audits Rust/Ma
 
 ## 19. Verdict `pre.003`
 
-V002 finale : **PASS statique / gate Cargo opérateur à rejouer**.
+V002 finale : **PASS fonctionnel opérateur ; fix de conformité Rust requis**.
 
 Inventaire final :
 
@@ -381,4 +381,18 @@ Compatibilité de prerelease : le checksum provisoire V002 de `pre.002` n'est ac
 
 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.
+Gate opérateur de `pre.003` du 2026-08-30 : `cargo check --workspace`, Clippy all-targets, Store API, Store façade, backend PostgreSQL (45 tests), Config et `--no-default-features` sont **PASS**. L'audit Markdown est **PASS**. L'unique défaut est `RUST-FMT-104` dans `src/migration.rs` : le bloc `const` n'est pas intégralement trié alphabétiquement.
+
+## 20. Correctif `pre.003-fix.001`
+
+Le correctif est strictement hygiénique : `HISTORY_LOAD_SQL` est déplacée avant `HISTORY_UPDATE_CHECKSUM_SQL`. Les valeurs, types et usages des constantes restent identiques.
+
+Invariants du fix :
+
+- aucune ressource V002 modifiée ;
+- checksum V002 final inchangé : `ff21605ed45f7ab4c0f92bbb692700b4118a9488b04d50a31d259ac59bdb550e` ;
+- checksum provisoire `pre.002` et bridge de migration inchangés ;
+- aucune modification de schéma, repository, dispatch ou capability ;
+- `workspace.package.version = 0.3.4-pre.3.fix.1` conformément à `VER-ID-007/010`.
+
+L'audit Rust du fix doit être **PASS** avant `pre.004`. Le gate Cargo complet du fix reste à rejouer par l'opérateur.