@moqtap/codec 0.2.2 → 0.3.0

package/src/drafts/draft15/session-fsm.ts

@@ -8,87 +8,87 @@ import type {
   SubscriptionState,
   TransitionResult,
   ValidationResult,
-} from "../../core/session-types.js";
+} from '../../core/session-types.js'
 import {
   CLIENT_ONLY_MESSAGES,
   getLegalIncoming,
   getLegalOutgoing,
   SERVER_ONLY_MESSAGES,
-} from "./rules.js";
-import type { Draft15Message, Draft15MessageType } from "./types.js";
+} from './rules.js'
+import type { Draft15Message, Draft15MessageType } from './types.js'
 
 function violation(
-  code: ProtocolViolation<Draft15MessageType>["code"],
+  code: ProtocolViolation<Draft15MessageType>['code'],
   message: string,
   currentPhase: SessionPhase,
   offendingMessage: Draft15MessageType,
 ): ProtocolViolation<Draft15MessageType> {
-  return { code, message, currentPhase, offendingMessage };
+  return { code, message, currentPhase, offendingMessage }
 }
 
 export class Draft15SessionFSM {
-  private _phase: SessionPhase = "idle";
-  private _role: "client" | "server";
-  private _subscriptions = new Map<bigint, SubscriptionState>();
-  private _publishes = new Map<bigint, PublishState>();
-  private _fetches = new Map<bigint, FetchState>();
-  private _requestIds = new Set<bigint>();
+  private _phase: SessionPhase = 'idle'
+  private _role: 'client' | 'server'
+  private _subscriptions = new Map<bigint, SubscriptionState>()
+  private _publishes = new Map<bigint, PublishState>()
+  private _fetches = new Map<bigint, FetchState>()
+  private _requestIds = new Set<bigint>()
 
-  constructor(role: "client" | "server") {
-    this._role = role;
+  constructor(role: 'client' | 'server') {
+    this._role = role
   }
 
   get phase(): SessionPhase {
-    return this._phase;
+    return this._phase
   }
-  get role(): "client" | "server" {
-    return this._role;
+  get role(): 'client' | 'server' {
+    return this._role
   }
   get subscriptions(): ReadonlyMap<bigint, SubscriptionState> {
-    return this._subscriptions;
+    return this._subscriptions
   }
   get announces(): ReadonlyMap<string, AnnounceState> {
-    return new Map();
+    return new Map()
   }
   get publishes(): ReadonlyMap<bigint, PublishState> {
-    return this._publishes;
+    return this._publishes
   }
   get fetches(): ReadonlyMap<bigint, FetchState> {
-    return this._fetches;
+    return this._fetches
   }
 
   get legalOutgoing(): ReadonlySet<Draft15MessageType> {
-    return getLegalOutgoing(this._phase, this._role);
+    return getLegalOutgoing(this._phase, this._role)
   }
 
   get legalIncoming(): ReadonlySet<Draft15MessageType> {
-    return getLegalIncoming(this._phase, this._role);
+    return getLegalIncoming(this._phase, this._role)
   }
 
   private checkRole(
     message: Draft15Message,
-    direction: "inbound" | "outbound",
+    direction: 'inbound' | 'outbound',
   ): ProtocolViolation<Draft15MessageType> | null {
     const senderRole =
-      direction === "outbound" ? this._role : this._role === "client" ? "server" : "client";
+      direction === 'outbound' ? this._role : this._role === 'client' ? 'server' : 'client'
 
-    if (CLIENT_ONLY_MESSAGES.has(message.type) && senderRole !== "client") {
+    if (CLIENT_ONLY_MESSAGES.has(message.type) && senderRole !== 'client') {
       return violation(
-        "ROLE_VIOLATION",
+        'ROLE_VIOLATION',
         `${message.type} can only be sent by client`,
         this._phase,
         message.type,
-      );
+      )
     }
-    if (SERVER_ONLY_MESSAGES.has(message.type) && senderRole !== "server") {
+    if (SERVER_ONLY_MESSAGES.has(message.type) && senderRole !== 'server') {
       return violation(
-        "ROLE_VIOLATION",
+        'ROLE_VIOLATION',
         `${message.type} can only be sent by server`,
         this._phase,
         message.type,
-      );
+      )
     }
-    return null;
+    return null
   }
 
   private checkDuplicateRequestId(
@@ -97,13 +97,13 @@ export class Draft15SessionFSM {
   ): ProtocolViolation<Draft15MessageType> | null {
     if (this._requestIds.has(requestId)) {
       return violation(
-        "DUPLICATE_REQUEST_ID",
+        'DUPLICATE_REQUEST_ID',
         `Request ID ${requestId} already in use`,
         this._phase,
         msgType,
-      );
+      )
     }
-    return null;
+    return null
   }
 
   private checkKnownRequestId(
@@ -112,468 +112,488 @@ export class Draft15SessionFSM {
   ): ProtocolViolation<Draft15MessageType> | null {
     if (!this._requestIds.has(requestId)) {
       return violation(
-        "UNKNOWN_REQUEST_ID",
+        'UNKNOWN_REQUEST_ID',
         `No request with ID ${requestId}`,
         this._phase,
         msgType,
-      );
+      )
     }
-    return null;
+    return null
   }
 
   validateOutgoing(message: Draft15Message): ValidationResult<Draft15MessageType> {
-    const roleViolation = this.checkRole(message, "outbound");
-    if (roleViolation) return { ok: false, violation: roleViolation };
+    const roleViolation = this.checkRole(message, 'outbound')
+    if (roleViolation) return { ok: false, violation: roleViolation }
 
     if (!this.legalOutgoing.has(message.type)) {
       return {
         ok: false,
         violation: violation(
-          this._phase === "idle" || this._phase === "setup"
-            ? "MESSAGE_BEFORE_SETUP"
-            : "UNEXPECTED_MESSAGE",
+          this._phase === 'idle' || this._phase === 'setup'
+            ? 'MESSAGE_BEFORE_SETUP'
+            : 'UNEXPECTED_MESSAGE',
           `Cannot send ${message.type} in phase ${this._phase}`,
           this._phase,
           message.type,
         ),
-      };
+      }
     }
-    return { ok: true };
+    return { ok: true }
   }
 
   receive(message: Draft15Message): TransitionResult<Draft15MessageType> {
-    const roleViolation = this.checkRole(message, "inbound");
-    if (roleViolation) return { ok: false, violation: roleViolation };
-    return this.applyTransition(message, "inbound");
+    const roleViolation = this.checkRole(message, 'inbound')
+    if (roleViolation) return { ok: false, violation: roleViolation }
+    return this.applyTransition(message, 'inbound')
   }
 
   send(message: Draft15Message): TransitionResult<Draft15MessageType> {
-    const roleViolation = this.checkRole(message, "outbound");
-    if (roleViolation) return { ok: false, violation: roleViolation };
-    return this.applyTransition(message, "outbound");
+    const roleViolation = this.checkRole(message, 'outbound')
+    if (roleViolation) return { ok: false, violation: roleViolation }
+    return this.applyTransition(message, 'outbound')
   }
 
   private applyTransition(
     message: Draft15Message,
-    direction: "inbound" | "outbound",
+    direction: 'inbound' | 'outbound',
   ): TransitionResult<Draft15MessageType> {
-    const sideEffects: SideEffect[] = [];
+    const sideEffects: SideEffect[] = []
 
     switch (message.type) {
-      case "client_setup":
-        return this.handleClientSetup(direction);
-      case "server_setup":
-        return this.handleServerSetup(direction);
-      case "goaway":
-        return this.handleGoAway(message, sideEffects);
+      case 'client_setup':
+        return this.handleClientSetup(direction)
+      case 'server_setup':
+        return this.handleServerSetup(direction)
+      case 'goaway':
+        return this.handleGoAway(message, sideEffects)
 
       // Subscribe lifecycle
-      case "subscribe":
-        return this.handleSubscribe(message, sideEffects);
-      case "subscribe_ok":
-        return this.handleSubscribeOk(message, sideEffects);
-      case "subscribe_update":
-        return this.handleSubscribeUpdate(message, sideEffects);
-      case "unsubscribe":
-        return this.handleUnsubscribe(message, sideEffects);
+      case 'subscribe':
+        return this.handleSubscribe(message, sideEffects)
+      case 'subscribe_ok':
+        return this.handleSubscribeOk(message, sideEffects)
+      case 'subscribe_update':
+        return this.handleSubscribeUpdate(message, sideEffects)
+      case 'unsubscribe':
+        return this.handleUnsubscribe(message, sideEffects)
 
       // Publish lifecycle
-      case "publish":
-        return this.handlePublish(message, sideEffects);
-      case "publish_ok":
-        return this.handlePublishOk(message, sideEffects);
-      case "publish_done":
-        return this.handlePublishDone(message, sideEffects);
+      case 'publish':
+        return this.handlePublish(message, sideEffects)
+      case 'publish_ok':
+        return this.handlePublishOk(message, sideEffects)
+      case 'publish_done':
+        return this.handlePublishDone(message, sideEffects)
 
       // Fetch lifecycle
-      case "fetch":
-        return this.handleFetch(message, sideEffects);
-      case "fetch_ok":
-        return this.handleFetchOk(message, sideEffects);
-      case "fetch_cancel":
-        return this.handleFetchCancel(message, sideEffects);
+      case 'fetch':
+        return this.handleFetch(message, sideEffects)
+      case 'fetch_ok':
+        return this.handleFetchOk(message, sideEffects)
+      case 'fetch_cancel':
+        return this.handleFetchCancel(message, sideEffects)
 
       // Consolidated responses — REQUEST_ERROR can end any pending request
-      case "request_ok":
-        return this.handleRequestOk(message, sideEffects);
-      case "request_error":
-        return this.handleRequestError(message, sideEffects);
+      case 'request_ok':
+        return this.handleRequestOk(message, sideEffects)
+      case 'request_error':
+        return this.handleRequestError(message, sideEffects)
 
       // Namespace and track status — register request IDs
-      case "publish_namespace":
-        return this.handlePublishNamespace(message, sideEffects);
-      case "subscribe_namespace":
-        return this.handleSubscribeNamespace(message, sideEffects);
-      case "track_status":
-        return this.handleTrackStatus(message, sideEffects);
+      case 'publish_namespace':
+        return this.handlePublishNamespace(message, sideEffects)
+      case 'subscribe_namespace':
+        return this.handleSubscribeNamespace(message, sideEffects)
+      case 'track_status':
+        return this.handleTrackStatus(message, sideEffects)
 
       // Other ready-phase messages
       default:
-        return this.handleReadyPhaseMessage(message);
+        return this.handleReadyPhaseMessage(message)
     }
   }
 
   private handleClientSetup(
-    direction: "inbound" | "outbound",
+    direction: 'inbound' | 'outbound',
   ): TransitionResult<Draft15MessageType> {
-    if (this._phase !== "idle") {
+    if (this._phase !== 'idle') {
       return {
         ok: false,
         violation: violation(
-          "SETUP_VIOLATION",
-          "CLIENT_SETUP already sent/received",
+          'SETUP_VIOLATION',
+          'CLIENT_SETUP already sent/received',
           this._phase,
-          "client_setup",
+          'client_setup',
         ),
-      };
+      }
     }
-    if (direction === "outbound" && this._role !== "client") {
+    if (direction === 'outbound' && this._role !== 'client') {
       return {
         ok: false,
         violation: violation(
-          "ROLE_VIOLATION",
-          "Only client can send CLIENT_SETUP",
+          'ROLE_VIOLATION',
+          'Only client can send CLIENT_SETUP',
           this._phase,
-          "client_setup",
+          'client_setup',
         ),
-      };
+      }
     }
-    this._phase = "setup";
-    return { ok: true, phase: this._phase, sideEffects: [] };
+    this._phase = 'setup'
+    return { ok: true, phase: this._phase, sideEffects: [] }
   }
 
   private handleServerSetup(
-    direction: "inbound" | "outbound",
+    direction: 'inbound' | 'outbound',
   ): TransitionResult<Draft15MessageType> {
-    if (this._phase !== "setup") {
+    if (this._phase !== 'setup') {
       return {
         ok: false,
         violation: violation(
-          "SETUP_VIOLATION",
-          "SERVER_SETUP before CLIENT_SETUP",
+          'SETUP_VIOLATION',
+          'SERVER_SETUP before CLIENT_SETUP',
           this._phase,
-          "server_setup",
+          'server_setup',
         ),
-      };
+      }
     }
-    if (direction === "outbound" && this._role !== "server") {
+    if (direction === 'outbound' && this._role !== 'server') {
       return {
         ok: false,
         violation: violation(
-          "ROLE_VIOLATION",
-          "Only server can send SERVER_SETUP",
+          'ROLE_VIOLATION',
+          'Only server can send SERVER_SETUP',
           this._phase,
-          "server_setup",
+          'server_setup',
         ),
-      };
+      }
+    }
+    this._phase = 'ready'
+    return {
+      ok: true,
+      phase: this._phase,
+      sideEffects: [{ type: 'session-ready' }],
     }
-    this._phase = "ready";
-    return { ok: true, phase: this._phase, sideEffects: [{ type: "session-ready" }] };
   }
 
   private handleGoAway(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    if (this._phase !== "ready" && this._phase !== "draining") {
+    if (this._phase !== 'ready' && this._phase !== 'draining') {
       return {
         ok: false,
         violation: violation(
-          "UNEXPECTED_MESSAGE",
+          'UNEXPECTED_MESSAGE',
           `GOAWAY not valid in phase ${this._phase}`,
           this._phase,
-          "goaway",
+          'goaway',
         ),
-      };
+      }
     }
-    this._phase = "draining";
-    const goaway = message as import("./types.js").Draft15GoAway;
-    sideEffects.push({ type: "session-draining", goAwayUri: goaway.new_session_uri });
-    return { ok: true, phase: this._phase, sideEffects };
+    this._phase = 'draining'
+    const goaway = message as import('./types.js').Draft15GoAway
+    sideEffects.push({
+      type: 'session-draining',
+      goAwayUri: goaway.new_session_uri,
+    })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private requireReady(msgType: Draft15MessageType): ProtocolViolation<Draft15MessageType> | null {
-    if (this._phase !== "ready" && this._phase !== "draining") {
+    if (this._phase !== 'ready' && this._phase !== 'draining') {
       return violation(
-        this._phase === "idle" || this._phase === "setup"
-          ? "MESSAGE_BEFORE_SETUP"
-          : "UNEXPECTED_MESSAGE",
+        this._phase === 'idle' || this._phase === 'setup'
+          ? 'MESSAGE_BEFORE_SETUP'
+          : 'UNEXPECTED_MESSAGE',
         `${msgType} requires ready phase, current: ${this._phase}`,
         this._phase,
         msgType,
-      );
+      )
     }
-    return null;
+    return null
   }
 
   private handleSubscribe(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const sub = message as import("./types.js").Draft15Subscribe;
-    const dupErr = this.checkDuplicateRequestId(sub.request_id, message.type);
-    if (dupErr) return { ok: false, violation: dupErr };
-    this._requestIds.add(sub.request_id);
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const sub = message as import('./types.js').Draft15Subscribe
+    const dupErr = this.checkDuplicateRequestId(sub.request_id, message.type)
+    if (dupErr) return { ok: false, violation: dupErr }
+    this._requestIds.add(sub.request_id)
     this._subscriptions.set(sub.request_id, {
       subscribeId: sub.request_id,
-      phase: "pending",
+      phase: 'pending',
       trackNamespace: sub.track_namespace,
       trackName: sub.track_name,
-    });
-    return { ok: true, phase: this._phase, sideEffects };
+    })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleSubscribeOk(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const ok = message as import("./types.js").Draft15SubscribeOk;
-    const idErr = this.checkKnownRequestId(ok.request_id, message.type);
-    if (idErr) return { ok: false, violation: idErr };
-    const existing = this._subscriptions.get(ok.request_id);
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const ok = message as import('./types.js').Draft15SubscribeOk
+    const idErr = this.checkKnownRequestId(ok.request_id, message.type)
+    if (idErr) return { ok: false, violation: idErr }
+    const existing = this._subscriptions.get(ok.request_id)
     if (!existing)
       return {
         ok: false,
         violation: violation(
-          "UNKNOWN_REQUEST_ID",
+          'UNKNOWN_REQUEST_ID',
           `No subscription with request ID ${ok.request_id}`,
           this._phase,
           message.type,
         ),
-      };
-    if (existing.phase !== "pending")
+      }
+    if (existing.phase !== 'pending')
       return {
         ok: false,
         violation: violation(
-          "STATE_VIOLATION",
+          'STATE_VIOLATION',
           `Subscription ${ok.request_id} is ${existing.phase}, not pending`,
           this._phase,
           message.type,
         ),
-      };
-    this._subscriptions.set(ok.request_id, { ...existing, phase: "active" });
-    sideEffects.push({ type: "subscription-activated", subscribeId: ok.request_id });
-    return { ok: true, phase: this._phase, sideEffects };
+      }
+    this._subscriptions.set(ok.request_id, { ...existing, phase: 'active' })
+    sideEffects.push({
+      type: 'subscription-activated',
+      subscribeId: ok.request_id,
+    })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleSubscribeUpdate(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const update = message as import("./types.js").Draft15SubscribeUpdate;
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const update = message as import('./types.js').Draft15SubscribeUpdate
     // subscribe_update now uses its own request_id + subscription_request_id
-    const dupErr = this.checkDuplicateRequestId(update.request_id, message.type);
-    if (dupErr) return { ok: false, violation: dupErr };
-    this._requestIds.add(update.request_id);
-    const existing = this._subscriptions.get(update.subscription_request_id);
+    const dupErr = this.checkDuplicateRequestId(update.request_id, message.type)
+    if (dupErr) return { ok: false, violation: dupErr }
+    this._requestIds.add(update.request_id)
+    const existing = this._subscriptions.get(update.subscription_request_id)
     if (!existing)
       return {
         ok: false,
         violation: violation(
-          "UNKNOWN_REQUEST_ID",
+          'UNKNOWN_REQUEST_ID',
           `No subscription with request ID ${update.subscription_request_id}`,
           this._phase,
           message.type,
         ),
-      };
-    if (existing.phase !== "active")
+      }
+    if (existing.phase !== 'active')
       return {
         ok: false,
         violation: violation(
-          "STATE_VIOLATION",
+          'STATE_VIOLATION',
           `Subscription ${update.subscription_request_id} is ${existing.phase}, not active`,
           this._phase,
           message.type,
         ),
-      };
-    return { ok: true, phase: this._phase, sideEffects };
+      }
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleUnsubscribe(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const unsub = message as import("./types.js").Draft15Unsubscribe;
-    const idErr = this.checkKnownRequestId(unsub.request_id, message.type);
-    if (idErr) return { ok: false, violation: idErr };
-    const existing = this._subscriptions.get(unsub.request_id);
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const unsub = message as import('./types.js').Draft15Unsubscribe
+    const idErr = this.checkKnownRequestId(unsub.request_id, message.type)
+    if (idErr) return { ok: false, violation: idErr }
+    const existing = this._subscriptions.get(unsub.request_id)
     if (!existing)
       return {
         ok: false,
         violation: violation(
-          "UNKNOWN_REQUEST_ID",
+          'UNKNOWN_REQUEST_ID',
           `No subscription with request ID ${unsub.request_id}`,
           this._phase,
           message.type,
         ),
-      };
-    this._subscriptions.set(unsub.request_id, { ...existing, phase: "done" });
+      }
+    this._subscriptions.set(unsub.request_id, { ...existing, phase: 'done' })
     sideEffects.push({
-      type: "subscription-ended",
+      type: 'subscription-ended',
       subscribeId: unsub.request_id,
-      reason: "unsubscribed",
-    });
-    return { ok: true, phase: this._phase, sideEffects };
+      reason: 'unsubscribed',
+    })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handlePublish(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const pub = message as import("./types.js").Draft15Publish;
-    const dupErr = this.checkDuplicateRequestId(pub.request_id, message.type);
-    if (dupErr) return { ok: false, violation: dupErr };
-    this._requestIds.add(pub.request_id);
-    this._publishes.set(pub.request_id, { requestId: pub.request_id, phase: "pending" });
-    return { ok: true, phase: this._phase, sideEffects };
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const pub = message as import('./types.js').Draft15Publish
+    const dupErr = this.checkDuplicateRequestId(pub.request_id, message.type)
+    if (dupErr) return { ok: false, violation: dupErr }
+    this._requestIds.add(pub.request_id)
+    this._publishes.set(pub.request_id, {
+      requestId: pub.request_id,
+      phase: 'pending',
+    })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handlePublishOk(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const ok = message as import("./types.js").Draft15PublishOk;
-    const idErr = this.checkKnownRequestId(ok.request_id, message.type);
-    if (idErr) return { ok: false, violation: idErr };
-    const existing = this._publishes.get(ok.request_id);
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const ok = message as import('./types.js').Draft15PublishOk
+    const idErr = this.checkKnownRequestId(ok.request_id, message.type)
+    if (idErr) return { ok: false, violation: idErr }
+    const existing = this._publishes.get(ok.request_id)
     if (!existing)
       return {
         ok: false,
         violation: violation(
-          "UNKNOWN_REQUEST_ID",
+          'UNKNOWN_REQUEST_ID',
           `No publish with request ID ${ok.request_id}`,
           this._phase,
           message.type,
         ),
-      };
-    if (existing.phase !== "pending")
+      }
+    if (existing.phase !== 'pending')
       return {
         ok: false,
         violation: violation(
-          "STATE_VIOLATION",
+          'STATE_VIOLATION',
           `Publish ${ok.request_id} is ${existing.phase}, not pending`,
           this._phase,
           message.type,
         ),
-      };
-    this._publishes.set(ok.request_id, { ...existing, phase: "active" });
-    sideEffects.push({ type: "publish-activated", requestId: ok.request_id });
-    return { ok: true, phase: this._phase, sideEffects };
+      }
+    this._publishes.set(ok.request_id, { ...existing, phase: 'active' })
+    sideEffects.push({ type: 'publish-activated', requestId: ok.request_id })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handlePublishDone(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const done = message as import("./types.js").Draft15PublishDone;
-    const idErr = this.checkKnownRequestId(done.request_id, message.type);
-    if (idErr) return { ok: false, violation: idErr };
-    const existing = this._publishes.get(done.request_id);
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const done = message as import('./types.js').Draft15PublishDone
+    const idErr = this.checkKnownRequestId(done.request_id, message.type)
+    if (idErr) return { ok: false, violation: idErr }
+    const existing = this._publishes.get(done.request_id)
     if (!existing)
       return {
         ok: false,
         violation: violation(
-          "UNKNOWN_REQUEST_ID",
+          'UNKNOWN_REQUEST_ID',
           `No publish with request ID ${done.request_id}`,
           this._phase,
           message.type,
         ),
-      };
-    this._publishes.set(done.request_id, { ...existing, phase: "done" });
+      }
+    this._publishes.set(done.request_id, { ...existing, phase: 'done' })
     sideEffects.push({
-      type: "publish-ended",
+      type: 'publish-ended',
       requestId: done.request_id,
       reason: done.reason_phrase,
-    });
-    return { ok: true, phase: this._phase, sideEffects };
+    })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleFetch(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const fetch = message as import("./types.js").Draft15Fetch;
-    const dupErr = this.checkDuplicateRequestId(fetch.request_id, message.type);
-    if (dupErr) return { ok: false, violation: dupErr };
-    this._requestIds.add(fetch.request_id);
-    this._fetches.set(fetch.request_id, { requestId: fetch.request_id, phase: "pending" });
-    return { ok: true, phase: this._phase, sideEffects };
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const fetch = message as import('./types.js').Draft15Fetch
+    const dupErr = this.checkDuplicateRequestId(fetch.request_id, message.type)
+    if (dupErr) return { ok: false, violation: dupErr }
+    this._requestIds.add(fetch.request_id)
+    this._fetches.set(fetch.request_id, {
+      requestId: fetch.request_id,
+      phase: 'pending',
+    })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleFetchOk(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const ok = message as import("./types.js").Draft15FetchOk;
-    const idErr = this.checkKnownRequestId(ok.request_id, message.type);
-    if (idErr) return { ok: false, violation: idErr };
-    const existing = this._fetches.get(ok.request_id);
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const ok = message as import('./types.js').Draft15FetchOk
+    const idErr = this.checkKnownRequestId(ok.request_id, message.type)
+    if (idErr) return { ok: false, violation: idErr }
+    const existing = this._fetches.get(ok.request_id)
     if (!existing)
       return {
         ok: false,
         violation: violation(
-          "UNKNOWN_REQUEST_ID",
+          'UNKNOWN_REQUEST_ID',
           `No fetch with request ID ${ok.request_id}`,
           this._phase,
           message.type,
         ),
-      };
-    if (existing.phase !== "pending")
+      }
+    if (existing.phase !== 'pending')
       return {
         ok: false,
         violation: violation(
-          "STATE_VIOLATION",
+          'STATE_VIOLATION',
           `Fetch ${ok.request_id} is ${existing.phase}, not pending`,
           this._phase,
           message.type,
         ),
-      };
-    this._fetches.set(ok.request_id, { ...existing, phase: "active" });
-    sideEffects.push({ type: "fetch-activated", requestId: ok.request_id });
-    return { ok: true, phase: this._phase, sideEffects };
+      }
+    this._fetches.set(ok.request_id, { ...existing, phase: 'active' })
+    sideEffects.push({ type: 'fetch-activated', requestId: ok.request_id })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleFetchCancel(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const cancel = message as import("./types.js").Draft15FetchCancel;
-    const idErr = this.checkKnownRequestId(cancel.request_id, message.type);
-    if (idErr) return { ok: false, violation: idErr };
-    const existing = this._fetches.get(cancel.request_id);
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const cancel = message as import('./types.js').Draft15FetchCancel
+    const idErr = this.checkKnownRequestId(cancel.request_id, message.type)
+    if (idErr) return { ok: false, violation: idErr }
+    const existing = this._fetches.get(cancel.request_id)
     if (!existing)
       return {
         ok: false,
         violation: violation(
-          "UNKNOWN_REQUEST_ID",
+          'UNKNOWN_REQUEST_ID',
           `No fetch with request ID ${cancel.request_id}`,
           this._phase,
           message.type,
         ),
-      };
-    this._fetches.set(cancel.request_id, { ...existing, phase: "cancelled" });
-    sideEffects.push({ type: "fetch-ended", requestId: cancel.request_id, reason: "cancelled" });
-    return { ok: true, phase: this._phase, sideEffects };
+      }
+    this._fetches.set(cancel.request_id, { ...existing, phase: 'cancelled' })
+    sideEffects.push({
+      type: 'fetch-ended',
+      requestId: cancel.request_id,
+      reason: 'cancelled',
+    })
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   // REQUEST_ERROR replaces subscribe_error, publish_error, fetch_error, etc.
@@ -581,42 +601,42 @@ export class Draft15SessionFSM {
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const reqErr = message as import("./types.js").Draft15RequestError;
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const reqErr = message as import('./types.js').Draft15RequestError
     // REQUEST_ERROR can target any pending request — try to find it
-    const sub = this._subscriptions.get(reqErr.request_id);
-    if (sub && sub.phase === "pending") {
-      this._subscriptions.set(reqErr.request_id, { ...sub, phase: "error" });
+    const sub = this._subscriptions.get(reqErr.request_id)
+    if (sub && sub.phase === 'pending') {
+      this._subscriptions.set(reqErr.request_id, { ...sub, phase: 'error' })
       sideEffects.push({
-        type: "subscription-ended",
+        type: 'subscription-ended',
         subscribeId: reqErr.request_id,
         reason: reqErr.reason_phrase,
-      });
-      return { ok: true, phase: this._phase, sideEffects };
+      })
+      return { ok: true, phase: this._phase, sideEffects }
     }
