@demlik/tea 0.13.0 → 0.14.0

package/dist/chunk-7FRZ2CT2.js

@@ -1,424 +0,0 @@
-import { describeChart, describeReducerChart, inspectState, inspectReducerState, captureCmds } from './chunk-3ZAFFRRB.js';
-import { compile, initFrom, compileReducer, reducerInitFrom, chartMermaid, reducerMermaid } from './chunk-YWIKDKHY.js';
-import { recorder } from './chunk-MUUROGIH.js';
-import { run, replay } from './chunk-ZSUUOEPL.js';
-import { useMsgHistory, StateInspector, StateDiff, MsgLog } from './chunk-WRAA7GVZ.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-7FRZ2CT2.js.map
-//# sourceMappingURL=chunk-7FRZ2CT2.js.map

package/dist/chunk-7FRZ2CT2.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/chart/inspect/react.tsx"],"names":[],"mappings":";;;;;;;;AA8LO,SAAS,mBAAA,CAMd,OAAA,EAEA,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,EAAI,GAAI,mBAAA;AAAA,IAClB,OAAA;AAAA,IACA,GAAA;AAAA,IACA;AAAA,GACF;AAEA,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,EAAI,GAAI,mBAAA;AAAA,IAClB,OAAA;AAAA,IACA,GAAA;AAAA,IACA;AAAA,GACF;AAEA,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-7FRZ2CT2.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, RequiredCtx, 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  // What `run` demands: the machine's ctx plus every typed Cmd's `R`.\n  ctx: Ctx & RequiredCtx<K>,\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(\n    machine,\n    ctx as Ctx & RequiredCtx<K>,\n    epoch,\n  );\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(\n    machine,\n    ctx as Ctx & RequiredCtx<K>,\n    epoch,\n  );\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-AZZLE7XR.js

@@ -1,62 +0,0 @@
-import * as fc from 'fast-check';
-
-// src/pbt/arbitraries/ctx.ts
-function stubCtxThrowingProxy() {
-  const handler = {
-    get(_target, prop) {
-      if (typeof prop === "symbol") return void 0;
-      if (prop === "toJSON" || prop === "toString" || prop === "valueOf" || prop === "then") {
-        return void 0;
-      }
-      throw new Error(
-        `@demlik/tea/pbt: ctx access denied (PBT operates on the pure reducer; ctx field '${prop}' was read). Pass a real ctx value if the reducer's init reads from ctx.`
-      );
-    },
-    has() {
-      return false;
-    },
-    ownKeys() {
-      return [];
-    }
-  };
-  return new Proxy({}, handler);
-}
-function arbMsg(table, opts) {
-  const weights = opts?.weights;
-  const entries = Object.entries(table);
-  if (entries.length === 0) {
-    throw new Error("@demlik/tea/pbt: arbMsg table is empty");
-  }
-  const weighted = entries.map(([key, arb]) => ({
-    arbitrary: arb,
-    weight: weights?.[key] ?? 1
-  }));
-  return fc.oneof(...weighted);
-}
-function arbConstantMsg(type) {
-  return fc.constant({ type });
-}
-function arbRecordMsg(type, fields) {
-  const recordArbitraries = {
-    type: fc.constant(type),
-    ...fields
-  };
-  return fc.record(recordArbitraries);
-}
-function arbMsgSequence(msgArb, opts) {
-  const minLength = opts?.minLength ?? 0;
-  const maxLength = opts?.maxLength ?? 30;
-  const prefix = opts?.prefix ?? [];
-  const tail = fc.array(msgArb, { minLength, maxLength });
-  if (prefix.length === 0) return tail;
-  return tail.map((arr) => [...prefix, ...arr]);
-}
-function arbGuidedSequence(_machine, _ctx, _cells, _opts) {
-  throw new Error(
-    "@demlik/tea/pbt: arbGuidedSequence is not implemented in v1. Use arbMsgSequence with an unguided arbMsg table for now; states that don't accept a given msg should noop in the reducer (mapped-type discipline)."
-  );
-}
-
-export { arbConstantMsg, arbGuidedSequence, arbMsg, arbMsgSequence, arbRecordMsg, stubCtxThrowingProxy };
-//# sourceMappingURL=chunk-AZZLE7XR.js.map
-//# sourceMappingURL=chunk-AZZLE7XR.js.map

