v0.3.5-pre.004

docs/validation/022-V0_3_5_INTERFACE_ACQUISITION_EVENTS.md

@@ -1,11 +1,11 @@
 <!-- file: docs/validation/022-V0_3_5_INTERFACE_ACQUISITION_EVENTS.md -->
-<!-- version: 4 -->
+<!-- version: 5 -->
 
 # Validation `0.3.5` — Interface passive acquisition events
 
 ## 1. Portée
 
-Ce document est ouvert par `0.3.5-pre.001`, corrigé par `0.3.5-pre.001-fix.001`, enrichi par `0.3.5-pre.002` puis par `0.3.5-pre.003`. `pre.002` matérialise `SlotLifecycleEvent`; `pre.003` ferme le gate `TransactionExecutionEvent` et admet la seconde famille passive minimale.
+Ce document est ouvert par `0.3.5-pre.001`, corrigé par `0.3.5-pre.001-fix.001`, enrichi par `0.3.5-pre.002`, `pre.003` puis `pre.004`. `pre.002` matérialise `SlotLifecycleEvent`; `pre.003` ferme le gate `TransactionExecutionEvent` et admet la seconde famille passive minimale ; `pre.004` verrouille les canaris externes et la complétude de cette surface sans ajouter de contrat de production.
 
 Base :
 
@@ -573,3 +573,67 @@ cargo test -p ksp-program-api
 
 Les gates Cargo de `pre.003` restent à exécuter par l'opérateur dans le repository réel.
 
+## 25. Gate opérateur `pre.003`
+
+Le gate opérateur du `2026-08-31` est intégralement propre :
+
+```text
+General Rust rule audit: clean
+Rust export completeness audit: 0 candidate(s)
+KSP workspace Rust rule audit: clean
+Markdown table audit: clean (240 table(s), 141 file(s))
+cargo check --workspace: PASS
+cargo clippy --workspace --all-targets: PASS
+cargo test -p ksp-interface-lib: PASS
+cargo test -p ksp-program-api: PASS
+```
+
+`ksp-interface-lib` exécute alors seize tests unitaires, dont les trois canaris `transaction_execution`, et les deux tests publics `transaction_execution_public_api` passent. `ksp-program-api` reste vert avec ses frontières historiques inchangées.
+
+## 26. Complétude API et canaris externes — `pre.004`
+
+`pre.004` n'ajoute aucun contrat de production. La version workspace évolue vers `0.3.5-pre.4` parce que la tranche modifie des sources Rust de test/canari.
+
+Les canaris figent désormais explicitement :
+
+```text
+2 familles passives d'acquisition exactement
+5 modules privés de production exactement
+11 reexports crate-root exactement
+SlotLifecycleStage #[non_exhaustive]
+TransactionExecutionOutcome #[non_exhaustive]
+consumer externe crate-root pour SlotLifecycleEvent
+consumer externe crate-root pour TransactionExecutionEvent
+aucune dependency/path Transport, Store, runtime, serde ou logging dans les sources acquisition
+```
+
+Le consumer externe ne dépend d'aucun module privé et consomme les deux contrats uniquement via `ksp_interface_lib::*`. Le firewall de dépendances balaie maintenant également `slot_lifecycle.rs` et `transaction_execution.rs`.
+
+Restent hors de la surface :
+
+```text
+converters Transport -> Interface
+DTOs provider
+Store RAW
+serde/codecs
+logging/tracing
+runtime/channels
+TransactionLogEvent
+TransactionCommitmentEvent
+```
+
+Aucun changement n'est apporté à `crates/ksp-interface-lib/Cargo.toml`, aux sources de production Interface, à Transport, Store, Program API, README, ROADMAP ou CHANGELOG.
+
+## 27. Gate opérateur demandé pour `pre.004`
+
+```text
+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.5
+cargo check --workspace
+cargo clippy --workspace --all-targets
+cargo test -p ksp-interface-lib
+cargo test -p ksp-program-api
+```
+
+Les gates Cargo de `pre.004` restent à exécuter par l'opérateur dans le repository réel.