Sasedev/khadhroony-solana-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

v0.3.2-pre.002-fix.001

Browse Source
This commit is contained in:
SinuS von SifriduS
2026-08-29 17:42:14 +02:00
parent 153014be9d
commit ced653bfc0
10 changed files with 151 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
docs/validation/019-V0_3_2_STORE_POSTGRES_FOUNDATION.md
View File

@@ -1,5 +1,5 @@
<!-- file: docs/validation/019-V0_3_2_STORE_POSTGRES_FOUNDATION.md -->
<!-- version: 2 -->
<!-- version: 3 -->
# Validation `0.3.2` — Store/PostgreSQL runtime foundation
@@ -68,6 +68,8 @@ 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`.
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.
## 3. Frontières Cargo
### V32-DEP-001 — Façade -> API
@@ -78,7 +80,7 @@ ksp-store-lib -> ksp-store-api
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`.
Statut : `PASS pre.002 opérateur` — test ciblé et `cargo tree` fournis.
### V32-DEP-002 — Backend -> API
@@ -88,7 +90,7 @@ ksp-store-postgres-lib -> ksp-store-api
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`.
Statut : `PASS pre.002 opérateur` — test ciblé et `cargo tree` fournis.
### V32-DEP-003 — Pas de cycle backend
@@ -98,9 +100,9 @@ ksp-store-postgres-lib -X-> ksp-store-lib
Preuves : manifest scanner + cargo tree.
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`.
Le canari source de `pre.002` interdit explicitement la dépendance inverse ; le `cargo tree` opérateur confirme l'absence de cycle. La frontière sera durcie à nouveau en `pre.009`.
Statut : `TODO gate opérateur pre.002/pre.009`.
Statut : `PASS pre.002 opérateur / TODO pre.009 final`.
### V32-DEP-004 — Feature PostgreSQL
@@ -114,7 +116,7 @@ cargo check -p ksp-store-lib --no-default-features passe
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`.
Statut : `PASS pre.002 opérateur` — default feature, optional backend edge et compilation `--no-default-features` confirmés.
### V32-DEP-005 — Firewall domaines