Delta `0.3.4-pre.010` — hardening et complétude cross-family

Base

Base directe : 0.3.4-pre.009. Le gate opérateur standard de pre.009 est PASS et le live postgres_raw_account_live est PASS sur PostgreSQL 17 avec URI dédiée lue depuis stdin.

Scope

Cette tranche est strictement limitée aux canaris de hardening et de complétude. Aucun runtime, SQL, migration, modèle API, capability ou export public n'est ajouté.

Modifications fonctionnelles de tests :

ksp-store-postgres-lib/tests/hardening_completeness.rs fige la surface SQL account non destructive/keyset-only, la séparation KSPA/KSPT, l'absence de FK cross-family et l'inventaire V002 exact de 32 resources ;
ksp-store-lib/tests/hardening_completeness.rs compare directement les ensembles de capabilities RAW de Store et PostgresBackend, qui doivent être exactement identiques à dix traits, sans retention/delete/compaction account.

Invariants préservés

ksp-store-api                         inchangée
ksp-store-lib/src                     inchangé
ksp-store-postgres-lib/src            inchangé
tests live                            inchangés
migrations V000/V001/V002             byte-inchangées
V002 checksum                          ff21605ed45f7ab4c0f92bbb692700b4118a9488b04d50a31d259ac59bdb550e
RAW capabilities PostgresBackend      10
RAW capabilities Store                10

Contrôles d'assemblage

Les audits Rust et Markdown doivent passer avant packaging. L'environnement d'assemblage ne possède pas Cargo ; le gate opérateur complet reste donc requis après application du delta.

Gate opérateur à rejouer

cargo fmt --all
python3 scripts/audit_rust_workspace_rules.py
python3 scripts/audit_markdown_tables.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts crates deltas/0.3.4
cargo check --workspace
cargo clippy --workspace --all-targets
cargo test -p ksp-store-api
cargo test -p ksp-store-lib
cargo test -p ksp-store-postgres-lib
cargo test -p ksp-config-lib
cargo check -p ksp-store-lib --no-default-features

2.1 KiB Raw Blame History

Delta 0.3.4-pre.010 — hardening et complétude cross-family