v0.3.2-pre.003

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: 3 -->
+<!-- version: 4 -->
 
 # Validation `0.3.2` — Store/PostgreSQL runtime foundation
 
@@ -70,6 +70,8 @@ Le gate opérateur après application de `pre.001`, fourni le 29 août 2026, est
 
 Le gate opérateur de `pre.002`, fourni le 29 août 2026, confirme également les tests ciblés, `--no-default-features` et les `cargo tree`. `cargo check`/Clippy terminent avec succès mais signalent deux warnings par nouvelle crate (`TRACING_TARGET` importé mais inutilisé et constant `dead_code`) ; `pre.002-fix.001` traite cet écart par un canari compile-time privé, tout en conservant les invariants KSP-TRACE-102/103 et sans ajouter de logging runtime.
 
+Le gate opérateur de `pre.002-fix.001`, fourni le 29 août 2026, est entièrement vert et sans warning : audits Rust/Markdown, workspace check/Clippy, tests des deux crates et compilation `ksp-store-lib --no-default-features` passent. Cette base est l'entrée effective de `pre.003`.
+
 ## 3. Frontières Cargo
 
 ### V32-DEP-001 — Façade -> API
@@ -150,13 +152,17 @@ Statut : `TODO gate final`, baseline `v0.3.1` déjà verte.
 
 Critère : `StoreSettings` est constructible sans `ksp-config-lib`, sans env et sans serde requis par la façade.
 
-Statut : `TODO pre.003`.
+Matérialisé par `pre.003` : `StoreSettings`, `StoreBackendSettings`, `PostgresStoreSettings`, pool/bootstrap/TLS typés, sans dépendance Config/serde/env.
+
+Statut : `TODO gate opérateur pre.003`.
 
 ### V32-API-002 — Backend connu non compilé
 
 Critère : `Postgres` reste un backend connu sans feature et `Store::open` échoue avant I/O avec un code stable.
 
-Statut : `TODO pre.003`.
+Matérialisé par `pre.003` : le test `feature_mismatch` appelle réellement `Store::open` sous `--no-default-features` et exige `store.backend_not_compiled`.
+
+Statut : `TODO gate opérateur pre.003 / TODO pre.009 final`.
 
 ### V32-API-003 — Aucun type backend physique public
 
@@ -175,7 +181,9 @@ Statut : `TODO pre.009`.
 
 Critère : un consumer de `ksp-store-lib` accède aux contrats Store API utiles sans dépendre directement de la crate backend.
 
-Statut : `TODO pre.003`.
+`pre.003` réexporte explicitement les 60 symboles crate-root acquis de `ksp-store-api` depuis `ksp-store-lib`, sans glob et sans réexport backend.
+
+Statut : `TODO gate opérateur pre.003 / TODO pre.009 exact exports`.
 
 ### V32-API-005 — Lifecycle
 
@@ -189,7 +197,9 @@ close borné
 Drop best-effort seulement
 ```
 
-Statut : `TODO pre.003/pre.007`.
+`pre.003` fixe les signatures `Store::open(settings).await` et `Store::close(self).await` et garde `Store` opaque/non constructible par un consumer. Aucun succès d'ouverture n'est simulé avant la connexion réelle : le backend compilé s'arrête avec `store.backend_open_failed` et le contexte sûr `runtime_foundation_pending`.
+
+Statut : `TODO gate opérateur pre.003` pour les signatures et le staging ; `TODO pre.007` pour le shutdown physique borné.
 
 ## 5. Config ownership
 
@@ -485,11 +495,15 @@ Statut : `TODO pre.009`.
 
 Cas : zéro, inversion, dépassement bornes pour pool/connect/migration/close.
 
-Statut : `TODO pre.003/pre.005/pre.009`.
+Les bornes backend-neutral décidées en `pre.001` sont matérialisées et couvertes par tests unitaires en `pre.003`. Le parsing PostgreSQL et les timeouts physiques restent à `pre.005`.
+
+Statut : `TODO gate opérateur pre.003 / TODO pre.005 / TODO pre.009`.
 
 ### V32-SEC-004 — Feature mismatch avant I/O
 
-Statut : `TODO pre.003/pre.009`.
+`pre.003` matérialise un canari d'intégration compilé avec et sans `postgres`. Sans feature, `Store::open` retourne le code stable `store.backend_not_compiled` avant tout chemin backend physique.
+
+Statut : `TODO gate opérateur pre.003 / TODO pre.009`.
 
 ### V32-SEC-005 — Server error sanitization
 
@@ -514,6 +528,7 @@ Après création des crates :
 ```bash
 cargo test -p ksp-store-api
 cargo test -p ksp-store-lib
+cargo test -p ksp-store-lib --no-default-features
 cargo test -p ksp-store-postgres-lib
 cargo test -p ksp-config-lib
 cargo check -p ksp-store-lib --no-default-features