diff --git a/Cargo.toml b/Cargo.toml index 892a1d6..4091b1f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -6,7 +6,7 @@ resolver = "3" members = ["crates/ksp-app-backfill-desk", "crates/ksp-app-config-desk", "crates/ksp-app-raw-transaction-ingest-desk", "crates/ksp-app-solprices-desk", "crates/ksp-app-store-desk", "crates/ksp-app-wallet-desk", "crates/ksp-config-lib", "crates/ksp-core-lib", "crates/ksp-interface-lib", "crates/ksp-job-api", "crates/ksp-job-backfill-lib", "crates/ksp-logging-lib", "crates/ksp-offchain-transport-lib", "crates/ksp-onchain-transport-lib", "crates/ksp-program-api", "crates/ksp-raw-transaction-lib", "crates/ksp-store-api", "crates/ksp-store-lib", "crates/ksp-store-postgres-lib", "crates/ksp-wallet-lib", "crates/ksp-worker-api", "crates/ksp-worker-raw-transaction-ingest-lib"] [workspace.package] -version = "0.3.16-pre.8" +version = "0.3.16-pre.8.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 b4df433..5bffceb 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 @@ -110,7 +110,6 @@ const LIVE_MANAGED_SCHEMA_EXISTS_SQL: &str = r#"SELECT EXISTS ( AND table_type = 'BASE TABLE' )"#; const LIVE_MAX_URI_BYTES: usize = 4_096; -const LIVE_OBSERVATION_EXISTS_SQL: &str = "SELECT EXISTS (SELECT 1 FROM ksp_raw_transaction_observations WHERE observation_key = $1)"; const LIVE_TRANSACTION_EXISTS_SQL: &str = "SELECT EXISTS (SELECT 1 FROM ksp_raw_transactions WHERE signature = $1)"; const LIVE_VARIANT_IDEMPOTENCE_SQL: &str = "SELECT (SELECT COUNT(*) = 1 FROM ksp_raw_transaction_variants WHERE transaction_signature = $1) AND (SELECT COUNT(*) = 1 FROM ksp_raw_transaction_canonical_selectors WHERE transaction_signature = $1) AND (SELECT COUNT(*) = 1 FROM ksp_raw_transaction_observation_variants WHERE transaction_signature = $1) AND EXISTS (SELECT 1 FROM ksp_raw_transaction_observation_variants AS mapping INNER JOIN ksp_raw_transaction_canonical_selectors AS selector ON selector.transaction_signature = mapping.transaction_signature AND selector.canonical_variant_id = mapping.variant_id WHERE mapping.observation_key = $2 AND mapping.transaction_signature = $1)"; @@ -131,7 +130,7 @@ impl LiveFailure { #[derive(Debug)] enum LivePersistResult { - BackendError(ksp_store_postgres_lib::PostgresBackendErrorKind), + BackendError, Outcome(ksp_store_api::RawAcquisitionWriteOutcome), } @@ -1007,7 +1006,7 @@ async fn persist_once( let persisted = backend.persist_raw_transaction_acquisition(transaction, observation, ksp_store_api::RawTransactionAcquisitionMode::ForceRehydrate).await; let result = match persisted { std::result::Result::Ok(value) => LivePersistResult::Outcome(value), - std::result::Result::Err(error) => LivePersistResult::BackendError(error.kind()), + std::result::Result::Err(_) => LivePersistResult::BackendError, }; let close_result = close_backend(backend).await; if let std::result::Result::Err(error) = close_result { @@ -1379,18 +1378,6 @@ async fn transaction_exists(client: &tokio_postgres::Client, reference: &ksp_sto }; } -async fn observation_exists(client: &tokio_postgres::Client, key: &ksp_store_api::RawObservationKey) -> std::result::Result { - let key_bytes: &[u8] = key.as_bytes(); - let row = match client.query_one(LIVE_OBSERVATION_EXISTS_SQL, &[&key_bytes]).await { - std::result::Result::Ok(value) => value, - std::result::Result::Err(_) => return std::result::Result::Err(LiveFailure::new("observation_exists_probe")), - }; - return match row.try_get::(0) { - std::result::Result::Ok(value) => std::result::Result::Ok(value), - std::result::Result::Err(_) => std::result::Result::Err(LiveFailure::new("observation_exists_decode")), - }; -} - async fn conflict_state_is_exact( client: &tokio_postgres::Client, reference: &ksp_store_api::RawTransactionReference, diff --git a/deltas/0.3.16/pre.008-fix.001.md b/deltas/0.3.16/pre.008-fix.001.md new file mode 100644 index 0000000..fac7b80 --- /dev/null +++ b/deltas/0.3.16/pre.008-fix.001.md @@ -0,0 +1,132 @@ + + + +# Delta `0.3.16-pre.008-fix.001` — fermeture Clippy du live proof PostgreSQL + +## Base requise + +```text +0.3.16-pre.008 appliqué +workspace.package.version = 0.3.16-pre.8 +``` + +Le gate opérateur de `pre.008` confirme que les audits Rust/Markdown, `cargo check --workspace`, les suites Store API, Store façade, PostgreSQL, Job Backfill et Worker sont propres. Le live proof `postgres_raw_transaction_live` passe également sur PostgreSQL 17 avec un URI dédié fourni sur stdin. + +Le seul blocage restant est Clippy workspace/all-targets/all-features sous `-D warnings`, qui détecte trois éléments morts dans le test live : + +```text +LIVE_OBSERVATION_EXISTS_SQL +LivePersistResult::BackendError(PostgresBackendErrorKind) +observation_exists(...) +``` + +Ces éléments ne participent à aucun scénario `pre.008` et leur suppression ne modifie ni le runtime, ni les migrations, ni les invariants du live proof. + +## Version + +```text +workspace.package.version = 0.3.16-pre.8.fix.1 +``` + +## Correction + +Le test live PostgreSQL est nettoyé comme suit : + +- suppression de `LIVE_OBSERVATION_EXISTS_SQL`, inutilisé ; +- suppression du helper privé `observation_exists(...)`, inutilisé ; +- `LivePersistResult::BackendError(PostgresBackendErrorKind)` devient `LivePersistResult::BackendError`, car aucun scénario ne lit le `PostgresBackendErrorKind` capturé ; +- `persist_once(...)` conserve la distinction succès/erreur mais projette toute erreur backend vers le variant unitaire `BackendError`. + +Les scénarios live ajoutés par `pre.008` restent inchangés, notamment : + +```text +concurrence divergente -> InsertedCanonical + QuarantinedConflict +rollback tardif -> aucune variante/conflict case orphelin +selector -> cohérent avec la projection V001 +``` + +## Fichiers modifiés + +```text +Cargo.toml +crates/ksp-store-postgres-lib/tests/postgres_raw_transaction_live.rs +``` + +## Fichier ajouté + +```text +deltas/0.3.16/pre.008-fix.001.md +``` + +## Fichiers supprimés + +```text +aucun +``` + +## Validation opérateur déjà observée avant ce fix + +Le live proof suivant a été exécuté avec succès sur PostgreSQL 17 : + +```bash +read -rsp 'PostgreSQL URI: ' KSP_TEST_POSTGRES_URI +printf '\n' +printf '%s\n' "$KSP_TEST_POSTGRES_URI" \ + | cargo test -p ksp-store-postgres-lib \ + --test postgres_raw_transaction_live \ + -- --ignored --nocapture +unset KSP_TEST_POSTGRES_URI +``` + +Résultat observé : + +```text +KSP Store RawTransaction live proof: server major 17 +test pre_009_real_postgres_raw_transaction_vertical_slice_is_atomic_concurrent_and_recoverable ... ok +1 passed; 0 failed +``` + +## Validations exécutées lors de la génération + +```bash +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 +``` + +Le toolchain Rust n'est pas installé dans l'environnement de génération. `cargo fmt`, `cargo check`, Clippy et les tests Cargo ne sont donc pas déclarés exécutés ici. + +## Gate opérateur demandé + +```bash +cargo fmt --all +cargo fmt --all -- --check + +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 + +cargo check --workspace +cargo clippy --workspace --all-targets --all-features -- -D warnings + +cargo test -p ksp-store-api --all-targets --all-features +cargo test -p ksp-store-lib --all-targets --all-features +cargo test -p ksp-store-postgres-lib --all-targets --all-features +cargo test -p ksp-job-backfill-lib --all-targets --all-features +cargo test -p ksp-worker-raw-transaction-ingest-lib --all-targets --all-features +``` + +Le live proof PostgreSQL n'a pas besoin d'être rejoué pour corriger ces warnings, mais peut l'être sur une base dédiée vide si une seconde preuve opérateur est souhaitée. + +## Décisions prises + +- aucun `#[allow(dead_code)]` ni `#[expect(dead_code)]` n'est ajouté pour masquer les warnings ; +- le code mort est retiré plutôt que toléré ; +- aucune logique runtime ni migration n'est modifiée ; +- le live proof déjà passé sur PostgreSQL 17 conserve ses scénarios et ses invariants. + +## Questions ouvertes + +Aucune question bloquante. + +## Suite + +Après gate propre : fermeture de `0.3.16-pre.008`, puis `0.3.16-pre.009` pour la réconciliation documentaire finale.