@demlik/tea 0.12.0 → 0.14.0

package/dist/chunk-JER5O7PQ.js

@@ -1,416 +0,0 @@
-import { describeChart, describeReducerChart, inspectState, inspectReducerState, captureCmds } from './chunk-ZD6PNZBK.js';
-import { compile, initFrom, compileReducer, reducerInitFrom, chartMermaid, reducerMermaid } from './chunk-E6GEDSF4.js';
-import { recorder } from './chunk-MUUROGIH.js';
-import { useMsgHistory, StateInspector, StateDiff, MsgLog } from './chunk-WRAA7GVZ.js';
-import { run, replay } from './chunk-5EHLEUTL.js';
-import { useMemo, useState, useEffect, useReducer, useRef } from 'react';
-import { jsx, jsxs } from 'react/jsx-runtime';
-
-function useInspectorRuntime(machine, ctx, epoch) {
-  const booting = useMemo(
-    () => run(machine, { ctx }),
-    [machine, ctx, epoch]
-  );
-  const rec = useMemo(() => recorder(booting), [booting]);
-  const [rt, setRt] = useState(null);
-  useEffect(() => {
-    let live = true;
-    setRt(null);
-    booting.ready.then(
-      (r) => {
-        if (live) setRt(r);
-      },
-      () => {
-      }
-    );
-    return () => {
-      live = false;
-      rec.stop();
-      booting.stop().catch(() => {
-      });
-    };
-  }, [booting, rec]);
-  return { rt, rec };
-}
-function ChartInspector(props) {
-  const { chart, parts, boot, ctx } = props;
-  const [epoch, reset] = useReducer((n) => n + 1, 0);
-  const machine = useMemo(
-    () => ({
-      init: initFrom(chart, boot),
-      // The one cast, at the construction boundary: `compile` returns a
-      // `Transitions` over the chart's OWN derivations, and `S`/`M`/`K` are
-      // the caller's names for exactly those.
-      update: compile(chart, parts)
-    }),
-    [chart, parts, boot]
-  );
-  const { rt, rec } = useInspectorRuntime(machine, ctx, epoch);
-  const desc = useMemo(() => describeChart(chart), [chart]);
-  const view = useMemo(
-    () => gridView(desc, chart, parts, props.title, props.direction),
-    [desc, chart, parts, props.title, props.direction]
-  );
-  if (rt === null) {
-    return /* @__PURE__ */ jsx("div", { className: containerClass(props.className), children: /* @__PURE__ */ jsx("div", { className: "tea-ci-boot", children: "booting\u2026" }) });
-  }
-  return /* @__PURE__ */ jsx(
-    InspectorView,
-    {
-      view,
-      samples: props.samples,
-      runtime: rt,
-      rec,
-      machine,
-      ctx,
-      title: props.title,
-      className: props.className,
-      onReset: reset
-    },
-    epoch
-  );
-}
-function ReducerChartInspector(props) {
-  const { chart, parts, boot, ctx } = props;
-  const [epoch, reset] = useReducer((n) => n + 1, 0);
-  const machine = useMemo(
-    () => ({
-      init: reducerInitFrom(chart, boot),
-      // The one cast, for the same reason as the grid form's: `compileReducer`
-      // returns a `Reducer` over the chart's OWN derivations.
-      update: compileReducer(chart, parts)
-    }),
-    [chart, parts, boot]
-  );
-  const { rt, rec } = useInspectorRuntime(machine, ctx, epoch);
-  const desc = useMemo(() => describeReducerChart(chart), [chart]);
-  const view = useMemo(
-    () => reducerView(desc, chart, parts),
-    [desc, chart, parts]
-  );
-  if (rt === null) {
-    return /* @__PURE__ */ jsx("div", { className: containerClass(props.className), children: /* @__PURE__ */ jsx("div", { className: "tea-ci-boot", children: "booting\u2026" }) });
-  }
-  return /* @__PURE__ */ jsx(
-    InspectorView,
-    {
-      view,
-      samples: props.samples,
-      runtime: rt,
-      rec,
-      machine,
-      ctx,
-      title: props.title,
-      className: props.className,
-      onReset: reset
-    },
-    epoch
-  );
-}
-function containerClass(extra) {
-  return `tea-ci${extra ? ` ${extra}` : ""}`;
-}
-function gridView(desc, chart, parts, title, direction) {
-  return {
-    events: desc.events,
-    controls: (state, samples) => inspectState(desc, state, { parts, samples }).map(
-      gridControl
-    ),
-    mermaid: (state) => chartMermaid(chart, {
-      highlight: state.type,
-      phases: true,
-      direction,
-      title
-    }),
-    header: (state) => {
-      const here = desc.states.find((s) => s.name === state.type);
-      return {
-        ...here === void 0 ? {} : { phase: here.phase },
-        tags: [
-          ...here?.end === true ? ["end"] : [],
-          ...here?.parking === true ? ["parking"] : []
-        ]
-      };
-    },
-    omits: []
-  };
-}
-function reducerView(desc, chart, parts) {
-  return {
-    events: desc.events,
-    controls: (state, samples) => inspectReducerState(desc, state, {
-      parts,
-      samples
-    }).map(reducerControl),
-    // No `highlight`: every edge leaves the one `any` node, so there is no
-    // node that IS the current state to light up.
-    mermaid: () => reducerMermaid(chart),
-    // No phase, no `end`, no `parking` — this form declares none of the three.
-    header: () => ({ tags: [] }),
-    omits: [desc.phases, desc.refusals, desc.scope]
-  };
-}
-function gridControl(v) {
-  const refused = v.status === "refused";
-  return {
-    event: v.event,
-    kind: refused ? v.reason?.kind ?? "undeclared" : "legal",
-    refused,
-    ...v.why === void 0 ? {} : { why: v.why },
-    outcome: describeOutcome(v),
-    ...v.msg === void 0 ? {} : { msg: v.msg }
-  };
-}
-function reducerControl(v) {
-  return {
-    event: v.event,
-    kind: "legal",
-    refused: false,
-    outcome: describeOutcome(v),
-    ...v.msg === void 0 ? {} : { msg: v.msg }
-  };
-}
-function InspectorView({
-  view,
-  samples,
-  runtime,
-  rec,
-  machine,
-  ctx,
-  title,
-  className,
-  onReset
-}) {
-  const [tick, bump] = useReducer((n) => n + 1, 0);
-  useEffect(() => runtime.subscribe(bump), [runtime]);
-  const liveState = runtime.getState();
-  const [history, send] = useMsgHistory(runtime.dispatch);
-  const [drafts, setDrafts] = useState(
-    () => seedDrafts(view.events, samples)
-  );
-  const effective = useMemo(() => parseDrafts(drafts), [drafts]);
-  const [at, setAt] = useState(null);
-  const trace = safeDump(rec, liveState);
-  const total = trace.msgs.length;
-  const cursor = at === null ? total : Math.min(at, total);
-  const scrubbed = at !== null && cursor < total;
-  const shown = replayPrefix(machine, trace, ctx, cursor, liveState);
-  const previous = replayPrefix(
-    machine,
-    trace,
-    ctx,
-    Math.max(0, cursor - 1),
-    liveState
-  );
-  const verdicts = view.controls(shown, effective);
-  const here = view.header(shown);
-  const tape = useRef(trace);
-  tape.current = trace;
-  const capture = useMemo(
-    () => captureCmds(machine, {
-      msgs: tape.current.msgs,
-      ctx,
-      loaded: tape.current.loaded
-    }),
-    [machine, ctx, total]
-  );
-  return /* @__PURE__ */ jsxs("div", { className: containerClass(className), children: [
-    /* @__PURE__ */ jsxs("header", { className: "tea-ci-head", children: [
-      /* @__PURE__ */ jsx("span", { className: "tea-ci-title", children: title ?? "chart inspector" }),
-      /* @__PURE__ */ jsxs("span", { className: "tea-ci-now", children: [
-        here.phase === void 0 ? null : /* @__PURE__ */ jsx("span", { className: "tea-ci-phase", children: here.phase }),
-        /* @__PURE__ */ jsx("span", { className: "tea-ci-state", children: shown.type }),
-        here.tags.map((t) => /* @__PURE__ */ jsx("span", { className: "tea-ci-tag", children: t }, t))
-      ] }),
-      scrubbed ? /* @__PURE__ */ jsxs("span", { className: "tea-ci-warn", children: [
-        "time-travelling \u2014 step ",
-        cursor,
-        " of ",
-        total
-      ] }) : null
-    ] }),
-    /* @__PURE__ */ jsx("section", { className: "tea-ci-panel tea-ci-events", children: verdicts.map((v) => /* @__PURE__ */ jsx(
-      EventControl,
-      {
-        control: v,
-        disabled: scrubbed,
-        draft: drafts[v.event],
-        onDraft: (text) => setDrafts((d) => ({ ...d, [v.event]: text })),
-        onSend: () => {
-          setAt(null);
-          if (v.msg !== void 0) send(v.msg);
-        }
-      },
-      v.event
-    )) }),
-    /* @__PURE__ */ jsxs("div", { className: "tea-ci-cols", children: [
-      /* @__PURE__ */ jsxs("section", { className: "tea-ci-panel", children: [
-        /* @__PURE__ */ jsx("h3", { className: "tea-ci-h", children: "state" }),
-        /* @__PURE__ */ jsx(StateInspector, { state: shown, flashKey: cursor + tick }),
-        /* @__PURE__ */ jsx("h3", { className: "tea-ci-h", children: "diff vs previous step" }),
-        /* @__PURE__ */ jsx(StateDiff, { expected: previous, actual: shown })
-      ] }),
-      /* @__PURE__ */ jsxs("section", { className: "tea-ci-panel", children: [
-        /* @__PURE__ */ jsx("h3", { className: "tea-ci-h", children: "diagram" }),
-        /* @__PURE__ */ jsx("pre", { className: "mermaid tea-ci-mermaid", children: view.mermaid(shown) }, view.mermaid(shown))
-      ] })
-    ] }),
-    /* @__PURE__ */ jsxs("section", { className: "tea-ci-panel tea-ci-fired", children: [
-      /* @__PURE__ */ jsx("h3", { className: "tea-ci-h", children: "cmds fired" }),
-      /* @__PURE__ */ jsx("ol", { className: "tea-ci-firelog", children: capture.steps.map((s) => /* @__PURE__ */ jsxs(
-        "li",
-        {
-          className: `tea-ci-fire${s.step === cursor ? " tea-ci-fire-now" : ""}`,
-          "data-step": s.step,
-          "data-fired": s.cmds.length,
-          children: [
-            /* @__PURE__ */ jsx("span", { className: "tea-ci-fire-by", children: s.by?.type ?? "init" }),
-            /* @__PURE__ */ jsx("span", { className: "tea-ci-fire-cmds", children: s.cmds.length === 0 ? "\u2014" : s.cmds.map((c) => c.type).join(", ") })
-          ]
-        },
-        s.step
-      )) }),
-      capture.stoppedAt === void 0 ? null : /* @__PURE__ */ jsxs("span", { className: "tea-ci-why", children: [
-        "capture stopped at step ",
-        capture.stoppedAt.step,
-        ":",
-        " ",
-        capture.stoppedAt.error
-      ] })
-    ] }),
-    view.omits.length === 0 ? null : /* @__PURE__ */ jsxs("section", { className: "tea-ci-panel tea-ci-omits", children: [
-      /* @__PURE__ */ jsx("h3", { className: "tea-ci-h", children: "not available in this form" }),
-      /* @__PURE__ */ jsx("ul", { children: view.omits.map((o) => /* @__PURE__ */ jsxs("li", { "data-omitted": o.question, children: [
-        /* @__PURE__ */ jsx("b", { children: o.question }),
-        " \u2014 ",
-        o.why
-      ] }, o.question)) })
-    ] }),
-    /* @__PURE__ */ jsxs("section", { className: "tea-ci-panel tea-ci-travel", children: [
-      /* @__PURE__ */ jsx("h3", { className: "tea-ci-h", children: "time travel" }),
-      /* @__PURE__ */ jsxs("div", { className: "tea-ci-scrub", children: [
-        /* @__PURE__ */ jsx(
-          "input",
-          {
-            type: "range",
-            min: 0,
-            max: total,
-            value: cursor,
-            "aria-label": "transition",
-            onChange: (e) => setAt(Number(e.target.value))
-          }
-        ),
-        /* @__PURE__ */ jsxs("span", { className: "tea-ci-step", children: [
-          cursor,
-          " / ",
-          total,
-          cursor > 0 ? ` \xB7 ${String(trace.msgs[cursor - 1]?.type)}` : ""
-        ] }),
-        /* @__PURE__ */ jsx(
-          "button",
-          {
-            type: "button",
-            onClick: () => setAt(null),
-            disabled: !scrubbed,
-            children: "live"
-          }
-        ),
-        /* @__PURE__ */ jsx("button", { type: "button", onClick: onReset, children: "reset" })
-      ] }),
-      /* @__PURE__ */ jsx(MsgLog, { history })
-    ] })
-  ] });
-}
-function EventControl({
-  control,
-  disabled,
-  draft,
-  onDraft,
-  onSend
-}) {
-  const { event, refused, kind, why, outcome, msg } = control;
-  const blocked = refused || disabled || msg === void 0;
-  return /* @__PURE__ */ jsxs(
-    "div",
-    {
-      className: `tea-ci-ev tea-ci-ev-${kind}`,
-      "data-event": event,
-      "data-status": refused ? "refused" : "legal",
-      children: [
-        /* @__PURE__ */ jsx(
-          "button",
-          {
-            type: "button",
-            className: "tea-ci-btn",
-            disabled: blocked,
-            title: why ?? outcome,
-            onClick: onSend,
-            children: event
-          }
-        ),
-        refused ? /* @__PURE__ */ jsx("span", { className: "tea-ci-why", children: why }) : /* @__PURE__ */ jsx("span", { className: "tea-ci-to", children: outcome }),
-        draft === void 0 ? null : /* @__PURE__ */ jsx(
-          "textarea",
-          {
-            className: "tea-ci-sample",
-            "aria-label": `${event} payload`,
-            rows: 1,
-            value: draft,
-            onChange: (e) => onDraft(e.target.value)
-          }
-        ),
-        msg === void 0 && !refused ? /* @__PURE__ */ jsx("span", { className: "tea-ci-why", children: "no sample \u2014 cannot dispatch" }) : null
-      ]
-    }
-  );
-}
-function describeOutcome(v) {
-  const cmds = v.cmds.length > 0 ? ` / ${v.cmds.join(", ")}` : "";
-  if (v.guard !== void 0) {
-    return v.guard.branch === "unknown" ? `${v.targets.join(" | ")} \u2014 ${v.guard.guard}? (${v.guard.why})` : `\u2192 ${v.guard.target} [${v.guard.branch === "then" ? "" : "!"}${v.guard.guard}]${cmds}`;
-  }
-  if (v.resolved !== void 0) return `\u2192 ${v.resolved}${cmds}`;
-  return `${v.targets.join(" | ")}${cmds}`;
-}
-function seedDrafts(events, samples) {
-  const bag = samples ?? {};
-  const out = {};
-  for (const e of events) {
-    if (!e.hasPayload) continue;
-    out[e.name] = JSON.stringify(bag[e.name] ?? {});
-  }
-  return out;
-}
-function parseDrafts(drafts) {
-  const out = {};
-  for (const [k, text] of Object.entries(drafts)) {
-    try {
-      const v = JSON.parse(text);
-      if (typeof v === "object" && v !== null) out[k] = v;
-    } catch {
-    }
-  }
-  return out;
-}
-function safeDump(rec, live) {
-  try {
-    return rec.dump();
-  } catch {
-    return { loaded: null, msgs: [], finalState: live };
-  }
-}
-function replayPrefix(machine, trace, ctx, n, live) {
-  try {
-    return replay(machine, {
-      msgs: trace.msgs.slice(0, n),
-      ctx,
-      loaded: trace.loaded
-    }).state;
-  } catch {
-    return live;
-  }
-}
-
-export { ChartInspector, ReducerChartInspector, useInspectorRuntime };
-//# sourceMappingURL=chunk-JER5O7PQ.js.map
-//# sourceMappingURL=chunk-JER5O7PQ.js.map

