@moqtap/codec 0.1.0

package/src/drafts/draft14/index.ts

@@ -0,0 +1,132 @@
+export { createDraft14Codec } from './codec.js';
+export type { Draft14Codec } from './codec.js';
+
+export {
+  encodeMessage,
+  decodeMessage,
+  encodeSubgroupStream,
+  encodeDatagram,
+  encodeFetchStream,
+  decodeSubgroupStream,
+  decodeDatagram,
+  decodeFetchStream,
+  decodeDataStream,
+  createStreamDecoder,
+  createSubgroupStreamDecoder,
+  createFetchStreamDecoder,
+  createDataStreamDecoder,
+} from './codec.js';
+
+export type {
+  Draft14Message,
+  Draft14MessageType,
+  Draft14BaseMessage,
+  Draft14Params,
+  UnknownParam,
+  Draft14ClientSetup,
+  Draft14ServerSetup,
+  Draft14Subscribe,
+  Draft14SubscribeOk,
+  Draft14SubscribeUpdate,
+  Draft14SubscribeError,
+  Draft14Unsubscribe,
+  Draft14Publish,
+  Draft14PublishOk,
+  Draft14PublishError,
+  Draft14PublishDone,
+  Draft14PublishNamespace,
+  Draft14PublishNamespaceOk,
+  Draft14PublishNamespaceError,
+  Draft14PublishNamespaceDone,
+  Draft14PublishNamespaceCancel,
+  Draft14SubscribeNamespace,
+  Draft14SubscribeNamespaceOk,
+  Draft14SubscribeNamespaceError,
+  Draft14UnsubscribeNamespace,
+  Draft14Fetch,
+  Draft14FetchOk,
+  Draft14FetchError,
+  Draft14FetchCancel,
+  Draft14TrackStatus,
+  Draft14TrackStatusOk,
+  Draft14TrackStatusError,
+  Draft14GoAway,
+  Draft14MaxRequestId,
+  Draft14RequestsBlocked,
+  Draft14DataStream,
+  SubgroupStream,
+  DatagramObject,
+  FetchStream,
+  ObjectPayload,
+  SubgroupStreamHeader,
+  FetchStreamHeader,
+  DataStreamHeader,
+  DataStreamEvent,
+} from './types.js';
+
+export {
+  MSG_CLIENT_SETUP,
+  MSG_SERVER_SETUP,
+  MSG_SUBSCRIBE,
+  MSG_SUBSCRIBE_OK,
+  MSG_SUBSCRIBE_UPDATE,
+  MSG_SUBSCRIBE_ERROR,
+  MSG_UNSUBSCRIBE,
+  MSG_PUBLISH,
+  MSG_PUBLISH_OK,
+  MSG_PUBLISH_ERROR,
+  MSG_PUBLISH_DONE,
+  MSG_PUBLISH_NAMESPACE,
+  MSG_PUBLISH_NAMESPACE_OK,
+  MSG_PUBLISH_NAMESPACE_ERROR,
+  MSG_PUBLISH_NAMESPACE_DONE,
+  MSG_PUBLISH_NAMESPACE_CANCEL,
+  MSG_SUBSCRIBE_NAMESPACE,
+  MSG_SUBSCRIBE_NAMESPACE_OK,
+  MSG_SUBSCRIBE_NAMESPACE_ERROR,
+  MSG_UNSUBSCRIBE_NAMESPACE,
+  MSG_FETCH,
+  MSG_FETCH_OK,
+  MSG_FETCH_ERROR,
+  MSG_FETCH_CANCEL,
+  MSG_TRACK_STATUS,
+  MSG_TRACK_STATUS_OK,
+  MSG_TRACK_STATUS_ERROR,
+  MSG_GOAWAY,
+  MSG_MAX_REQUEST_ID,
+  MSG_REQUESTS_BLOCKED,
+  MESSAGE_TYPE_MAP,
+  MESSAGE_ID_MAP,
+  PARAM_ROLE,
+  PARAM_PATH,
+  PARAM_MAX_REQUEST_ID,
+} from './messages.js';
+
+// Session state machine
+export { createDraft14SessionState } from './session.js';
+export { Draft14SessionFSM } from './session-fsm.js';
+export {
+  CONTROL_MESSAGES,
+  CLIENT_ONLY_MESSAGES,
+  SERVER_ONLY_MESSAGES,
+  BIDIRECTIONAL_MESSAGES,
+  getLegalOutgoing,
+  getLegalIncoming,
+} from './rules.js';
+
+export type {
+  SessionState,
+  SessionStateOptions,
+  SessionPhase,
+  SubscriptionState,
+  SubscriptionPhase,
+  PublishState,
+  PublishPhase,
+  FetchState,
+  FetchPhase,
+  TransitionResult,
+  ValidationResult,
+  ProtocolViolation,
+  ProtocolViolationCode,
+  SideEffect,
+} from './session.js';

