From 4914f6df7014300bb8e387386b4b7fe1323efdb4 Mon Sep 17 00:00:00 2001 From: SinuS Von SifriduS Date: Tue, 22 Sep 2026 06:33:11 +0200 Subject: [PATCH] 0.3.16-pre.007-fix.002 --- Cargo.toml | 4 +- .../tests/cross_layer_completeness.rs | 14 ++- deltas/0.3.16/pre.007-fix.002.md | 95 +++++++++++++++++++ 3 files changed, 108 insertions(+), 5 deletions(-) create mode 100644 deltas/0.3.16/pre.007-fix.002.md diff --git a/Cargo.toml b/Cargo.toml index 37e3ca7..7911400 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,12 +1,12 @@ # file: Cargo.toml -# version: 646 +# version: 647 [workspace] 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.7.fix.1" +version = "0.3.16-pre.7.fix.2" edition = "2024" license = "MIT" repository = "https://git.sasedev.com/Sasedev/khadhroony-solana-project" diff --git a/crates/ksp-worker-raw-transaction-ingest-lib/tests/cross_layer_completeness.rs b/crates/ksp-worker-raw-transaction-ingest-lib/tests/cross_layer_completeness.rs index f79a606..4dab560 100644 --- a/crates/ksp-worker-raw-transaction-ingest-lib/tests/cross_layer_completeness.rs +++ b/crates/ksp-worker-raw-transaction-ingest-lib/tests/cross_layer_completeness.rs @@ -1,5 +1,5 @@ // file: crates/ksp-worker-raw-transaction-ingest-lib/tests/cross_layer_completeness.rs -// version: 4 +// version: 5 //! Cross-layer completeness and security canaries through `0.3.14-pre.013`. @@ -252,6 +252,7 @@ fn v0_3_13_pre_012_legacy_v0_v1_is_proven_from_transport_through_worker_common_r let worker_persistence = include_str!("../src/persistence.rs"); let common_raw_wire = include_str!("../../ksp-raw-transaction-lib/unit_tests/wire.rs"); let common_raw_canonical = include_str!("../../ksp-raw-transaction-lib/unit_tests/canonical.rs"); + let common_raw_canonical_source = include_str!("../../ksp-raw-transaction-lib/src/canonical.rs"); let store_api = include_str!("../../ksp-store-api/tests/public_api.rs"); let store = include_str!("../../ksp-store-lib/src/store.rs"); assert!(transport_grpc.contains("yellowstone_transaction_update_decodes_current_storage_wire_including_v1_config_and_meta")); @@ -276,9 +277,16 @@ fn v0_3_13_pre_012_legacy_v0_v1_is_proven_from_transport_through_worker_common_r assert!(common_raw_wire.contains(required), "pre.012 Common RAW V1 proof missing: {required}"); } assert!(common_raw_canonical.contains("pre_002_canonical_raw_v1_golden_bytes_and_hash_are_exact")); - for required in ["block_time", "content_hash", "format_id", "format_version", "slot"] { - assert!(worker_persistence.contains(required), "pre.012 canonical Store identity field missing: {required}"); + for required in [ + "RawPayload::try_new(", + "RAW_TRANSACTION_FORMAT_VERSION", + "RawContentHash::new(hash)", + "RawTransaction::new(reference, material.slot, block_time, payload)", + ] { + assert!(common_raw_canonical_source.contains(required), "pre.012 canonical Common RAW field assembly missing: {required}"); } + assert!(worker_persistence.contains("let (transaction, observation) = acquisition.into_parts();")); + assert!(worker_persistence.contains("port.persist_acquisition(transaction, observation, ksp_store_lib::RawTransactionAcquisitionMode::Normal).await")); assert!(store_api.contains("public_pre_003_raw_transaction_and_observation_are_constructible_from_crate_root")); assert!(store_api.contains("RawPayload::try_new(format, 1")); assert!(store.contains("persist_raw_transaction_acquisition")); diff --git a/deltas/0.3.16/pre.007-fix.002.md b/deltas/0.3.16/pre.007-fix.002.md new file mode 100644 index 0000000..f6d3352 --- /dev/null +++ b/deltas/0.3.16/pre.007-fix.002.md @@ -0,0 +1,95 @@ + + + +# Delta `0.3.16-pre.007-fix.002` — réalignement du canari cross-layer Worker/Common RAW/Store + +## Base requise + +```text +0.3.16-pre.007-fix.001 appliqué +workspace.package.version = 0.3.16-pre.7.fix.1 +``` + +Le gate opérateur de `pre.007-fix.001` confirme que `cargo check --workspace`, Clippy et les suites Store API, Store façade, PostgreSQL, Backfill ainsi que les 162 tests unitaires Worker passent. Le seul échec restant est `v0_3_13_pre_012_legacy_v0_v1_is_proven_from_transport_through_worker_common_raw_to_store` dans `cross_layer_completeness`. + +Le canari historique cherchait littéralement les chaînes `block_time`, `content_hash`, `format_id`, `format_version` et `slot` dans `worker/src/persistence.rs`. Depuis `pre.007`, le Worker ne reconstruit plus le contenu canonique champ par champ : il reçoit une `RawTransactionAcquisition`, extrait la `RawTransaction` typée avec `into_parts()` et la transmet telle quelle au Store. L'absence de ces noms de champs dans `persistence.rs` n'est donc pas une perte de données. + +## Version + +```text +workspace.package.version = 0.3.16-pre.7.fix.2 +``` + +## Correction + +Le canari conserve son objectif de preuve cross-layer mais vérifie désormais les véritables frontières de propriété : + +- Common RAW assemble toujours `RawPayload` avec le format, la version et le hash ; +- Common RAW construit toujours `RawTransaction::new(reference, material.slot, block_time, payload)` ; +- le Worker extrait `(transaction, observation)` depuis l'acquisition sans reconstruction locale ; +- le Worker transmet directement cette `transaction` au port Store en mode `Normal` ; +- les canaris existants Store API et façade continuent de vérifier la disponibilité et le dispatch du contrat. + +Aucune logique runtime n'est modifiée. + +## Fichiers modifiés + +```text +Cargo.toml +crates/ksp-worker-raw-transaction-ingest-lib/tests/cross_layer_completeness.rs +``` + +## Fichier ajouté + +```text +deltas/0.3.16/pre.007-fix.002.md +``` + +## Fichiers supprimés + +```text +aucun +``` + +## 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. + +## Validations opérateur demandées + +```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 +``` + +## Décisions prises + +- aucune reconstruction champ par champ n'est réintroduite dans le Worker uniquement pour satisfaire un canari textuel ; +- la preuve est déplacée vers les frontières où les données sont réellement assemblées et transmises ; +- la `RawTransaction` typée reste l'unité de passage Common RAW → Worker persistence → Store ; +- aucun fichier de migration ni aucun code runtime n'est modifié. + +## Questions ouvertes + +Aucune question bloquante. + +## Suite + +Après gate propre : `0.3.16-pre.008`.