package/dist/chunk-JER5O7PQ.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/chart/inspect/react.tsx"],"names":[],"mappings":";;;;;;;;AA8LO,SAAS,mBAAA,CAMd,OAAA,EACA,GAAA,EACA,KAAA,EACqE;AAMrE,EAAA,MAAM,OAAA,GAAU,OAAA;AAAA,IACd,MAAM,GAAA,CAAI,OAAA,EAAS,EAAE,KAAK,CAAA;AAAA,IAC1B,CAAC,OAAA,EAAS,GAAA,EAAK,KAAK;AAAA,GACtB;AACA,EAAA,MAAM,GAAA,GAAM,QAAwB,MAAM,QAAA,CAAS,OAAO,CAAA,EAAG,CAAC,OAAO,CAAC,CAAA;AAKtE,EAAA,MAAM,CAAC,EAAA,EAAI,KAAK,CAAA,GAAI,SAA+B,IAAI,CAAA;AACvD,EAAA,SAAA,CAAU,MAAM;AACd,IAAA,IAAI,IAAA,GAAO,IAAA;AACX,IAAA,KAAA,CAAM,IAAI,CAAA;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,IAAA;AAAA,MACZ,CAAC,CAAA,KAAM;AACL,QAAA,IAAI,IAAA,QAAY,CAAC,CAAA;AAAA,MACnB,CAAA;AAAA,MACA,MAAM;AAAA,MAAC;AAAA,KACT;AACA,IAAA,OAAO,MAAM;AACX,MAAA,IAAA,GAAO,KAAA;AACP,MAAA,GAAA,CAAI,IAAA,EAAK;AACT,MAAA,OAAA,CAAQ,IAAA,EAAK,CAAE,KAAA,CAAM,MAAM;AAAA,MAAC,CAAC,CAAA;AAAA,IAC/B,CAAA;AAAA,EACF,CAAA,EAAG,CAAC,OAAA,EAAS,GAAG,CAAC,CAAA;AAEjB,EAAA,OAAO,EAAE,IAAI,GAAA,EAAI;AACnB;AAOO,SAAS,eAMd,KAAA,EAA0C;AAC1C,EAAA,MAAM,EAAE,KAAA,EAAO,KAAA,EAAO,IAAA,EAAM,KAAI,GAAI,KAAA;AAIpC,EAAA,MAAM,CAAC,OAAO,KAAK,CAAA,GAAI,WAAW,CAAC,CAAA,KAAc,CAAA,GAAI,CAAA,EAAG,CAAC,CAAA;AAEzD,EAAA,MAAM,OAAA,GAAU,OAAA;AAAA,IACd,OACG;AAAA,MACC,IAAA,EAAM,QAAA,CAAkB,KAAA,EAAO,IAAI,CAAA;AAAA;AAAA;AAAA;AAAA,MAInC,MAAA,EAAQ,OAAA,CAAQ,KAAA,EAAO,KAAK;AAAA,KAC9B,CAAA;AAAA,IACF,CAAC,KAAA,EAAO,KAAA,EAAO,IAAI;AAAA,GACrB;AACA,EAAA,MAAM,EAAE,EAAA,EAAI,GAAA,KAAQ,mBAAA,CAAoB,OAAA,EAAS,KAAY,KAAK,CAAA;AAElE,EAAA,MAAM,IAAA,GAAO,QAAQ,MAAM,aAAA,CAAc,KAAK,CAAA,EAAG,CAAC,KAAK,CAAC,CAAA;AACxD,EAAA,MAAM,IAAA,GAAO,OAAA;AAAA,IACX,MAAM,SAAS,IAAA,EAAM,KAAA,EAAO,OAAO,KAAA,CAAM,KAAA,EAAO,MAAM,SAAS,CAAA;AAAA,IAC/D,CAAC,IAAA,EAAM,KAAA,EAAO,OAAO,KAAA,CAAM,KAAA,EAAO,MAAM,SAAS;AAAA,GACnD;AAEA,EAAA,IAAI,OAAO,IAAA,EAAM;AACf,IAAA,uBACE,GAAA,CAAC,KAAA,EAAA,EAAI,SAAA,EAAW,cAAA,CAAe,KAAA,CAAM,SAAS,CAAA,EAC5C,QAAA,kBAAA,GAAA,CAAC,KAAA,EAAA,EAAI,SAAA,EAAU,aAAA,EAAc,QAAA,EAAA,eAAA,EAAQ,CAAA,EACvC,CAAA;AAAA,EAEJ;AACA,EAAA,uBACE,GAAA;AAAA,IAAC,aAAA;AAAA,IAAA;AAAA,MAEC,IAAA;AAAA,MACA,SAAS,KAAA,CAAM,OAAA;AAAA,MACf,OAAA,EAAS,EAAA;AAAA,MACT,GAAA;AAAA,MACA,OAAA;AAAA,MACA,GAAA;AAAA,MACA,OAAO,KAAA,CAAM,KAAA;AAAA,MACb,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,OAAA,EAAS;AAAA,KAAA;AAAA,IATJ;AAAA,GAUP;AAEJ;AAYO,SAAS,sBAMd,KAAA,EAAiD;AACjD,EAAA,MAAM,EAAE,KAAA,EAAO,KAAA,EAAO,IAAA,EAAM,KAAI,GAAI,KAAA;AACpC,EAAA,MAAM,CAAC,OAAO,KAAK,CAAA,GAAI,WAAW,CAAC,CAAA,KAAc,CAAA,GAAI,CAAA,EAAG,CAAC,CAAA;AAEzD,EAAA,MAAM,OAAA,GAAU,OAAA;AAAA,IACd,OACG;AAAA,MACC,IAAA,EAAM,eAAA,CAAyB,KAAA,EAAO,IAAI,CAAA;AAAA;AAAA;AAAA,MAG1C,MAAA,EAAQ,cAAA,CAAe,KAAA,EAAO,KAAK;AAAA,KACrC,CAAA;AAAA,IACF,CAAC,KAAA,EAAO,KAAA,EAAO,IAAI;AAAA,GACrB;AACA,EAAA,MAAM,EAAE,EAAA,EAAI,GAAA,KAAQ,mBAAA,CAAoB,OAAA,EAAS,KAAY,KAAK,CAAA;AAElE,EAAA,MAAM,IAAA,GAAO,QAAQ,MAAM,oBAAA,CAAqB,KAAK,CAAA,EAAG,CAAC,KAAK,CAAC,CAAA;AAC/D,EAAA,MAAM,IAAA,GAAO,OAAA;AAAA,IACX,MAAM,WAAA,CAAY,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAAA,IACpC,CAAC,IAAA,EAAM,KAAA,EAAO,KAAK;AAAA,GACrB;AAEA,EAAA,IAAI,OAAO,IAAA,EAAM;AACf,IAAA,uBACE,GAAA,CAAC,KAAA,EAAA,EAAI,SAAA,EAAW,cAAA,CAAe,KAAA,CAAM,SAAS,CAAA,EAC5C,QAAA,kBAAA,GAAA,CAAC,KAAA,EAAA,EAAI,SAAA,EAAU,aAAA,EAAc,QAAA,EAAA,eAAA,EAAQ,CAAA,EACvC,CAAA;AAAA,EAEJ;AACA,EAAA,uBACE,GAAA;AAAA,IAAC,aAAA;AAAA,IAAA;AAAA,MAEC,IAAA;AAAA,MACA,SAAS,KAAA,CAAM,OAAA;AAAA,MACf,OAAA,EAAS,EAAA;AAAA,MACT,GAAA;AAAA,MACA,OAAA;AAAA,MACA,GAAA;AAAA,MACA,OAAO,KAAA,CAAM,KAAA;AAAA,MACb,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,OAAA,EAAS;AAAA,KAAA;AAAA,IATJ;AAAA,GAUP;AAEJ;AAEA,SAAS,eAAe,KAAA,EAAmC;AACzD,EAAA,OAAO,CAAA,MAAA,EAAS,KAAA,GAAQ,CAAA,CAAA,EAAI,KAAK,KAAK,EAAE,CAAA,CAAA;AAC1C;AAgDA,SAAS,QAAA,CACP,IAAA,EACA,KAAA,EACA,KAAA,EACA,OACA,SAAA,EACa;AACb,EAAA,OAAO;AAAA,IACL,QAAQ,IAAA,CAAK,MAAA;AAAA,IACb,QAAA,EAAU,CAAC,KAAA,EAAO,OAAA,KAChB,YAAA,CAAa,IAAA,EAAM,KAAA,EAAO,EAAE,KAAA,EAAuB,OAAA,EAAS,CAAA,CAAE,GAAA;AAAA,MAC5D;AAAA,KACF;AAAA,IACF,OAAA,EAAS,CAAC,KAAA,KACR,YAAA,CAAa,KAAA,EAAgB;AAAA,MAC3B,WAAW,KAAA,CAAM,IAAA;AAAA,MACjB,MAAA,EAAQ,IAAA;AAAA,MACR,SAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACH,MAAA,EAAQ,CAAC,KAAA,KAAU;AACjB,MAAA,MAAM,IAAA,GAAO,KAAK,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA,KAAM,CAAA,CAAE,IAAA,KAAS,KAAA,CAAM,IAAI,CAAA;AAC1D,MAAA,OAAO;AAAA,QACL,GAAI,SAAS,MAAA,GAAY,KAAK,EAAE,KAAA,EAAO,KAAK,KAAA,EAAM;AAAA,QAClD,IAAA,EAAM;AAAA,UACJ,GAAI,IAAA,EAAM,GAAA,KAAQ,OAAO,CAAC,KAAK,IAAI,EAAC;AAAA,UACpC,GAAI,IAAA,EAAM,OAAA,KAAY,OAAO,CAAC,SAAS,IAAI;AAAC;AAC9C,OACF;AAAA,IACF,CAAA;AAAA,IACA,OAAO;AAAC,GACV;AACF;AAEA,SAAS,WAAA,CACP,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,OAAO;AAAA,IACL,QAAQ,IAAA,CAAK,MAAA;AAAA,IACb,UAAU,CAAC,KAAA,EAAO,OAAA,KAChB,mBAAA,CAAoB,MAAM,KAAA,EAAO;AAAA,MAC/B,KAAA;AAAA,MACA;AAAA,KACD,CAAA,CAAE,GAAA,CAAI,cAAc,CAAA;AAAA;AAAA;AAAA,IAGvB,OAAA,EAAS,MAAM,cAAA,CAAe,KAAc,CAAA;AAAA;AAAA,IAE5C,MAAA,EAAQ,OAAO,EAAE,IAAA,EAAM,EAAC,EAAE,CAAA;AAAA,IAC1B,OAAO,CAAC,IAAA,CAAK,QAAQ,IAAA,CAAK,QAAA,EAAU,KAAK,KAAK;AAAA,GAChD;AACF;AAGA,SAAS,YAAY,CAAA,EAA+B;AAClD,EAAA,MAAM,OAAA,GAAU,EAAE,MAAA,KAAW,SAAA;AAC7B,EAAA,OAAO;AAAA,IACL,OAAO,CAAA,CAAE,KAAA;AAAA,IACT,IAAA,EAAM,OAAA,GAAW,CAAA,CAAE,MAAA,EAAQ,QAAQ,YAAA,GAAgB,OAAA;AAAA,IACnD,OAAA;AAAA,IACA,GAAI,EAAE,GAAA,KAAQ,MAAA,GAAY,EAAC,GAAI,EAAE,GAAA,EAAK,CAAA,CAAE,GAAA,EAAI;AAAA,IAC5C,OAAA,EAAS,gBAAgB,CAAC,CAAA;AAAA,IAC1B,GAAI,EAAE,GAAA,KAAQ,MAAA,GAAY,EAAC,GAAI,EAAE,GAAA,EAAK,CAAA,CAAE,GAAA;AAAI,GAC9C;AACF;AAIA,SAAS,eAAe,CAAA,EAAsC;AAC5D,EAAA,OAAO;AAAA,IACL,OAAO,CAAA,CAAE,KAAA;AAAA,IACT,IAAA,EAAM,OAAA;AAAA,IACN,OAAA,EAAS,KAAA;AAAA,IACT,OAAA,EAAS,gBAAgB,CAAC,CAAA;AAAA,IAC1B,GAAI,EAAE,GAAA,KAAQ,MAAA,GAAY,EAAC,GAAI,EAAE,GAAA,EAAK,CAAA,CAAE,GAAA;AAAI,GAC9C;AACF;AAsBA,SAAS,aAAA,CAMP;AAAA,EACA,IAAA;AAAA,EACA,OAAA;AAAA,EACA,OAAA;AAAA,EACA,GAAA;AAAA,EACA,OAAA;AAAA,EACA,GAAA;AAAA,EACA,KAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF,CAAA,EAA+B;AAG7B,EAAA,MAAM,CAAC,MAAM,IAAI,CAAA,GAAI,WAAW,CAAC,CAAA,KAAc,CAAA,GAAI,CAAA,EAAG,CAAC,CAAA;AACvD,EAAA,SAAA,CAAU,MAAM,OAAA,CAAQ,SAAA,CAAU,IAAI,CAAA,EAAG,CAAC,OAAO,CAAC,CAAA;AAClD,EAAA,MAAM,SAAA,GAAY,QAAQ,QAAA,EAAS;AAInC,EAAA,MAAM,CAAC,OAAA,EAAS,IAAI,CAAA,GAAI,aAAA,CAAiB,QAAQ,QAAQ,CAAA;AAIzD,EAAA,MAAM,CAAC,MAAA,EAAQ,SAAS,CAAA,GAAI,QAAA;AAAA,IAA2C,MACrE,UAAA,CAAW,IAAA,CAAK,MAAA,EAAQ,OAAO;AAAA,GACjC;AACA,EAAA,MAAM,SAAA,GAAY,QAAQ,MAAM,WAAA,CAAY,MAAM,CAAA,EAAG,CAAC,MAAM,CAAC,CAAA;AAI7D,EAAA,MAAM,CAAC,EAAA,EAAI,KAAK,CAAA,GAAI,SAAwB,IAAI,CAAA;AAChD,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,GAAA,EAAK,SAAS,CAAA;AACrC,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,MAAA;AACzB,EAAA,MAAM,SAAS,EAAA,KAAO,IAAA,GAAO,QAAQ,IAAA,CAAK,GAAA,CAAI,IAAI,KAAK,CAAA;AACvD,EAAA,MAAM,QAAA,GAAW,EAAA,KAAO,IAAA,IAAQ,MAAA,GAAS,KAAA;AAEzC,EAAA,MAAM,QAAQ,YAAA,CAAa,OAAA,EAAS,KAAA,EAAO,GAAA,EAAK,QAAQ,SAAS,CAAA;AACjE,EAAA,MAAM,QAAA,GAAW,YAAA;AAAA,IACf,OAAA;AAAA,IACA,KAAA;AAAA,IACA,GAAA;AAAA,IACA,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,MAAA,GAAS,CAAC,CAAA;AAAA,IACtB;AAAA,GACF;AAEA,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,QAAA,CAAS,KAAA,EAAO,SAAS,CAAA;AAC/C,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,MAAA,CAAO,KAAK,CAAA;AAS9B,EAAA,MAAM,IAAA,GAAO,OAAO,KAAK,CAAA;AACzB,EAAA,IAAA,CAAK,OAAA,GAAU,KAAA;AAEf,EAAA,MAAM,OAAA,GAAU,OAAA;AAAA,IACd,MACE,YAAY,OAAA,EAAS;AAAA,MACnB,IAAA,EAAM,KAAK,OAAA,CAAQ,IAAA;AAAA,MACnB,GAAA;AAAA,MACA,MAAA,EAAQ,KAAK,OAAA,CAAQ;AAAA,KACtB,CAAA;AAAA,IACH,CAAC,OAAA,EAAS,GAAA,EAAK,KAAK;AAAA,GACtB;AAEA,EAAA,uBACE,IAAA,CAAC,KAAA,EAAA,EAAI,SAAA,EAAW,cAAA,CAAe,SAAS,CAAA,EACtC,QAAA,EAAA;AAAA,oBAAA,IAAA,CAAC,QAAA,EAAA,EAAO,WAAU,aAAA,EAChB,QAAA,EAAA;AAAA,sBAAA,GAAA,CAAC,MAAA,EAAA,EAAK,SAAA,EAAU,cAAA,EAAgB,QAAA,EAAA,KAAA,IAAS,iBAAA,EAAkB,CAAA;AAAA,sBAC3D,IAAA,CAAC,MAAA,EAAA,EAAK,SAAA,EAAU,YAAA,EACb,QAAA,EAAA;AAAA,QAAA,IAAA,CAAK,KAAA,KAAU,SAAY,IAAA,mBAC1B,GAAA,CAAC,UAAK,SAAA,EAAU,cAAA,EAAgB,eAAK,KAAA,EAAM,CAAA;AAAA,wBAE7C,GAAA,CAAC,MAAA,EAAA,EAAK,SAAA,EAAU,cAAA,EAAgB,gBAAM,IAAA,EAAK,CAAA;AAAA,QAC1C,IAAA,CAAK,IAAA,CAAK,GAAA,CAAI,CAAC,CAAA,qBACd,GAAA,CAAC,MAAA,EAAA,EAAK,SAAA,EAAU,YAAA,EACb,QAAA,EAAA,CAAA,EAAA,EAD+B,CAElC,CACD;AAAA,OAAA,EACH,CAAA;AAAA,MACC,QAAA,mBACC,IAAA,CAAC,MAAA,EAAA,EAAK,SAAA,EAAU,aAAA,EAAc,QAAA,EAAA;AAAA,QAAA,8BAAA;AAAA,QACJ,MAAA;AAAA,QAAO,MAAA;AAAA,QAAK;AAAA,OAAA,EACtC,CAAA,GACE;AAAA,KAAA,EACN,CAAA;AAAA,wBAIC,SAAA,EAAA,EAAQ,SAAA,EAAU,8BAChB,QAAA,EAAA,QAAA,CAAS,GAAA,CAAI,CAAC,CAAA,qBACb,GAAA;AAAA,MAAC,YAAA;AAAA,MAAA;AAAA,QAEC,OAAA,EAAS,CAAA;AAAA,QACT,QAAA,EAAU,QAAA;AAAA,QACV,KAAA,EAAO,MAAA,CAAO,CAAA,CAAE,KAAK,CAAA;AAAA,QACrB,OAAA,EAAS,CAAC,IAAA,KAAS,SAAA,CAAU,CAAC,CAAA,MAAO,EAAE,GAAG,CAAA,EAAG,CAAC,CAAA,CAAE,KAAK,GAAG,MAAK,CAAE,CAAA;AAAA,QAC/D,QAAQ,MAAM;AACZ,UAAA,KAAA,CAAM,IAAI,CAAA;AACV,UAAA,IAAI,CAAA,CAAE,GAAA,KAAQ,MAAA,EAAW,IAAA,CAAK,EAAE,GAAmB,CAAA;AAAA,QACrD;AAAA,OAAA;AAAA,MARK,CAAA,CAAE;AAAA,KAUV,CAAA,EACH,CAAA;AAAA,oBAEA,IAAA,CAAC,KAAA,EAAA,EAAI,SAAA,EAAU,aAAA,EAEb,QAAA,EAAA;AAAA,sBAAA,IAAA,CAAC,SAAA,EAAA,EAAQ,WAAU,cAAA,EACjB,QAAA,EAAA;AAAA,wBAAA,GAAA,CAAC,IAAA,EAAA,EAAG,SAAA,EAAU,UAAA,EAAW,QAAA,EAAA,OAAA,EAAK,CAAA;AAAA,4BAC7B,cAAA,EAAA,EAAe,KAAA,EAAO,KAAA,EAAO,QAAA,EAAU,SAAS,IAAA,EAAM,CAAA;AAAA,wBACvD,GAAA,CAAC,IAAA,EAAA,EAAG,SAAA,EAAU,UAAA,EAAW,QAAA,EAAA,uBAAA,EAAqB,CAAA;AAAA,wBAC9C,GAAA,CAAC,SAAA,EAAA,EAAU,QAAA,EAAU,QAAA,EAAU,QAAQ,KAAA,EAAO;AAAA,OAAA,EAChD,CAAA;AAAA,sBAMA,IAAA,CAAC,SAAA,EAAA,EAAQ,SAAA,EAAU,cAAA,EACjB,QAAA,EAAA;AAAA,wBAAA,GAAA,CAAC,IAAA,EAAA,EAAG,SAAA,EAAU,UAAA,EAAW,QAAA,EAAA,SAAA,EAAO,CAAA;AAAA,wBAKhC,GAAA,CAAC,KAAA,EAAA,EAA8B,SAAA,EAAU,wBAAA,EACtC,QAAA,EAAA,IAAA,CAAK,OAAA,CAAQ,KAAK,CAAA,EAAA,EADX,IAAA,CAAK,OAAA,CAAQ,KAAK,CAE5B;AAAA,OAAA,EACF;AAAA,KAAA,EACF,CAAA;AAAA,oBAMA,IAAA,CAAC,SAAA,EAAA,EAAQ,SAAA,EAAU,2BAAA,EACjB,QAAA,EAAA;AAAA,sBAAA,GAAA,CAAC,IAAA,EAAA,EAAG,SAAA,EAAU,UAAA,EAAW,QAAA,EAAA,YAAA,EAAU,CAAA;AAAA,sBACnC,GAAA,CAAC,QAAG,SAAA,EAAU,gBAAA,EACX,kBAAQ,KAAA,CAAM,GAAA,CAAI,CAAC,CAAA,qBAClB,IAAA;AAAA,QAAC,IAAA;AAAA,QAAA;AAAA,UAEC,WAAW,CAAA,WAAA,EAAc,CAAA,CAAE,IAAA,KAAS,MAAA,GAAS,qBAAqB,EAAE,CAAA,CAAA;AAAA,UACpE,aAAW,CAAA,CAAE,IAAA;AAAA,UACb,YAAA,EAAY,EAAE,IAAA,CAAK,MAAA;AAAA,UAEnB,QAAA,EAAA;AAAA,4BAAA,GAAA,CAAC,UAAK,SAAA,EAAU,gBAAA,EAAkB,QAAA,EAAA,CAAA,CAAE,EAAA,EAAI,QAAQ,MAAA,EAAO,CAAA;AAAA,gCACtD,MAAA,EAAA,EAAK,SAAA,EAAU,oBACb,QAAA,EAAA,CAAA,CAAE,IAAA,CAAK,WAAW,CAAA,GACf,QAAA,GACA,EAAE,IAAA,CAAK,GAAA,CAAI,CAAC,CAAA,KAAM,CAAA,CAAE,IAAI,CAAA,CAAE,IAAA,CAAK,IAAI,CAAA,EACzC;AAAA;AAAA,SAAA;AAAA,QAVK,CAAA,CAAE;AAAA,OAYV,CAAA,EACH,CAAA;AAAA,MACC,QAAQ,SAAA,KAAc,MAAA,GAAY,uBACjC,IAAA,CAAC,MAAA,EAAA,EAAK,WAAU,YAAA,EAAa,QAAA,EAAA;AAAA,QAAA,0BAAA;AAAA,QACF,QAAQ,SAAA,CAAU,IAAA;AAAA,QAAK,GAAA;AAAA,QAAE,GAAA;AAAA,QACjD,QAAQ,SAAA,CAAU;AAAA,OAAA,EACrB;AAAA,KAAA,EAEJ,CAAA;AAAA,IAIC,IAAA,CAAK,MAAM,MAAA,KAAW,CAAA,GAAI,uBACzB,IAAA,CAAC,SAAA,EAAA,EAAQ,WAAU,2BAAA,EACjB,QAAA,EAAA;AAAA,sBAAA,GAAA,CAAC,IAAA,EAAA,EAAG,SAAA,EAAU,UAAA,EAAW,QAAA,EAAA,4BAAA,EAA0B,CAAA;AAAA,sBACnD,GAAA,CAAC,IAAA,EAAA,EACE,QAAA,EAAA,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,CAAC,CAAA,qBACf,IAAA,CAAC,IAAA,EAAA,EAAoB,cAAA,EAAc,CAAA,CAAE,QAAA,EACnC,QAAA,EAAA;AAAA,wBAAA,GAAA,CAAC,GAAA,EAAA,EAAG,YAAE,QAAA,EAAS,CAAA;AAAA,QAAI,UAAA;AAAA,QAAI,CAAA,CAAE;AAAA,OAAA,EAAA,EADlB,CAAA,CAAE,QAEX,CACD,CAAA,EACH;AAAA,KAAA,EACF,CAAA;AAAA,oBAIF,IAAA,CAAC,SAAA,EAAA,EAAQ,SAAA,EAAU,4BAAA,EACjB,QAAA,EAAA;AAAA,sBAAA,GAAA,CAAC,IAAA,EAAA,EAAG,SAAA,EAAU,UAAA,EAAW,QAAA,EAAA,aAAA,EAAW,CAAA;AAAA,sBACpC,IAAA,CAAC,KAAA,EAAA,EAAI,SAAA,EAAU,cAAA,EACb,QAAA,EAAA;AAAA,wBAAA,GAAA;AAAA,UAAC,OAAA;AAAA,UAAA;AAAA,YACC,IAAA,EAAK,OAAA;AAAA,YACL,GAAA,EAAK,CAAA;AAAA,YACL,GAAA,EAAK,KAAA;AAAA,YACL,KAAA,EAAO,MAAA;AAAA,YACP,YAAA,EAAW,YAAA;AAAA,YACX,QAAA,EAAU,CAAC,CAAA,KAAM,KAAA,CAAM,OAAO,CAAA,CAAE,MAAA,CAAO,KAAK,CAAC;AAAA;AAAA,SAC/C;AAAA,wBACA,IAAA,CAAC,MAAA,EAAA,EAAK,SAAA,EAAU,aAAA,EACb,QAAA,EAAA;AAAA,UAAA,MAAA;AAAA,UAAO,KAAA;AAAA,UAAI,KAAA;AAAA,UACX,MAAA,GAAS,CAAA,GAAI,CAAA,MAAA,EAAM,MAAA,CAAO,KAAA,CAAM,IAAA,CAAK,MAAA,GAAS,CAAC,CAAA,EAAG,IAAI,CAAC,CAAA,CAAA,GAAK;AAAA,SAAA,EAC/D,CAAA;AAAA,wBACA,GAAA;AAAA,UAAC,QAAA;AAAA,UAAA;AAAA,YACC,IAAA,EAAK,QAAA;AAAA,YACL,OAAA,EAAS,MAAM,KAAA,CAAM,IAAI,CAAA;AAAA,YACzB,UAAU,CAAC,QAAA;AAAA,YACZ,QAAA,EAAA;AAAA;AAAA,SAED;AAAA,4BACC,QAAA,EAAA,EAAO,IAAA,EAAK,QAAA,EAAS,OAAA,EAAS,SAAS,QAAA,EAAA,OAAA,EAExC;AAAA,OAAA,EACF,CAAA;AAAA,sBACA,GAAA,CAAC,UAAO,OAAA,EAAkB;AAAA,KAAA,EAC5B;AAAA,GAAA,EACF,CAAA;AAEJ;AAIA,SAAS,YAAA,CAAa;AAAA,EACpB,OAAA;AAAA,EACA,QAAA;AAAA,EACA,KAAA;AAAA,EACA,OAAA;AAAA,EACA;AACF,CAAA,EAMG;AACD,EAAA,MAAM,EAAE,KAAA,EAAO,OAAA,EAAS,MAAM,GAAA,EAAK,OAAA,EAAS,KAAI,GAAI,OAAA;AACpD,EAAA,MAAM,OAAA,GAAU,OAAA,IAAW,QAAA,IAAY,GAAA,KAAQ,MAAA;AAC/C,EAAA,uBACE,IAAA;AAAA,IAAC,KAAA;AAAA,IAAA;AAAA,MACC,SAAA,EAAW,uBAAuB,IAAI,CAAA,CAAA;AAAA,MACtC,YAAA,EAAY,KAAA;AAAA,MACZ,aAAA,EAAa,UAAU,SAAA,GAAY,OAAA;AAAA,MAEnC,QAAA,EAAA;AAAA,wBAAA,GAAA;AAAA,UAAC,QAAA;AAAA,UAAA;AAAA,YACC,IAAA,EAAK,QAAA;AAAA,YACL,SAAA,EAAU,YAAA;AAAA,YACV,QAAA,EAAU,OAAA;AAAA,YACV,OAAO,GAAA,IAAO,OAAA;AAAA,YACd,OAAA,EAAS,MAAA;AAAA,YAER,QAAA,EAAA;AAAA;AAAA,SACH;AAAA,QACC,OAAA,mBACC,GAAA,CAAC,MAAA,EAAA,EAAK,SAAA,EAAU,YAAA,EAAc,QAAA,EAAA,GAAA,EAAI,CAAA,mBAElC,GAAA,CAAC,MAAA,EAAA,EAAK,SAAA,EAAU,WAAA,EAAa,QAAA,EAAA,OAAA,EAAQ,CAAA;AAAA,QAEtC,KAAA,KAAU,SAAY,IAAA,mBACrB,GAAA;AAAA,UAAC,UAAA;AAAA,UAAA;AAAA,YACC,SAAA,EAAU,eAAA;AAAA,YACV,YAAA,EAAY,GAAG,KAAK,CAAA,QAAA,CAAA;AAAA,YACpB,IAAA,EAAM,CAAA;AAAA,YACN,KAAA,EAAO,KAAA;AAAA,YACP,UAAU,CAAC,CAAA,KAAM,OAAA,CAAQ,CAAA,CAAE,OAAO,KAAK;AAAA;AAAA,SACzC;AAAA,QAED,GAAA,KAAQ,UAAa,CAAC,OAAA,uBACpB,MAAA,EAAA,EAAK,SAAA,EAAU,YAAA,EAAa,QAAA,EAAA,kCAAA,EAA2B,CAAA,GACtD;AAAA;AAAA;AAAA,GACN;AAEJ;AASA,SAAS,gBAAgB,CAAA,EAKd;AACT,EAAA,MAAM,IAAA,GAAO,CAAA,CAAE,IAAA,CAAK,MAAA,GAAS,CAAA,GAAI,CAAA,GAAA,EAAM,CAAA,CAAE,IAAA,CAAK,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,GAAK,EAAA;AAC7D,EAAA,IAAI,CAAA,CAAE,UAAU,MAAA,EAAW;AACzB,IAAA,OAAO,CAAA,CAAE,KAAA,CAAM,MAAA,KAAW,SAAA,GACtB,GAAG,CAAA,CAAE,OAAA,CAAQ,IAAA,CAAK,KAAK,CAAC,CAAA,QAAA,EAAM,CAAA,CAAE,KAAA,CAAM,KAAK,MAAM,CAAA,CAAE,KAAA,CAAM,GAAG,CAAA,CAAA,CAAA,GAC5D,UAAK,CAAA,CAAE,KAAA,CAAM,MAAM,CAAA,EAAA,EAAK,EAAE,KAAA,CAAM,MAAA,KAAW,MAAA,GAAS,EAAA,GAAK,GAAG,CAAA,EAAG,CAAA,CAAE,KAAA,CAAM,KAAK,IAAI,IAAI,CAAA,CAAA;AAAA,EAC1F;AACA,EAAA,IAAI,CAAA,CAAE,aAAa,MAAA,EAAW,OAAO,UAAK,CAAA,CAAE,QAAQ,GAAG,IAAI,CAAA,CAAA;AAC3D,EAAA,OAAO,GAAG,CAAA,CAAE,OAAA,CAAQ,KAAK,KAAK,CAAC,GAAG,IAAI,CAAA,CAAA;AACxC;AAKA,SAAS,UAAA,CACP,QACA,OAAA,EACwB;AACxB,EAAA,MAAM,GAAA,GAAO,WAAW,EAAC;AACzB,EAAA,MAAM,MAA8B,EAAC;AACrC,EAAA,KAAA,MAAW,KAAK,MAAA,EAAQ;AACtB,IAAA,IAAI,CAAC,EAAE,UAAA,EAAY;AACnB,IAAA,GAAA,CAAI,CAAA,CAAE,IAAI,CAAA,GAAI,IAAA,CAAK,SAAA,CAAU,IAAI,CAAA,CAAE,IAAI,CAAA,IAAK,EAAE,CAAA;AAAA,EAChD;AACA,EAAA,OAAO,GAAA;AACT;AAOA,SAAS,YACP,MAAA,EACoC;AACpC,EAAA,MAAM,MAA0C,EAAC;AACjD,EAAA,KAAA,MAAW,CAAC,CAAA,EAAG,IAAI,KAAK,MAAA,CAAO,OAAA,CAAQ,MAAM,CAAA,EAAG;AAC9C,IAAA,IAAI;AACF,MAAA,MAAM,CAAA,GAAa,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA;AAClC,MAAA,IAAI,OAAO,CAAA,KAAM,QAAA,IAAY,MAAM,IAAA,EAAM,GAAA,CAAI,CAAC,CAAA,GAAI,CAAA;AAAA,IACpD,CAAA,CAAA,MAAQ;AAAA,IAER;AAAA,EACF;AACA,EAAA,OAAO,GAAA;AACT;AAOA,SAAS,QAAA,CACP,KACA,IAAA,EACa;AACb,EAAA,IAAI;AACF,IAAA,OAAO,IAAI,IAAA,EAAK;AAAA,EAClB,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,EAAE,MAAA,EAAQ,IAAA,EAAM,MAAM,EAAC,EAAG,YAAY,IAAA,EAAK;AAAA,EACpD;AACF;AAUA,SAAS,YAAA,CAMP,OAAA,EACA,KAAA,EACA,GAAA,EACA,GACA,IAAA,EACG;AACH,EAAA,IAAI;AACF,IAAA,OAAO,OAAO,OAAA,EAAS;AAAA,MACrB,IAAA,EAAM,KAAA,CAAM,IAAA,CAAK,KAAA,CAAM,GAAG,CAAC,CAAA;AAAA,MAC3B,GAAA;AAAA,MACA,QAAQ,KAAA,CAAM;AAAA,KACf,CAAA,CAAE,KAAA;AAAA,EACL,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,IAAA;AAAA,EACT;AACF","file":"chunk-JER5O7PQ.js","sourcesContent":["/**\n * @packageDocumentation\n * @demlik/tea/chart/inspect/react — the chart inspector, as one component.\n *\n * ```tsx\n * <ChartInspector chart={lane} parts={{ assign, guards }} samples={samples}\n *                 boot={() => ({ retries: 0, maxRetries: 3 })} />\n * ```\n *\n * That is the whole page: a button per message, a live state panel, a state\n * diagram with the current node lit, and a time-travel scrubber over every\n * transition. None of it is configured. The message list, the state names, the\n * phases, which control is legal right now and why the others are refused are\n * all READ OFF THE CHART by `../inspect`'s headless core — which is the point:\n * a hand-built debugger page encodes those four facts a second time, and this\n * one cannot, because it never learns them from anywhere but the chart.\n *\n * WHAT THE AUTHOR STILL SUPPLIES, and why none of it is derivable:\n *\n *   - `parts` — the code the chart deliberately does not own (payload builders,\n *     guard bodies, cells). It is the same bag `compile` demands; the inspector\n *     compiles the machine itself rather than asking for one, so the diagram and\n *     the runtime provably come from the same chart.\n *   - `boot` — the initial state's DATA. The chart says which state is the entry\n *     (`initial: true`); it cannot say what `maxRetries` is.\n *   - `samples` — one payload per event that declares one. `ty<T>()` is `{}` at\n *     runtime, so no derivation recovers the shape. Typed by the chart all the\n *     same (see `Samples<C>`), and rendered as EDITABLE JSON so the operator can\n *     vary a payload and watch a guard's branch flip.\n *   - `ctx` — the runtime environment, which is not a property of the machine.\n *\n * WHAT WOULD FIRE, AND WHAT DID. The button row shows the cmds an edge\n * DECLARES — the before question, and empty by declaration on a `{ to, cell }`\n * edge, because the cell builds its cmds in its body. The \"cmds fired\" panel\n * shows what the recorded run ACTUALLY emitted, per step, tagged with the msg\n * that caused it. Two panels, because they answer two questions; the second is\n * the only place a cell-built effect is visible at all.\n *\n * THE REDUCER FORM has its own component, `<ReducerChartInspector>`, over the\n * same view. It renders the panels that apply and NAMES the ones that do not:\n * no phase on the header, no refusal on any control, no highlighted node in the\n * drawing — each listed in a \"not available in this form\" panel with the reason,\n * rather than quietly missing.\n *\n * TIME TRAVEL IS PURE. The runtime is recorded with `@demlik/tea/recorder`, and\n * scrubbing re-folds a PREFIX of the recorded msgs through `replay` — init +\n * update only, never `interpret`, never a Store, never a live subscription. So\n * dragging the scrubber backwards cannot re-fire an effect, which is the one\n * thing a naive time-travel implementation gets wrong.\n *\n * Styling follows `@demlik/tea/devtools`: one stylesheet, every class prefixed\n * (`tea-ci-*`), wired to the consumer's design tokens, no framework and no new\n * dependency. Import `@demlik/tea/chart/inspect/styles.css` (and devtools'\n * stylesheet, since the state/log/diff panels are devtools components).\n */\n\n\"use client\";\n\nimport { useEffect, useMemo, useReducer, useRef, useState } from \"react\";\nimport {\n  MsgLog,\n  StateDiff,\n  StateInspector,\n  useMsgHistory,\n} from \"../../devtools\";\nimport {\n  type BootingRuntime,\n  type Cmd,\n  type Machine,\n  type Runtime,\n  replay,\n  run,\n  type Sub,\n} from \"../../index\";\nimport type { Reducer, Transitions } from \"../../pure/core\";\nimport { type Recorder, recorder, type Trace } from \"../../recorder\";\nimport {\n  chartMermaid,\n  compile,\n  compileReducer,\n  initFrom,\n  type Parts,\n  type RParts,\n  reducerInitFrom,\n  reducerMermaid,\n} from \"../compile\";\nimport type {\n  Chart,\n  CmdOf,\n  InitialData,\n  MsgOf,\n  ReducerChart,\n  RStateOf,\n  StateOf,\n} from \"../graph\";\nimport {\n  type ChartDescription,\n  type CmdCapture,\n  captureCmds,\n  describeChart,\n  describeReducerChart,\n  type EventPreview,\n  inspectReducerState,\n  inspectState,\n  type ReducerChartDescription,\n  type ReducerEventPreview,\n  type RtSamples,\n  type Samples,\n} from \"./index\";\n\n// ── props ─────────────────────────────────────────────────────────────────\n\n/**\n * Everything `<ChartInspector>` needs. Four fields, and every one of them is a\n * fact the chart genuinely does not carry — see the module doc. Anything the\n * chart DOES carry (events, states, phases, guards, cmds, refusals) has no prop\n * here by design: a prop that restated one would be the fact said twice.\n */\nexport interface ChartInspectorProps<\n  C,\n  S extends { type: string },\n  M extends { type: string },\n  Ctx,\n> {\n  /** The chart. Everything the UI draws is read off this value. */\n  readonly chart: C;\n  /** The parts bag `compile` demands — assign, plus guards/cmds/cells if used. */\n  readonly parts: Parts<C, S, M>;\n  /** The entry state's data. The chart names the state; you supply its ctx. */\n  readonly boot: () => InitialData<C, S>;\n  /** One payload per event that declares one. Typed by the chart. */\n  readonly samples?: Samples<C>;\n  /** The runtime ctx. Omit for a machine that reads nothing from one. */\n  readonly ctx?: Ctx;\n  /** Diagram title. Cosmetic — defaults to no title. */\n  readonly title?: string;\n  /** Diagram direction. Default `\"TB\"`. */\n  readonly direction?: \"TB\" | \"LR\";\n  /** Appended to the container's class list. */\n  readonly className?: string;\n}\n\n/**\n * Everything `<ReducerChartInspector>` needs — the same four undecidable facts,\n * over the form that has no phase dimension.\n *\n * There is no `direction` prop, and its absence is the honest kind: the reducer\n * drawing has one `any` node with every edge leaving it (that is what having no\n * phase dimension MEANS), so a layout knob would be a knob over nothing.\n */\nexport interface ReducerChartInspectorProps<\n  C,\n  S extends { type: string },\n  M extends { type: string },\n  Ctx,\n> {\n  /** The reducer chart. Everything the UI draws is read off this value. */\n  readonly chart: C;\n  /** The parts bag `compileReducer` demands. */\n  readonly parts: RParts<C, S, M>;\n  /** The entry state's data — for this form, the whole state minus its tag. */\n  readonly boot: () => Omit<RStateOf<C>, \"type\">;\n  /** One payload per event that declares one. Typed by the chart. */\n  readonly samples?: Samples<C>;\n  /** The runtime ctx. Omit for a machine that reads nothing from one. */\n  readonly ctx?: Ctx;\n  /** Panel title. Cosmetic — defaults to no title. */\n  readonly title?: string;\n  /** Appended to the container's class list. */\n  readonly className?: string;\n}\n\n// ── the runtime lifecycle, shared by both forms ───────────────────────────\n\n/**\n * Own a runtime for the component's lifetime (built with `run`, stopped on\n * unmount or reset) so the recorder has something to attach to — `useMachine`\n * hides the runtime, and the recorder needs it. The booted `Runtime` is\n * consumed with `useRuntime`'s contract: the component that owns the lifecycle\n * stops it.\n *\n * Shared by both chart forms because none of it is form-specific: a compiled\n * `Transitions` and a compiled `Reducer` are both just a `Machine[\"update\"]`.\n *\n * EXPORTED for the one other component with the same lifecycle to own:\n * `@demlik/tea/chart/lane/react`'s live lane, whose `update` is `runLane`'s.\n * A lane is not a chart form, but \"own a runtime for the component's lifetime,\n * record it, and stop it on unmount\" is not a fact about charts either — and a\n * second copy of it is a second place for the recorder's stop to be forgotten.\n */\nexport function useInspectorRuntime<\n  S,\n  M extends { type: string },\n  K extends Cmd,\n  Ctx,\n>(\n  machine: Machine<S, M, K, Sub<never>, Ctx>,\n  ctx: Ctx,\n  epoch: number,\n): { readonly rt: Runtime<S, M> | null; readonly rec: Recorder<S, M> } {\n  // `epoch` is not read inside the memo, and it is still a real dependency: it\n  // IS the reset lever. Bumping it is how \"start over\" rebuilds the runtime, so\n  // re-booting the machine from `init` rather than pretending some message\n  // means \"go back to the beginning\" — no chart has one.\n  // biome-ignore lint/correctness/useExhaustiveDependencies: `epoch` is the reset lever — the memo must re-run when it bumps, which is the whole point of the value\n  const booting = useMemo<BootingRuntime<S, M>>(\n    () => run(machine, { ctx }),\n    [machine, ctx, epoch],\n  );\n  const rec = useMemo<Recorder<S, M>>(() => recorder(booting), [booting]);\n\n  // The booted handle. Until `ready` resolves there is no total `getState`, so\n  // there is nothing honest to render — one frame of \"booting\" beats inventing\n  // a state the machine has not produced.\n  const [rt, setRt] = useState<Runtime<S, M> | null>(null);\n  useEffect(() => {\n    let live = true;\n    setRt(null);\n    booting.ready.then(\n      (r) => {\n        if (live) setRt(r);\n      },\n      () => {},\n    );\n    return () => {\n      live = false;\n      rec.stop();\n      booting.stop().catch(() => {});\n    };\n  }, [booting, rec]);\n\n  return { rt, rec };\n}\n\n// ── the components ────────────────────────────────────────────────────────\n\n/**\n * The self-building debugger for any GRID-form chart.\n */\nexport function ChartInspector<\n  const C extends Chart<C>,\n  S extends { type: string } = StateOf<C>,\n  M extends { type: string } = MsgOf<C>,\n  K extends Cmd = CmdOf<C>,\n  Ctx = Record<never, never>,\n>(props: ChartInspectorProps<C, S, M, Ctx>) {\n  const { chart, parts, boot, ctx } = props;\n  // The reset lever: a fresh epoch rebuilds the runtime, which re-boots the\n  // machine from `init`. Resetting by dispatching would be a lie — there is no\n  // \"go back to the start\" message in any chart.\n  const [epoch, reset] = useReducer((n: number) => n + 1, 0);\n\n  const machine = useMemo(\n    () =>\n      ({\n        init: initFrom<C, S, K>(chart, boot),\n        // The one cast, at the construction boundary: `compile` returns a\n        // `Transitions` over the chart's OWN derivations, and `S`/`M`/`K` are\n        // the caller's names for exactly those.\n        update: compile(chart, parts) as unknown as Transitions<S, M, K>,\n      }) as unknown as Machine<S, M, K, Sub<never>, Ctx>,\n    [chart, parts, boot],\n  );\n  const { rt, rec } = useInspectorRuntime(machine, ctx as Ctx, epoch);\n\n  const desc = useMemo(() => describeChart(chart), [chart]);\n  const view = useMemo<FormView<S>>(\n    () => gridView(desc, chart, parts, props.title, props.direction),\n    [desc, chart, parts, props.title, props.direction],\n  );\n\n  if (rt === null) {\n    return (\n      <div className={containerClass(props.className)}>\n        <div className=\"tea-ci-boot\">booting…</div>\n      </div>\n    );\n  }\n  return (\n    <InspectorView\n      key={epoch}\n      view={view}\n      samples={props.samples}\n      runtime={rt}\n      rec={rec}\n      machine={machine}\n      ctx={ctx as Ctx}\n      title={props.title}\n      className={props.className}\n      onReset={reset}\n    />\n  );\n}\n\n/**\n * The same debugger for a REDUCER-form chart — the panels that apply, and the\n * ones that do not left out with the reason on screen.\n *\n * What is missing here is missing because the form does not have it: no phase\n * on the header, no refusal on any control (this form cannot refuse an event),\n * and no highlighted node in the drawing (every edge leaves the one `any`\n * node). The \"not available in this form\" panel names each one, so the\n * omission reads as a property of the chart rather than a hole in the tool.\n */\nexport function ReducerChartInspector<\n  const C extends ReducerChart<C>,\n  S extends { type: string } = RStateOf<C>,\n  M extends { type: string } = MsgOf<C>,\n  K extends Cmd = CmdOf<C>,\n  Ctx = Record<never, never>,\n>(props: ReducerChartInspectorProps<C, S, M, Ctx>) {\n  const { chart, parts, boot, ctx } = props;\n  const [epoch, reset] = useReducer((n: number) => n + 1, 0);\n\n  const machine = useMemo(\n    () =>\n      ({\n        init: reducerInitFrom<C, S, K>(chart, boot),\n        // The one cast, for the same reason as the grid form's: `compileReducer`\n        // returns a `Reducer` over the chart's OWN derivations.\n        update: compileReducer(chart, parts) as unknown as Reducer<S, M, K>,\n      }) as unknown as Machine<S, M, K, Sub<never>, Ctx>,\n    [chart, parts, boot],\n  );\n  const { rt, rec } = useInspectorRuntime(machine, ctx as Ctx, epoch);\n\n  const desc = useMemo(() => describeReducerChart(chart), [chart]);\n  const view = useMemo<FormView<S>>(\n    () => reducerView(desc, chart, parts),\n    [desc, chart, parts],\n  );\n\n  if (rt === null) {\n    return (\n      <div className={containerClass(props.className)}>\n        <div className=\"tea-ci-boot\">booting…</div>\n      </div>\n    );\n  }\n  return (\n    <InspectorView\n      key={epoch}\n      view={view}\n      samples={props.samples}\n      runtime={rt}\n      rec={rec}\n      machine={machine}\n      ctx={ctx as Ctx}\n      title={props.title}\n      className={props.className}\n      onReset={reset}\n    />\n  );\n}\n\nfunction containerClass(extra: string | undefined): string {\n  return `tea-ci${extra ? ` ${extra}` : \"\"}`;\n}\n\n// ── the form seam ─────────────────────────────────────────────────────────\n\n/** One event control, normalized so the two chart forms render through one row. */\ninterface ControlModel {\n  readonly event: string;\n  /** `\"legal\"` or the refusal's kind — the class suffix, and the CSS hook. */\n  readonly kind: string;\n  readonly refused: boolean;\n  /** The refusal's one-line explanation. Present iff refused. */\n  readonly why?: string;\n  /** \"where would this go, and what would it fire\" — the DECLARED answer. */\n  readonly outcome: string;\n  /** The msg a click would dispatch, or `undefined` when no sample was given. */\n  readonly msg?: { readonly type: string };\n}\n\n/**\n * The three things that differ between the chart forms, and nothing else.\n *\n * Everything below this line — the runtime, the recorder, time travel, the\n * drafts, the captured cmds — is identical for a grid chart and a reducer\n * chart, because none of it depends on there being a phase dimension. So the\n * view takes the difference as data rather than branching on it: `header`\n * returns no phase where there is no phase, `controls` returns rows that cannot\n * be refused where nothing can refuse them, and `omits` names each panel the\n * form cannot honestly fill.\n */\ninterface FormView<S extends { type: string }> {\n  /** The alphabet, for seeding one payload draft per event that declares one. */\n  readonly events: readonly {\n    readonly name: string;\n    readonly hasPayload: boolean;\n  }[];\n  readonly controls: (state: S, samples: RtSamples) => readonly ControlModel[];\n  readonly mermaid: (state: S) => string;\n  readonly header: (state: S) => {\n    readonly phase?: string;\n    readonly tags: readonly string[];\n  };\n  /** The questions this form cannot answer, each with the reason. */\n  readonly omits: readonly {\n    readonly question: string;\n    readonly why: string;\n  }[];\n}\n\nfunction gridView<C, S extends { type: string }, M extends { type: string }>(\n  desc: ChartDescription,\n  chart: C,\n  parts: Parts<C, S, M>,\n  title: string | undefined,\n  direction: \"TB\" | \"LR\" | undefined,\n): FormView<S> {\n  return {\n    events: desc.events,\n    controls: (state, samples) =>\n      inspectState(desc, state, { parts: parts as never, samples }).map(\n        gridControl,\n      ),\n    mermaid: (state) =>\n      chartMermaid(chart as never, {\n        highlight: state.type,\n        phases: true,\n        direction,\n        title,\n      }),\n    header: (state) => {\n      const here = desc.states.find((s) => s.name === state.type);\n      return {\n        ...(here === undefined ? {} : { phase: here.phase }),\n        tags: [\n          ...(here?.end === true ? [\"end\"] : []),\n          ...(here?.parking === true ? [\"parking\"] : []),\n        ],\n      };\n    },\n    omits: [],\n  };\n}\n\nfunction reducerView<C, S extends { type: string }, M extends { type: string }>(\n  desc: ReducerChartDescription,\n  chart: C,\n  parts: RParts<C, S, M>,\n): FormView<S> {\n  return {\n    events: desc.events,\n    controls: (state, samples) =>\n      inspectReducerState(desc, state, {\n        parts: parts as never,\n        samples,\n      }).map(reducerControl),\n    // No `highlight`: every edge leaves the one `any` node, so there is no\n    // node that IS the current state to light up.\n    mermaid: () => reducerMermaid(chart as never),\n    // No phase, no `end`, no `parking` — this form declares none of the three.\n    header: () => ({ tags: [] }),\n    omits: [desc.phases, desc.refusals, desc.scope],\n  };\n}\n\n/** An `EventPreview` as a row: legality is a real question in the grid form. */\nfunction gridControl(v: EventPreview): ControlModel {\n  const refused = v.status === \"refused\";\n  return {\n    event: v.event,\n    kind: refused ? (v.reason?.kind ?? \"undeclared\") : \"legal\",\n    refused,\n    ...(v.why === undefined ? {} : { why: v.why }),\n    outcome: describeOutcome(v),\n    ...(v.msg === undefined ? {} : { msg: v.msg }),\n  };\n}\n\n/** A `ReducerEventPreview` as a row. It can never be refused — there is no\n * mechanism in this form with which to refuse it. */\nfunction reducerControl(v: ReducerEventPreview): ControlModel {\n  return {\n    event: v.event,\n    kind: \"legal\",\n    refused: false,\n    outcome: describeOutcome(v),\n    ...(v.msg === undefined ? {} : { msg: v.msg }),\n  };\n}\n\n// ── the view ──────────────────────────────────────────────────────────────\n\ninterface ViewProps<\n  C,\n  S extends { type: string },\n  M extends { type: string },\n  K extends Cmd,\n  Ctx,\n> {\n  readonly view: FormView<S>;\n  readonly samples: Samples<C> | undefined;\n  readonly runtime: Runtime<S, M>;\n  readonly rec: Recorder<S, M>;\n  readonly machine: Machine<S, M, K, Sub<never>, Ctx>;\n  readonly ctx: Ctx;\n  readonly title: string | undefined;\n  readonly className: string | undefined;\n  readonly onReset: () => void;\n}\n\nfunction InspectorView<\n  C,\n  S extends { type: string },\n  M extends { type: string },\n  K extends Cmd,\n  Ctx,\n>({\n  view,\n  samples,\n  runtime,\n  rec,\n  machine,\n  ctx,\n  title,\n  className,\n  onReset,\n}: ViewProps<C, S, M, K, Ctx>) {\n  // The live state, straight off the runtime (`useRuntime`'s subscription,\n  // inlined here because this component also needs the recorder's view).\n  const [tick, bump] = useReducer((n: number) => n + 1, 0);\n  useEffect(() => runtime.subscribe(bump), [runtime]);\n  const liveState = runtime.getState();\n\n  // Every dispatch goes through `useMsgHistory`, so the MsgLog rows and the\n  // recorder's replay tape are fed by the same action.\n  const [history, send] = useMsgHistory<M>(runtime.dispatch);\n\n  // The editable payloads. Seeded from `samples`, then owned by the operator —\n  // varying one is what makes the guard preview interactive.\n  const [drafts, setDrafts] = useState<Readonly<Record<string, string>>>(() =>\n    seedDrafts(view.events, samples),\n  );\n  const effective = useMemo(() => parseDrafts(drafts), [drafts]);\n\n  // Time travel. `at === null` is live; otherwise it is a msg-prefix length,\n  // and the displayed state is that prefix re-folded through `replay`.\n  const [at, setAt] = useState<number | null>(null);\n  const trace = safeDump(rec, liveState);\n  const total = trace.msgs.length;\n  const cursor = at === null ? total : Math.min(at, total);\n  const scrubbed = at !== null && cursor < total;\n\n  const shown = replayPrefix(machine, trace, ctx, cursor, liveState);\n  const previous = replayPrefix(\n    machine,\n    trace,\n    ctx,\n    Math.max(0, cursor - 1),\n    liveState,\n  );\n\n  const verdicts = view.controls(shown, effective);\n  const here = view.header(shown);\n\n  // WHAT ACTUALLY FIRED, per step — the after question, folded from the same\n  // recorded prefix the scrubber is already folding. `cursor` indexes both, so\n  // the highlighted row is the transition on screen.\n  // `rec.dump()` allocates a fresh tape every render, so the msgs ARRAY has a\n  // new identity each time and keying the memo on it would re-fold the whole run\n  // on every keystroke in a payload box. The tape only ever grows, so its LENGTH\n  // is the honest key, and the tape itself is read through a ref.\n  const tape = useRef(trace);\n  tape.current = trace;\n  // biome-ignore lint/correctness/useExhaustiveDependencies: `total` is not read in the body and is the whole point of the memo — it is the tape's length, the one thing that changes what the capture returns\n  const capture = useMemo<CmdCapture<M, K>>(\n    () =>\n      captureCmds(machine, {\n        msgs: tape.current.msgs,\n        ctx,\n        loaded: tape.current.loaded,\n      }),\n    [machine, ctx, total],\n  );\n\n  return (\n    <div className={containerClass(className)}>\n      <header className=\"tea-ci-head\">\n        <span className=\"tea-ci-title\">{title ?? \"chart inspector\"}</span>\n        <span className=\"tea-ci-now\">\n          {here.phase === undefined ? null : (\n            <span className=\"tea-ci-phase\">{here.phase}</span>\n          )}\n          <span className=\"tea-ci-state\">{shown.type}</span>\n          {here.tags.map((t) => (\n            <span className=\"tea-ci-tag\" key={t}>\n              {t}\n            </span>\n          ))}\n        </span>\n        {scrubbed ? (\n          <span className=\"tea-ci-warn\">\n            time-travelling — step {cursor} of {total}\n          </span>\n        ) : null}\n      </header>\n\n      {/* 1 — the button row. One control per DECLARED event; a refused one is\n          drawn as refused, with the reason, never omitted. */}\n      <section className=\"tea-ci-panel tea-ci-events\">\n        {verdicts.map((v) => (\n          <EventControl\n            key={v.event}\n            control={v}\n            disabled={scrubbed}\n            draft={drafts[v.event]}\n            onDraft={(text) => setDrafts((d) => ({ ...d, [v.event]: text }))}\n            onSend={() => {\n              setAt(null);\n              if (v.msg !== undefined) send(v.msg as unknown as M);\n            }}\n          />\n        ))}\n      </section>\n\n      <div className=\"tea-ci-cols\">\n        {/* 2 — the live state, and what the last step changed. */}\n        <section className=\"tea-ci-panel\">\n          <h3 className=\"tea-ci-h\">state</h3>\n          <StateInspector state={shown} flashKey={cursor + tick} />\n          <h3 className=\"tea-ci-h\">diff vs previous step</h3>\n          <StateDiff expected={previous} actual={shown} />\n        </section>\n\n        {/* 3 — the diagram, with the current node lit where the form has one.\n            `<pre class=\"mermaid\">` is the shape a mermaid host renders in\n            place; the text is readable either way, so the panel is useful with\n            no renderer at all. */}\n        <section className=\"tea-ci-panel\">\n          <h3 className=\"tea-ci-h\">diagram</h3>\n          {/* Keyed by the diagram, for the reason `chart/lane/react.tsx` records:\n              a mermaid host marks rendered nodes and skips them, React rewrites\n              only the text, and the picture silently stops updating after the\n              first frame. The key forces a genuinely new node. */}\n          <pre key={view.mermaid(shown)} className=\"mermaid tea-ci-mermaid\">\n            {view.mermaid(shown)}\n          </pre>\n        </section>\n      </div>\n\n      {/* 4 — WHAT ACTUALLY FIRED. The button row above says what an edge\n          DECLARES it would fire; this says what the recorded run did fire, per\n          step, tagged with the msg that caused it — the only place a cmd built\n          inside a cell body is visible at all. */}\n      <section className=\"tea-ci-panel tea-ci-fired\">\n        <h3 className=\"tea-ci-h\">cmds fired</h3>\n        <ol className=\"tea-ci-firelog\">\n          {capture.steps.map((s) => (\n            <li\n              key={s.step}\n              className={`tea-ci-fire${s.step === cursor ? \" tea-ci-fire-now\" : \"\"}`}\n              data-step={s.step}\n              data-fired={s.cmds.length}\n            >\n              <span className=\"tea-ci-fire-by\">{s.by?.type ?? \"init\"}</span>\n              <span className=\"tea-ci-fire-cmds\">\n                {s.cmds.length === 0\n                  ? \"—\"\n                  : s.cmds.map((c) => c.type).join(\", \")}\n              </span>\n            </li>\n          ))}\n        </ol>\n        {capture.stoppedAt === undefined ? null : (\n          <span className=\"tea-ci-why\">\n            capture stopped at step {capture.stoppedAt.step}:{\" \"}\n            {capture.stoppedAt.error}\n          </span>\n        )}\n      </section>\n\n      {/* 5 — the questions this chart form cannot answer, named rather than\n          silently missing. Empty for a grid chart, which answers all three. */}\n      {view.omits.length === 0 ? null : (\n        <section className=\"tea-ci-panel tea-ci-omits\">\n          <h3 className=\"tea-ci-h\">not available in this form</h3>\n          <ul>\n            {view.omits.map((o) => (\n              <li key={o.question} data-omitted={o.question}>\n                <b>{o.question}</b> — {o.why}\n              </li>\n            ))}\n          </ul>\n        </section>\n      )}\n\n      {/* 6 — time travel over every recorded transition. */}\n      <section className=\"tea-ci-panel tea-ci-travel\">\n        <h3 className=\"tea-ci-h\">time travel</h3>\n        <div className=\"tea-ci-scrub\">\n          <input\n            type=\"range\"\n            min={0}\n            max={total}\n            value={cursor}\n            aria-label=\"transition\"\n            onChange={(e) => setAt(Number(e.target.value))}\n          />\n          <span className=\"tea-ci-step\">\n            {cursor} / {total}\n            {cursor > 0 ? ` · ${String(trace.msgs[cursor - 1]?.type)}` : \"\"}\n          </span>\n          <button\n            type=\"button\"\n            onClick={() => setAt(null)}\n            disabled={!scrubbed}\n          >\n            live\n          </button>\n          <button type=\"button\" onClick={onReset}>\n            reset\n          </button>\n        </div>\n        <MsgLog history={history} />\n      </section>\n    </div>\n  );\n}\n\n// ── one event control ─────────────────────────────────────────────────────\n\nfunction EventControl({\n  control,\n  disabled,\n  draft,\n  onDraft,\n  onSend,\n}: {\n  readonly control: ControlModel;\n  readonly disabled: boolean;\n  readonly draft: string | undefined;\n  readonly onDraft: (text: string) => void;\n  readonly onSend: () => void;\n}) {\n  const { event, refused, kind, why, outcome, msg } = control;\n  const blocked = refused || disabled || msg === undefined;\n  return (\n    <div\n      className={`tea-ci-ev tea-ci-ev-${kind}`}\n      data-event={event}\n      data-status={refused ? \"refused\" : \"legal\"}\n    >\n      <button\n        type=\"button\"\n        className=\"tea-ci-btn\"\n        disabled={blocked}\n        title={why ?? outcome}\n        onClick={onSend}\n      >\n        {event}\n      </button>\n      {refused ? (\n        <span className=\"tea-ci-why\">{why}</span>\n      ) : (\n        <span className=\"tea-ci-to\">{outcome}</span>\n      )}\n      {draft === undefined ? null : (\n        <textarea\n          className=\"tea-ci-sample\"\n          aria-label={`${event} payload`}\n          rows={1}\n          value={draft}\n          onChange={(e) => onDraft(e.target.value)}\n        />\n      )}\n      {msg === undefined && !refused ? (\n        <span className=\"tea-ci-why\">no sample — cannot dispatch</span>\n      ) : null}\n    </div>\n  );\n}\n\n/**\n * The one-line \"where would this go, and what would it DECLARE it fires\".\n *\n * Structural in its parameter, because a grid preview and a reducer preview\n * agree on exactly the four fields it reads — and disagree only about the\n * refusal, which never reaches here.\n */\nfunction describeOutcome(v: {\n  readonly guard?: EventPreview[\"guard\"];\n  readonly cmds: readonly string[];\n  readonly targets: readonly string[];\n  readonly resolved?: string;\n}): string {\n  const cmds = v.cmds.length > 0 ? ` / ${v.cmds.join(\", \")}` : \"\";\n  if (v.guard !== undefined) {\n    return v.guard.branch === \"unknown\"\n      ? `${v.targets.join(\" | \")} — ${v.guard.guard}? (${v.guard.why})`\n      : `→ ${v.guard.target} [${v.guard.branch === \"then\" ? \"\" : \"!\"}${v.guard.guard}]${cmds}`;\n  }\n  if (v.resolved !== undefined) return `→ ${v.resolved}${cmds}`;\n  return `${v.targets.join(\" | \")}${cmds}`;\n}\n\n// ── helpers ───────────────────────────────────────────────────────────────\n\n/** One JSON draft per event that declares a payload. */\nfunction seedDrafts(\n  events: readonly { readonly name: string; readonly hasPayload: boolean }[],\n  samples: unknown,\n): Record<string, string> {\n  const bag = (samples ?? {}) as Record<string, unknown>;\n  const out: Record<string, string> = {};\n  for (const e of events) {\n    if (!e.hasPayload) continue;\n    out[e.name] = JSON.stringify(bag[e.name] ?? {});\n  }\n  return out;\n}\n\n/**\n * Parse the drafts back into a samples bag. An unparseable draft contributes\n * NOTHING rather than a stale value — which surfaces as the honest \"no sample\"\n * degradation in the guard preview instead of a silently ignored edit.\n */\nfunction parseDrafts(\n  drafts: Readonly<Record<string, string>>,\n): Record<string, object | undefined> {\n  const out: Record<string, object | undefined> = {};\n  for (const [k, text] of Object.entries(drafts)) {\n    try {\n      const v: unknown = JSON.parse(text);\n      if (typeof v === \"object\" && v !== null) out[k] = v;\n    } catch {\n      // left absent on purpose — see the doc above.\n    }\n  }\n  return out;\n}\n\n/**\n * The recorder's tape. `dump()` throws before the boot observe has fired; the\n * view only renders post-boot, so the fallback is a formality — and a formality\n * beats a blank screen.\n */\nfunction safeDump<S, M extends { type: string }>(\n  rec: Recorder<S, M>,\n  live: S,\n): Trace<S, M> {\n  try {\n    return rec.dump();\n  } catch {\n    return { loaded: null, msgs: [], finalState: live };\n  }\n}\n\n/**\n * The state after the first `n` recorded msgs, by PURE replay.\n *\n * `replay` runs `init` + `update` only. No `interpret`, no Store, no live\n * subscription — so scrubbing backwards re-derives history rather than\n * re-performing it, which is the whole difference between time travel and\n * re-running the app.\n */\nfunction replayPrefix<\n  S extends { type: string },\n  M extends { type: string },\n  K extends Cmd,\n  Ctx,\n>(\n  machine: Machine<S, M, K, Sub<never>, Ctx>,\n  trace: Trace<S, M>,\n  ctx: Ctx,\n  n: number,\n  live: S,\n): S {\n  try {\n    return replay(machine, {\n      msgs: trace.msgs.slice(0, n),\n      ctx,\n      loaded: trace.loaded,\n    }).state;\n  } catch {\n    return live;\n  }\n}\n"]}