package/src/drafts/draft14/messages.ts

@@ -0,0 +1,76 @@
+// Draft-14 message type wire IDs
+
+export const MSG_SUBSCRIBE_UPDATE    = 0x02n;
+export const MSG_SUBSCRIBE           = 0x03n;
+export const MSG_SUBSCRIBE_OK        = 0x04n;
+export const MSG_SUBSCRIBE_ERROR     = 0x05n;
+export const MSG_PUBLISH_NAMESPACE   = 0x06n;
+export const MSG_PUBLISH_NAMESPACE_OK    = 0x07n;
+export const MSG_PUBLISH_NAMESPACE_ERROR = 0x08n;
+export const MSG_PUBLISH_NAMESPACE_DONE  = 0x09n;
+export const MSG_UNSUBSCRIBE         = 0x0An;
+export const MSG_PUBLISH_DONE        = 0x0Bn;
+export const MSG_PUBLISH_NAMESPACE_CANCEL = 0x0Cn;
+export const MSG_TRACK_STATUS        = 0x0Dn;
+export const MSG_TRACK_STATUS_OK     = 0x0En;
+export const MSG_TRACK_STATUS_ERROR  = 0x0Fn;
+export const MSG_GOAWAY              = 0x10n;
+export const MSG_SUBSCRIBE_NAMESPACE = 0x11n;
+export const MSG_SUBSCRIBE_NAMESPACE_OK    = 0x12n;
+export const MSG_SUBSCRIBE_NAMESPACE_ERROR = 0x13n;
+export const MSG_UNSUBSCRIBE_NAMESPACE     = 0x14n;
+export const MSG_MAX_REQUEST_ID      = 0x15n;
+export const MSG_FETCH               = 0x16n;
+export const MSG_FETCH_CANCEL        = 0x17n;
+export const MSG_FETCH_OK            = 0x18n;
+export const MSG_FETCH_ERROR         = 0x19n;
+export const MSG_REQUESTS_BLOCKED    = 0x1An;
+export const MSG_PUBLISH             = 0x1Dn;
+export const MSG_PUBLISH_OK          = 0x1En;
+export const MSG_PUBLISH_ERROR       = 0x1Fn;
+export const MSG_CLIENT_SETUP        = 0x20n;
+export const MSG_SERVER_SETUP        = 0x21n;
+
+// Parameter type IDs
+export const PARAM_ROLE             = 0x00n;
+export const PARAM_PATH             = 0x01n;
+export const PARAM_MAX_REQUEST_ID   = 0x02n;
+
+// Map from wire ID to message type name
+export const MESSAGE_TYPE_MAP: ReadonlyMap<bigint, string> = new Map([
+  [MSG_CLIENT_SETUP, 'client_setup'],
+  [MSG_SERVER_SETUP, 'server_setup'],
+  [MSG_SUBSCRIBE, 'subscribe'],
+  [MSG_SUBSCRIBE_OK, 'subscribe_ok'],
+  [MSG_SUBSCRIBE_UPDATE, 'subscribe_update'],
+  [MSG_SUBSCRIBE_ERROR, 'subscribe_error'],
+  [MSG_UNSUBSCRIBE, 'unsubscribe'],
+  [MSG_PUBLISH, 'publish'],
+  [MSG_PUBLISH_OK, 'publish_ok'],
+  [MSG_PUBLISH_ERROR, 'publish_error'],
+  [MSG_PUBLISH_DONE, 'publish_done'],
+  [MSG_PUBLISH_NAMESPACE, 'publish_namespace'],
+  [MSG_PUBLISH_NAMESPACE_OK, 'publish_namespace_ok'],
+  [MSG_PUBLISH_NAMESPACE_ERROR, 'publish_namespace_error'],
+  [MSG_PUBLISH_NAMESPACE_DONE, 'publish_namespace_done'],
+  [MSG_PUBLISH_NAMESPACE_CANCEL, 'publish_namespace_cancel'],
+  [MSG_SUBSCRIBE_NAMESPACE, 'subscribe_namespace'],
+  [MSG_SUBSCRIBE_NAMESPACE_OK, 'subscribe_namespace_ok'],
+  [MSG_SUBSCRIBE_NAMESPACE_ERROR, 'subscribe_namespace_error'],
+  [MSG_UNSUBSCRIBE_NAMESPACE, 'unsubscribe_namespace'],
+  [MSG_FETCH, 'fetch'],
+  [MSG_FETCH_OK, 'fetch_ok'],
+  [MSG_FETCH_ERROR, 'fetch_error'],
+  [MSG_FETCH_CANCEL, 'fetch_cancel'],
+  [MSG_TRACK_STATUS, 'track_status'],
+  [MSG_TRACK_STATUS_OK, 'track_status_ok'],
+  [MSG_TRACK_STATUS_ERROR, 'track_status_error'],
+  [MSG_GOAWAY, 'goaway'],
+  [MSG_MAX_REQUEST_ID, 'max_request_id'],
+  [MSG_REQUESTS_BLOCKED, 'requests_blocked'],
+]);
+
+// Reverse map from message type name to wire ID
+export const MESSAGE_ID_MAP: ReadonlyMap<string, bigint> = new Map(
+  [...MESSAGE_TYPE_MAP.entries()].map(([id, name]) => [name, id])
+);

