v0.3.8-pre.005-fix.003

docs/validation/025-V0_3_8_STORE_DESK.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/025-V0_3_8_STORE_DESK.md -->
-<!-- version: 10 -->
+<!-- version: 11 -->
 
 # Validation v0.3.8 — Store Desk V1 RAW
 
@@ -442,3 +442,25 @@ Le live proof Account est de nouveau vert sur PostgreSQL 17 :
 KSP Store RawAccountState live proof: server major 17
 test pre_009_real_postgres_raw_account_vertical_slice_is_atomic_concurrent_and_recoverable ... ok
 ```
+
+## 24. Gate opérateur `pre.005-fix.002` et ouverture de `pre.005-fix.003`
+
+Le rejeu opérateur sur `0.3.8-pre.5.fix.2` confirme que `cargo fmt --all`, les audits Rust/Markdown, `cargo check --workspace`, `cargo clippy --workspace --all-targets`, les 69 tests unitaires PostgreSQL, `ksp-store-lib`, le mode `--no-default-features` et `ksp-store-api` sont verts. Les deux canaris `dependency_boundary` corrigés par `pre.005-fix.002` passent également.
+
+Il reste un unique canari historique trop large dans `hardening_completeness.rs` :
+
+```text
+pre_010_raw_account_private_sql_is_non_destructive_keyset_and_family_local: FAIL
+reason: raw_account.rs contient désormais OFFSET dans les deux statements d'inspection random-access
+```
+
+Ce canari `pre.010` interdit encore `OFFSET` sur l'intégralité de `raw_account.rs`, alors que ce fichier contient légitimement depuis `pre.005` deux statements `INSPECT_ACCOUNT_STATES_*` avec `LIMIT/OFFSET`. `pre.005-fix.003` retire uniquement cette interdiction globale devenue obsolète.
+
+Les garanties pertinentes restent strictes et redondantes :
+
+- `pre_007_raw_account_pagination_is_keyset_cursor_bound_and_policy_free` exige que les quatre statements `LIST_ACCOUNT_STATES_*` restent sans `OFFSET` ;
+- `v0_3_8_pre_005_raw_account_keyset_sql_remains_offset_free_while_inspection_is_random_access` exige les quatre statements keyset sans `OFFSET`, les deux statements d'inspection random-access avec `LIMIT/OFFSET`, et exactement deux occurrences d'`OFFSET` dans `raw_account.rs` ;
+- le canari `pre_010` conserve toutes ses interdictions destructives et de policy (`SELECT *`, `ON CONFLICT DO UPDATE`, `UPDATE`, `DELETE`, `TRUNCATE`, `batch_size`, `priority`).
+
+Aucun SQL, runtime PostgreSQL, contrat public, migration, capability, modèle ou comportement Store n'est modifié.
+