v0.2.7-pre.006

docs/plans/014-V0_2_7_ONCHAIN_WEBSOCKET_PLAN.md

@@ -1,5 +1,5 @@
 <!-- file: docs/plans/014-V0_2_7_ONCHAIN_WEBSOCKET_PLAN.md -->
-<!-- version: 7 -->
+<!-- version: 8 -->
 
 # Plan `0.2.7` — WebSocket Solana standard
 
@@ -486,7 +486,9 @@ Une tâche actor possède exclusivement :
 
 Le handle public `WsSession` communique avec cet actor par canal bounded. Aucun caller ne split/manipule directement le socket.
 
-`pre.004` matérialise cette foundation : `WsSession::connect` ouvre une connexion physique explicite, le socket reste exclusivement dans l'actor, les commandes passent par `mpsc` borné, les réponses JSON-RPC sont dispatchées par ID KSP dans une map bornée et les snapshots sûrs sont publiés par `watch`. La primitive JSON-RPC reste `pub(crate)` afin de ne pas créer une API publique raw provider-extension avant les wrappers typed. Le registry des subscriptions et le mapping remote/local restent `pre.006`.
+`pre.004` matérialise cette foundation : `WsSession::connect` ouvre une connexion physique explicite, le socket reste exclusivement dans l'actor, les commandes passent par `mpsc` borné, les réponses JSON-RPC sont dispatchées par ID KSP dans une map bornée et les snapshots sûrs sont publiés par `watch`. La primitive JSON-RPC reste `pub(crate)` afin de ne pas créer une API publique raw provider-extension avant les wrappers typed. Le registry des subscriptions et le mapping remote/local étaient réservés à `pre.006`.
+
+`pre.006` matérialise le registry dans ce même actor. L'ACK `*Subscribe` lie atomiquement le remote ID au `WsSubscriptionId` local avant le dispatch des notifications suivantes. La création générique typed reste crate-private ; `WsSubscription<T>` devient le handle public commun pour `id/state/recv/unsubscribe`. Les channels de notification sont bornés et typed via un dispatcher actor type-erased. Les remote IDs restent absents de l'API publique et des snapshots.
 
 ### 9.4 Identités
 
@@ -876,7 +878,7 @@ pre.002  DONE — settings WS Transport + URL redaction + IDs/states/snapshots +
 pre.003  DONE — std.transport V2 HTTP+WS + backward V1 + discriminateur WS + schema/fixtures + Config -> WsTransportSettings
 pre.004  DONE — deps tokio-tungstenite/futures-util + actor physique + handshake/read/write + pending JSON-RPC + serveur local
 pre.005  DONE — limites frame/message/request + control frames + cancellation/close/shutdown + adversarial socket tests
-pre.006  registry subscriptions + IDs locaux + generic subscribe/unsubscribe engine + channels typed bounded
+pre.006  DONE — registry subscriptions + IDs locaux + generic subscribe/unsubscribe engine + channels typed bounded
 pre.007  reconnect borné + resubscribe déterministe + continuity gap + races unsubscribe/reconnect
 pre.008  backpressure per-sub + overflow/limits + leak/lifecycle adversarial tests
 pre.009  wrappers stable lot A : account + program + logs, DTOs/options/KSP-TRANSPORT-007

docs/validation/010-V0_2_7_ONCHAIN_WEBSOCKET.md

@@ -1,5 +1,5 @@
 <!-- file: docs/validation/010-V0_2_7_ONCHAIN_WEBSOCKET.md -->
-<!-- version: 7 -->
+<!-- version: 8 -->
 
 # Validation `0.2.7` — WebSocket Solana standard
 
@@ -377,6 +377,39 @@ cycles connect/close répétés -> terminaison bornée
 
 Le signal de shutdown est indépendant de la command queue et les opérations socket longues de l'actor surveillent ce signal. Aucun reconnect/resubscribe n'est activé par cette tranche.
 
+## 9.4 Checkpoint registry subscriptions `pre.006`
+
+Surface matérialisée :
+
+```text
+WsSubscription<T>                     handle public typed
+WsSubscriptionId                      local stable, actor-assigned
+remote subscription id                interne/transient uniquement
+registry local                        BTreeMap ordonnée par local ID
+remote -> local                        mapping actor-owned
+subscribe generic                     crate-private, wrappers publics futurs
+unsubscribe                           handle public, bool Solana préservé
+notification queue                    typed + bounded
+reconnect/resubscribe                 non, pre.007
+backpressure adversarial complet      non, pre.008
+```
+
+Gates déterministes ajoutés :
+
+```text
+subscribe ACK -> binding remote/local atomique
+notification -> bonne subscription typed
+2 familles -> IDs locaux 1 puis 2, remote IDs indépendants
+unknown/stale remote ID -> safe drop, session Active
+notification method mismatch -> subscription Failed seulement
+typed decoder failure -> erreur livrée + subscription Failed seulement
+unsubscribe -> exact *Unsubscribe avec remote ID interne
+unsubscribe bool -> préservé au caller
+snapshot -> local IDs + remote_bound uniquement
+```
+
+Le registry est détenu par le même actor que le socket et la pending map JSON-RPC. Aucun caller ne manipule le socket ni le remote ID. Les wrappers publics `accountSubscribe`, `programSubscribe`, etc. restent volontairement différés aux lots `pre.009+` afin de ne pas exposer une API raw provider-extension intermédiaire.
+
 ## 10. Validation du gate `pre.001`
 
 Exécuté dans le sandbox :