v0.3.2-pre.011

This commit is contained in:
2026-08-30 05:55:29 +02:00
parent e1fe419028
commit b375f263dc
13 changed files with 1011 additions and 36 deletions

View File

@@ -1,5 +1,5 @@
<!-- file: docs/validation/000-README.md -->
<!-- version: 32 -->
<!-- version: 33 -->
# Validations KSP
@@ -27,3 +27,4 @@ Documents :
- [`016-V0_2_13_INTERFACE.md`](016-V0_2_13_INTERFACE.md) — matrice historique clôturée de la release stable `0.2.13` : ownership Interface/Core/Transport/Program, surface passive, bornes/adversarial, façade publique exacte, consumer externe, release completeness et dependency firewall.
- [`017-V0_2_14_PROGRAM_API.md`](017-V0_2_14_PROGRAM_API.md) — matrice historique clôturée de la release stable `0.2.14 — Program API foundation` : façade instruction-only ouverte, Recognition/Outcome, trait externe, Program Pubkey non enregistré, hardening adversarial, release completeness et firewall Core/Interface.
- [`018-V0_3_1_STORE_RAW.md`](018-V0_3_1_STORE_RAW.md) — matrice candidate finale de `0.3.1 — Store API RAW foundation` : modèles transaction/account, observations, capabilities backend, pagination sans policy executor, outcomes, rétention/tombstone, hardening, gate complet `pre.008` et reports explicites vers `0.3.2+`.
- [`019-V0_3_2_STORE_POSTGRES_FOUNDATION.md`](019-V0_3_2_STORE_POSTGRES_FOUNDATION.md) — matrice candidate finale de `0.3.2 — Store/PostgreSQL runtime foundation` : feature graph, settings/Config, pool/TLS, migrations metadata-only, health, hardening, graphes, builds Tauri et preuve PostgreSQL réelle major 17.

View File

@@ -1,5 +1,5 @@
<!-- file: docs/validation/019-V0_3_2_STORE_POSTGRES_FOUNDATION.md -->
<!-- version: 12 -->
<!-- version: 13 -->
# Validation `0.3.2` — Store/PostgreSQL runtime foundation
@@ -160,7 +160,7 @@ exports/capabilities existants conservés
aucun type backend ajouté pour PostgreSQL
```
Statut : `PASS pre.009 opérateur / TODO revalidation pre.010` — le canari backend externe de `ksp-store-api` est rejoué sans modification de la crate.
Statut : `PASS pre.009 opérateur / PASS pre.010 opérateur` — le canari backend externe de `ksp-store-api` est rejoué sans modification de la crate.
## 4. Public API et settings
@@ -266,7 +266,7 @@ future RAW mismatch Store.network != entity/query.network rejeté avant I/O
Matérialisé contractuellement par `pre.004-fix.001`; l'enforcement sur opérations RAW sera exercé dans `0.3.3`/`0.3.4`.
Statut : `PASS pre.004-fix.001 opérateur` pour la sélection target/réseau / `TODO 0.3.3-0.3.4` pour le mismatch RAW.
Statut : `PASS pre.004-fix.001 opérateur` pour la sélection target/réseau / `N/A 0.3.2` pour le mismatch d'opérations RAW, dont l'enforcement appartient aux vertical slices `0.3.3`-`0.3.4`.
### V32-CONFIG-003 — No-env Store/backend
@@ -458,7 +458,7 @@ Critères :
0 repository RAW métier
```
Statut : `PASS pre.009 opérateur / TODO revalidation pre.010`.
Statut : `PASS pre.009 opérateur / PASS pre.010 opérateur`.
## 9. Health/readiness
@@ -536,7 +536,7 @@ cleanup metadata
La preuve rollback évite tout hook public de test : une transaction `tokio-postgres` de test exécute le V000 exact par `include_str!`, insère un sentinel transitoire, provoque ensuite une erreur SQL puis est droppée. Le test vérifie que la metadata n'existe pas après le rollback implicite et que le bootstrap KSP normal peut repartir proprement.
Statut : `PASS live pre.008 PostgreSQL 17 / TODO revalidation pre.010`.
Statut : `PASS live pre.008 PostgreSQL 17 / PASS live pre.010 PostgreSQL 17`.
### V32-LIVE-004 — PostgreSQL support
@@ -544,7 +544,7 @@ Critère : test refuse major < 15 et enregistre seulement le major safe réellem
Cible release : PostgreSQL 18.6. `pre.008` interroge uniquement `SHOW server_version_num`, dérive le major et n'imprime aucune identité de serveur. Le gate opérateur réel a été exécuté avec succès sur PostgreSQL 17.
Statut : `PASS live pre.008 PostgreSQL 17 / TODO revalidation pre.010`.
Statut : `PASS live pre.008 PostgreSQL 17 / PASS live pre.010 PostgreSQL 17`.
## 11. Security/adversarial
@@ -636,7 +636,9 @@ PostgreSQL live foundation
3 builds Tauri avec resources std.store packagées
```
Statut global `pre.010` : `MATÉRIALISÉ / TODO gate opérateur`.
Statut global `pre.010` : `PASS technique opérateur`.
Le gate a été rejoué après `cargo clean` sur `0.3.2-pre.10` : audits Rust, workspace check/Clippy, tests ciblés, `cargo test --workspace`, graphes Cargo, trois builds Tauri et PostgreSQL live major 17 sont verts. La ligne d'audit Markdown opérateur a utilisé `deltas/0.3.1` par erreur ; l'overlay `pre.010` avait été audité avec `deltas/0.3.2` dans l'environnement de génération et `pre.011` rejoue le scope Markdown exact avant clôture documentaire.
## 14. Gates Rust/workspace
@@ -686,9 +688,27 @@ cargo test --workspace
Les trois builds Tauri sont requis au gate final parce que `pre.004` a réellement ajouté les resources `std.store` au packaging desktop.
Statut global : `TODO gate opérateur pre.010`.
Statut global technique : `PASS pre.010 opérateur`; audit Markdown `deltas/0.3.2` à rejouer dans le gate documentaire `pre.011`.
## 15. Critères de fermeture
## 15. Réconciliation documentaire `pre.011`
Critères :
```text
README/USAGE ksp-store-lib présents et alignés sur la façade publique
README/USAGE ksp-store-postgres-lib présents et explicitement backend-only
ksp-config-lib README/USAGE documentent cfg.std.store et les targets réseau
indexes docs/plans/validation référencent 0.3.2
plan 023 reflète le gate technique réel
matrice 019 ne conserve aucun TODO applicable à 0.3.2
CHANGELOG/ROADMAP/prompt suivant inchangés
```
Les architectures générales Store ont été relues et restent cohérentes ; aucune modification artificielle n'est nécessaire.
Statut : `MATÉRIALISÉ pre.011 / TODO gate documentaire opérateur`.
## 16. Critères de fermeture
La matrice ne peut passer en finale que si tous les critères applicables sont `PASS` et que :
@@ -703,4 +723,4 @@ PostgreSQL live vert
workspace/clippy/tests verts
```
La réconciliation finale de cette matrice appartient à la prerelease documentaire précédant la lane de publication.
La réconciliation finale de cette matrice est matérialisée par `pre.011`. Après son gate documentaire vert, la seule étape restante est la préparation de publication minimale `pre.012`.