-    const pub = this._publishes.get(reqErr.request_id);
-    if (pub && pub.phase === "pending") {
-      this._publishes.set(reqErr.request_id, { ...pub, phase: "error" });
+    const pub = this._publishes.get(reqErr.request_id)
+    if (pub && pub.phase === 'pending') {
+      this._publishes.set(reqErr.request_id, { ...pub, phase: 'error' })
       sideEffects.push({
-        type: "publish-ended",
+        type: 'publish-ended',
         requestId: reqErr.request_id,
         reason: reqErr.reason_phrase,
-      });
-      return { ok: true, phase: this._phase, sideEffects };
+      })
+      return { ok: true, phase: this._phase, sideEffects }
     }
-    const fetch = this._fetches.get(reqErr.request_id);
-    if (fetch && fetch.phase === "pending") {
-      this._fetches.set(reqErr.request_id, { ...fetch, phase: "error" });
+    const fetch = this._fetches.get(reqErr.request_id)
+    if (fetch && fetch.phase === 'pending') {
+      this._fetches.set(reqErr.request_id, { ...fetch, phase: 'error' })
       sideEffects.push({
-        type: "fetch-ended",
+        type: 'fetch-ended',
         requestId: reqErr.request_id,
         reason: reqErr.reason_phrase,
-      });
-      return { ok: true, phase: this._phase, sideEffects };
+      })
+      return { ok: true, phase: this._phase, sideEffects }
     }
     // Could also be for subscribe_namespace, publish_namespace, track_status — allow through
