diff --git a/Cargo.toml b/Cargo.toml index ce4f0f2..04d6f9d 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,12 +1,12 @@ # file: Cargo.toml -# version: 397 +# version: 398 [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-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.3" +version = "0.3.6-pre.3.fix.1" edition = "2024" license = "MIT" repository = "https://git.sasedev.com/Sasedev/khadhroony-solana-project" diff --git a/crates/ksp-job-api/src/notification.rs b/crates/ksp-job-api/src/notification.rs index a7354c7..8d67fe7 100644 --- a/crates/ksp-job-api/src/notification.rs +++ b/crates/ksp-job-api/src/notification.rs @@ -1,5 +1,5 @@ // file: crates/ksp-job-api/src/notification.rs -// version: 1 +// version: 2 /// Monotone sequence attached to one latest-value Job notification stream. #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)] @@ -118,7 +118,7 @@ pub trait JobSnapshotSource: std::marker::Send + std::marker::Sync { #[cfg(test)] fn exhausted_notification_sequence() -> crate::JobNotificationSequence { - return crate::JobNotificationSequence(u64::MAX); + return JobNotificationSequence(u64::MAX); } #[cfg(test)] diff --git a/deltas/0.3.6/pre.003-fix.001.md b/deltas/0.3.6/pre.003-fix.001.md new file mode 100644 index 0000000..a5446c0 --- /dev/null +++ b/deltas/0.3.6/pre.003-fix.001.md @@ -0,0 +1,127 @@ + + + +# Delta `0.3.6-pre.003-fix.001` — visibilité du constructeur privé de séquence + +## Base requise + +```text +0.3.6-pre.003 appliquée +workspace.package.version = 0.3.6-pre.3 +``` + +Le gate opérateur fourni pour `pre.003` 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 / 144 fichiers) +cargo check --workspace PASS +cargo clippy --workspace --all-targets FAIL / E0423 +cargo test -p ksp-job-api FAIL / E0423 +cargo tree -p ksp-job-api --edges normal Core-only confirmé +cargo tree -p ksp-job-api -e features aucune feature Job API +``` + +## Objectif + +Corriger exclusivement la compilation du helper de test qui construit la position terminale artificielle nécessaire à la canarie d'overflow de `JobNotificationSequence`, sans modifier le contrat public latest-value de `pre.003`. + +## Cause exacte + +Le helper privé est défini dans `crates/ksp-job-api/src/notification.rs`, le module propriétaire du tuple struct : + +```rust +#[cfg(test)] +fn exhausted_notification_sequence() -> crate::JobNotificationSequence { + return crate::JobNotificationSequence(u64::MAX); +} +``` + +Le champ de `JobNotificationSequence` est volontairement privé afin d'empêcher la construction publique depuis un entier arbitraire. Le type est réexporté à la racine de crate, mais ce re-export ne rend pas son constructeur tuple visible. Le chemin `crate::JobNotificationSequence(u64::MAX)` déclenche donc `E0423` sous les targets de test. + +Le module `notification` possède déjà l'accès légitime au champ privé. Le correctif utilise directement le type local : + +```rust +return JobNotificationSequence(u64::MAX); +``` + +Cette construction reste confinée au helper `#[cfg(test)]`; aucun constructeur arbitraire n'est ajouté à l'API publique. + +## Version + +Le fix modifie un fichier Rust. Conformément à `VER-ID-003`, `VER-ID-007` et `VER-ID-010` : + +```text +workspace.package.version = 0.3.6-pre.3.fix.1 +delivery = 0.3.6-pre.003-fix.001 +commit = v0.3.6-pre.003-fix.001 +``` + +Aucun tag prerelease. + +## Fichiers ajoutés + +```text +deltas/0.3.6/pre.003-fix.001.md +``` + +## Fichiers modifiés + +```text +Cargo.toml +crates/ksp-job-api/src/notification.rs +docs/plans/027-V0_3_6_JOB_API_BACKFILL_PLAN.md +docs/validation/023-V0_3_6_JOB_API_BACKFILL.md +``` + +## Fichiers supprimés + +Aucun. + +## Décisions prises + +- conserver le champ tuple de `JobNotificationSequence` privé ; +- ne pas ajouter de `from_u64`, constructeur caché public, feature de test ou autre contournement de l'invariant ; +- limiter la construction de `u64::MAX` au helper interne `#[cfg(test)]` déjà prévu par `pre.003` ; +- ne modifier ni les treize tests unitaires attendus, ni les quatorze canaries d'intégration, ni leurs assertions ; +- ne rouvrir aucune dépendance, feature, surface Backfill/Worker/Transport/Store/Logging, README, USAGE, CHANGELOG, ROADMAP ou prompt. + +## Validations exécutées pour l'assemblage du fix + +```text +python3 scripts/audit_rust_workspace_rules.py +-> General Rust rule audit: clean +-> Rust export completeness audit: 0 candidate(s) +-> KSP workspace Rust rule audit: clean + +python3 scripts/audit_markdown_tables.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts crates deltas/0.3.6 +-> Markdown table audit: clean (264 tables / 145 fichiers) +``` + +Le diff par rapport à `pre.003` est limité aux quatre fichiers modifiés ci-dessus et au présent delta. + +## Validations non exécutées + +L'environnement d'assemblage ne fournit ni `cargo` ni `rustfmt`. Le gate Rust du fix n'est donc pas annoncé comme vert localement. + +Aucun smoke réseau ou PostgreSQL n'est pertinent pour ce correctif de compilation Job API. + +## 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-api +cargo tree -p ksp-job-api --edges normal +cargo tree -p ksp-job-api -e features +``` + +Résultat attendu : treize tests unitaires et quatorze canaries d'intégration `ksp-job-api` verts, avec le graphe normal toujours limité à `ksp-core-lib` et aucune feature propre à Job API. + +## Questions ouvertes + +Aucune. `pre.004` reste interdit tant que ce gate de fix n'est pas intégralement vert. 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 26b79fd..78ef079 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 @@ -406,7 +406,7 @@ Le helper de fixture est renommé `new_lifecycle()` et tous ses appels sont sync ### `pre.003` — Notifications latest-value génériques -**Statut : matérialisé ; gate Cargo opérateur à rejouer.** +**Statut : réalisé ; corrigé par `pre.003-fix.001`, gate opérateur du fix à rejouer.** Budget cible : **15-20 min**. Entrée : transitions Job stables et gate `pre.002-fix.001` vert. La tranche ajoute `JobNotificationSequence`, `JobNotification`, `JobSnapshotFuture` et `JobSnapshotSource` sans nouvelle dépendance. La séquence est ordonnée, avance par `checked_add` et échoue explicitement avant tout wrap ; l'enveloppe reste immutable et son `Debug` masque le snapshot générique. Le trait source expose la valeur courante et une attente abstraite d'une valeur plus récente ; le futur public n'expose que `std::future::Future`, `Pin` et `Box`, jamais Tokio. @@ -414,6 +414,12 @@ La sémantique est latest-value : le consumer peut perdre des progressions inter Aucune surface Backfill, Worker, Transport, Store, Logging, serde, Tauri ou Tokio n'entre dans `ksp-job-api`. La version workspace devient `0.3.6-pre.3`. +#### `pre.003-fix.001` — Visibilité du constructeur privé dans le helper d'épuisement + +**Statut : matérialisé ; gate opérateur à rejouer.** + +Le gate opérateur de `pre.003` confirme `cargo fmt`, les audits Rust/Markdown et `cargo check --workspace`, puis révèle une erreur Rust `E0423` lorsque Clippy `--all-targets` et `cargo test -p ksp-job-api` compilent le helper `#[cfg(test)]` d'épuisement de séquence. Le helper vit dans `notification.rs`, où le champ tuple privé est visible, mais construisait le type via le re-export racine `crate::JobNotificationSequence`; ce chemin expose le type sans rendre son constructeur tuple visible. Le fix conserve le helper privé et utilise directement `JobNotificationSequence(u64::MAX)` dans son module propriétaire. Aucun contrat public, test, dépendance ou comportement de production ne change. Comme un fichier Rust est corrigé, la version workspace devient `0.3.6-pre.3.fix.1`. + ### `pre.004` — Provenance Transport observée **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 bfccc0c..e3ab454 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 @@ -50,7 +50,10 @@ Aucune entrée absolue, traversée, avec séparateur inversé ou lien symbolique - [X] Échec de `pre.002` constaté dans la preuve opérateur : Clippy `--all-targets` et les tests compilent `unit_tests/lifecycle.rs`, où le helper `lifecycle()` est masqué par une variable homonyme (`E0618`, puis `E0282`). - [X] `pre.002-fix.001` renomme uniquement le helper en `new_lifecycle()` et synchronise ses six appels sans modifier le contrat public ni la matrice de transitions. - [X] Gate opérateur de `pre.002-fix.001` : `cargo fmt`, audits Rust/Markdown, `cargo check`, Clippy, dix unitaires + onze canaries `ksp-job-api`, toutes les suites workspace, `cargo test --workspace` et arbres Cargo Job API verts. -- [X] L'environnement courant ne fournit pas l'exécutable `cargo` ; aucune validation Rust locale de `pre.003` n'est annoncée comme exécutée. +- [X] L'environnement d'assemblage ne fournit pas l'exécutable `cargo` ; aucune validation Rust locale de `pre.003` ou de son fix n'est annoncée comme exécutée. +- [X] Gate opérateur de `pre.003` : `cargo fmt`, audits Rust/Markdown et `cargo check --workspace` verts ; Clippy `--all-targets` et `cargo test -p ksp-job-api` échouent uniquement sur `E0423` dans le helper `exhausted_notification_sequence()`. +- [X] Les arbres Cargo normal/features de ce gate confirment que `ksp-job-api` dépend toujours uniquement de `ksp-core-lib` et n'ouvre aucune feature. +- [X] `pre.003-fix.001` remplace uniquement la construction via le re-export racine par le constructeur privé directement visible dans le module `notification`, sans changer l'API publique ni le nombre de tests. - [X] Le workspace compte 14 crates et aucune crate Job au point de départ. ## 4. Autorités et cohérence documentaire