package/dist/chunk-JGVL3WPL.js

@@ -1,26 +0,0 @@
-import { fromTimeout } from './chunk-2YFLOCWX.js';
-import { subId } from './chunk-B5VXOFMZ.js';
-
-// src/deadline/index.ts
-function deadlineSub(id, atMs, opts) {
-  return { ...opts, id: subId(id), type: "deadline", atMs };
-}
-function subscribeWith(armTimer) {
-  return (sub, _ctx, dispatch) => armTimer(sub.id, sub.atMs, deadlineExceeded(sub.id, sub.atMs), dispatch);
-}
-function setTimeoutArmTimer() {
-  return (id, atMs, msg, dispatch) => {
-    const delayMs = Math.max(0, atMs - Date.now());
-    return fromTimeout(
-      () => msg
-    )({ id, type: "deadline", delayMs }, void 0, dispatch);
-  };
-}
-var subscribeDeadline = subscribeWith(setTimeoutArmTimer());
-function deadlineExceeded(id, atMs) {
-  return { type: "deadline_exceeded", id, atMs };
-}
-
-export { deadlineExceeded, deadlineSub, setTimeoutArmTimer, subscribeDeadline, subscribeWith };
-//# sourceMappingURL=chunk-JGVL3WPL.js.map
-//# sourceMappingURL=chunk-JGVL3WPL.js.map

