@cotal-ai/lang 0.23.0 → 0.25.0

package/README.md

@@ -0,0 +1,68 @@
+# @cotal-ai/lang
+
+Cotal Lang, the workflow language a durable Cotal run executes: a small subset of JavaScript in
+which every interaction with the world is one of a dozen effects and everything else is pure. This
+package is the validator, the interpreter, the step journal, the effect interface a host
+implements, and the simulator and dry run that exercise a program with no broker.
+
+**Tier:** `packages/` (the standard). Depends on nothing else in the repo; it knows about effects,
+not about NATS. The host that runs a program on the mesh is `@cotal-ai/runtime`.
+
+**Two engines.** `run`/`resume` are the tree-walker, language version `1`, and it stays the replay
+engine for every run recorded under it. `engine/` is version `2`: a different language, not a faster
+one, and the one fresh driver runs execute on. Each engine stamps the pins it resolves with its own
+version and compares a recorded version against its own, which is why `WALKER_LANGUAGE_VERSION` and
+`ENGINE_LANGUAGE_VERSION` are two constants and `LANGUAGE_VERSION` is an alias for the current
+language, the engine's. A record binds only under the engine that wrote it (L5008). The engine
+requires node 22 or newer and refuses below it with L1000, an implementation limit that is
+deliberately not in the error catalog. A host runs a program in the engine's worker thread with the
+handler either built inside it from cloneable config, or — when the handler is a live object, as a
+driver's is — kept in the host with the effect seam bridged over a message port (`engine/bridge.ts`).
+
+The language is defined by [`spec/cotal-lang.md`](../../spec/cotal-lang.md) (normative; every
+`js` block in it is validated by this package's surface suite) and its wire footprint by
+[SPEC.md §14](../../SPEC.md#14-workflow-runs-v05). The guide is
+[docs/workflows.md](../../docs/workflows.md).
+
+## Use
+
+```ts
+import { validate, run, dryRun, SimHandler, Journal } from "@cotal-ai/lang";
+
+const source = `
+const builder = await spawn("builder")
+const r = await turn(builder, { name: "build", deadline: "30m" })
+log(r.status)
+`;
+
+validate(source);                       // throws LangErrors, every refusal with code, cause, fix
+
+const script = { turns: { build: { status: "done", at: 1 } } };
+const plan = await dryRun(source, script);   // what it would do, with no agent touched
+
+const first = await run(source, { runId: "r-1", handler: new SimHandler(script) });
+// first.journal.entries() is the step journal; first.pins is what a resume must be handed back.
+
+const again = await run(source, {
+  runId: "r-1",
+  pins: first.pins,
+  journal: new Journal({ run: "r-1", entries: first.journal.entries() }),
+  handler: new SimHandler({}),          // nothing is scripted: every step replays
+});
+```
+
+`run` performs effects through the `EffectHandler` you pass and records each in the `Journal`;
+hand the same journal and pins back and the same program resumes. `SimHandler` scripts turns, asks,
+checkpoints and events and refuses anything unscripted (L6001), so a simulation cannot silently
+invent an answer. It does advance ONE virtual clock in the order effects are asked, so a `race` under
+it is decided by that order and declaration order rather than by the durations the arms wrote; the
+rule (least recorded clock, ties by declaration order) is what is applied, the clocks are the
+simulator's.
+
+## Suites
+
+`pnpm test` in this directory runs every smoke: grammar, keys, journal, pins, scopes, sim,
+interpret, fuel, dryrun, examples, options, notify-fact, migrate, semantics (the pure fragment
+against node) and surface (the syntax table, the library tables, and that every example in the
+reference and the guide validates).
+`smoke/mutations/*.json` are the `pnpm mutation-proof` targets.

package/dist/effects.d.ts

@@ -154,6 +154,25 @@ export declare class Cancelled extends Error {
     readonly reason: string;
     constructor(reason: string);
 }
+/**
+ * The host is stopping before the next effect, and the program is not at fault.
+ *
+ * A driver holds a run under a lease with an absolute horizon, and it may be asked to hand the run
+ * back. Neither is a fact about the workflow: it has not failed and it has not finished, it is
+ * exactly where its journal says it is. So this is raised BEFORE an effect is begun — never once a
+ * handler has been dispatched — and it travels like {@link Cancelled} and `JournalAppendRejected`:
+ * a workflow's `try` cannot catch it. A program that could catch its host's shutdown could carry on
+ * performing effects after the horizon it was granted, which is the thing the stop exists to end.
+ *
+ * The language raises it; it never accepts it from outside. A caller answers only "should I stop,
+ * and why" — if a driver could throw the class itself it could also throw something catchable, and
+ * the guarantee would be the caller's to keep rather than the language's.
+ */
+export declare class RunReleased extends Error {
+    readonly reason: string;
+    readonly code = "L5012";
+    constructor(reason: string);
+}
 /**
  * Raw outcome to what the program sees, computed from TODAY's source.
  *

package/dist/effects.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;AAExD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;;;;;;;OASG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,kEAAkE;AAClE,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1G;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,mFAAmF;AACnF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;CACvE;AAID,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,mGAAmG;IACnG,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;CACvC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACpD,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAID,+EAA+E;AAC/E,qBAAa,WAAY,SAAQ,KAAK;IAElC,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM;IAErB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAH1C,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM,EACN,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,YAAA;CAKtD;AAED,oFAAoF;AACpF,qBAAa,SAAU,SAAQ,KAAK;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAAd,MAAM,EAAE,MAAM;CAIpC;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,aAAa,EAClB,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GACpD,qBAAqB,CAqBvB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,GAAG,IAAI,CAAC;CAC9C;AAED,MAAM,WAAW,aAAa;IAC5B,0FAA0F;IAC1F,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;;;OAOG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD;;;;;;;OAOG;IACH,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAClE;AAED,MAAM,WAAW,aAAa;IAC5B;;;;;;OAMG;IACH,GAAG,IAAI,MAAM,CAAC;IAEd,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACxE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IACrE,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3D,UAAU,CAAC,GAAG,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC/E,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IACpE,MAAM,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACpF,aAAa,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACxE"}
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;AAExD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;;;;;;;OASG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,kEAAkE;AAClE,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1G;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,mFAAmF;AACnF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;CACvE;AAID,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,mGAAmG;IACnG,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;CACvC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;IACpD,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAID,+EAA+E;AAC/E,qBAAa,WAAY,SAAQ,KAAK;IAElC,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM;IAErB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAH1C,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM,EACN,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,YAAA;CAKtD;AAED,oFAAoF;AACpF,qBAAa,SAAU,SAAQ,KAAK;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAAd,MAAM,EAAE,MAAM;CAIpC;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,WAAY,SAAQ,KAAK;IAGxB,QAAQ,CAAC,MAAM,EAAE,MAAM;IAFnC,QAAQ,CAAC,IAAI,WAAW;gBAEH,MAAM,EAAE,MAAM;CAIpC;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,aAAa,EAClB,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GACpD,qBAAqB,CAqBvB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,GAAG,IAAI,CAAC;CAC9C;AAED,MAAM,WAAW,aAAa;IAC5B,0FAA0F;IAC1F,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;;;OAOG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD;;;;;;;OAOG;IACH,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAClE;AAED,MAAM,WAAW,aAAa;IAC5B;;;;;;OAMG;IACH,GAAG,IAAI,MAAM,CAAC;IAEd,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACxE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IACrE,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3D,UAAU,CAAC,GAAG,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC/E,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IACpE,MAAM,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACpF,aAAa,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACxE"}

package/dist/effects.js

@@ -32,6 +32,29 @@ export class Cancelled extends Error {
         this.name = "Cancelled";
     }
 }
+/**
+ * The host is stopping before the next effect, and the program is not at fault.
+ *
+ * A driver holds a run under a lease with an absolute horizon, and it may be asked to hand the run
+ * back. Neither is a fact about the workflow: it has not failed and it has not finished, it is
+ * exactly where its journal says it is. So this is raised BEFORE an effect is begun — never once a
+ * handler has been dispatched — and it travels like {@link Cancelled} and `JournalAppendRejected`:
+ * a workflow's `try` cannot catch it. A program that could catch its host's shutdown could carry on
+ * performing effects after the horizon it was granted, which is the thing the stop exists to end.
+ *
+ * The language raises it; it never accepts it from outside. A caller answers only "should I stop,
+ * and why" — if a driver could throw the class itself it could also throw something catchable, and
+ * the guarantee would be the caller's to keep rather than the language's.
+ */
+export class RunReleased extends Error {
+    reason;
+    code = "L5012";
+    constructor(reason) {
+        super(`this run was released before its next effect: ${reason}`);
+        this.reason = reason;
+        this.name = "RunReleased";
+    }
+}
 /**
  * Raw outcome to what the program sees, computed from TODAY's source.
  *

package/dist/effects.js.map

@@ -1 +1 @@
-{"version":3,"file":"effects.js","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAiJH,kGAAkG;AAElG,+EAA+E;AAC/E,MAAM,OAAO,WAAY,SAAQ,KAAK;IAEzB;IACA;IAEA;IAJX,YACW,IAAY,EACZ,IAAY,EACrB,OAAe,EACN,MAA0C;QAEnD,KAAK,CAAC,OAAO,CAAC,CAAC;QALN,SAAI,GAAJ,IAAI,CAAQ;QACZ,SAAI,GAAJ,IAAI,CAAQ;QAEZ,WAAM,GAAN,MAAM,CAAoC;QAGnD,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,oFAAoF;AACpF,MAAM,OAAO,SAAU,SAAQ,KAAK;IACb;IAArB,YAAqB,MAAc;QACjC,KAAK,CAAC,cAAc,MAAM,EAAE,CAAC,CAAC;QADX,WAAM,GAAN,MAAM,CAAQ;QAEjC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;IAC1B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAkB,EAClB,QAAqD;IAErD,IAAI,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,EAAE,EAAE,GAAG,CAAC,EAAE;SACX,CAAC;IACJ,CAAC;IACD,8FAA8F;IAC9F,8FAA8F;IAC9F,gGAAgG;IAChG,mDAAmD;IACnD,MAAM,WAAW,GAAG,QAAQ,IAAI,MAAM,CAAC;IACvC,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;IACtG,MAAM,IAAI,WAAW,CACnB,OAAO,EACP,oBAAoB,EACpB,8RAA8R,CAC/R,CAAC;AACJ,CAAC"}
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAiJH,kGAAkG;AAElG,+EAA+E;AAC/E,MAAM,OAAO,WAAY,SAAQ,KAAK;IAEzB;IACA;IAEA;IAJX,YACW,IAAY,EACZ,IAAY,EACrB,OAAe,EACN,MAA0C;QAEnD,KAAK,CAAC,OAAO,CAAC,CAAC;QALN,SAAI,GAAJ,IAAI,CAAQ;QACZ,SAAI,GAAJ,IAAI,CAAQ;QAEZ,WAAM,GAAN,MAAM,CAAoC;QAGnD,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,oFAAoF;AACpF,MAAM,OAAO,SAAU,SAAQ,KAAK;IACb;IAArB,YAAqB,MAAc;QACjC,KAAK,CAAC,cAAc,MAAM,EAAE,CAAC,CAAC;QADX,WAAM,GAAN,MAAM,CAAQ;QAEjC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;IAC1B,CAAC;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,WAAY,SAAQ,KAAK;IAGf;IAFZ,IAAI,GAAG,OAAO,CAAC;IAExB,YAAqB,MAAc;QACjC,KAAK,CAAC,iDAAiD,MAAM,EAAE,CAAC,CAAC;QAD9C,WAAM,GAAN,MAAM,CAAQ;QAEjC,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAkB,EAClB,QAAqD;IAErD,IAAI,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,EAAE,EAAE,GAAG,CAAC,EAAE;SACX,CAAC;IACJ,CAAC;IACD,8FAA8F;IAC9F,8FAA8F;IAC9F,gGAAgG;IAChG,mDAAmD;IACnD,MAAM,WAAW,GAAG,QAAQ,IAAI,MAAM,CAAC;IACvC,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;IACtG,MAAM,IAAI,WAAW,CACnB,OAAO,EACP,oBAAoB,EACpB,8RAA8R,CAC/R,CAAC;AACJ,CAAC"}

package/dist/engine/bridge.d.ts

@@ -0,0 +1,71 @@
+/**
+ * The effect bridge: a run in the worker, its effects and its durable journal in the host.
+ *
+ * The module-named handler in `worker.ts` builds the whole effect path inside the thread, which is
+ * right when a handler CAN be built from cloneable config. A driver's handler cannot: it is a live
+ * object holding sockets, a mesh client and a lease-bound journal appender, and shipping any of
+ * that into the isolate that also holds the hostile program would put credentials one Compartment
+ * escape away from the code they exist to confine. This module is the other route: the handler and
+ * the durable store STAY IN THE HOST, and the thread forwards the seam over a MessagePort.
+ *
+ * WHY THIS IS SOUND, measured against the contracts rather than assumed: the durable half of the
+ * journal is `JournalStore.append(entry): Promise<void>`, awaited by `Journal.persist` before a
+ * key joins `order` and before any effect fires — an async contract, which a port hop preserves
+ * with the awaits lining up exactly as they line up over a PubAck today. Every `EffectHandler`
+ * member except `now()` is async for the same reason. What is genuinely synchronous is `now()`
+ * (a journal stamp) and the stop flag, and both go over shared memory: the stop buffer as it
+ * always has, the clock over a dedicated SharedArrayBuffer this module owns — post the request,
+ * `Atomics.wait`, read the answer. The handler's clock is injectable, so the bridge may not
+ * shortcut it with the thread's own `Date.now()`: a simulated clock bridged that way would run a
+ * program under two disagreeing times.
+ *
+ * WHAT CROSSES, and why every crossing is already fenced: effect requests, effect results, journal
+ * entries, a failure's `code`/`kind`/`message`/`detail`, and a bind's `external` — exactly the
+ * values the journal records, which the crossing rule (values.ts) fences at their write sites.
+ * Errors cross with their DOMAIN, because perform.ts grades the two domains differently: the host
+ * side stamps `"effect"` for an `EffectError` and `"host"` for anything else, and the thread
+ * rehydrates the real class so a bridged failure journals byte-for-byte as an in-process one.
+ *
+ * TWO CALLS RUN AGAINST THE ARROW, and both are part of the handler's contract rather than
+ * optional extras: `ctx.bind(external)` (the handler declaring the resource it just created —
+ * host → thread, because the journal it must reach lives in the thread; its durable append then
+ * comes straight back out to the host's store) and `signal.onCancel` (a race loser's cancellation
+ * — thread → host, fired at the mirror the host handler was given). The host never blocks its
+ * loop, which is what makes the one blocking wait in the thread safe: a `now()` posted while the
+ * host is mid-effect is answered by the port handler immediately, from a synchronous clock.
+ */
+import type { MessagePort } from "node:worker_threads";
+import type { EffectHandler } from "../effects.js";
+import type { JournalStore } from "../journal.js";
+/** One 16-byte SharedArrayBuffer: an Int32 answer flag at 0, the Float64 clock value at 8. */
+export declare const CLOCK_BYTES = 16;
+/**
+ * THE THREAD'S HALF: an {@link EffectHandler} and a {@link JournalStore} over the port.
+ *
+ * Owned by the worker entry. The live `EffectContext` of every in-flight effect is kept by `seq`
+ * so a host-initiated `bind` reaches the real context (and through it, the real journal), and so
+ * a cancellation fires at the host the moment the thread's signal fires.
+ */
+export declare function bridgedSeam(port: MessagePort, clock: SharedArrayBuffer): {
+    handler: EffectHandler;
+    store: JournalStore;
+};
+export interface BridgeHost {
+    /** The buffer the thread's `now()` blocks on; hand it to the worker beside the port. */
+    readonly clock: SharedArrayBuffer;
+    /** Stop servicing. Called once the run has answered; a message after that has no run behind it. */
+    close(): void;
+}
+/**
+ * THE HOST'S HALF: service the thread's seam from a live handler and a live store.
+ *
+ * The context handed to the handler is rebuilt around the wire's plain data: `bind` forwards to
+ * the thread (where the journal lives) and its durable append comes back through `store.append`
+ * on this side; `signal` is a mirror the thread's cancellations flip. The host never blocks —
+ * every branch here either answers from a synchronous clock or awaits work it already owns.
+ */
+export declare function serviceBridge(port: MessagePort, seam: {
+    readonly handler: EffectHandler;
+    readonly store: JournalStore;
+}): BridgeHost;
+//# sourceMappingURL=bridge.d.ts.map

package/dist/engine/bridge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge.d.ts","sourceRoot":"","sources":["../../src/engine/bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EAAiB,aAAa,EAAE,MAAM,eAAe,CAAC;AAElE,OAAO,KAAK,EAAgB,YAAY,EAAE,MAAM,eAAe,CAAC;AAGhE,8FAA8F;AAC9F,eAAO,MAAM,WAAW,KAAK,CAAC;AAuF9B;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,GAAG;IAAE,OAAO,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CA+ExH;AAED,MAAM,WAAW,UAAU;IACzB,wFAAwF;IACxF,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAClC,mGAAmG;IACnG,KAAK,IAAI,IAAI,CAAC;CACf;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GAAG,UAAU,CAkGpI"}

package/dist/engine/bridge.js

@@ -0,0 +1,277 @@
+/**
+ * The effect bridge: a run in the worker, its effects and its durable journal in the host.
+ *
+ * The module-named handler in `worker.ts` builds the whole effect path inside the thread, which is
+ * right when a handler CAN be built from cloneable config. A driver's handler cannot: it is a live
+ * object holding sockets, a mesh client and a lease-bound journal appender, and shipping any of
+ * that into the isolate that also holds the hostile program would put credentials one Compartment
+ * escape away from the code they exist to confine. This module is the other route: the handler and
+ * the durable store STAY IN THE HOST, and the thread forwards the seam over a MessagePort.
+ *
+ * WHY THIS IS SOUND, measured against the contracts rather than assumed: the durable half of the
+ * journal is `JournalStore.append(entry): Promise<void>`, awaited by `Journal.persist` before a
+ * key joins `order` and before any effect fires — an async contract, which a port hop preserves
+ * with the awaits lining up exactly as they line up over a PubAck today. Every `EffectHandler`
+ * member except `now()` is async for the same reason. What is genuinely synchronous is `now()`
+ * (a journal stamp) and the stop flag, and both go over shared memory: the stop buffer as it
+ * always has, the clock over a dedicated SharedArrayBuffer this module owns — post the request,
+ * `Atomics.wait`, read the answer. The handler's clock is injectable, so the bridge may not
+ * shortcut it with the thread's own `Date.now()`: a simulated clock bridged that way would run a
+ * program under two disagreeing times.
+ *
+ * WHAT CROSSES, and why every crossing is already fenced: effect requests, effect results, journal
+ * entries, a failure's `code`/`kind`/`message`/`detail`, and a bind's `external` — exactly the
+ * values the journal records, which the crossing rule (values.ts) fences at their write sites.
+ * Errors cross with their DOMAIN, because perform.ts grades the two domains differently: the host
+ * side stamps `"effect"` for an `EffectError` and `"host"` for anything else, and the thread
+ * rehydrates the real class so a bridged failure journals byte-for-byte as an in-process one.
+ *
+ * TWO CALLS RUN AGAINST THE ARROW, and both are part of the handler's contract rather than
+ * optional extras: `ctx.bind(external)` (the handler declaring the resource it just created —
+ * host → thread, because the journal it must reach lives in the thread; its durable append then
+ * comes straight back out to the host's store) and `signal.onCancel` (a race loser's cancellation
+ * — thread → host, fired at the mirror the host handler was given). The host never blocks its
+ * loop, which is what makes the one blocking wait in the thread safe: a `now()` posted while the
+ * host is mid-effect is answered by the port handler immediately, from a synchronous clock.
+ */
+import { EffectError } from "../effects.js";
+/** One 16-byte SharedArrayBuffer: an Int32 answer flag at 0, the Float64 clock value at 8. */
+export const CLOCK_BYTES = 16;
+/** The ten async members of {@link EffectHandler}, the only methods the bridge will forward. */
+const METHODS = [
+    "spawn",
+    "turn",
+    "ask",
+    "checkpoint",
+    "sleep",
+    "wait",
+    "notify",
+    "monitor",
+    "openConclave",
+    "closeConclave",
+];
+function flatten(e) {
+    if (e instanceof EffectError) {
+        return {
+            domain: "effect",
+            name: e.name,
+            message: e.message,
+            code: e.code,
+            kind: e.kind,
+            ...(e.detail !== undefined ? { detail: e.detail } : {}),
+        };
+    }
+    const err = e;
+    return {
+        domain: "host",
+        name: typeof err?.name === "string" ? err.name : "Error",
+        message: typeof err?.message === "string" ? err.message : String(e),
+        ...(typeof err?.code === "string" ? { code: err.code } : {}),
+        ...(err?.indeterminate === true ? { indeterminate: true } : {}),
+    };
+}
+/**
+ * The thread's side of a flattened error, as the class the grading site expects.
+ *
+ * An `"effect"` failure becomes the real `EffectError`, because perform.ts records it as the
+ * step's outcome; a `"host"` failure becomes a plain Error carrying whatever identifying fields
+ * crossed, because the host domain is graded on shape, not class, and `indeterminate` must survive
+ * for the journal's L5010 text to say the honest thing about an append nobody saw land.
+ */
+function rehydrate(w) {
+    if (w.domain === "effect")
+        return new EffectError(w.code ?? "L4000", w.kind ?? "handler-fault", w.message, w.detail);
+    const e = new Error(w.message);
+    e.name = w.name;
+    if (w.code !== undefined)
+        e.code = w.code;
+    if (w.indeterminate === true)
+        e.indeterminate = true;
+    return e;
+}
+/**
+ * THE THREAD'S HALF: an {@link EffectHandler} and a {@link JournalStore} over the port.
+ *
+ * Owned by the worker entry. The live `EffectContext` of every in-flight effect is kept by `seq`
+ * so a host-initiated `bind` reaches the real context (and through it, the real journal), and so
+ * a cancellation fires at the host the moment the thread's signal fires.
+ */
+export function bridgedSeam(port, clock) {
+    const flag = new Int32Array(clock, 0, 1);
+    const value = new Float64Array(clock, 8, 1);
+    let seq = 0;
+    const pending = new Map();
+    const live = new Map();
+    port.on("message", (m) => {
+        if (m.kind === "answer") {
+            const p = pending.get(m.seq);
+            // An answer nobody is waiting for is a protocol disagreement, not a value to drop quietly.
+            if (p === undefined)
+                throw new Error(`cotal-lang effect bridge: the host answered seq ${m.seq}, which this thread never asked`);
+            pending.delete(m.seq);
+            live.delete(m.seq);
+            if (m.ok)
+                p.resolve(m.value);
+            else
+                p.reject(rehydrate(m.error));
+            return;
+        }
+        if (m.kind === "bind") {
+            const ctx = live.get(m.seq);
+            if (ctx === undefined) {
+                // The effect settled between the handler's bind and this message arriving. The handler's
+                // own await of `bind` is what carries the refusal; answering is all this side can do.
+                port.postMessage({ kind: "bind-answer", bseq: m.bseq, error: { domain: "host", name: "Error", message: `effect ${m.seq} is no longer in flight; its bind cannot reach the journal` } });
+                return;
+            }
+            void ctx.bind(m.external).then(() => port.postMessage({ kind: "bind-answer", bseq: m.bseq }), (e) => port.postMessage({ kind: "bind-answer", bseq: m.bseq, error: flatten(e) }));
+            return;
+        }
+        throw new Error(`cotal-lang effect bridge: the host sent a message kind this thread does not know (${String(m.kind)})`);
+    });
+    const call = (method, req, ctx) => {
+        const s = seq++;
+        live.set(s, ctx);
+        ctx.signal.onCancel((reason) => port.postMessage({ kind: "cancel", seq: s, reason }));
+        const answer = new Promise((resolve, reject) => pending.set(s, { resolve, reject }));
+        port.postMessage({
+            kind: "effect",
+            seq: s,
+            method,
+            req,
+            ctx: {
+                key: ctx.key,
+                requestId: ctx.requestId,
+                attempt: ctx.attempt,
+                ...(ctx.resume !== undefined ? { resume: ctx.resume } : {}),
+            },
+        });
+        return answer;
+    };
+    const handler = {
+        // The flag is cleared BEFORE the request is posted, so a host that answers before this thread
+        // reaches the wait leaves the flag already flipped and the wait returns "not-equal" at once.
+        now() {
+            Atomics.store(flag, 0, 0);
+            port.postMessage({ kind: "now" });
+            Atomics.wait(flag, 0, 0);
+            return value[0];
+        },
+    };
+    for (const m of METHODS) {
+        handler[m] = (req, ctx) => call(m, req, ctx);
+    }
+    const store = {
+        append(entry) {
+            const s = seq++;
+            const answer = new Promise((resolve, reject) => pending.set(s, { resolve: () => resolve(), reject }));
+            port.postMessage({ kind: "append", seq: s, entry });
+            return answer;
+        },
+    };
+    return { handler, store };
+}
+/**
+ * THE HOST'S HALF: service the thread's seam from a live handler and a live store.
+ *
+ * The context handed to the handler is rebuilt around the wire's plain data: `bind` forwards to
+ * the thread (where the journal lives) and its durable append comes back through `store.append`
+ * on this side; `signal` is a mirror the thread's cancellations flip. The host never blocks —
+ * every branch here either answers from a synchronous clock or awaits work it already owns.
+ */
+export function serviceBridge(port, seam) {
+    const clock = new SharedArrayBuffer(CLOCK_BYTES);
+    const flag = new Int32Array(clock, 0, 1);
+    const value = new Float64Array(clock, 8, 1);
+    let bseq = 0;
+    const binds = new Map();
+    const cancels = new Map();
+    port.on("message", (m) => {
+        if (m.kind === "now") {
+            value[0] = seam.handler.now();
+            Atomics.store(flag, 0, 1);
+            Atomics.notify(flag, 0);
+            return;
+        }
+        if (m.kind === "append") {
+            void seam.store.append(m.entry).then(() => port.postMessage({ kind: "answer", seq: m.seq, ok: true, value: undefined }), (e) => port.postMessage({ kind: "answer", seq: m.seq, ok: false, error: flatten(e) }));
+            return;
+        }
+        if (m.kind === "effect") {
+            const seqHere = m.seq;
+            let cancelled = false;
+            let reason;
+            const listeners = [];
+            cancels.set(seqHere, {
+                fire: (r) => {
+                    cancelled = true;
+                    reason = r;
+                    for (const fn of listeners)
+                        fn(r);
+                },
+            });
+            const ctx = {
+                key: m.ctx.key,
+                requestId: m.ctx.requestId,
+                attempt: m.ctx.attempt,
+                ...(m.ctx.resume !== undefined ? { resume: m.ctx.resume } : {}),
+                signal: {
+                    get cancelled() {
+                        return cancelled;
+                    },
+                    get reason() {
+                        return reason;
+                    },
+                    onCancel(fn) {
+                        listeners.push(fn);
+                    },
+                },
+                bind: (external) => {
+                    const b = bseq++;
+                    const answer = new Promise((resolve, reject) => binds.set(b, { resolve, reject }));
+                    port.postMessage({ kind: "bind", bseq: b, seq: seqHere, external });
+                    return answer;
+                },
+            };
+            const method = seam.handler[m.method];
+            // The method set is this module's own constant, so an unknown name is the two sides
+            // disagreeing about the protocol — refused as an answer, never dispatched dynamically.
+            if (!METHODS.includes(m.method) || typeof method !== "function") {
+                port.postMessage({ kind: "answer", seq: seqHere, ok: false, error: { domain: "host", name: "Error", message: `the effect bridge does not forward "${String(m.method)}"` } });
+                cancels.delete(seqHere);
+                return;
+            }
+            void method.call(seam.handler, m.req, ctx).then((v) => {
+                cancels.delete(seqHere);
+                port.postMessage({ kind: "answer", seq: seqHere, ok: true, value: v });
+            }, (e) => {
+                cancels.delete(seqHere);
+                port.postMessage({ kind: "answer", seq: seqHere, ok: false, error: flatten(e) });
+            });
+            return;
+        }
+        if (m.kind === "cancel") {
+            // A cancel finds its mirror only while the effect is in flight: the answer deletes the
+            // mirror, so the walker's post-settle blanket cancellations (aimed at arms that already
+            // returned) do not cross. Deliberate, and pinned by the engine suite's parked-loser cells:
+            // the host handler hears a cancel exactly when its effect is still open, which is the only
+            // time it can act on one.
+            cancels.get(m.seq)?.fire(m.reason);
+            return;
+        }
+        if (m.kind === "bind-answer") {
+            const b = binds.get(m.bseq);
+            if (b === undefined)
+                throw new Error(`cotal-lang effect bridge: the thread answered bind ${m.bseq}, which this host never asked`);
+            binds.delete(m.bseq);
+            if (m.error === undefined)
+                b.resolve();
+            else
+                b.reject(rehydrate(m.error));
+            return;
+        }
+        throw new Error(`cotal-lang effect bridge: the thread sent a message kind this host does not know (${String(m.kind)})`);
+    });
+    return { clock, close: () => port.close() };
+}
+//# sourceMappingURL=bridge.js.map

package/dist/engine/bridge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge.js","sourceRoot":"","sources":["../../src/engine/bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAI5C,8FAA8F;AAC9F,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC;AAE9B,gGAAgG;AAChG,MAAM,OAAO,GAAG;IACd,OAAO;IACP,MAAM;IACN,KAAK;IACL,YAAY;IACZ,OAAO;IACP,MAAM;IACN,QAAQ;IACR,SAAS;IACT,cAAc;IACd,eAAe;CACP,CAAC;AAmCX,SAAS,OAAO,CAAC,CAAU;IACzB,IAAI,CAAC,YAAY,WAAW,EAAE,CAAC;QAC7B,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,CAAmF,CAAC;IAChG,OAAO;QACL,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,OAAO,GAAG,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;QACxD,OAAO,EAAE,OAAO,GAAG,EAAE,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnE,GAAG,CAAC,OAAO,GAAG,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,GAAG,EAAE,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAAC,CAAY;IAC7B,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC,CAAC,IAAI,IAAI,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACrH,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IAChB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAG,CAA+B,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACzE,IAAI,CAAC,CAAC,aAAa,KAAK,IAAI;QAAG,CAAyC,CAAC,aAAa,GAAG,IAAI,CAAC;IAC9F,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,IAAiB,EAAE,KAAwB;IACrE,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyE,CAAC;IACjG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE9C,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAW,EAAE,EAAE;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC7B,2FAA2F;YAC3F,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC,GAAG,iCAAiC,CAAC,CAAC;YAChI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACtB,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnB,IAAI,CAAC,CAAC,EAAE;gBAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;;gBACxB,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,yFAAyF;gBACzF,sFAAsF;gBACtF,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,GAAG,4DAA4D,EAAE,EAAmB,CAAC,CAAC;gBACzM,OAAO;YACT,CAAC;YACD,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAC5B,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAmB,CAAC,EAC9E,CAAC,CAAU,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAmB,CAAC,CAC5G,CAAC;YACF,OAAO;QACT,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qFAAqF,MAAM,CAAE,CAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClJ,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,GAAY,EAAE,GAAkB,EAAoB,EAAE;QAClF,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjB,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAmB,CAAC,CAAC,CAAC;QACvG,MAAM,MAAM,GAAG,IAAI,OAAO,CAAU,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC9F,IAAI,CAAC,WAAW,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,CAAC;YACN,MAAM;YACN,GAAG;YACH,GAAG,EAAE;gBACH,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC5D;SACe,CAAC,CAAC;QACpB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG;QACd,8FAA8F;QAC9F,6FAA6F;QAC7F,GAAG;YACD,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAmB,CAAC,CAAC;YACnD,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,OAAO,KAAK,CAAC,CAAC,CAAW,CAAC;QAC5B,CAAC;KACe,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACvB,OAAkF,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3H,CAAC;IAED,MAAM,KAAK,GAAiB;QAC1B,MAAM,CAAC,KAAmB;YACxB,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YAC5G,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAmB,CAAC,CAAC;YACrE,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AASD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAiB,EAAE,IAAuE;IACtH,MAAM,KAAK,GAAG,IAAI,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+D,CAAC;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8C,CAAC;IAEtE,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAS,EAAE,EAAE;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YAC9B,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1B,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAClC,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAqB,CAAC,EACrG,CAAC,CAAU,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAqB,CAAC,CAClH,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC;YACtB,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,IAAI,MAA0B,CAAC;YAC/B,MAAM,SAAS,GAAiC,EAAE,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE;gBACnB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;oBACV,SAAS,GAAG,IAAI,CAAC;oBACjB,MAAM,GAAG,CAAC,CAAC;oBACX,KAAK,MAAM,EAAE,IAAI,SAAS;wBAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gBACpC,CAAC;aACF,CAAC,CAAC;YACH,MAAM,GAAG,GAAkB;gBACzB,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG;gBACd,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS;gBAC1B,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO;gBACtB,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/D,MAAM,EAAE;oBACN,IAAI,SAAS;wBACX,OAAO,SAAS,CAAC;oBACnB,CAAC;oBACD,IAAI,MAAM;wBACR,OAAO,MAAM,CAAC;oBAChB,CAAC;oBACD,QAAQ,CAAC,EAA4B;wBACnC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACrB,CAAC;iBACF;gBACD,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE;oBACjB,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;oBACjB,MAAM,MAAM,GAAG,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;oBACzF,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAqB,CAAC,CAAC;oBACvF,OAAO,MAAM,CAAC;gBAChB,CAAC;aACF,CAAC;YACF,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACtC,oFAAoF;YACpF,uFAAuF;YACvF,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;gBAChE,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uCAAuC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,EAAqB,CAAC,CAAC;gBAChM,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,KAAM,MAAiE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CACzG,CAAC,CAAU,EAAE,EAAE;gBACb,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACxB,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAqB,CAAC,CAAC;YAC5F,CAAC,EACD,CAAC,CAAU,EAAE,EAAE;gBACb,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACxB,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAqB,CAAC,CAAC;YACtG,CAAC,CACF,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,uFAAuF;YACvF,wFAAwF;YACxF,2FAA2F;YAC3F,2FAA2F;YAC3F,0BAA0B;YAC1B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACnC,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC,IAAI,+BAA+B,CAAC,CAAC;YAClI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;;gBAClC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qFAAqF,MAAM,CAAE,CAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClJ,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;AAC9C,CAAC"}