From be0032e76b9aed20697799bf5ae61f21f8d2d460 Mon Sep 17 00:00:00 2001 From: SinuS Von SifriduS Date: Tue, 1 Sep 2026 14:28:13 +0200 Subject: [PATCH] v0.3.6-pre.006-fix.002 --- Cargo.toml | 4 +- crates/ksp-job-backfill-lib/src/conversion.rs | 6 +- deltas/0.3.6/pre.006-fix.002.md | 129 ++++++++++++++++++ .../plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md | 6 +- .../validation/023-V0_3_6_JOB_API_BACKFILL.md | 8 +- 5 files changed, 144 insertions(+), 9 deletions(-) create mode 100644 deltas/0.3.6/pre.006-fix.002.md diff --git a/Cargo.toml b/Cargo.toml index fe9f228..97618bc 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,12 +1,12 @@ # file: Cargo.toml -# version: 403 +# version: 404 [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-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-store-api", "crates/ksp-store-lib", "crates/ksp-store-postgres-lib", "crates/ksp-wallet-lib"] [workspace.package] -version = "0.3.6-pre.6.fix.1" +version = "0.3.6-pre.6.fix.2" edition = "2024" license = "MIT" repository = "https://git.sasedev.com/Sasedev/khadhroony-solana-project" diff --git a/crates/ksp-job-backfill-lib/src/conversion.rs b/crates/ksp-job-backfill-lib/src/conversion.rs index af326b8..4a85c69 100644 --- a/crates/ksp-job-backfill-lib/src/conversion.rs +++ b/crates/ksp-job-backfill-lib/src/conversion.rs @@ -1,5 +1,5 @@ // file: crates/ksp-job-backfill-lib/src/conversion.rs -// version: 2 +// version: 3 use sha2::Digest; // rust-rules: trait-import @@ -28,13 +28,13 @@ impl BackfillRawAcquisition { /// Returns the canonical RAW transaction produced from the typed Transport response. #[must_use] pub const fn transaction(&self) -> &ksp_store_lib::RawTransaction { - return &(*self.inner).transaction; + return &self.inner.transaction; } /// Returns the acquisition observation whose provenance records the actual successful endpoint. #[must_use] pub const fn observation(&self) -> &ksp_store_lib::RawTransactionObservation { - return &(*self.inner).observation; + return &self.inner.observation; } /// Consumes the in-memory acquisition into the canonical transaction and its observation. diff --git a/deltas/0.3.6/pre.006-fix.002.md b/deltas/0.3.6/pre.006-fix.002.md new file mode 100644 index 0000000..534b560 --- /dev/null +++ b/deltas/0.3.6/pre.006-fix.002.md @@ -0,0 +1,129 @@ + + + +# Delta `0.3.6-pre.006-fix.002` — auto-deref idiomatique des accesseurs RAW + +## Base requise + +```text +0.3.6-pre.006-fix.001 appliquée +workspace.package.version = 0.3.6-pre.6.fix.1 +``` + +Le gate opérateur fourni pour `pre.006-fix.001` confirme : + +```text +cargo fmt --all PASS +python3 scripts/audit_rust_workspace_rules.py PASS / clean +python3 scripts/audit_markdown_tables.py ... PASS / clean (264 tables / 150 fichiers) +cargo check --workspace PASS +cargo clippy --workspace --all-targets PASS avec 2 warnings clippy::explicit_auto_deref +cargo test -p ksp-job-backfill-lib PASS + unitaires 20 PASS + dependency_boundary 2 PASS + public_api 3 PASS + release_completeness 2 PASS +cargo tree -p ksp-job-backfill-lib --edges normal exécuté +cargo tree -p ksp-job-backfill-lib -e features exécuté +``` + +## Objectif + +Supprimer les deux warnings `clippy::explicit_auto_deref` laissés par `pre.006-fix.001`, sans modifier la représentation, l'API publique ou la sémantique du vertical RAW. + +## Cause exacte + +Après l'introduction de l'indirection privée, les deux getters utilisaient encore un déréférencement explicite : + +```rust +&(*self.inner).transaction +&(*self.inner).observation +``` + +Rust effectue déjà cet auto-deref lors de l'accès aux champs d'un `Box`, et Clippy demande donc la forme idiomatique. + +## Correctif + +Les deux expressions deviennent : + +```rust +&self.inner.transaction +&self.inner.observation +``` + +Aucun autre comportement ne change : + +- `BackfillRawAcquisition` conserve exactement une `Box` privée ; +- `BackfillHydrationOutcome::Available(BackfillRawAcquisition)` reste inchangé ; +- les signatures de `transaction()`, `observation()` et `into_parts()` restent inchangées ; +- la canarie de taille ajoutée en `fix.001` reste inchangée ; +- aucune allocation supplémentaire n'est introduite ; +- aucun `#[allow]` n'est ajouté. + +## Version + +Le fix modifie du Rust : + +```text +workspace.package.version = 0.3.6-pre.6.fix.2 +delivery = 0.3.6-pre.006-fix.002 +commit = v0.3.6-pre.006-fix.002 +``` + +Aucun tag prerelease. + +## Fichiers ajoutés + +```text +deltas/0.3.6/pre.006-fix.002.md +``` + +## Fichiers modifiés + +```text +Cargo.toml +crates/ksp-job-backfill-lib/src/conversion.rs +docs/plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md +docs/validation/023-V0_3_6_JOB_API_BACKFILL.md +``` + +## Versions d'en-tête + +```text +Cargo.toml 403 -> 404 +crates/ksp-job-backfill-lib/src/conversion.rs 2 -> 3 +docs/plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md 11 -> 12 +docs/validation/023-V0_3_6_JOB_API_BACKFILL.md 11 -> 12 +``` + +Le présent delta commence à `version: 1`. + +## Invariants préservés + +- identité logique transactionnelle toujours `(RawNetworkId, signature)` ; +- provider/endpoint/protocole restent uniquement de la provenance d'acquisition ; +- format RAW v1, canonicalisation JSON, SHA-256 et block time inchangés ; +- chemin observé `getTransaction` et paramètres Transport inchangés ; +- `Missing` reste structurellement sans provenance ; +- aucune persistance Store, checkpoint, concurrence ou snapshot ajoutés ; +- aucune nouvelle dépendance, feature, crate, test ou API publique ; +- README, USAGE, CHANGELOG, ROADMAP et prompt restent fermés. + +## Gate opérateur demandé + +```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.6 +cargo check --workspace +cargo clippy --workspace --all-targets +cargo test -p ksp-job-backfill-lib +cargo tree -p ksp-job-backfill-lib --edges normal +cargo tree -p ksp-job-backfill-lib -e features +``` + +Résultat attendu : **20 tests unitaires + 7 canaries d'intégration**, aucun warning Clippy, et graphe de dépendances inchangé. + +## Questions ouvertes + +Aucune. `pre.007` reste interdit tant que ce gate n'est pas warning-free. diff --git a/docs/plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md b/docs/plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md index d6d368d..1ec5147 100644 --- a/docs/plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md +++ b/docs/plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md @@ -1,5 +1,5 @@ - + # Plan v0.3.6 — Job API et premier backfill RAW @@ -464,6 +464,10 @@ Le gate opérateur exécute avec succès 19 unitaires et 7 canaries d'intégrati Le fix conserve exactement la forme publique `BackfillHydrationOutcome::Available(BackfillRawAcquisition)` et place uniquement les champs privés transaction + observation derrière une unique `Box`. Aucun `#[allow]` n'est utilisé et aucun `Box` n'apparaît dans l'enum public. Les getters et `into_parts` restent identiques ; une canarie unitaire verrouille la taille pointeur de `BackfillRawAcquisition`. La version workspace devient `0.3.6-pre.6.fix.1`. +#### `pre.006-fix.002` — Auto-deref idiomatique des accesseurs RAW + +Le gate opérateur de `pre.006-fix.001` confirme les audits, `cargo check`, les 20 tests unitaires et les 7 canaries, mais Clippy émet encore deux warnings `clippy::explicit_auto_deref` dans les accesseurs `transaction()` et `observation()` de `BackfillRawAcquisition`. Le correctif supprime uniquement les déréférencements explicites `(*self.inner)` au profit de l'auto-deref de Rust lors de l'accès aux champs privés. La représentation avec une unique `Box`, les signatures publiques, la sémantique RAW/provenance et le coût d'allocation restent inchangés. La version workspace devient `0.3.6-pre.6.fix.2`. + ### `pre.007` — Persistance Store et idempotence **Statut : planifié.** diff --git a/docs/validation/023-V0_3_6_JOB_API_BACKFILL.md b/docs/validation/023-V0_3_6_JOB_API_BACKFILL.md index c5b66d3..a68c762 100644 --- a/docs/validation/023-V0_3_6_JOB_API_BACKFILL.md +++ b/docs/validation/023-V0_3_6_JOB_API_BACKFILL.md @@ -1,5 +1,5 @@ - + # Validation v0.3.6 — Job API et premier backfill RAW @@ -141,7 +141,9 @@ Aucune entrée absolue, traversée, avec séparateur inversé ou lien symbolique `pre.006` matérialise cette surface et ses tests statiques/unitaires. Le gate opérateur confirme les audits, `cargo check`, les 19 unitaires et les 7 canaries, mais Clippy émet `clippy::large_enum_variant` sur `BackfillHydrationOutcome` : `Available(BackfillRawAcquisition)` contient au moins 560 octets alors que `Missing(reference)` en contient environ 88. Le résultat fonctionnel est vert, mais la tranche n'est pas considérée warning-free. -`pre.006-fix.001` conserve l'API publique de l'enum et introduit une seule indirection privée dans `BackfillRawAcquisition`. Aucun `#[allow]` n'est ajouté. Les getters et `into_parts` conservent leurs signatures, et une canarie vérifie que `BackfillRawAcquisition` reste de la taille d'un pointeur. Le gate Cargo du fix reste à rejouer par l'opérateur. +`pre.006-fix.001` conserve l'API publique de l'enum et introduit une seule indirection privée dans `BackfillRawAcquisition`. Aucun `#[allow]` n'est ajouté. Les getters et `into_parts` conservent leurs signatures, et une canarie vérifie que `BackfillRawAcquisition` reste de la taille d'un pointeur. Le gate opérateur du fix confirme ensuite les audits, `cargo check`, les 20 unitaires et les 7 canaries, mais Clippy signale encore deux `clippy::explicit_auto_deref` dans `transaction()` et `observation()`. + +`pre.006-fix.002` remplace uniquement `&(*self.inner).transaction` et `&(*self.inner).observation` par les accès auto-deref idiomatiques `&self.inner.transaction` et `&self.inner.observation`. La Box privée unique, l'API publique et tous les invariants RAW/provenance restent inchangés. Le gate Cargo de `fix.002` reste à rejouer par l'opérateur. - [X] Identité logique future auditée : transaction/signature scoping par `RawNetworkId`, jamais par rôle/provider/endpoint/protocole. - [X] Le Store PostgreSQL actuel est mono-réseau via `ksp_store_identity`; un futur backend multi-réseaux devra préserver `(network, signature)` par clé/partition équivalente. @@ -201,7 +203,7 @@ Aucune entrée absolue, traversée, avec séparateur inversé ou lien symbolique - [X] Versions/features auditées : aucune nouvelle version externe ; `sha2` et `tokio` réutilisent les entrées workspace existantes, Tokio étant dev-only en `pre.005`. - [X] `pre.005` matérialise 11 tests unitaires et 6 canaries d’intégration ; le gate opérateur les exécute tous avec succès. - [X] `pre.006` matérialise 19 tests unitaires et 7 canaries d’intégration ; le gate opérateur les exécute tous avec succès, avec uniquement le warning Clippy corrigé par `pre.006-fix.001`. -- [ ] `cargo clippy --workspace --all-targets` warning-free sur `pre.006-fix.001`. +- [ ] `cargo clippy --workspace --all-targets` warning-free sur `pre.006-fix.002`. - [ ] `cargo fmt --all -- --check` vert. - [X] `scripts/audit_rust_workspace_rules.py` vert sur `pre.005` dans l'environnement d'assemblage et dans le gate opérateur. - [X] `scripts/audit_markdown_tables.py` vert sur `pre.005` dans le gate opérateur (264 tables / 147 fichiers, delta inclus).