@moqtap/codec 0.1.1 → 0.2.0

package/dist/chunk-RZHAPEXO.js

@@ -0,0 +1,749 @@
+// src/drafts/draft13/rules.ts
+var CONTROL_MESSAGES = /* @__PURE__ */ new Set([
+  "client_setup",
+  "server_setup",
+  "subscribe",
+  "subscribe_ok",
+  "subscribe_error",
+  "subscribe_update",
+  "subscribe_done",
+  "unsubscribe",
+  "announce",
+  "announce_ok",
+  "announce_error",
+  "unannounce",
+  "announce_cancel",
+  "subscribe_namespace",
+  "subscribe_namespace_ok",
+  "subscribe_namespace_error",
+  "unsubscribe_namespace",
+  "publish",
+  "publish_ok",
+  "publish_error",
+  "fetch",
+  "fetch_ok",
+  "fetch_error",
+  "fetch_cancel",
+  "track_status",
+  "track_status_ok",
+  "track_status_error",
+  "goaway",
+  "max_request_id",
+  "requests_blocked"
+]);
+var CLIENT_ONLY_MESSAGES = /* @__PURE__ */ new Set(["client_setup"]);
+var SERVER_ONLY_MESSAGES = /* @__PURE__ */ new Set(["server_setup"]);
+var BIDIRECTIONAL_MESSAGES = /* @__PURE__ */ new Set([
+  "subscribe",
+  "subscribe_ok",
+  "subscribe_error",
+  "subscribe_update",
+  "subscribe_done",
+  "unsubscribe",
+  "announce",
+  "announce_ok",
+  "announce_error",
+  "unannounce",
+  "announce_cancel",
+  "subscribe_namespace",
+  "subscribe_namespace_ok",
+  "subscribe_namespace_error",
+  "unsubscribe_namespace",
+  "publish",
+  "publish_ok",
+  "publish_error",
+  "fetch",
+  "fetch_ok",
+  "fetch_error",
+  "fetch_cancel",
+  "track_status",
+  "track_status_ok",
+  "track_status_error",
+  "goaway",
+  "max_request_id",
+  "requests_blocked"
+]);
+function getLegalOutgoing(phase, role) {
+  const legal = /* @__PURE__ */ new Set();
+  switch (phase) {
+    case "idle":
+      if (role === "client") legal.add("client_setup");
+      break;
+    case "setup":
+      if (role === "server") legal.add("server_setup");
+      break;
+    case "ready": {
+      legal.add("goaway");
+      for (const msg of BIDIRECTIONAL_MESSAGES) {
+        legal.add(msg);
+      }
+      break;
+    }
+    case "draining":
+      break;
+  }
+  return legal;
+}
+function getLegalIncoming(phase, role) {
+  const remoteRole = role === "client" ? "server" : "client";
+  return getLegalOutgoing(phase, remoteRole);
+}
+
+// src/drafts/draft13/session-fsm.ts
+function violation(code, message, currentPhase, offendingMessage) {
+  return { code, message, currentPhase, offendingMessage };
+}
+var Draft13SessionFSM = class {
+  _phase = "idle";
+  _role;
+  _subscriptions = /* @__PURE__ */ new Map();
+  _announces = /* @__PURE__ */ new Map();
+  _fetches = /* @__PURE__ */ new Map();
+  _requestIds = /* @__PURE__ */ new Set();
+  constructor(role) {
+    this._role = role;
+  }
+  get phase() {
+    return this._phase;
+  }
+  get role() {
+    return this._role;
+  }
+  get subscriptions() {
+    return this._subscriptions;
+  }
+  get announces() {
+    return this._announces;
+  }
+  get fetches() {
+    return this._fetches;
+  }
+  get legalOutgoing() {
+    return getLegalOutgoing(this._phase, this._role);
+  }
+  get legalIncoming() {
+    return getLegalIncoming(this._phase, this._role);
+  }
+  checkRole(message, direction) {
+    const senderRole = direction === "outbound" ? this._role : this._role === "client" ? "server" : "client";
+    if (CLIENT_ONLY_MESSAGES.has(message.type) && senderRole !== "client") {
+      return violation(
+        "ROLE_VIOLATION",
+        `${message.type} can only be sent by client`,
+        this._phase,
+        message.type
+      );
+    }
+    if (SERVER_ONLY_MESSAGES.has(message.type) && senderRole !== "server") {
+      return violation(
+        "ROLE_VIOLATION",
+        `${message.type} can only be sent by server`,
+        this._phase,
+        message.type
+      );
+    }
+    return null;
+  }
+  checkDuplicateRequestId(requestId, msgType) {
+    if (this._requestIds.has(requestId)) {
+      return violation(
+        "DUPLICATE_REQUEST_ID",
+        `Request ID ${requestId} already in use`,
+        this._phase,
+        msgType
+      );
+    }
+    return null;
+  }
+  checkKnownRequestId(requestId, msgType) {
+    if (!this._requestIds.has(requestId)) {
+      return violation(
+        "UNKNOWN_REQUEST_ID",
+        `No request with ID ${requestId}`,
+        this._phase,
+        msgType
+      );
+    }
+    return null;
+  }
+  validateOutgoing(message) {
+    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",
+          `Cannot send ${message.type} in phase ${this._phase}`,
+          this._phase,
+          message.type
+        )
+      };
+    }
+    return { ok: true };
+  }
+  receive(message) {
+    const roleViolation = this.checkRole(message, "inbound");
+    if (roleViolation) return { ok: false, violation: roleViolation };
+    return this.applyTransition(message, "inbound");
+  }
+  send(message) {
+    const roleViolation = this.checkRole(message, "outbound");
+    if (roleViolation) return { ok: false, violation: roleViolation };
+    return this.applyTransition(message, "outbound");
+  }
+  applyTransition(message, direction) {
+    const sideEffects = [];
+    switch (message.type) {
+      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_error":
+        return this.handleSubscribeError(message, sideEffects);
+      case "subscribe_update":
+        return this.handleSubscribeUpdate(message, sideEffects);
+      case "subscribe_done":
+        return this.handleSubscribeDone(message, sideEffects);
+      case "unsubscribe":
+        return this.handleUnsubscribe(message, sideEffects);
+      // Announce lifecycle
+      case "announce":
+        return this.handleAnnounce(message, sideEffects);
+      case "announce_ok":
+        return this.handleAnnounceOk(message, sideEffects);
+      case "announce_error":
+        return this.handleAnnounceError(message, sideEffects);
+      case "unannounce":
+        return this.handleUnannounce(message, sideEffects);
+      case "announce_cancel":
+        return this.handleAnnounceCancel(message, sideEffects);
+      // Publish lifecycle
+      case "publish":
+        return this.handlePublish(message, sideEffects);
+      case "publish_ok":
+        return this.handlePublishOk(message, sideEffects);
+      case "publish_error":
+        return this.handlePublishError(message, sideEffects);
+      // Fetch lifecycle
+      case "fetch":
+        return this.handleFetch(message, sideEffects);
+      case "fetch_ok":
+        return this.handleFetchOk(message, sideEffects);
+      case "fetch_error":
+        return this.handleFetchError(message, sideEffects);
+      case "fetch_cancel":
+        return this.handleFetchCancel(message, sideEffects);
+      // Subscribe namespace lifecycle
+      case "subscribe_namespace":
+        return this.handleSubscribeNamespace(message, sideEffects);
+      case "subscribe_namespace_ok":
+        return this.handleSubscribeNamespaceOk(message, sideEffects);
+      case "subscribe_namespace_error":
+        return this.handleSubscribeNamespaceError(message, sideEffects);
+      // Track status lifecycle
+      case "track_status":
+        return this.handleTrackStatus(message, sideEffects);
+      case "track_status_ok":
+        return this.handleTrackStatusOk(message, sideEffects);
+      case "track_status_error":
+        return this.handleTrackStatusError(message, sideEffects);
+      // Other ready-phase messages
+      default:
+        return this.handleReadyPhaseMessage(message);
+    }
+  }
+  handleClientSetup(direction) {
+    if (this._phase !== "idle") {
+      return {
+        ok: false,
+        violation: violation(
+          "SETUP_VIOLATION",
+          "CLIENT_SETUP already sent/received",
+          this._phase,
+          "client_setup"
+        )
+      };
+    }
+    if (direction === "outbound" && this._role !== "client") {
+      return {
+        ok: false,
+        violation: violation(
+          "ROLE_VIOLATION",
+          "Only client can send CLIENT_SETUP",
+          this._phase,
+          "client_setup"
+        )
+      };
+    }
+    this._phase = "setup";
+    return { ok: true, phase: this._phase, sideEffects: [] };
+  }
+  handleServerSetup(direction) {
+    if (this._phase !== "setup") {
+      return {
+        ok: false,
+        violation: violation(
+          "SETUP_VIOLATION",
+          "SERVER_SETUP before CLIENT_SETUP",
+          this._phase,
+          "server_setup"
+        )
+      };
+    }
+    if (direction === "outbound" && this._role !== "server") {
+      return {
+        ok: false,
+        violation: violation(
+          "ROLE_VIOLATION",
+          "Only server can send SERVER_SETUP",
+          this._phase,
+          "server_setup"
+        )
+      };
+    }
+    this._phase = "ready";
+    return { ok: true, phase: this._phase, sideEffects: [{ type: "session-ready" }] };
+  }
+  handleGoAway(message, sideEffects) {
+    if (this._phase !== "ready" && this._phase !== "draining") {
+      return {
+        ok: false,
+        violation: violation(
+          "UNEXPECTED_MESSAGE",
+          `GOAWAY not valid in phase ${this._phase}`,
+          this._phase,
+          "goaway"
+        )
+      };
+    }
+    this._phase = "draining";
+    const goaway = message;
+    sideEffects.push({ type: "session-draining", goAwayUri: goaway.new_session_uri });
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  requireReady(msgType) {
+    if (this._phase !== "ready" && this._phase !== "draining") {
+      return violation(
+        this._phase === "idle" || this._phase === "setup" ? "MESSAGE_BEFORE_SETUP" : "UNEXPECTED_MESSAGE",
+        `${msgType} requires ready phase, current: ${this._phase}`,
+        this._phase,
+        msgType
+      );
+    }
+    return null;
+  }
+  // ─── Subscribe lifecycle ───
+  handleSubscribe(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const sub = message;
+    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",
+      trackNamespace: sub.track_namespace,
+      trackName: sub.track_name
+    });
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleSubscribeOk(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const ok = message;
+    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",
+          `No subscription with request ID ${ok.request_id}`,
+          this._phase,
+          message.type
+        )
+      };
+    if (existing.phase !== "pending")
+      return {
+        ok: false,
+        violation: 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 };
+  }
+  handleSubscribeError(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const subErr = message;
+    const idErr = this.checkKnownRequestId(subErr.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    const existing = this._subscriptions.get(subErr.request_id);
+    if (!existing)
+      return {
+        ok: false,
+        violation: violation(
+          "UNKNOWN_REQUEST_ID",
+          `No subscription with request ID ${subErr.request_id}`,
+          this._phase,
+          message.type
+        )
+      };
+    if (existing.phase !== "pending")
+      return {
+        ok: false,
+        violation: violation(
+          "STATE_VIOLATION",
+          `Subscription ${subErr.request_id} is ${existing.phase}, not pending`,
+          this._phase,
+          message.type
+        )
+      };
+    this._subscriptions.set(subErr.request_id, { ...existing, phase: "error" });
+    sideEffects.push({
+      type: "subscription-ended",
+      subscribeId: subErr.request_id,
+      reason: subErr.reason_phrase
+    });
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleSubscribeUpdate(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const update = message;
+    const idErr = this.checkKnownRequestId(update.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    const existing = this._subscriptions.get(update.request_id);
+    if (!existing)
+      return {
+        ok: false,
+        violation: violation(
+          "UNKNOWN_REQUEST_ID",
+          `No subscription with request ID ${update.request_id}`,
+          this._phase,
+          message.type
+        )
+      };
+    if (existing.phase !== "active")
+      return {
+        ok: false,
+        violation: violation(
+          "STATE_VIOLATION",
+          `Subscription ${update.request_id} is ${existing.phase}, not active`,
+          this._phase,
+          message.type
+        )
+      };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleSubscribeDone(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const done = message;
+    const idErr = this.checkKnownRequestId(done.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    const existing = this._subscriptions.get(done.request_id);
+    if (!existing)
+      return {
+        ok: false,
+        violation: violation(
+          "UNKNOWN_REQUEST_ID",
+          `No subscription with request ID ${done.request_id}`,
+          this._phase,
+          message.type
+        )
+      };
+    this._subscriptions.set(done.request_id, { ...existing, phase: "done" });
+    sideEffects.push({
+      type: "subscription-ended",
+      subscribeId: done.request_id,
+      reason: done.reason_phrase
+    });
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleUnsubscribe(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const unsub = message;
+    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",
+          `No subscription with request ID ${unsub.request_id}`,
+          this._phase,
+          message.type
+        )
+      };
+    this._subscriptions.set(unsub.request_id, { ...existing, phase: "done" });
+    sideEffects.push({
+      type: "subscription-ended",
+      subscribeId: unsub.request_id,
+      reason: "unsubscribed"
+    });
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  // ─── Announce lifecycle ───
+  handleAnnounce(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const ann = message;
+    const nsKey = ann.track_namespace.join("/");
+    this._requestIds.add(ann.request_id);
+    this._announces.set(nsKey, { namespace: ann.track_namespace, phase: "pending" });
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleAnnounceOk(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const ok = message;
+    const idErr = this.checkKnownRequestId(ok.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleAnnounceError(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const annErr = message;
+    const idErr = this.checkKnownRequestId(annErr.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleUnannounce(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const unann = message;
+    const nsKey = unann.track_namespace.join("/");
+    const existing = this._announces.get(nsKey);
+    if (existing) {
+      this._announces.delete(nsKey);
+      sideEffects.push({ type: "announce-ended", namespace: unann.track_namespace });
+    }
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleAnnounceCancel(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const cancel = message;
+    const nsKey = cancel.track_namespace.join("/");
+    const existing = this._announces.get(nsKey);
+    if (existing) {
+      this._announces.delete(nsKey);
+      sideEffects.push({ type: "announce-ended", namespace: cancel.track_namespace });
+    }
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  // ─── Publish lifecycle ───
+  handlePublish(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const pub = message;
+    const dupErr = this.checkDuplicateRequestId(pub.request_id, message.type);
+    if (dupErr) return { ok: false, violation: dupErr };
+    this._requestIds.add(pub.request_id);
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handlePublishOk(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const ok = message;
+    const idErr = this.checkKnownRequestId(ok.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handlePublishError(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const pubErr = message;
+    const idErr = this.checkKnownRequestId(pubErr.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  // ─── Fetch lifecycle ───
+  handleFetch(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const fetch = message;
+    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 };
+  }
+  handleFetchOk(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const ok = message;
+    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",
+          `No fetch with request ID ${ok.request_id}`,
+          this._phase,
+          message.type
+        )
+      };
+    if (existing.phase !== "pending")
+      return {
+        ok: false,
+        violation: 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 };
+  }
+  handleFetchError(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const fetchErr = message;
+    const idErr = this.checkKnownRequestId(fetchErr.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    const existing = this._fetches.get(fetchErr.request_id);
+    if (!existing)
+      return {
+        ok: false,
+        violation: violation(
+          "UNKNOWN_REQUEST_ID",
+          `No fetch with request ID ${fetchErr.request_id}`,
+          this._phase,
+          message.type
+        )
+      };
+    this._fetches.set(fetchErr.request_id, { ...existing, phase: "error" });
+    sideEffects.push({
+      type: "fetch-ended",
+      requestId: fetchErr.request_id,
+      reason: fetchErr.reason_phrase
+    });
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleFetchCancel(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const cancel = message;
+    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",
+          `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 };
+  }
+  // ─── Track status lifecycle ───
+  handleTrackStatus(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const ts = message;
+    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 };
+  }
+  handleTrackStatusOk(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const ok = message;
+    const idErr = this.checkKnownRequestId(ok.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleTrackStatusError(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const tsErr = message;
+    const idErr = this.checkKnownRequestId(tsErr.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  // ─── Subscribe namespace lifecycle ───
+  handleSubscribeNamespace(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const sn = message;
+    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 };
+  }
+  handleSubscribeNamespaceOk(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const ok = message;
+    const idErr = this.checkKnownRequestId(ok.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  handleSubscribeNamespaceError(message, sideEffects) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    const snErr = message;
+    const idErr = this.checkKnownRequestId(snErr.request_id, message.type);
+    if (idErr) return { ok: false, violation: idErr };
+    return { ok: true, phase: this._phase, sideEffects };
+  }
+  // ─── Generic ready-phase handler ───
+  handleReadyPhaseMessage(message) {
+    const err = this.requireReady(message.type);
+    if (err) return { ok: false, violation: err };
+    return { ok: true, phase: this._phase, sideEffects: [] };
+  }
+  reset() {
+    this._phase = "idle";
+    this._subscriptions.clear();
+    this._announces.clear();
+    this._fetches.clear();
+    this._requestIds.clear();
+  }
+};
+
+// src/drafts/draft13/session.ts
+function createDraft13SessionState(options) {
+  return new Draft13SessionFSM(options.role);
+}
+
+export {
+  CONTROL_MESSAGES,
+  CLIENT_ONLY_MESSAGES,
+  SERVER_ONLY_MESSAGES,
+  BIDIRECTIONAL_MESSAGES,
+  getLegalOutgoing,
+  getLegalIncoming,
+  Draft13SessionFSM,
+  createDraft13SessionState
+};