v0.3.6-pre.006-fix.002
This commit is contained in:
@@ -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"
|
||||
|
||||
@@ -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.
|
||||
|
||||
129
deltas/0.3.6/pre.006-fix.002.md
Normal file
129
deltas/0.3.6/pre.006-fix.002.md
Normal file
@@ -0,0 +1,129 @@
|
||||
<!-- file: deltas/0.3.6/pre.006-fix.002.md -->
|
||||
<!-- version: 1 -->
|
||||
|
||||
# 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<T>`, 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.
|
||||
@@ -1,5 +1,5 @@
|
||||
<!-- file: docs/plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md -->
|
||||
<!-- version: 11 -->
|
||||
<!-- version: 12 -->
|
||||
|
||||
# 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é.**
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
<!-- file: docs/validation/023-V0_3_6_JOB_API_BACKFILL.md -->
|
||||
<!-- version: 11 -->
|
||||
<!-- version: 12 -->
|
||||
|
||||
# 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).
|
||||
|
||||
Reference in New Issue
Block a user