v0.3.8-pre.003-fix.001

docs/validation/025-V0_3_8_STORE_DESK.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/025-V0_3_8_STORE_DESK.md -->
-<!-- version: 4 -->
+<!-- version: 5 -->
 
 # Validation v0.3.8 — Store Desk V1 RAW
 
@@ -256,3 +256,42 @@ Détail Store Desk communiqué : 12 tests unitaires, 2 dependency-boundary, 6 de
 - [X] tracing frontend couvre boutons, navigation, tabs, changements de contrôles, Refresh et IPC ;
 - [X] les futurs événements DataTables page/length/query doivent être instrumentés lors de `pre.007`/`pre.008` sans logguer les valeurs de filtres ni payloads.
 
+## 16. Gate opérateur `pre.003` et ouverture de `pre.003-fix.001`
+
+Le gate opérateur de `pre.003` confirme :
+
+```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), 694 file(s))
+cargo check --workspace: PASS
+cargo clippy --workspace --all-targets: PASS
+cargo test -p ksp-store-api: PASS
+cargo test -p ksp-app-store-desk: PASS
+cargo check -p ksp-store-lib --no-default-features: PASS
+```
+
+`cargo test -p ksp-store-lib` échoue sur un seul canari historique :
+
+```text
+pre_009_facade_modules_and_crate_root_exports_are_exact
+```
+
+Le diagnostic est un inventaire attendu devenu obsolète après les réexports publics intentionnels de `pre.003`. La surface réelle contient bien les huit nouveaux symboles backend-neutral prévus :
+
+```text
+RawAccountStateInspectionQuery
+RawAccountStateInspectionRead
+RawAccountStateSummary
+RawInspectionPage
+RawInspectionPageRequest
+RawTransactionInspectionQuery
+RawTransactionInspectionRead
+RawTransactionSummary
+```
+
+Le correctif `pre.003-fix.001` met uniquement à jour ce canari exact de `91` à `99` exports. Aucun contrat, comportement runtime, backend PostgreSQL, SQL, migration, pagination ou code Store Desk n'est modifié.
+
+La case `pre.003` reste ouverte jusqu'au rejeu vert du gate opérateur sur `0.3.8-pre.3.fix.1`.
+