package/dist/chunk-JGVL3WPL.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/deadline/index.ts"],"names":[],"mappings":";;;;AA6HO,SAAS,WAAA,CACd,EAAA,EACA,IAAA,EACA,IAAA,EACa;AACb,EAAA,OAAO,EAAE,GAAG,IAAA,EAAM,EAAA,EAAI,MAAM,EAAE,CAAA,EAAG,IAAA,EAAM,UAAA,EAAY,IAAA,EAAK;AAC1D;AA6CO,SAAS,cACd,QAAA,EAC0D;AAC1D,EAAA,OAAO,CAAC,GAAA,EAAK,IAAA,EAAM,QAAA,KACjB,SAAS,GAAA,CAAI,EAAA,EAAI,GAAA,CAAI,IAAA,EAAM,iBAAiB,GAAA,CAAI,EAAA,EAAI,GAAA,CAAI,IAAI,GAAG,QAAQ,CAAA;AAC3E;AAeO,SAAS,kBAAA,GAAiD;AAC/D,EAAA,OAAO,CAAC,EAAA,EAAI,IAAA,EAAM,GAAA,EAAK,QAAA,KAAa;AAGlC,IAAA,MAAM,UAAU,IAAA,CAAK,GAAA,CAAI,GAAG,IAAA,GAAO,IAAA,CAAK,KAAK,CAAA;AAC7C,IAAA,OAAO,WAAA;AAAA,MACL,MAAM;AAAA,KACR,CAAE,EAAE,EAAA,EAAI,IAAA,EAAM,YAAY,OAAA,EAAQ,EAAG,QAAW,QAAQ,CAAA;AAAA,EAC1D,CAAA;AACF;AAkBO,IAAM,iBAAA,GAIT,aAAA,CAAc,kBAAA,EAAoB;AAO/B,SAAS,gBAAA,CAAiB,IAAY,IAAA,EAAgC;AAC3E,EAAA,OAAO,EAAE,IAAA,EAAM,mBAAA,EAAqB,EAAA,EAAI,IAAA,EAAK;AAC/C","file":"chunk-JGVL3WPL.js","sourcesContent":["/**\n * @demlik/tea/deadline — a one-shot Sub that fires when an ABSOLUTE wall-clock\n * deadline is reached.\n *\n * Generalizes the recurring \"auto-fail a machine at T+N\" / \"15-minute stale\n * guard\" pattern: a Sub whose `subscriptions(state)` returns it only while the\n * deadline should be armed, and which dispatches a single `DeadlineExceeded`\n * Msg when the wall clock crosses `atMs`.\n *\n * Difference from `fromTimeout` (relative — \"fire after N ms\"): a deadline is\n * an ABSOLUTE target. The delay is computed at subscribe time as\n * `max(0, atMs - Date.now())`. The consequence that matters: subscribing LATE —\n * e.g. after a `Store` rehydrate that resumes a machine whose deadline was set\n * before the page reloaded — still fires at the correct absolute moment,\n * because the remaining delay is recomputed from the current clock, not stored\n * in the Sub. A deadline already in the past at subscribe time yields delay `0`,\n * so `setTimeout(fn, 0)` fires on the NEXT tick (never synchronously inside the\n * reconcile pass — the substrate must finish wiring all subs before any Msg\n * lands).\n *\n * Composition over reinvention: the timer lifecycle is `fromTimeout`'s, not\n * redrawn here. `deadlineSub` produces the Sub literal carrying `atMs`; the\n * `subscribe` cell (`subscribeDeadline`) translates `atMs` → a relative delay\n * and delegates the `setTimeout` / `clearTimeout` to `fromTimeout`. The clock\n * read (`Date.now()`) lives only in the subscribe handler — never in a reducer\n * (invariant 2) — and is exercised in tests via vitest fake timers, matching\n * the no-injection convention of the `fromTimeout` / `fromInterval` exemplars.\n *\n * WHAT BACKS THE TIMER IS THE HOST'S CHOICE. `setTimeout` is the universal\n * default, but it is not universal: a Durable Object that hibernates has no\n * live `setTimeout` to wake it, so its deadline must be backed by a `do_alarm`\n * registered on the alarm registry; a test host wants a fake-timer schedule.\n * That backing is the `ArmTimer` seam — `subscribeWith(armTimer)` builds the\n * `subscribe.deadline` cell from a host-plugged timer, and `subscribeDeadline`\n * IS `subscribeWith(setTimeoutArmTimer())`. One deadline surface, three hosts;\n * there is no second Sub type and no second `atMs` anchor to keep in sync.\n *\n * The anchor is what makes the seam safe. `atMs` is ABSOLUTE, so whatever backs\n * it arms to a fixed wall-clock instant: the host computes the gap itself\n * (`atMs - Date.now()`), and on a host that just rehydrated after hibernation\n * that gap is the SHRUNKEN remainder — the deadline honours the original target\n * rather than resetting to a fresh full-length window.\n *\n * Strengthens invariant 4 (external time is a subscription — the deadline is a\n * `Sub` the runtime reconciles, never a `setTimeout` leaked into a reducer) and\n * invariant 7 (identity is explicit — the Sub carries a stable `SubId`, so the\n * reconcile pass leaves it running across transitions instead of churning it).\n */\n\nimport { type Sub, type SubId, subId } from \"../index\";\nimport { fromTimeout } from \"../subs/from-timeout\";\nimport type { SubscribeHandler } from \"../subs/types\";\n\n/**\n * The Sub variant a deadline produces. `atMs` is the absolute target — epoch\n * milliseconds (the `Date.now()` / `Date.parse(...)` scale), NOT a relative\n * delay. It rides on the Sub so the reconcile pass keys identity by `id`\n * alone: the same `id` across transitions means the same armed timer, even if\n * a later `subscriptions(state)` recomputes the literal.\n *\n * Lowercase `\"deadline\"` discriminant per the Sub naming convention (a source\n * noun that doubles as the SubId family); same shape family as the\n * `TimeoutSubData` the `fromTimeout` factory consumes.\n */\nexport type DeadlineSub = Sub<\"deadline\"> & {\n  readonly atMs: number;\n} & DeadlineOpts;\n\n/**\n * Additive options the `deadlineSub` factory folds onto the Sub literal. This\n * is the extension seam (invariant 5 — composition by reduction): future fields\n * — `repeatMs` for a re-arming deadline, `jitterMs` for spread, etc. — land HERE\n * as optional members, and every existing call site keeps compiling because the\n * factory's third parameter is optional and the fields are `readonly` optionals\n * on `DeadlineSub`. Callers are insulated from the concrete `DeadlineSub` shape:\n * they ask for what they need by name, never positionally, so a shape extension\n * never rewrites the ~13 `deadlineSub(id, atMs)` call sites.\n *\n * Empty today on purpose — the seam exists before the first extension does, so\n * the first field is a one-line additive change, not a 13-site migration.\n */\n// biome-ignore lint/complexity/noBannedTypes: intentional empty extension seam — fields are added additively (see doc above).\nexport type DeadlineOpts = {};\n\n/**\n * The Msg the deadline dispatches when the wall clock crosses `atMs`. Exported\n * as a tagged shape so consumers can union it into their machine's Msg type and\n * handle it in a reducer cell. `id` lets a reducer disambiguate WHICH deadline\n * fired when a machine arms several at once; `atMs` echoes the target the timer\n * was scheduled against (useful for assertions / observability).\n *\n * Snake-shaped `\"deadline_exceeded\"` matches the tagged-Msg style this module's\n * orchestrator requested; the actor-in-name PascalCase convention\n * (`TimerFiredDeadline`) is the consumer's to apply at their own boundary if\n * they prefer — `deadlineExceeded(...)` only fixes the wire shape, not the\n * consumer's local dialect.\n */\nexport type DeadlineExceeded = {\n  readonly type: \"deadline_exceeded\";\n  readonly id: string;\n  readonly atMs: number;\n};\n\n/**\n * Build a deadline Sub literal. Pure data — no clock read, no timer; the timer\n * is armed later by the `subscribe` cell. `id` is branded via `subId(...)` so\n * accidental raw-string drift fails at the type level (invariant 7).\n *\n * Return the result directly from `subscriptions(state)` while the deadline\n * should be armed; drop it (return `[]`, or stop returning this id) to disarm —\n * the reconcile pass calls the cleanup, clearing the pending timer before it\n * fires. That is the \"cancel on state exit\" lifecycle, identical to\n * `fromTimeout`'s.\n *\n * @param id   Stable identity for this deadline. Same `id` across transitions =\n *             same armed timer (no churn). Use distinct ids for distinct\n *             deadlines on the same machine.\n * @param atMs Absolute target in epoch milliseconds (e.g. `Date.now() + 900_000`\n *             for a 15-minute guard, or a persisted `expiresAt`).\n * @param opts Optional additive fields folded onto the Sub literal (see\n *             {@link DeadlineOpts}). Omit it for the common case; pass it when a\n *             future field (e.g. `repeatMs`) needs to ride on the deadline. The\n *             optionality is the future-proofing seam — extending the shape\n *             never breaks an existing `deadlineSub(id, atMs)` call site.\n */\nexport function deadlineSub(\n  id: string,\n  atMs: number,\n  opts?: DeadlineOpts,\n): DeadlineSub {\n  return { ...opts, id: subId(id), type: \"deadline\", atMs };\n}\n\n/**\n * The host-plugged timer backing. Given the deadline's stable `id`, its\n * absolute `atMs`, and the Msg to fire, arm the platform-appropriate timer\n * (DO alarm registry, `setTimeout`, fake timer) and return a cleanup that\n * cancels the pending fire.\n *\n * `id` is the Sub's reconcile id — a registry-backed host (the DO alarm slot)\n * keys its entry on `id` so the cleanup deletes the EXACT entry the substrate\n * reconciled. A `setTimeout`-backed host ignores `id` (the closure holds the\n * handle).\n *\n * The host computes the gap itself: `atMs - Date.now()` is the REMAINING time.\n * On a host that just rehydrated after hibernation that gap is the shrunken\n * remainder — the deadline is NOT reset to its full length. That recomputation\n * is the reason `atMs` rides on the Sub as an absolute instant rather than a\n * delay: the anchor is what every backing agrees on.\n */\nexport type ArmTimer<M> = (\n  id: SubId,\n  atMs: number,\n  msg: M,\n  dispatch: (msg: M) => void,\n) => () => void;\n\n/**\n * Build the `subscribe[\"deadline\"]` cell from a host-plugged `armTimer`. This\n * module owns the Sub shape, the anchor, and the Msg; the HOST owns what backs\n * the timer. The returned handler reads `id` + `atMs` off the Sub, builds the\n * `deadlineExceeded(...)` Msg, and hands all three to `armTimer`.\n *\n * Use it when `setTimeout` is the wrong backing — most concretely a Durable\n * Object, which hibernates and must register a `do_alarm` instead:\n *\n *   subscribe: {\n *     deadline: subscribeWith((id, atMs, msg, dispatch) =>\n *       alarms.register(id, atMs, () => dispatch(msg)),\n *     ),\n *   }\n *\n * For the `setTimeout` default, use {@link subscribeDeadline} — it is exactly\n * `subscribeWith(setTimeoutArmTimer())`, so there is one deadline surface and\n * one anchor, not a second one per host.\n */\nexport function subscribeWith(\n  armTimer: ArmTimer<DeadlineExceeded>,\n): SubscribeHandler<DeadlineSub, DeadlineExceeded, unknown> {\n  return (sub, _ctx, dispatch) =>\n    armTimer(sub.id, sub.atMs, deadlineExceeded(sub.id, sub.atMs), dispatch);\n}\n\n/**\n * The `setTimeout` timer backing — for node / browser / any host whose timer is\n * a plain `setTimeout`. Arms for the REMAINING time (`max(0, atMs - Date.now())`,\n * floored at 0 so an already-past deadline fires on the NEXT tick rather than\n * synchronously inside the reconcile pass), so a deadline re-derived after a\n * rehydrate fires at the original instant, not a fresh full window.\n *\n * Composes on `fromTimeout` rather than redrawing `setTimeout` /\n * `clearTimeout`: this package has ONE timer lifecycle, and the arm-timer seam\n * plugs into it instead of forking it. A hibernating host does NOT use this —\n * it plugs its own `armTimer` (a `do_alarm` registration) into\n * {@link subscribeWith}.\n */\nexport function setTimeoutArmTimer(): ArmTimer<DeadlineExceeded> {\n  return (id, atMs, msg, dispatch) => {\n    // Recompute the remaining delay from the CURRENT clock so a late subscribe\n    // (post-rehydrate) still targets the correct absolute moment.\n    const delayMs = Math.max(0, atMs - Date.now());\n    return fromTimeout<Sub<\"deadline\"> & { delayMs: number }, DeadlineExceeded>(\n      () => msg,\n    )({ id, type: \"deadline\", delayMs }, undefined, dispatch);\n  };\n}\n\n/**\n * The `subscribe[\"deadline\"]` cell for the DEFAULT `setTimeout` backing. Arms a\n * one-shot timer for the remaining delay `max(0, atMs - Date.now())` and\n * dispatches `deadlineExceeded(...)` when it fires; returns a cleanup that\n * clears the pending timer.\n *\n * It is `subscribeWith(setTimeoutArmTimer())` — the default backing named, not\n * a separate implementation, so the host-plugged path and the default path can\n * never disagree about the anchor.\n *\n * Assign directly to a `Subscribe` cell:\n *\n *   subscribe: {\n *     deadline: subscribeDeadline,\n *   }\n */\nexport const subscribeDeadline: SubscribeHandler<\n  DeadlineSub,\n  DeadlineExceeded,\n  unknown\n> = subscribeWith(setTimeoutArmTimer());\n\n/**\n * Construct the Msg the deadline dispatches. Exported so consumers can build /\n * assert the same shape (and so the subscribe cell and tests share one\n * constructor rather than two literals that can drift).\n */\nexport function deadlineExceeded(id: string, atMs: number): DeadlineExceeded {\n  return { type: \"deadline_exceeded\", id, atMs };\n}\n"]}

