v0.3.8-pre.011-fix.001

This commit is contained in:
2026-09-03 22:34:02 +02:00
parent 80fe2fd9e2
commit e01fe88594
4 changed files with 66 additions and 13 deletions

View File

@@ -1,5 +1,5 @@
<!-- file: docs/validation/025-V0_3_8_STORE_DESK.md -->
<!-- version: 25 -->
<!-- version: 26 -->
# Validation v0.3.8 — Store Desk V1 RAW
@@ -822,3 +822,16 @@ cargo check -p ksp-store-lib --no-default-features: PASS
Contrôles statiques d'assemblage : audits Rust/exports/Markdown propres avant création du delta. Le gate Cargo de `pre.011` reste à rejouer par l'opérateur.
## 39. `pre.011-fix.001` — conformité Clippy du firewall release-completeness
Le gate opérateur de `0.3.8-pre.11` confirme que les audits KSP, `cargo check --workspace`, les 6 tests `release_completeness`, les suites Store Desk et Store façade sont verts. `cargo clippy --workspace --all-targets` reste cependant bloquant sur dix occurrences `clippy::implicit-return` dans le nouveau firewall `release_completeness.rs`.
`pre.011-fix.001` corrige strictement ce défaut de test :
- [X] les closures `filter`, `map` et `filter_map` ajoutées en `pre.011` utilisent des `return` explicites conformément aux règles Rust KSP ;
- [X] les deux branches du `match` terminal de la closure de collecte des `profile_id` utilisent également des `return` explicites ;
- [X] aucun invariant de release completeness n'est modifié ou relâché ;
- [X] aucun runtime, frontend, DTO, IPC, Store API/façade, PostgreSQL, SQL, Config ou capability Tauri n'est modifié ;
- [X] la version workspace devient `0.3.8-pre.11.fix.1` car un test Rust est modifié.
Le gate Cargo du fix reste à rejouer après application du delta.