v0.3.1-pre.006-fix.001
This commit is contained in:
95
deltas/0.3.1/pre.006-fix.001.md
Normal file
95
deltas/0.3.1/pre.006-fix.001.md
Normal file
@@ -0,0 +1,95 @@
|
||||
<!-- file: deltas/0.3.1/pre.006-fix.001.md -->
|
||||
<!-- version: 1 -->
|
||||
|
||||
# Delta `0.3.1-pre.006-fix.001` — conformité Clippy pagination
|
||||
|
||||
## Base
|
||||
|
||||
```text
|
||||
0.3.1-pre.006
|
||||
```
|
||||
|
||||
Le gate opérateur de `pre.006` confirme :
|
||||
|
||||
- `cargo fmt --all` propre ;
|
||||
- audits Rust/Markdown propres ;
|
||||
- `cargo check --workspace` propre ;
|
||||
- `cargo test -p ksp-store-api` propre : 14 unitaires, 2 dependency-boundary, 1 external-backend, 6 public-api ;
|
||||
- `cargo clippy --workspace --all-targets` termine avec exactement deux warnings ciblés dans `ksp-store-api` : `clippy::collapsible_if` et `clippy::bool_comparison`.
|
||||
|
||||
## Objet
|
||||
|
||||
Corriger exclusivement les deux warnings Clippy remontés par le gate opérateur :
|
||||
|
||||
```text
|
||||
crates/ksp-store-api/src/model/raw_pagination.rs
|
||||
crates/ksp-store-api/tests/dependency_boundary.rs
|
||||
```
|
||||
|
||||
Le premier warning concerne la validation d'un `RawSlotRange` inversé ; le second concerne uniquement l'écriture d'une assertion de canari.
|
||||
|
||||
## Changement fonctionnel
|
||||
|
||||
```text
|
||||
aucun
|
||||
```
|
||||
|
||||
La validation conserve exactement la même règle : lorsqu'une borne de début et une borne de fin sont toutes deux présentes, `start > end` reste rejeté.
|
||||
|
||||
Le canari conserve exactement la même assertion : la source de pagination ne doit pas contenir le littéral `u64::MAX`, afin de ne pas transformer cette valeur en plafond KSP implicite.
|
||||
|
||||
Aucun contrat de pagination, outcome, rétention, capability, modèle RAW ou export public n'est modifié.
|
||||
|
||||
## Version Cargo
|
||||
|
||||
Ce fix modifie du code Rust. Conformément au workflow KSP, l'identité de build devient :
|
||||
|
||||
```text
|
||||
0.3.1-pre.6-fix.1
|
||||
```
|
||||
|
||||
Cette identité distincte garantit notamment que les commandes Cargo exécutées après application du fix ne réutilisent pas ambiguëment l'identité de build de `0.3.1-pre.6`.
|
||||
|
||||
## Fichiers inclus dans le payload
|
||||
|
||||
```text
|
||||
Cargo.toml
|
||||
crates/ksp-store-api/src/model/raw_pagination.rs
|
||||
crates/ksp-store-api/tests/dependency_boundary.rs
|
||||
deltas/0.3.1/pre.006-fix.001.md
|
||||
```
|
||||
|
||||
`Cargo.toml` porte :
|
||||
|
||||
```text
|
||||
workspace.package.version = "0.3.1-pre.6-fix.1"
|
||||
```
|
||||
|
||||
## Hors scope
|
||||
|
||||
```text
|
||||
API publique
|
||||
queries/pagination
|
||||
outcomes d'idempotence
|
||||
rétention/tombstones
|
||||
capabilities Store
|
||||
ksp-store-lib
|
||||
backend PostgreSQL
|
||||
plans/validation/ROADMAP
|
||||
```
|
||||
|
||||
## Validations exécutées dans l'environnement de génération
|
||||
|
||||
```text
|
||||
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.1
|
||||
```
|
||||
|
||||
`cargo`, `rustc` et `rustfmt` ne sont pas disponibles dans l'environnement de génération. Le gate opérateur doit donc rejouer :
|
||||
|
||||
```text
|
||||
cargo fmt --all
|
||||
cargo check --workspace
|
||||
cargo clippy --workspace --all-targets
|
||||
cargo test -p ksp-store-api
|
||||
```
|
||||
Reference in New Issue
Block a user