From 1f0b20213565aba0c733ffb40aee6e40f70a3f08 Mon Sep 17 00:00:00 2001 From: SinuS Von SifriduS Date: Sun, 30 Aug 2026 13:43:58 +0200 Subject: [PATCH] v0.3.3-pre.007-fix.001 --- Cargo.toml | 4 +- .../tests/dependency_boundary.rs | 8 +- deltas/0.3.3/pre.007-fix.001.md | 106 ++++++++++++++++++ ...0-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md | 15 ++- 4 files changed, 124 insertions(+), 9 deletions(-) create mode 100644 deltas/0.3.3/pre.007-fix.001.md diff --git a/Cargo.toml b/Cargo.toml index 520cbe0..202639f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,12 +1,12 @@ # file: Cargo.toml -# version: 354 +# version: 355 [workspace] 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.7" +version = "0.3.3-pre.7.fix.1" edition = "2024" license = "MIT" repository = "https://git.sasedev.com/Sasedev/khadhroony-solana-project" diff --git a/crates/ksp-store-postgres-lib/tests/dependency_boundary.rs b/crates/ksp-store-postgres-lib/tests/dependency_boundary.rs index 08dded5..8cff0f9 100644 --- a/crates/ksp-store-postgres-lib/tests/dependency_boundary.rs +++ b/crates/ksp-store-postgres-lib/tests/dependency_boundary.rs @@ -1,5 +1,5 @@ // file: crates/ksp-store-postgres-lib/tests/dependency_boundary.rs -// version: 12 +// version: 13 #![warn(missing_docs)] #![deny(unreachable_pub)] @@ -148,7 +148,7 @@ fn pre_004_raw_read_sql_and_mapping_remain_backend_private() { } #[test] -fn pre_005_raw_write_sql_is_atomic_idempotent_and_keeps_later_scope_closed() { +fn pre_005_raw_write_sql_is_atomic_idempotent_and_keeps_direct_trait_scope_closed() { let raw = include_str!("../src/raw_transaction.rs"); for required in [ "INSERT INTO ksp_raw_transactions", @@ -166,8 +166,8 @@ fn pre_005_raw_write_sql_is_atomic_idempotent_and_keeps_later_scope_closed() { ] { assert!(raw.contains(required), "missing pre.005 RAW write contract: {required}"); } - for forbidden in ["DELETE FROM", "impl ksp_store_api::RawTransactionWrite", "impl ksp_store_api::RawTransactionObservationWrite"] { - assert!(!raw.contains(forbidden), "pre.005 opened later RAW scope prematurely: {forbidden}"); + for forbidden in ["impl ksp_store_api::RawTransactionWrite", "impl ksp_store_api::RawTransactionObservationWrite"] { + assert!(!raw.contains(forbidden), "pre.005 opened direct Store trait scope prematurely: {forbidden}"); } return; } diff --git a/deltas/0.3.3/pre.007-fix.001.md b/deltas/0.3.3/pre.007-fix.001.md new file mode 100644 index 0000000..12906ba --- /dev/null +++ b/deltas/0.3.3/pre.007-fix.001.md @@ -0,0 +1,106 @@ + + + +# Delta `0.3.3-pre.007-fix.001` — correction du canari de scope rétention + +## 1. Base + +Base opérateur obligatoire : + +```text +0.3.3-pre.7 +``` + +Le gate opérateur du 2026-08-30 est vert sur les audits, `cargo check`, Clippy, Store API, Store façade et Config. Il échoue uniquement dans : + +```text +cargo test -p ksp-store-postgres-lib +``` + +sur le canari historique : + +```text +pre_005_raw_write_sql_is_atomic_idempotent_and_keeps_later_scope_closed +``` + +Ce canari interdisait globalement `DELETE FROM` dans `raw_transaction.rs`. Cette interdiction était correcte en `pre.005`, mais elle devient obsolète en `pre.007` puisque `Archived -> Purged` doit supprimer atomiquement le payload archive. + +## 2. Version + +```text +workspace.package.version = 0.3.3-pre.7.fix.1 +``` + +## 3. Correction + +Le canari `pre.005` est renommé pour refléter le contrat qui reste valide : + +```text +pre_005_raw_write_sql_is_atomic_idempotent_and_keeps_direct_trait_scope_closed +``` + +Il conserve toutes les preuves `pre.005` d'insertion/idempotence/rehydration et continue d'interdire : + +```text +impl ksp_store_api::RawTransactionWrite +impl ksp_store_api::RawTransactionObservationWrite +``` + +Il n'interdit plus globalement `DELETE FROM`, car ce SQL appartient désormais légitimement à la tranche `pre.007`. + +Le canari `pre.007_raw_retention_is_atomic_compare_and_transition_without_fake_compaction` reste inchangé et exige explicitement : + +```text +DELETE_ARCHIVE_PAYLOAD_SQL +DELETE FROM ksp_raw_transaction_archive_payloads +UPDATE_PURGED_TRANSACTION_SQL +``` + +Aucun garde-fou fonctionnel n'est donc supprimé : il est simplement rattaché à la tranche qui possède désormais cette responsabilité. + +## 4. Invariants + +Ce fix ne modifie pas : + +```text +src/raw_transaction.rs +src/raw_transaction/cursor.rs +runtime/error mapping +SQL lecture/écriture/pagination/rétention +migrations V000/V001 +format cursor V1 +surface publique backend +``` + +Checksums attendus inchangés : + +```text +V000 d29068b8c13b9dc0cc9ef6aaadd0fa12d41e0fe4c56541a1118c4bfc846a1450 +V001 31488cda2f08f3f46c4cdbdbb6c18c243662fada02eac4487040c8735d72cc51 +``` + +## 5. Fichiers modifiés + +```text +Cargo.toml +crates/ksp-store-postgres-lib/tests/dependency_boundary.rs +docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md +deltas/0.3.3/pre.007-fix.001.md +``` + +Aucune suppression de fichier. + +## 6. 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 +``` 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 0a1c4a1..2a95543 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 @@ -607,7 +607,8 @@ cap 500/1000 dans Store pagination - unknown reference -> `ReferenceNotFound` : PASS statique ; - `RetentionCompactionUnsupported` stable, aucune représentation `compacted` SQL : PASS statique/unit ; - preuve des races et atomicité PostgreSQL réelle : différée à `pre.009` ; -- gate Cargo opérateur : À EXÉCUTER. +- premier gate opérateur : FAIL local sur un canari `pre.005` devenu obsolète après ouverture légitime du `DELETE` de purge en `pre.007` ; +- `pre.007-fix.001` retire uniquement cette interdiction historique globale et conserve le garde-fou contre les implémentations directes des traits Store ; gate opérateur à rejouer. ### `pre.008` @@ -733,5 +734,13 @@ cargo check -p ksp-store-lib --no-default-features - [PASS] `AlreadyAtTarget`, `ExpectedStateMismatch`, `Applied` décidés depuis l'état verrouillé ; - [PASS] `RetentionCompactionUnsupported` utilise le code stable déjà acquis ; - [PASS] aucune migration SQL modifiée, aucun trait Store complet ni dispatch façade ouvert ; -- [À FAIRE] gate Cargo opérateur complet de `pre.007`. +- [FAIL local] premier gate Cargo opérateur : le canari historique `pre_005_raw_write_sql_is_atomic_idempotent_and_keeps_later_scope_closed` interdisait encore globalement `DELETE FROM`, désormais légitime pour `Archived -> Purged`. + +### `pre.007-fix.001` — correction du gate + +- [PASS statique] le canari `pre.005` conserve ses assertions d'atomicité/idempotence et n'interdit plus le `DELETE` introduit explicitement par `pre.007` ; +- [PASS statique] les implémentations directes `RawTransactionWrite` / `RawTransactionObservationWrite` restent interdites dans le backend à ce stade ; +- [PASS statique] le canari `pre.007` continue d'exiger `DELETE_ARCHIVE_PAYLOAD_SQL` et `DELETE FROM ksp_raw_transaction_archive_payloads` ; +- [PASS statique] aucune logique runtime, migration ou checksum V000/V001 modifié ; +- [À FAIRE] gate Cargo opérateur complet de `pre.007-fix.001`.