v0.2.7-pre.008-fix.001

deltas/0.2.7/pre.008-fix.001.md

@@ -0,0 +1,63 @@
+<!-- file: deltas/0.2.7/pre.008-fix.001.md -->
+<!-- version: 1 -->
+
+# Delta `0.2.7-pre.008-fix.001` — normalisation de la cause terminale avec resubscribe `Never`
+
+## Base
+
+Base directe publiée puis validée partiellement par l'opérateur :
+
+```text
+0.2.7-pre.008
+Cargo 0.2.7-pre.8
+```
+
+Le checkpoint opérateur a confirmé `cargo fmt --all`, l'audit Python KSP, `cargo check --workspace` et `cargo clippy --workspace --all-targets`. Le test Transport a exécuté 287 tests avec 286 succès et un échec : `websocket_resubscribe_never_keeps_session_but_fails_logical_subscription`.
+
+## Signal technique
+
+```text
+livraison                 = 0.2.7-pre.008-fix.001
+workspace.package.version = 0.2.7-pre.8.fix.1
+commit                    = v0.2.7-pre.008-fix.001
+```
+
+Aucun tag Git n'est requis pour ce fix de prerelease.
+
+## Diagnostic
+
+`pre.008` a rendu la cause terminale sûre observable sur `WsSubscription<T>`. Le contrat de validation retenu pour `WsResubscribePolicy::Never` est que toute subscription active invalidée par une rupture physique devient terminale avec `ws_connection_failed`, car la policy interdit sa restauration après perte de continuité.
+
+Le runtime transmettait directement à `prepare_subscriptions_for_reconnect` le code causal de la rupture. Dans le fixture concerné, le serveur abandonne le WebSocket sans Close frame ; Tungstenite classe cette rupture dans le chemin protocolaire, donc `ws_protocol_error` était publié sur le handle alors que la policy `Never` exige `ws_connection_failed`.
+
+## Correction
+
+`prepare_subscriptions_for_reconnect` distingue désormais :
+
+- `ActiveSubscriptions` : conservation du code causal reçu pour les subscriptions non restaurables dans leur état courant ;
+- `Never` : normalisation de la cause terminale des subscriptions à `ERROR_CODE_WS_CONNECTION_FAILED`.
+
+La classification de la rupture physique, le budget de reconnect, les logs de session, `continuity_gap_count`, les remote IDs et le comportement `ActiveSubscriptions` ne sont pas modifiés.
+
+Le canari existant n'est pas affaibli : il conserve l'attente `ws_connection_failed` et vérifie donc directement la correction runtime.
+
+## Fichiers
+
+```text
+Cargo.toml
+crates/ksp-onchain-transport-lib/src/ws_session.rs
+deltas/0.2.7/pre.008-fix.001.md
+```
+
+## Validation attendue
+
+```bash
+cargo fmt --all
+python3 scripts/audit_rust_workspace_rules.py
+cargo check --workspace
+cargo clippy --workspace --all-targets
+cargo test -p ksp-onchain-transport-lib
+cargo test --workspace
+```
+
+Les validations Cargo doivent être exécutées par l'opérateur ; elles ne sont pas revendiquées depuis l'environnement de préparation du delta.