v0.3.9-pre.002-fix.002

This commit is contained in:
2026-09-04 14:29:24 +02:00
parent 156d237460
commit 84647c12ea
6 changed files with 141 additions and 19 deletions

View File

@@ -1,5 +1,5 @@
<!-- file: docs/validation/026-V0_3_9_WORKER_API_RAW_TRANSACTION_AUDIT.md -->
<!-- version: 4 -->
<!-- version: 5 -->
# Validation v0.3.9 — Worker API + audit RAW Transaction
@@ -111,9 +111,19 @@ Les cases cochées de cette sous-section attestent la matérialisation de la sur
- [X] Violation `RUST-IMPORT-009` identifiée sur les targets d'`impl` des types Worker exportés.
- [X] `identity.rs` utilise `impl crate::WorkerId` et `impl crate::WorkerKindCode`, y compris pour `Debug`.
- [X] `lifecycle.rs` utilise la façade crate-root pour les cinq targets d'`impl` visibles.
- [X] `snapshot.rs` utilise la façade crate-root pour les trois targets d'`impl` visibles et le helper de séquence.
- [X] `snapshot.rs` utilise la façade crate-root pour les trois targets d'`impl` visibles.
- [X] `stop.rs` utilise la façade crate-root pour l'impl inhérent, `Default` et `Debug`.
- [X] Canarie dependency-boundary ajoutée contre cette régression.
- [X] Gate opérateur exécuté : audits propres et `cargo check --workspace` PASS.
- [X] Clippy `--all-targets --all-features -- -D warnings` et `cargo test -p ksp-worker-api` bloquent sur `E0423` dans le helper de séquence.
#### `pre.002-fix.002`
- [X] Aucun élargissement de visibilité du champ tuple `WorkerSnapshotSequence`.
- [X] Constructeur associé privé `#[cfg(test)]` ajouté dans `impl crate::WorkerSnapshotSequence`.
- [X] Construction terminale confinée à `Self(u64::MAX)` dans l'impl propriétaire.
- [X] Helper privé appelle `crate::WorkerSnapshotSequence::exhausted_for_test()`.
- [X] Canarie dependency-boundary interdit le retour de `crate::WorkerSnapshotSequence(u64::MAX)`.
- [ ] Gate Cargo du fix exécuté par l'opérateur.
### `pre.003`
@@ -234,10 +244,10 @@ Aucun item ci-dessous nest déclaré exécuté en `pre.001`.
La livraison initiale `pre.001` avait conservé `workspace.package.version = 0.3.8` en suivant lexception du prompt 028. Cette exception est supplantée par la règle normative `VER-ID-009`.
Après `pre.002-fix.001`, létat courant est :
Après `pre.002-fix.002`, létat courant est :
```text
workspace.package.version = 0.3.9-pre.2.fix.1
workspace.package.version = 0.3.9-pre.2.fix.2
```
`pre.002` reste la tranche non-fix `0.3.9-pre.2`. Son correctif de conformité Rust porte `0.3.9-pre.2.fix.1` conformément à `VER-ID-007` et `VER-ID-010`. L'état précédent `0.3.9-pre.1.fix.2` reste documenté dans `pre.001-fix.002`.
`pre.002` reste la tranche non-fix `0.3.9-pre.2`. Les correctifs de conformité/compilation portent successivement `0.3.9-pre.2.fix.1` puis `0.3.9-pre.2.fix.2` conformément à `VER-ID-007` et `VER-ID-010`. L'état précédent `0.3.9-pre.1.fix.2` reste documenté dans `pre.001-fix.002`.