package/src/drafts/draft14/rules.ts

@@ -0,0 +1,70 @@
+import type { Draft14MessageType } from './types.js';
+
+// All draft-14 control messages
+export const CONTROL_MESSAGES: ReadonlySet<Draft14MessageType> = new Set([
+  'client_setup', 'server_setup',
+  'subscribe', 'subscribe_ok', 'subscribe_update', 'subscribe_error', 'unsubscribe',
+  'publish', 'publish_ok', 'publish_error', 'publish_done',
+  'publish_namespace', 'publish_namespace_ok', 'publish_namespace_error', 'publish_namespace_done', 'publish_namespace_cancel',
+  'subscribe_namespace', 'subscribe_namespace_ok', 'subscribe_namespace_error', 'unsubscribe_namespace',
+  'fetch', 'fetch_ok', 'fetch_error', 'fetch_cancel',
+  'track_status', 'track_status_ok', 'track_status_error',
+  'goaway',
+  'max_request_id', 'requests_blocked',
+]);
+
+// Draft-14 is more symmetric: only setup messages are role-restricted.
+// All other messages can be sent by both client and server.
+export const CLIENT_ONLY_MESSAGES: ReadonlySet<Draft14MessageType> = new Set([
+  'client_setup',
+]);
+
+export const SERVER_ONLY_MESSAGES: ReadonlySet<Draft14MessageType> = new Set([
+  'server_setup',
+]);
+
+// Messages that are bidirectional (both client and server can send)
+export const BIDIRECTIONAL_MESSAGES: ReadonlySet<Draft14MessageType> = new Set([
+  'subscribe', 'subscribe_ok', 'subscribe_update', 'subscribe_error', 'unsubscribe',
+  'publish', 'publish_ok', 'publish_error', 'publish_done',
+  'publish_namespace', 'publish_namespace_ok', 'publish_namespace_error', 'publish_namespace_done', 'publish_namespace_cancel',
+  'subscribe_namespace', 'subscribe_namespace_ok', 'subscribe_namespace_error', 'unsubscribe_namespace',
+  'fetch', 'fetch_ok', 'fetch_error', 'fetch_cancel',
+  'track_status', 'track_status_ok', 'track_status_error',
+  'goaway',
+  'max_request_id', 'requests_blocked',
+]);
+
+// Messages legal in each session phase -- for outbound validation
+export function getLegalOutgoing(phase: string, role: 'client' | 'server'): Set<Draft14MessageType> {
+  const legal = new Set<Draft14MessageType>();
+
+  switch (phase) {
+    case 'idle':
+      if (role === 'client') legal.add('client_setup');
+      break;
+    case 'setup':
+      if (role === 'server') legal.add('server_setup');
+      break;
+    case 'ready': {
+      // Both roles can send goaway
+      legal.add('goaway');
+      // All bidirectional messages are legal for both roles
+      for (const msg of BIDIRECTIONAL_MESSAGES) {
+        legal.add(msg);
+      }
+      break;
+    }
+    case 'draining':
+      // Limited set during draining - can still finish active operations
+      break;
+  }
+
+  return legal;
+}
+
+export function getLegalIncoming(phase: string, role: 'client' | 'server'): Set<Draft14MessageType> {
+  // Incoming from remote = the other role's outgoing
+  const remoteRole = role === 'client' ? 'server' : 'client';
+  return getLegalOutgoing(phase, remoteRole);
+}