package/dist/chunk-JP5D6GSL.js

@@ -1,71 +0,0 @@
-import { replay } from './chunk-5EHLEUTL.js';
-import { applyCell } from './chunk-B5VXOFMZ.js';
-import * as fc from 'fast-check';
-
-// src/pbt/runners/replay-fold.ts
-function foldEvents(machine, ctx, loaded, msgs) {
-  const { state: initialState } = replay(machine, {
-    msgs: [],
-    ctx,
-    loaded: loaded ?? null
-  });
-  const states = [initialState];
-  const steps = [];
-  let current = initialState;
-  for (const msg of msgs) {
-    const [next, emitted] = applyCell(machine, current, msg);
-    steps.push({ prev: current, msg, next, cmds: [...emitted] });
-    states.push(next);
-    current = next;
-  }
-  return { states, steps, finalState: current };
-}
-
-// src/pbt/runners/property.ts
-function resolveFcParams(opts) {
-  return {
-    numRuns: opts?.numRuns ?? 200,
-    ...opts?.seed !== void 0 ? { seed: opts.seed } : {}
-  };
-}
-function runProperty(machine, ctx, seqArb, opts, check) {
-  fc.assert(
-    fc.property(seqArb, (msgs) => {
-      check(foldEvents(machine, ctx, opts?.loaded ?? null, msgs));
-    }),
-    resolveFcParams(opts)
-  );
-}
-function propertyTerminates(machine, ctx, seqArb, terminal, opts) {
-  runProperty(machine, ctx, seqArb, opts, ({ finalState }) => {
-    if (!terminal(finalState)) {
-      throw new Error(
-        `propertyTerminates: final state did not match terminal predicate. Final: ${JSON.stringify(finalState)}`
-      );
-    }
-  });
-}
-function propertyInvariant(machine, ctx, seqArb, invariant, opts) {
-  runProperty(machine, ctx, seqArb, opts, ({ steps }) => {
-    for (const step of steps) {
-      if (!invariant(step)) {
-        throw new Error(
-          `propertyInvariant: failed at step msg=${JSON.stringify(step.msg)} prev=${JSON.stringify(step.prev)} next=${JSON.stringify(step.next)} cmds=${JSON.stringify(step.cmds)}`
-        );
-      }
-    }
-  });
-}
-function propertyTrace(machine, ctx, seqArb, predicate, opts) {
-  runProperty(machine, ctx, seqArb, opts, ({ steps, finalState }) => {
-    if (!predicate(steps, finalState)) {
-      throw new Error(
-        `propertyTrace: predicate failed on trace length=${steps.length}, final=${JSON.stringify(finalState)}`
-      );
-    }
-  });
-}
-
-export { foldEvents, propertyInvariant, propertyTerminates, propertyTrace };
-//# sourceMappingURL=chunk-JP5D6GSL.js.map
-//# sourceMappingURL=chunk-JP5D6GSL.js.map