-    return { ok: true, phase: this._phase, sideEffects };
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   // REQUEST_OK replaces subscribe_namespace_ok, publish_namespace_ok, track_status_ok
@@ -624,10 +644,10 @@ export class Draft15SessionFSM {
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
     // REQUEST_OK is a generic success response — allow through
-    return { ok: true, phase: this._phase, sideEffects };
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   // ─── Namespace and track status request ID tracking ───
@@ -636,52 +656,52 @@ export class Draft15SessionFSM {
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const pn = message as import("./types.js").Draft15PublishNamespace;
-    const dupErr = this.checkDuplicateRequestId(pn.request_id, message.type);
-    if (dupErr) return { ok: false, violation: dupErr };
-    this._requestIds.add(pn.request_id);
-    return { ok: true, phase: this._phase, sideEffects };
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const pn = message as import('./types.js').Draft15PublishNamespace
+    const dupErr = this.checkDuplicateRequestId(pn.request_id, message.type)
+    if (dupErr) return { ok: false, violation: dupErr }
+    this._requestIds.add(pn.request_id)
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleSubscribeNamespace(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const sn = message as import("./types.js").Draft15SubscribeNamespace;
-    const dupErr = this.checkDuplicateRequestId(sn.request_id, message.type);
-    if (dupErr) return { ok: false, violation: dupErr };
-    this._requestIds.add(sn.request_id);
-    return { ok: true, phase: this._phase, sideEffects };
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const sn = message as import('./types.js').Draft15SubscribeNamespace
+    const dupErr = this.checkDuplicateRequestId(sn.request_id, message.type)
+    if (dupErr) return { ok: false, violation: dupErr }
+    this._requestIds.add(sn.request_id)
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleTrackStatus(
     message: Draft15Message,
     sideEffects: SideEffect[],
   ): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    const ts = message as import("./types.js").Draft15TrackStatus;
-    const dupErr = this.checkDuplicateRequestId(ts.request_id, message.type);
-    if (dupErr) return { ok: false, violation: dupErr };
-    this._requestIds.add(ts.request_id);
-    return { ok: true, phase: this._phase, sideEffects };
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    const ts = message as import('./types.js').Draft15TrackStatus
+    const dupErr = this.checkDuplicateRequestId(ts.request_id, message.type)
+    if (dupErr) return { ok: false, violation: dupErr }
+    this._requestIds.add(ts.request_id)
+    return { ok: true, phase: this._phase, sideEffects }
   }
 
   private handleReadyPhaseMessage(message: Draft15Message): TransitionResult<Draft15MessageType> {
-    const err = this.requireReady(message.type);
-    if (err) return { ok: false, violation: err };
-    return { ok: true, phase: this._phase, sideEffects: [] };
+    const err = this.requireReady(message.type)
+    if (err) return { ok: false, violation: err }
+    return { ok: true, phase: this._phase, sideEffects: [] }
   }
 
   reset(): void {
-    this._phase = "idle";
-    this._subscriptions.clear();
-    this._publishes.clear();
-    this._fetches.clear();
-    this._requestIds.clear();
+    this._phase = 'idle'
+    this._subscriptions.clear()
+    this._publishes.clear()
+    this._fetches.clear()
+    this._requestIds.clear()
   }
 }