v0.3.8-pre.013

docs/validation/000-README.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/000-README.md -->
-<!-- version: 36 -->
+<!-- version: 37 -->
 
 # Validations KSP
 
@@ -33,3 +33,4 @@ Documents :
 - [`022-V0_3_5_INTERFACE_ACQUISITION_EVENTS.md`](022-V0_3_5_INTERFACE_ACQUISITION_EVENTS.md) — matrice finale de `0.3.5 — Interface acquisition events` : événements passifs slot/transaction, façade crate-root, bornes/debug et firewall Interface.
 - [`023-V0_3_6_JOB_API_BACKFILL.md`](023-V0_3_6_JOB_API_BACKFILL.md) — matrice candidate de `0.3.6 — Job API + RAW transaction backfill` : lifecycle/notifications runtime-neutral, scopes, provenance, RAW v1, Store/idempotence, concurrence/checkpoint, annulation/snapshots, hardening externe et gate workspace final.
 - [`024-V0_3_7_BACKFILL_DESK.md`](024-V0_3_7_BACKFILL_DESK.md) — matrice candidate de `0.3.7 — Backfill Desk` : composition Config/Transport/Store/Job, scopes et rôles HTTP, single-run, monitoring latest-value, Cancel, Resume in-session Rust-only, autocomplete Program IDs, hardening et gate workspace/Tauri final.
+- [`025-V0_3_8_STORE_DESK.md`](025-V0_3_8_STORE_DESK.md) — matrice candidate finale de `0.3.8 — Store Desk V1 RAW` : composition Config/Store, inspection random-access Transaction/Account/Observation, DataTables server-side, DTOs payload/data-free, détails bornés, rétention/tombstones read-only, hardening IPC/frontend, release completeness et gate workspace/Tauri final.

docs/validation/025-V0_3_8_STORE_DESK.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/025-V0_3_8_STORE_DESK.md -->
-<!-- version: 28 -->
+<!-- version: 29 -->
 
 # Validation v0.3.8 — Store Desk V1 RAW
 
@@ -94,13 +94,13 @@ Le journal opérateur fourni pour v0.3.7 rapporte un gate complet. Il reste une
 - [X] `pre.004` PostgreSQL + façade inspection RawTransaction ;
 - [X] `pre.005` PostgreSQL + façade inspection RawAccountState ;
 - [X] `pre.006` composite Logging+Store + Overview/health ;
-- [ ] `pre.007` RawTransaction DataTables serverSide + détail ;
-- [ ] `pre.008` RawAccountState DataTables serverSide + détail ;
-- [ ] `pre.009` observation listing/inspection Store ;
-- [ ] `pre.010` observations UI + hardening UX ;
-- [ ] `pre.011` security/dependency/release completeness ;
-- [ ] `pre.012` gate technique final + Tauri build + smoke read-only opt-in ;
-- [ ] `pre.013` réconciliation documentaire ;
+- [X] `pre.007` RawTransaction DataTables serverSide + détail ;
+- [X] `pre.008` RawAccountState DataTables serverSide + détail ;
+- [X] `pre.009` observation listing/inspection Store ;
+- [X] `pre.010` observations UI + hardening UX ;
+- [X] `pre.011` security/dependency/release completeness ;
+- [X] `pre.012` gate technique final + Tauri build + smoke read-only opt-in ;
+- [X] `pre.013` réconciliation documentaire ;
 - [ ] `pre.014` prompt suivant + CHANGELOG + ROADMAP ;
 - [ ] `rel.001` publication stable v0.3.8.
 
@@ -913,3 +913,43 @@ Le `tsconfig.json` de Store Desk avait divergé du gabarit commun Config/Wallet/
 - [X] `workspace.package.version` devient `0.3.8-pre.12.fix.1` car `tsconfig.json` est un changement build/config et un test Rust est ajouté.
 
 Le gate final doit être rejoué sur l'overlay officiel. Le build Tauri reste la dernière opération lourde et doit passer avec le `tsconfig.json` versionné par ce fix, sans correction locale supplémentaire.
+
+## 42. Clôture `pre.012-fix.001` et réconciliation `pre.013`
+
+Le gate opérateur rejoué sur l'overlay officiel `0.3.8-pre.12.fix.1` est entièrement vert :
+
+```text
+cargo fmt --all -- --check: PASS
+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), 718 file(s))
+cargo check --workspace: PASS
+cargo clippy --workspace --all-targets --all-features -- -D warnings: PASS
+cargo test --workspace --all-targets --all-features: PASS
+  1 592 passed
+  0 failed
+  15 ignored opt-in/operator-only
+cargo check -p ksp-store-lib --no-default-features: PASS
+cargo tree Store Desk / Store façade / features / duplicates: exécutés sans gate rouge
+Store Desk frontend tsc + Vite build: PASS
+Tauri release build: PASS
+  deb
+  rpm
+```
+
+Le canari `pre_012_fix_001_tsconfig_matches_common_ksp_desk_template_byte_exact` passe dans la suite `desktop_contract`, ce qui confirme que le réalignement TypeScript est bien versionné et non une correction locale.
+
+La surface fonctionnelle finale vérifiée reste :
+
+- [X] Overview/Diagnostics backend-neutral et secret-free ;
+- [X] RAW Transactions DataTables server-side, filtres Store explicites, détail borné et rétention/tombstone read-only ;
+- [X] RAW Accounts DataTables server-side, filtre pubkey exact/range/direction et détail data borné ;
+- [X] observations Transaction/Account server-side, metadata/provenance uniquement et sans source bytes ;
+- [X] counts exacts conservés en texte décimal jusqu'au contrôle JS-safe ;
+- [X] DataTables est l'unique pager visible ;
+- [X] la navigation machine cursor/keyset reste distincte et intacte ;
+- [X] aucun SQL/backend physique, Transport, browser storage/network, dialogue natif ou command Store mutatif n'entre dans l'application ;
+- [X] fermeture Store bornée avant exit.
+
+`pre.013` réconcilie exclusivement README/USAGE, architecture/index et plan/validation sur cette preuve. `CHANGELOG.md`, `ROADMAP.md` et le prompt suivant restent réservés à `pre.014`.