v0.3.2-pre.002

docs/validation/019-V0_3_2_STORE_POSTGRES_FOUNDATION.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/019-V0_3_2_STORE_POSTGRES_FOUNDATION.md -->
-<!-- version: 1 -->
+<!-- version: 2 -->
 
 # Validation `0.3.2` — Store/PostgreSQL runtime foundation
 
@@ -66,6 +66,8 @@ sha2 0.11.0
 refinery 0.9.2 audité/rejeté
 ```
 
+Le gate opérateur après application de `pre.001`, fourni le 29 août 2026, est vert : audits Rust/Markdown, `cargo check --workspace` et `cargo clippy --workspace --all-targets` passent sur `0.3.2-pre.1`.
+
 ## 3. Frontières Cargo
 
 ### V32-DEP-001 — Façade -> API
@@ -74,7 +76,9 @@ refinery 0.9.2 audité/rejeté
 ksp-store-lib -> ksp-store-api
 ```
 
-Statut : `TODO pre.002`.
+Matérialisé par `0.3.2-pre.002` dans le manifest de `ksp-store-lib`.
+
+Statut : `TODO gate opérateur pre.002` jusqu'au test ciblé et au `cargo tree`.
 
 ### V32-DEP-002 — Backend -> API
 
@@ -82,7 +86,9 @@ Statut : `TODO pre.002`.
 ksp-store-postgres-lib -> ksp-store-api
 ```
 
-Statut : `TODO pre.002`.
+Matérialisé par `0.3.2-pre.002` dans le manifest de `ksp-store-postgres-lib`.
+
+Statut : `TODO gate opérateur pre.002` jusqu'au test ciblé et au `cargo tree`.
 
 ### V32-DEP-003 — Pas de cycle backend
 
@@ -92,7 +98,9 @@ ksp-store-postgres-lib -X-> ksp-store-lib
 
 Preuves : manifest scanner + cargo tree.
 
-Statut : `TODO pre.002/pre.009`.
+Le canari source de `pre.002` interdit explicitement la dépendance inverse ; la preuve Cargo reste à exécuter puis sera durcie à nouveau en `pre.009`.
+
+Statut : `TODO gate opérateur pre.002/pre.009`.
 
 ### V32-DEP-004 — Feature PostgreSQL
 
@@ -104,7 +112,9 @@ ksp-store-postgres-lib est optional dependency
 cargo check -p ksp-store-lib --no-default-features passe
 ```
 
-Statut : `TODO pre.002`.
+Le manifest de `ksp-store-lib` matérialise `default = ["postgres"]` et l'optional dependency `ksp-store-postgres-lib`. La compilation sans default feature est une preuve opérateur obligatoire.
+
+Statut : `TODO gate opérateur pre.002`.
 
 ### V32-DEP-005 — Firewall domaines