v0.3.8-pre.012

docs/validation/025-V0_3_8_STORE_DESK.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/025-V0_3_8_STORE_DESK.md -->
-<!-- version: 26 -->
+<!-- version: 27 -->
 
 # Validation v0.3.8 — Store Desk V1 RAW
 
@@ -835,3 +835,59 @@ Le gate opérateur de `0.3.8-pre.11` confirme que les audits KSP, `cargo check -
 - [X] la version workspace devient `0.3.8-pre.11.fix.1` car un test Rust est modifié.
 
 Le gate Cargo du fix reste à rejouer après application du delta.
+
+## 40. Clôture `pre.011-fix.001` et ouverture `pre.012` — gate technique final
+
+Le gate opérateur de `0.3.8-pre.11.fix.1` est entièrement vert. La correction du firewall `release_completeness.rs` élimine les dix diagnostics `clippy::implicit-return` sans modifier les assertions ni les inventaires :
+
+```text
+General Rust rule audit: clean
+Rust export completeness audit: 0 candidate(s)
+KSP workspace Rust rule audit: clean
+Markdown table audit: clean (314 table(s), 716 file(s))
+cargo check --workspace: PASS
+cargo clippy --workspace --all-targets: PASS, aucun warning
+cargo test -p ksp-app-store-desk: PASS
+  37 unitaires
+  6 dependency-boundary
+  15 desktop-contract
+  14 desktop-security
+  1 public-API
+  6 release-completeness
+cargo test -p ksp-store-lib: PASS
+cargo check -p ksp-store-lib --no-default-features: PASS
+```
+
+`pre.011` est donc fermée sans réserve. `pre.012` n'ajoute aucun développement fonctionnel ; elle synchronise uniquement la prerelease et matérialise le gate technique final.
+
+Gate déterministe requis :
+
+```bash
+cargo fmt --all -- --check
+python3 scripts/audit_rust_workspace_rules.py
+python3 scripts/audit_markdown_tables.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts crates deltas
+
+cargo check --workspace
+cargo clippy --workspace --all-targets --all-features -- -D warnings
+cargo test --workspace --all-targets --all-features
+cargo check -p ksp-store-lib --no-default-features
+
+cargo tree -p ksp-app-store-desk --edges normal
+cargo tree -p ksp-app-store-desk -e features
+cargo tree -p ksp-store-lib --edges normal
+cargo tree -p ksp-store-lib -e features
+cargo tree --duplicates
+```
+
+Les commandes constituent une séquence unique : un échec de format, audit, check, Clippy, test, feature-gate ou graphe bloque la clôture, même si le shell continue ensuite.
+
+Smoke PostgreSQL/desktop : opt-in uniquement si le Store configuré est un environnement sûr en lecture. Il doit se limiter à ouvrir le Store, obtenir `ready`, charger une page Transaction et Account, ouvrir un détail/les observations lorsqu'une row existe, puis fermer proprement. Aucun chemin archive/purge/force-rehydrate ou autre mutation n'est admis. L'absence d'environnement live sûr est documentée et n'autorise aucune réussite inventée.
+
+Après tous les contrôles précédents, le build Store Desk est exécuté **en dernière opération** :
+
+```bash
+(cd crates/ksp-app-store-desk && cargo tauri build)
+```
+
+Tout défaut ouvre `pre.012-fix.NNN` avant `pre.013`.
+