0.1.0-0-pre.4

docs/validation/001-VALIDATION_GATES.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/001-VALIDATION_GATES.md -->
-<!-- version: 3 -->
+<!-- version: 4 -->
 
 # Gates de validation
 
@@ -9,19 +9,34 @@ Les audits Python peuvent être exécutés pendant la préparation d'un delta. S
 
 Le générateur ne marque jamais une commande Cargo comme propre s'il ne dispose que du résultat d'un delta antérieur.
 
-## Gate canonique Rust et documentation
+## Gate normale d’un delta Rust
 
-À exécuter par l'utilisateur pour valider chaque delta contenant du code, du build, des manifests ou des règles affectant le workspace :
+Lorsqu’un delta modifie du code Rust, la validation commence par un formatage mutatif volontaire :
 
 ```bash
+cargo fmt --all
 cargo fmt --all -- --check
+```
+
+Les modifications exclusivement produites par `cargo fmt --all` n’imposent pas d’incrémenter `// version: N`, car elles font partie de la préparation du même état avant commit.
+
+Les audits et gates de compilation restent ensuite :
+
+```bash
 python3 scripts/audit_rust_workspace_rules.py
 python3 scripts/audit_markdown_tables.py README.md RULES.md ROADMAP.md CHANGELOG.md docs prompts crates Android deltas
 cargo check --workspace
 cargo clippy --workspace --all-targets --all-features -- -D warnings
-cargo test --workspace --all-targets --all-features
 ```
 
+Les tests sont ciblés par défaut :
+
+```bash
+cargo test -p <crate-affectée> --all-targets --all-features
+```
+
+Le fichier delta énumère les crates à tester. `cargo test --workspace --all-targets --all-features` n’est demandé systématiquement qu’au démarrage d’une nouvelle version `X.Y.Z`, vers la fin d’une phase/version, après un changement transversal important ou lorsque l’impact réel ne permet pas de sélectionner avec confiance les tests ciblés.
+
 ## Smokes Desktop
 
 Lorsqu'un delta modifie la boucle exécutable, le runtime ou le comportement visible des runners Desktop, exécuter également :