From c0948287042ee1a72cac6afc65e5df7eff27215b Mon Sep 17 00:00:00 2001 From: SinuS Von SifriduS Date: Sun, 30 Aug 2026 14:43:00 +0200 Subject: [PATCH] v0.3.3-pre.009-fix.001 --- Cargo.toml | 2 +- .../tests/postgres_raw_transaction_live.rs | 5 +- deltas/0.3.3/pre.009-fix.001.md | 100 ++++++++++++++++++ ...0-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md | 8 +- 4 files changed, 108 insertions(+), 7 deletions(-) create mode 100644 deltas/0.3.3/pre.009-fix.001.md diff --git a/Cargo.toml b/Cargo.toml index 0a41fc5..22ad349 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -6,7 +6,7 @@ resolver = "3" members = ["crates/ksp-app-config-desk", "crates/ksp-app-solprices-desk", "crates/ksp-app-wallet-desk", "crates/ksp-config-lib", "crates/ksp-core-lib", "crates/ksp-interface-lib", "crates/ksp-logging-lib", "crates/ksp-offchain-transport-lib", "crates/ksp-onchain-transport-lib", "crates/ksp-program-api", "crates/ksp-store-api", "crates/ksp-store-lib", "crates/ksp-store-postgres-lib", "crates/ksp-wallet-lib"] [workspace.package] -version = "0.3.3-pre.9" +version = "0.3.3-pre.9.fix.1" edition = "2024" license = "MIT" repository = "https://git.sasedev.com/Sasedev/khadhroony-solana-project" diff --git a/crates/ksp-store-postgres-lib/tests/postgres_raw_transaction_live.rs b/crates/ksp-store-postgres-lib/tests/postgres_raw_transaction_live.rs index f87c453..bc25ecf 100644 --- a/crates/ksp-store-postgres-lib/tests/postgres_raw_transaction_live.rs +++ b/crates/ksp-store-postgres-lib/tests/postgres_raw_transaction_live.rs @@ -1,5 +1,5 @@ // file: crates/ksp-store-postgres-lib/tests/postgres_raw_transaction_live.rs -// version: 1 +// version: 2 #![warn(missing_docs)] #![deny(unreachable_pub)] @@ -652,8 +652,7 @@ async fn prove_cancellation_rollback(admin: &mut tokio_postgres::Client, uri: &s std::result::Result::Ok(LivePersistResult::Outcome(value)) if value.entity() == ksp_store_api::RawEntityWriteOutcome::Inserted => {}, _ => return std::result::Result::Err(LiveFailure::new("cancellation_seed")), } - let lock_transaction_result = admin.transaction().await; - let lock_transaction = match lock_transaction_result { + let lock_transaction = match admin.transaction().await { std::result::Result::Ok(value) => value, std::result::Result::Err(_) => return std::result::Result::Err(LiveFailure::new("cancellation_lock_begin")), }; diff --git a/deltas/0.3.3/pre.009-fix.001.md b/deltas/0.3.3/pre.009-fix.001.md new file mode 100644 index 0000000..417bb0b --- /dev/null +++ b/deltas/0.3.3/pre.009-fix.001.md @@ -0,0 +1,100 @@ + + + +# Delta `0.3.3-pre.009-fix.001` — correction borrow du live cancellation + +## 1. Base et constat + +Base opérateur : + +```text +0.3.3-pre.9 +``` + +Le gate standard fourni le 2026-08-30 est propre sur les audits Rust/Markdown, `ksp-store-api`, `ksp-store-lib`, `ksp-config-lib` et `ksp-store-lib --no-default-features`, mais `ksp-store-postgres-lib` ne compile pas son nouveau test live : + +```text +E0502: cannot borrow `*admin` as immutable because it is also borrowed as mutable +``` + +Le scénario cancellation stockait le résultat de `admin.transaction().await` dans `lock_transaction_result`. Ce `Result>` pouvait conserver l'emprunt mutable de `admin` jusqu'à sa destruction en fin de fonction, alors que le probe final `transaction_exists(admin, ...)` demande ensuite un emprunt immuable. + +## 2. Version + +```text +workspace.package.version = 0.3.3-pre.9.fix.1 +``` + +## 3. Correction + +Le test live matche désormais directement : + +```rust +let lock_transaction = match admin.transaction().await { + ... +}; +``` + +Le binding intermédiaire `lock_transaction_result` est supprimé. Après `lock_transaction.rollback().await`, la transaction est consommée et l'emprunt mutable de `admin` peut se terminer avant le probe final. + +Aucune logique de preuve n'est modifiée : le test conserve le verrou observation réel, le blocage de l'acquisition concurrente, `JoinHandle::abort()`, le rollback du lock administrateur puis la vérification d'absence du canonical annulé. + +## 4. Scope strict + +Aucun changement dans : + +```text +crates/ksp-store-postgres-lib/src/** +crates/ksp-store-lib/src/** +crates/ksp-store-api/src/** +crates/ksp-store-postgres-lib/migrations/** +``` + +Aucun SQL, capability, cursor, contrat de rétention, mapping d'erreur, Config ou comportement runtime n'est modifié. + +## 5. Migrations + +Checksums inchangés : + +```text +V000 d29068b8c13b9dc0cc9ef6aaadd0fa12d41e0fe4c56541a1118c4bfc846a1450 +V001 31488cda2f08f3f46c4cdbdbb6c18c243662fada02eac4487040c8735d72cc51 +``` + +## 6. Fichiers modifiés + +```text +Cargo.toml +crates/ksp-store-postgres-lib/tests/postgres_raw_transaction_live.rs +docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md +deltas/0.3.3/pre.009-fix.001.md +``` + +Aucune suppression de fichier. + +## 7. Gate opérateur + +```bash +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.3 +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 +``` + +Après gate standard vert, exécuter le live opt-in sur une base PostgreSQL dédiée et vide de toute table KSP gérée : + +```bash +printf '%s\n' '' | cargo test -p ksp-store-postgres-lib --test postgres_raw_transaction_live -- --ignored --nocapture +``` + +## 8. Suite si les deux gates sont verts + +```text +0.3.3-pre.010 — hardening/completeness +``` diff --git a/docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md b/docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md index 180f769..951453a 100644 --- a/docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md +++ b/docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md @@ -1,5 +1,5 @@ - + # Validation `0.3.3` — Store/PostgreSQL RawTransaction vertical slice @@ -638,8 +638,10 @@ cap 500/1000 dans Store pagination - races archive et purge : COUVERT en tâches concurrentes ; - cancellation : verrou observation PostgreSQL + acquisition bloquée + `abort()` + canonical absent après rollback : COUVERT ; - réouverture finale : COUVERTE ; -- gate Cargo standard : NON EXÉCUTÉ dans l'environnement de génération ; -- test PostgreSQL réel `--ignored` : À EXÉCUTER côté opérateur. +- premier gate Cargo opérateur : FAIL local de compilation dans le scénario cancellation, car un `Result>` intermédiaire prolongeait l'emprunt mutable de `admin` jusqu'au probe final ; +- `pre.009-fix.001` supprime uniquement ce binding intermédiaire et matche directement `admin.transaction().await`, sans modifier la preuve, le SQL, la production ni les migrations ; +- gate Cargo standard de `pre.009-fix.001` : À EXÉCUTER côté opérateur ; +- test PostgreSQL réel `--ignored` : À EXÉCUTER côté opérateur après gate standard vert. ### `pre.010`