package/dist/chunk-AZZLE7XR.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/pbt/arbitraries/ctx.ts","../src/pbt/arbitraries/msg.ts","../src/pbt/arbitraries/sequence.ts"],"names":["fc2"],"mappings":";;;AAyCO,SAAS,oBAAA,GAAiC;AAC/C,EAAA,MAAM,OAAA,GAAgC;AAAA,IACpC,GAAA,CAAI,SAAS,IAAA,EAAgC;AAK3C,MAAA,IAAI,OAAO,IAAA,KAAS,QAAA,EAAU,OAAO,MAAA;AAKrC,MAAA,IACE,SAAS,QAAA,IACT,IAAA,KAAS,cACT,IAAA,KAAS,SAAA,IACT,SAAS,MAAA,EACT;AACA,QAAA,OAAO,MAAA;AAAA,MACT;AACA,MAAA,MAAM,IAAI,KAAA;AAAA,QACR,oFACgB,IAAI,CAAA,wEAAA;AAAA,OAEtB;AAAA,IACF,CAAA;AAAA,IACA,GAAA,GAAe;AACb,MAAA,OAAO,KAAA;AAAA,IACT,CAAA;AAAA,IACA,OAAA,GAAsC;AACpC,MAAA,OAAO,EAAC;AAAA,IACV;AAAA,GACF;AACA,EAAA,OAAO,IAAI,KAAA,CAAM,EAAC,EAAG,OAAO,CAAA;AAC9B;ACfO,SAAS,MAAA,CACd,OACA,IAAA,EACiB;AACjB,EAAA,MAAM,UAAU,IAAA,EAAM,OAAA;AACtB,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA;AACpC,EAAA,IAAI,OAAA,CAAQ,WAAW,CAAA,EAAG;AACxB,IAAA,MAAM,IAAI,MAAM,wCAAwC,CAAA;AAAA,EAC1D;AACA,EAAA,MAAM,WAAW,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,GAAG,CAAA,MAAO;AAAA,IAC5C,SAAA,EAAW,GAAA;AAAA,IACX,MAAA,EAAQ,OAAA,GAAU,GAAG,CAAA,IAAK;AAAA,GAC5B,CAAE,CAAA;AACF,EAAA,OAAU,EAAA,CAAA,KAAA,CAAM,GAAG,QAAQ,CAAA;AAC7B;AASO,SAAS,eACd,IAAA,EAC2B;AAC3B,EAAA,OAAU,EAAA,CAAA,QAAA,CAAS,EAAE,IAAA,EAAM,CAAA;AAC7B;AAWO,SAAS,YAAA,CACd,MACA,MAAA,EAC+B;AAa/B,EAAA,MAAM,iBAAA,GAA2D;AAAA,IAC/D,IAAA,EAAS,YAAS,IAAI,CAAA;AAAA,IACtB,GAAI;AAAA,GACN;AACA,EAAA,OAAU,UAAO,iBAAiB,CAAA;AAGpC;ACvFO,SAAS,cAAA,CACd,QACA,IAAA,EAK4B;AAC5B,EAAA,MAAM,SAAA,GAAY,MAAM,SAAA,IAAa,CAAA;AACrC,EAAA,MAAM,SAAA,GAAY,MAAM,SAAA,IAAa,EAAA;AACrC,EAAA,MAAM,MAAA,GAAS,IAAA,EAAM,MAAA,IAAU,EAAC;AAChC,EAAA,MAAM,OAAUA,EAAA,CAAA,KAAA,CAAM,MAAA,EAAQ,EAAE,SAAA,EAAW,WAAW,CAAA;AACtD,EAAA,IAAI,MAAA,CAAO,MAAA,KAAW,CAAA,EAAG,OAAO,IAAA;AAChC,EAAA,OAAO,IAAA,CAAK,IAAI,CAAC,GAAA,KAAQ,CAAC,GAAG,MAAA,EAAQ,GAAG,GAAG,CAAC,CAAA;AAC9C;AAWO,SAAS,iBAAA,CAOd,QAAA,EACA,IAAA,EACA,MAAA,EAKA,KAAA,EAC4B;AAC5B,EAAA,MAAM,IAAI,KAAA;AAAA,IACR;AAAA,GAIF;AACF","file":"chunk-AZZLE7XR.js","sourcesContent":["// ---------------------------------------------------------------------------\n// `stubCtxThrowingProxy<Ctx>()` — a Proxy that satisfies the Ctx type-shape\n// at compile time but throws on every property access at runtime.\n//\n// Why this exists: PBT runs the pure reducer surface ONLY — `replay` never\n// invokes `interpret` and never starts a Sub, so Ctx should never be\n// dereferenced during property generation. But the substrate's `replay`\n// signature requires a `ctx: Ctx` value at compile time (it forwards ctx\n// into `init`, which on some machines IS pure but on others reads ctx). A\n// hand-rolled `{} as Ctx` would silently pass through any accidental ctx\n// access — exactly the silent footgun this proxy catches.\n//\n// Open question 2 (design doc): we ship this as the default. Tests that\n// genuinely need a working ctx (because their `init` reads from it) can\n// pass a real ctx value instead — the proxy is opt-in, not load-bearing.\n//\n// Strengthens invariant 6 (no silent failures — accidental ctx reads\n// produce a useful error, not a `undefined.foo` confusion later).\n// ---------------------------------------------------------------------------\n\n/**\n * Build a Ctx value whose every property access throws. Use as the `ctx`\n * argument to PBT runners when the reducer under test is pure (does not\n * read from ctx). Accidental ctx access during property generation\n * surfaces as a labelled error instead of a silent `undefined` or\n * downstream type-error.\n *\n * Returns a typed `Ctx` (via `as unknown as Ctx`) — the proxy satisfies the\n * type-shape requirement at the call site; the runtime contract is\n * \"throw on first read.\" The `as unknown` cast is the one boundary cast\n * this helper requires; the proxy is structurally a `Ctx` for every\n * property accessor.\n *\n * @example\n *   import { stubCtxThrowingProxy } from \"../index\";\n *   const ctx = stubCtxThrowingProxy<MyCtx>();\n *   propertyTerminates(machine, ctx, ...);\n *   // If anything reads ctx.someField during the run, an Error throws:\n *   //   \"@demlik/tea/pbt: ctx access denied (PBT operates on the pure\n *   //    reducer; ctx field 'someField' was read)\"\n */\nexport function stubCtxThrowingProxy<Ctx>(): Ctx {\n  const handler: ProxyHandler<object> = {\n    get(_target, prop: string | symbol): unknown {\n      // Allow vitest / fast-check internals to introspect via Symbol-keyed\n      // checks (e.g. Symbol.toStringTag, Symbol.iterator). Returning\n      // undefined on symbol keys keeps property-tree walks cheap; the\n      // throw fires on real domain field reads.\n      if (typeof prop === \"symbol\") return undefined;\n      // Some shrinkers / pretty-printers in fast-check probe a small set\n      // of conventional field names (`toJSON`, `toString`, `valueOf`,\n      // `then` — the last for thenable-check). Return undefined for those\n      // so the proxy doesn't fail a probe before the property body runs.\n      if (\n        prop === \"toJSON\" ||\n        prop === \"toString\" ||\n        prop === \"valueOf\" ||\n        prop === \"then\"\n      ) {\n        return undefined;\n      }\n      throw new Error(\n        `@demlik/tea/pbt: ctx access denied (PBT operates on the pure reducer; ` +\n          `ctx field '${prop}' was read). Pass a real ctx value if the reducer's ` +\n          `init reads from ctx.`,\n      );\n    },\n    has(): boolean {\n      return false;\n    },\n    ownKeys(): ArrayLike<string | symbol> {\n      return [];\n    },\n  };\n  return new Proxy({}, handler) as unknown as Ctx;\n}\n","// ---------------------------------------------------------------------------\n// Msg arbitrary builders.\n//\n// `MsgArbitraryTable<M>` is a strict mapped type — every Msg variant must\n// have an arbitrary entry, keyed by `M[\"type\"]`, narrowing the arbitrary's\n// `T` to `Extract<M, { type: K }>`. This mirrors the load-bearing discipline\n// of `Reducer<S, M, C>` and `Transitions<S, M, C>` in the substrate: adding\n// a Msg variant without an arbitrary fails to compile, not at runtime.\n//\n// `arbMsg(table, opts?)` collapses the table into a single `fc.Arbitrary<M>`\n// via `fc.oneof`. Optional per-variant weighting for sequence-skew tests.\n//\n// `arbConstantMsg(type)` / `arbRecordMsg(type, fields)` are sugar over\n// `fc.constant({ type })` / `fc.record({ type: fc.constant(type), ...fields })`.\n// They exist because every Msg variant arbitrary either (a) carries no\n// payload — `arbConstantMsg(\"stop\")` — or (b) carries a record of fields —\n// `arbRecordMsg(\"tick\", { now: fc.integer() })`. Naming the two shapes\n// prevents callers from hand-rolling `fc.record({ type: fc.constant(\"...\") })`\n// inconsistently across test files.\n//\n// Open question 1 from the design doc (strict vs Partial table): strict by\n// default. The mapped type catches drift at compile time; `arbMsgPartial`\n// sugar is a future addition iff friction becomes real.\n// ---------------------------------------------------------------------------\n\nimport * as fc from \"fast-check\";\n\n/**\n * Strict per-variant Msg arbitrary table. Mapped type: every key in\n * `M[\"type\"]` MUST have an arbitrary entry whose `T` is the narrowed\n * variant. Adding a new Msg variant without an entry is a compile error\n * (same load-bearing discipline as `Reducer<S, M, C>` in the substrate).\n *\n * @example\n *   type Msg = { type: \"start\" } | { type: \"tick\"; now: number };\n *   const table: MsgArbitraryTable<Msg> = {\n *     start: arbConstantMsg(\"start\"),\n *     tick: arbRecordMsg(\"tick\", { now: fc.integer({ min: 0 }) }),\n *   };\n */\nexport type MsgArbitraryTable<M extends { type: string }> = {\n  [K in M[\"type\"]]: fc.Arbitrary<Extract<M, { type: K }>>;\n};\n\n/**\n * Build a single `fc.Arbitrary<M>` from a `MsgArbitraryTable<M>`. Picks one\n * variant per generation via `fc.oneof`; optional per-variant `weights`\n * bias the distribution (default uniform).\n *\n * @param table   Per-variant arbitrary table (strict — every variant required).\n * @param opts    Optional bias: `weights` is a `Partial<Record<M[\"type\"], number>>`.\n *                Variants without an explicit weight default to 1.\n *\n * @example\n *   const msgArb = arbMsg<Msg>({\n *     start: arbConstantMsg(\"start\"),\n *     tick:  arbRecordMsg(\"tick\", { now: fc.integer() }),\n *     stop:  arbConstantMsg(\"stop\"),\n *   }, { weights: { tick: 5, start: 1, stop: 1 } });\n */\nexport function arbMsg<M extends { type: string }>(\n  table: MsgArbitraryTable<M>,\n  opts?: { weights?: Partial<Record<M[\"type\"], number>> },\n): fc.Arbitrary<M> {\n  const weights = opts?.weights;\n  const entries = Object.entries(table) as [M[\"type\"], fc.Arbitrary<M>][];\n  if (entries.length === 0) {\n    throw new Error(\"@demlik/tea/pbt: arbMsg table is empty\");\n  }\n  const weighted = entries.map(([key, arb]) => ({\n    arbitrary: arb,\n    weight: weights?.[key] ?? 1,\n  }));\n  return fc.oneof(...weighted);\n}\n\n/**\n * Build a payload-free Msg variant arbitrary. Sugar for\n * `fc.constant({ type })` that narrows the result to `{ type: T }` literal.\n *\n * @example\n *   arbConstantMsg(\"stop\") // fc.Arbitrary<{ type: \"stop\" }>\n */\nexport function arbConstantMsg<T extends string>(\n  type: T,\n): fc.Arbitrary<{ type: T }> {\n  return fc.constant({ type });\n}\n\n/**\n * Build a record-shaped Msg variant arbitrary. Sugar for\n * `fc.record({ type: fc.constant(type), ...fields })` that stamps the\n * discriminator literal and combines with the per-field arbitraries.\n *\n * @example\n *   arbRecordMsg(\"tick\", { now: fc.integer({ min: 0 }) })\n *   // fc.Arbitrary<{ type: \"tick\"; now: number }>\n */\nexport function arbRecordMsg<T extends string, R>(\n  type: T,\n  fields: { [K in keyof R]: fc.Arbitrary<R[K]> },\n): fc.Arbitrary<{ type: T } & R> {\n  // `fc.record` builds an arbitrary of the merged-shape record. The\n  // `type: fc.constant(type)` field stamps the literal discriminator;\n  // the spread of `fields` provides every payload field's arbitrary.\n  //\n  // The intermediate `as Record<string, fc.Arbitrary<unknown>>` is the\n  // single load-bearing cast — fc.record's parameter type is invariant in\n  // its inferred field shape, and the merged literal-and-generic spread\n  // doesn't unify with the strict `{ [K in keyof R]: Arbitrary<R[K]> }`\n  // shape TS computes for us. The outer cast to `fc.Arbitrary<{ type: T }\n  // & R>` restates the result shape we know to be correct at this\n  // boundary. Mirrors the same discipline `fc.record` callers use\n  // throughout the prior-art branch.\n  const recordArbitraries: Record<string, fc.Arbitrary<unknown>> = {\n    type: fc.constant(type),\n    ...(fields as Record<string, fc.Arbitrary<unknown>>),\n  };\n  return fc.record(recordArbitraries) as unknown as fc.Arbitrary<\n    { type: T } & R\n  >;\n}\n","// ---------------------------------------------------------------------------\n// Msg-sequence arbitraries.\n//\n// `arbMsgSequence(msgArb, opts)` produces `fc.Arbitrary<readonly M[]>` —\n// fast-check's default-shrinker handles the array; the per-element shrinker\n// inside `msgArb` shrinks each variant. Optional `prefix` is prepended\n// verbatim (used by Test A: \"the bug-triggering Msg leads the sequence\").\n//\n// `arbGuidedSequence` is the state-aware sequence builder. In v1 it throws\n// — Phase 6 of the design doc lands the `fc.commands`-backed implementation.\n// The export exists today so the surface is forward-compatible: consumers\n// that need state-aware generation get a useful error pointing at the\n// design doc instead of \"is not a function.\"\n// ---------------------------------------------------------------------------\n\nimport * as fc from \"fast-check\";\nimport type { Cmd, Machine, Sub } from \"../../index\";\n\n/**\n * Build an arbitrary of Msg sequences over a per-Msg arbitrary. Optionally\n * bounded in length and / or prefixed with a fixed sequence.\n *\n * - `minLength` (default 0) and `maxLength` (default 30) bound the random\n *   array length. `prefix` is prepended AFTER the random tail is built; the\n *   final length is `prefix.length + tail.length`.\n * - `prefix` is the load-bearing escape hatch for \"the first msg is the\n *   one that exercises the cell I care about\" (e.g. Test A's\n *   `[{ type: \"ws:client:hello\" }]` prefix to land in the\n *   `auditing.ws:client:hello` cell on the first transition).\n *\n * @example\n *   arbMsgSequence(msgArb, { minLength: 1, maxLength: 30 });\n *   arbMsgSequence(msgArb, { prefix: [{ type: \"ws:client:hello\" }], maxLength: 20 });\n */\nexport function arbMsgSequence<M extends { type: string }>(\n  msgArb: fc.Arbitrary<M>,\n  opts?: {\n    readonly minLength?: number;\n    readonly maxLength?: number;\n    readonly prefix?: readonly NoInfer<M>[];\n  },\n): fc.Arbitrary<readonly M[]> {\n  const minLength = opts?.minLength ?? 0;\n  const maxLength = opts?.maxLength ?? 30;\n  const prefix = opts?.prefix ?? [];\n  const tail = fc.array(msgArb, { minLength, maxLength });\n  if (prefix.length === 0) return tail;\n  return tail.map((arr) => [...prefix, ...arr]);\n}\n\n/**\n * State-aware Msg sequence arbitrary — generates only msgs whose\n * precondition holds in the current state. Backed by `fc.commands`\n * internally. Planned for a later phase.\n *\n * **NOT IMPLEMENTED IN v1.** The export exists today so the surface is\n * forward-compatible; this ships in a later phase alongside\n * shrinkers. Calling it throws.\n */\nexport function arbGuidedSequence<\n  S,\n  M extends { type: string },\n  C extends Cmd,\n  U extends Sub,\n  Ctx,\n>(\n  _machine: Machine<S, M, C, U, Ctx>,\n  _ctx: Ctx,\n  _cells: {\n    [K in M[\"type\"]]?: (\n      state: S,\n    ) => fc.Arbitrary<Extract<M, { type: K }>> | null;\n  },\n  _opts?: { maxLength?: number },\n): fc.Arbitrary<readonly M[]> {\n  throw new Error(\n    \"@demlik/tea/pbt: arbGuidedSequence is not implemented in v1. \" +\n      \"Use arbMsgSequence with \" +\n      \"an unguided arbMsg table for now; states that don't accept a given \" +\n      \"msg should noop in the reducer (mapped-type discipline).\",\n  );\n}\n"]}

package/dist/chunk-BYQUGDD3.js

@@ -1,16 +0,0 @@
-import { evictExpired, remember, recall, seen, initStore } from './chunk-K575PT4S.js';
-
-// src/idempotency/adapter.ts
-function idempotencyMemory() {
-  return {
-    init: (opts) => initStore(opts),
-    isSeen: (store, key, now) => seen(store, key, now),
-    recall: (store, key, now) => recall(store, key, now),
-    remember: (store, key, value, now) => remember(store, key, value, now),
-    evict: (store, now) => evictExpired(store, now)
-  };
-}
-
-export { idempotencyMemory };
-//# sourceMappingURL=chunk-BYQUGDD3.js.map
-//# sourceMappingURL=chunk-BYQUGDD3.js.map