v0.3.3-pre.007-fix.001

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"

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;
 }

deltas/0.3.3/pre.007-fix.001.md

@@ -0,0 +1,106 @@
+<!-- file: deltas/0.3.3/pre.007-fix.001.md -->
+<!-- version: 1 -->
+
+# 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
+```

docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/020-V0_3_3_STORE_POSTGRES_RAW_TRANSACTION.md -->
-<!-- version: 11 -->
+<!-- version: 12 -->
 
 # 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`.