Class ReplayMachineRuntime

constructor

• new ReplayMachineRuntime(
      machine: {
          initial_state: string;
          limits: {
              bytes: number;
              connections: number;
              duration_ms: number;
              messages: number;
          };
          max_transitions: number;
          states: { max_visits: number; name: string; terminal: boolean }[];
          transitions: {
              actions: (
                  | {
                      body: string;
                      headers: Record<string, string>;
                      status: number;
                      type: "http_response";
                  }
                  | { data: string; type: "websocket_send" }
                  | { type: "disconnect" }
                  | { duration_ms: number; type: "delay" }
              )[];
              captures: {
                  sensitive: boolean;
                  value:
                      | { name: string; source: "request_header" }
                      | { path: (string | number)[]; source: "request_json" }
                      | { path: (string | number)[]; source: "websocket_json" }
                      | { path: (string | number)[]; source: "action_json" };
                  variable: string;
              }[];
              from: string;
              guards: {
                  value: | { name: string; source: "request_header" }
                  | { path: (string | number)[]; source: "request_json" }
                  | { path: (string | number)[]; source: "websocket_json" }
                  | { path: (string | number)[]; source: "action_json" };
                  variable: string;
              }[];
              id: string;
              max_uses: number;
              priority: number;
              to: string;
              trigger: | {
                  body: string
                  | null;
                  headers: { [k: string]: string };
                  method: string;
                  path: string;
                  protocol: "http";
              }
              | {
                  headers: { [k: string]: string };
                  path: string;
                  protocol: "websocket_connect";
              }
              | { body: string
              | null; path: string; protocol: "websocket_message" };
          }[];
      },
  ): ReplayMachineRuntime

  Parameters

  • machine: {
        initial_state: string;
        limits: {
            bytes: number;
            connections: number;
            duration_ms: number;
            messages: number;
        };
        max_transitions: number;
        states: { max_visits: number; name: string; terminal: boolean }[];
        transitions: {
            actions: (
                | {
                    body: string;
                    headers: Record<string, string>;
                    status: number;
                    type: "http_response";
                }
                | { data: string; type: "websocket_send" }
                | { type: "disconnect" }
                | { duration_ms: number; type: "delay" }
            )[];
            captures: {
                sensitive: boolean;
                value:
                    | { name: string; source: "request_header" }
                    | { path: (string | number)[]; source: "request_json" }
                    | { path: (string | number)[]; source: "websocket_json" }
                    | { path: (string | number)[]; source: "action_json" };
                variable: string;
            }[];
            from: string;
            guards: {
                value: | { name: string; source: "request_header" }
                | { path: (string | number)[]; source: "request_json" }
                | { path: (string | number)[]; source: "websocket_json" }
                | { path: (string | number)[]; source: "action_json" };
                variable: string;
            }[];
            id: string;
            max_uses: number;
            priority: number;
            to: string;
            trigger: | {
                body: string
                | null;
                headers: { [k: string]: string };
                method: string;
                path: string;
                protocol: "http";
            }
            | {
                headers: { [k: string]: string };
                path: string;
                protocol: "websocket_connect";
            }
            | { body: string
            | null; path: string; protocol: "websocket_message" };
        }[];
    }

  Returns ReplayMachineRuntime

Readonlymachine

state

• get state(): string

  Current machine state after all accepted transitions.

  Returns string

timeline

• get timeline(): readonly ReplayTransitionRecord[]

  Ordered, secret-free transition records.

  Returns readonly ReplayTransitionRecord[]

dispatch

• dispatch(event: ReplayMachineEvent): ReplayMachineDecision

  Evaluate and, when admitted, commit one protocol event.

  Parameters

  • event: ReplayMachineEvent

  Returns ReplayMachineDecision

redact

• redact(value: string): string

  Replace captured secret values with stable aliases before persistence.

  Parameters

  • value: string

  Returns string