@cotal-ai/lang 0.24.0 → 0.26.0

package/dist/transform/seam.js

@@ -0,0 +1,111 @@
+/**
+ * The seam, as data: the members the emitted module may reach, and the names it may not collide with.
+ *
+ * The transform and its host share this seam, and neither side widens it on its own. That is
+ * mechanized from this file: `transform.smoke` re-parses the emitted string, resolves its scopes,
+ * and requires ZERO unbound references and every `<ctx>.<member>` it reaches to be listed here. A
+ * member added without changing this table is a change a reader sees in one place, not a call
+ * buried in an emitter.
+ */
+/**
+ * The members the seam grants, each with the range of ARGUMENT COUNTS the emitter may pass.
+ *
+ * The arity is written here rather than left implicit in the emitter because a member's shape is as
+ * much of the contract as its name, and the two that vary are exactly where a divergence hid from a
+ * names-only comparison: `call` grew a fourth and then a fifth argument for the optional call
+ * against a host member declared with three, and the differential found it rather than the surface.
+ * `transform.smoke` checks every emitted call site against this range in both directions - no site
+ * outside it, and no bound without a site that reaches it - and `engine.smoke` checks the host's
+ * `ctx` against the same table: names by set-equality, and `ctx[name].length === max` for each. That
+ * last is the contracted spelling, and it is `max` rather than `min` for a measured reason: a
+ * TypeScript optional parameter is a plain parameter after erasure and still counts toward
+ * `Function.length`, so a `<= min` rule
+ * would be vacuous on every fixed member and false on all four variadic ones. The MIN end cannot be
+ * read from a function at all - erasure has discarded which parameters were optional - so it is
+ * behavioural on the host's side: each variadic member has a cell calling it in its shortest form.
+ *
+ * `fuel` is the step check (budget L4013 + yield); `get`/`set`/`call` are the member law
+ * (L4014/L4018/L4020, curated tables, birth depth L2032, freeze L2031); `born` stamps a literal;
+ * `effect` is a journalled primitive, with a static per-call-site payload; `free` is a free name
+ * that journals nothing; `await` is the thenable gate; `template` is the interpolation law;
+ * `binary`/`unary` are the operator coercion law (L4018 + the operators' meaning); `iter` is the
+ * iterability law (L4015); `caught` heads every emitted catch clause (rethrow the six uncatchable
+ * classes, else the walker's frozen `{code, kind, message}` record).
+ */
+export const SEAM_MEMBERS = Object.freeze({
+    fuel: [0, 0],
+    // 2, or 3 with the dead-zone rule's binding name, which turns an absent own `v` into L2004.
+    get: [2, 3],
+    // 3, or 4 with that binding name on a write that can land in the dead zone (the declaration's
+    // own initializing write never carries it).
+    set: [3, 4],
+    // 3 ordinary; 4 with the optional-call flag, where the arguments arrive as a thunk; 5 when the
+    // chain continues past the optional call and the rest of it travels as a continuation.
+    call: [3, 5],
+    born: [1, 1],
+    effect: [3, 3],
+    // 1 for a free name in value position, 2 for a call to one.
+    free: [1, 2],
+    await: [1, 1],
+    template: [2, 2],
+    binary: [3, 3],
+    unary: [2, 2],
+    iter: [1, 1],
+    caught: [1, 1],
+    // Member 14: L4011 at a non-function callee. `const f = 1; f()` is a program the
+    // validator ADMITS (measured at 9dc154f8), and the walker answers L4011 where a native call
+    // answers a host TypeError. Emitted behind a `typeof` fast path, so a call to a real function
+    // never reaches the host.
+    callee: [1, 1],
+});
+/** The member NAMES the seam grants. Derived from the table above, so the two cannot disagree. */
+export const SEAM_RULED = new Set(Object.keys(SEAM_MEMBERS));
+/**
+ * Members the emitter reaches that are SURFACED but not yet ruled.
+ *
+ * Kept apart from {@link SEAM_RULED} on purpose. The alternative to naming the debt is either to
+ * stop building or to let a proposed member sit indistinguishable from a granted one, and the
+ * second is the forbidden move wearing a green suite. `TransformMeta.proposed` reports which of
+ * these an emission actually reached, and `transform.smoke` pins that set, so the debt is a
+ * measured number rather than a memory.
+ */
+export const SEAM_PROPOSED = Object.freeze({});
+/**
+ * Every operator selector the emitter hands `unary`, and no other.
+ *
+ * `!` and `typeof` never reach here: neither can refuse, so both are emitted natively. `update` is
+ * `UpdateExpression`'s operand read, and it carries the coercion refusal rather than the walker's
+ * bare `Number(...)`. The walker's answer there (NaN for a record, 6 for `"5"++`) is the
+ * silent-coercion class, filed as issue 646 and carried as a declared divergence with named cells.
+ * An op set is as much a contract as a member name, which is why it is written down here rather
+ * than left implicit in the emitter.
+ */
+export const UNARY_OPS = Object.freeze(["-", "+", "~", "update"]);
+/**
+ * Pick emitter names that cannot collide with anything the program spells.
+ *
+ * The module shape is a CLOSED function expression with zero free identifiers. That replaced an
+ * earlier premise this file carried, which a review falsified: the validator admits `$x`, `__y`,
+ * and a program-declared `__ctx`. So the ctx parameter's name is derived from the source rather
+ * than assumed, and the derivation is deterministic: the same source picks the
+ * same names on every run, which is what makes `transform` byte-reproducible.
+ */
+export function pickNames(identifiers) {
+    const free = (base) => {
+        if (!identifiers.has(base))
+            return base;
+        for (let i = 0;; i += 1) {
+            const candidate = `${base}$${i}`;
+            if (!identifiers.has(candidate))
+                return candidate;
+        }
+    };
+    const prefix = (base) => {
+        let candidate = base;
+        for (let i = 0; [...identifiers].some((n) => n.startsWith(candidate)); i += 1)
+            candidate = `${base}$${i}_`;
+        return candidate;
+    };
+    return { ctx: free("__ctx"), temp: prefix("__t"), label: prefix("__l") };
+}
+//# sourceMappingURL=seam.js.map

package/dist/transform/seam.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"seam.js","sourceRoot":"","sources":["../../src/transform/seam.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAwD,MAAM,CAAC,MAAM,CAAC;IAC7F,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,4FAA4F;IAC5F,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACX,8FAA8F;IAC9F,4CAA4C;IAC5C,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACX,+FAA+F;IAC/F,uFAAuF;IACvF,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,4DAA4D;IAC5D,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACb,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACb,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACZ,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,iFAAiF;IACjF,4FAA4F;IAC5F,8FAA8F;IAC9F,0BAA0B;IAC1B,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CACf,CAAC,CAAC;AAEH,kGAAkG;AAClG,MAAM,CAAC,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;AAElF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAqC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEjF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;AAYrF;;;;;;;;GAQG;AACH,MAAM,UAAU,SAAS,CAAC,WAAgC;IACxD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE;QACpC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;QACpD,CAAC;IACH,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE;QACtC,IAAI,SAAS,GAAG,IAAI,CAAC;QACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;QAC3G,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC3E,CAAC"}

package/dist/values.d.ts

@@ -30,6 +30,20 @@ export declare class NotCrossable extends TypeError {
     readonly why: "function" | "undefined" | "non-finite" | "opaque";
     constructor(why: "function" | "undefined" | "non-finite" | "opaque", message: string);
 }
+/**
+ * A log line is DATA for a human reading the trace, and on the ENGINE code never crosses to it: the
+ * engine's log sink (src/engine/ctx.ts) refuses a function anywhere inside a logged value before the
+ * line reaches any transport, naming the value and the path. Measured before the rule: the worker
+ * thread died on the host's own DataCloneError, whose message carried the emitted module body verbatim.
+ * The WALKER is deliberately untouched: it is the replay engine for every run recorded under language
+ * version 1, and a v1 record whose program logs a builtin (`log(map)`) must replay as it was recorded
+ * (a checked-in recording in journal.smoke holds that), so this is a rule of the engine, declared as a
+ * divergence in the differential, not a change to v1. Everything else a program can build crosses to a
+ * trace as it is - `undefined` and a non-finite number included, because the trace is not the journal
+ * and a human wants to see them - so this is deliberately NOT `assertCrossable`. `seen` marks
+ * everything visited: a second visit answers the same question, and a cycle terminates.
+ */
+export declare function assertNoCode(value: unknown, path: string, seen?: Set<object>): void;
 /**
  * A value that cannot canonicalize cannot be journalled, and a value that cannot be journalled
  * cannot be replayed. Catching it at the boundary is strictly better than discovering it at
@@ -51,4 +65,5 @@ export declare class Prng {
     constructor(seed: string);
     next(scope: readonly ScopeFrame[]): number;
 }
+export declare function assertScopeValueCrossable(value: unknown, where: string, scopeKind: string): void;
 //# sourceMappingURL=values.d.ts.map

package/dist/values.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C;+EAC+E;AAC/E,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAMzC;AAkBD,sGAAsG;AACtG,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAKlD;AAED,yCAAyC;AACzC,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGhD;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAExE;AAED;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,SAAS;IAEvC,QAAQ,CAAC,GAAG,EAAE,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ;gBAAvD,GAAG,EAAE,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ,EAChE,OAAO,EAAE,MAAM;CAKlB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAU,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAoExF;AAED;;;;;;;;GAQG;AACH,qBAAa,IAAI;IAGH,QAAQ,CAAC,IAAI,EAAE,MAAM;IAFjC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA6B;gBAE9B,IAAI,EAAE,MAAM;IAEjC,IAAI,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM;CAU3C"}
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C;+EAC+E;AAC/E,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAMzC;AAkBD,sGAAsG;AACtG,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAKlD;AAED,yCAAyC;AACzC,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGhD;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAExE;AAED;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,SAAS;IAEvC,QAAQ,CAAC,GAAG,EAAE,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ;gBAAvD,GAAG,EAAE,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ,EAChE,OAAO,EAAE,MAAM;CAKlB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,cAAoB,GAAG,IAAI,CAczF;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAU,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAoExF;AAED;;;;;;;;GAQG;AACH,qBAAa,IAAI;IAGH,QAAQ,CAAC,IAAI,EAAE,MAAM;IAFjC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA6B;gBAE9B,IAAI,EAAE,MAAM;IAEjC,IAAI,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM;CAU3C;AA+BD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAmBhG"}

package/dist/values.js

@@ -69,6 +69,34 @@ export class NotCrossable extends TypeError {
         this.name = "NotCrossable";
     }
 }
+/**
+ * A log line is DATA for a human reading the trace, and on the ENGINE code never crosses to it: the
+ * engine's log sink (src/engine/ctx.ts) refuses a function anywhere inside a logged value before the
+ * line reaches any transport, naming the value and the path. Measured before the rule: the worker
+ * thread died on the host's own DataCloneError, whose message carried the emitted module body verbatim.
+ * The WALKER is deliberately untouched: it is the replay engine for every run recorded under language
+ * version 1, and a v1 record whose program logs a builtin (`log(map)`) must replay as it was recorded
+ * (a checked-in recording in journal.smoke holds that), so this is a rule of the engine, declared as a
+ * divergence in the differential, not a change to v1. Everything else a program can build crosses to a
+ * trace as it is - `undefined` and a non-finite number included, because the trace is not the journal
+ * and a human wants to see them - so this is deliberately NOT `assertCrossable`. `seen` marks
+ * everything visited: a second visit answers the same question, and a cycle terminates.
+ */
+export function assertNoCode(value, path, seen = new Set()) {
+    if (typeof value === "function") {
+        throw new NotCrossable("function", `${path} is a function. A log line is data for a human reading the trace, and code does not cross to it; log what it computes instead`);
+    }
+    if (value === null || typeof value !== "object" || seen.has(value))
+        return;
+    seen.add(value);
+    if (Array.isArray(value)) {
+        for (let i = 0; i < value.length; i += 1)
+            assertNoCode(value[i], `${path}[${i}]`, seen);
+        return;
+    }
+    for (const [k, v] of Object.entries(value))
+        assertNoCode(v, `${path}.${k}`, seen);
+}
 /**
  * A value that cannot canonicalize cannot be journalled, and a value that cannot be journalled
  * cannot be replayed. Catching it at the boundary is strictly better than discovering it at
@@ -156,4 +184,55 @@ export class Prng {
         return v / 2 ** 48;
     }
 }
+/**
+ * The value rule over a SCOPE's settled value. The exemption it carries is ABSENCE, and it is
+ * POSITIONAL, so it has to follow the scope's KIND rather than its shape.
+ *
+ * `parallel`, `fanOut` and `race` settle an INTERPRETER ASSEMBLY: a record or array of branch
+ * values, or `{ index, value }` for a race. A branch whose last line is a statement produced no
+ * value, which is legal and ordinary, so `undefined` in a branch SLOT is absence rather than a value
+ * that failed the rule. That is the exemption, and it is exactly one level deep, where the assembly
+ * puts branch outcomes. A branch that returns `{ x: undefined }` is refused exactly as an effect
+ * result carrying the same record is: that `undefined` is a field the PROGRAM wrote.
+ *
+ * `conclave` HAS NO ASSEMBLY. Its settled value is the body's own value, so level one is already the
+ * program's own record fields, and giving them the slot exemption hands it to exactly the values it
+ * was never meant to cover. Measured, on the rule's first version: a conclave body returning
+ * `{ x: e.missing }` completed, the durable store wrote the field away as `{}` with nothing raised,
+ * and a replay handed the program `keys(r) == []` where the live run had `["x"]`. The same silent
+ * false replay the rule exists to stop, with `undefined` in the place of a function. So a conclave
+ * exempts only a body that produced NO VALUE AT ALL, and everything inside a value it did produce
+ * answers to the effect door's rule.
+ *
+ * UNKNOWN KINDS TAKE THE STRICTER READING, because a kind this function has not been taught about
+ * is one nobody has decided the shape of, and the wrong default there is the silent one.
+ *
+ * It lives here rather than beside either caller because BOTH doors need the same rule: the write
+ * fence in `perform.ts` and the load scan in `journal.ts`. Two copies of a rule this positional is
+ * how the two ends stop agreeing.
+ */
+const ASSEMBLING_SCOPES = new Set(["parallel", "race", "fanOut"]);
+export function assertScopeValueCrossable(value, where, scopeKind) {
+    if (value === undefined)
+        return;
+    if (!ASSEMBLING_SCOPES.has(scopeKind)) {
+        assertCrossable(value, where);
+        return;
+    }
+    if (Array.isArray(value)) {
+        value.forEach((el, i) => {
+            if (el !== undefined)
+                assertCrossable(el, `${where}[${i}]`);
+        });
+        return;
+    }
+    if (typeof value === "object" && value !== null && Object.getPrototypeOf(value) === Object.prototype) {
+        for (const [k, el] of Object.entries(value)) {
+            if (el !== undefined)
+                assertCrossable(el, `${where}.${k}`);
+        }
+        return;
+    }
+    assertCrossable(value, where);
+}
 //# sourceMappingURL=values.js.map

package/dist/values.js.map

@@ -1 +1 @@
-{"version":3,"file":"values.js","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C;+EAC+E;AAC/E,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;QAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,KAAK,GAAkB,MAAM,CAAC,wBAAwB,CAAC,CAAC;AAE9D,sGAAsG;AACtG,MAAM,UAAU,IAAI,CAAI,KAAQ,EAAE,KAAa;IAC7C,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxF,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,CAAC,GAAI,KAAiC,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,GAAW,EAAE,KAAc;IAChE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AACtG,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,YAAa,SAAQ,SAAS;IAE9B;IADX,YACW,GAAuD,EAChE,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,QAAG,GAAH,GAAG,CAAoD;QAIhE,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,IAAI,GAAG,OAAO,EAAE,IAAkB;IAChF,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAC3B,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,GAAG,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,sEAAsE,CAClG,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,UAAU;YACb,MAAM,IAAI,YAAY,CACpB,UAAU,EACV,GAAG,IAAI,+GAA+G,CACvH,CAAC;QACJ,KAAK,WAAW;YACd,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,GAAG,IAAI,6EAA6E,CACrF,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,4FAA4F;YAC5F,yFAAyF;YACzF,wFAAwF;YACxF,wBAAwB;YACxB,MAAM,CAAC,GAAG,IAAI,IAAI,IAAI,GAAG,EAAU,CAAC;YACpC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjB,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,+EAA+E,CAAC,CAAC;YAC3H,CAAC;YACD,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACb,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,sFAAsF;gBACtF,wDAAwD;gBACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;wBAClB,MAAM,IAAI,YAAY,CACpB,QAAQ,EACR,GAAG,IAAI,IAAI,CAAC,uHAAuH,CACpI,CAAC;oBACJ,CAAC;oBACD,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAChD,CAAC;gBACD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAY,CAAC;YACtD,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,iDAAiD,CAAC,CAAC;YAC7F,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC7D,MAAM,IAAI,YAAY,CACpB,QAAQ,EACR,GAAG,IAAI,iGAAiG,CACzG,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;gBACtE,eAAe,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACxC,CAAC;YACD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChB,OAAO;QACT,CAAC;QACD;YACE,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,wBAAwB,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,IAAI;IAGM;IAFJ,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEnD,YAAqB,IAAY;QAAZ,SAAI,GAAJ,IAAI,CAAQ;IAAG,CAAC;IAErC,IAAI,CAAC,KAA4B;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;QAC9F,4EAA4E;QAC5E,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;CACF"}
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C;+EAC+E;AAC/E,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC;QAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,KAAK,GAAkB,MAAM,CAAC,wBAAwB,CAAC,CAAC;AAE9D,sGAAsG;AACtG,MAAM,UAAU,IAAI,CAAI,KAAQ,EAAE,KAAa;IAC7C,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxF,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,CAAC,GAAI,KAAiC,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,GAAW,EAAE,KAAc;IAChE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AACtG,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,YAAa,SAAQ,SAAS;IAE9B;IADX,YACW,GAAuD,EAChE,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,QAAG,GAAH,GAAG,CAAoD;QAIhE,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAAC,KAAc,EAAE,IAAY,EAAE,OAAO,IAAI,GAAG,EAAU;IACjF,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,YAAY,CACpB,UAAU,EACV,GAAG,IAAI,+HAA+H,CACvI,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IAC3E,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC;YAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxF,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;QAAE,YAAY,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AAC/G,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,IAAI,GAAG,OAAO,EAAE,IAAkB;IAChF,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAC3B,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,YAAY,CACpB,YAAY,EACZ,GAAG,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,sEAAsE,CAClG,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,UAAU;YACb,MAAM,IAAI,YAAY,CACpB,UAAU,EACV,GAAG,IAAI,+GAA+G,CACvH,CAAC;QACJ,KAAK,WAAW;YACd,MAAM,IAAI,YAAY,CACpB,WAAW,EACX,GAAG,IAAI,6EAA6E,CACrF,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,4FAA4F;YAC5F,yFAAyF;YACzF,wFAAwF;YACxF,wBAAwB;YACxB,MAAM,CAAC,GAAG,IAAI,IAAI,IAAI,GAAG,EAAU,CAAC;YACpC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjB,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,+EAA+E,CAAC,CAAC;YAC3H,CAAC;YACD,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACb,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,sFAAsF;gBACtF,wDAAwD;gBACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;wBAClB,MAAM,IAAI,YAAY,CACpB,QAAQ,EACR,GAAG,IAAI,IAAI,CAAC,uHAAuH,CACpI,CAAC;oBACJ,CAAC;oBACD,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAChD,CAAC;gBACD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAY,CAAC;YACtD,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,iDAAiD,CAAC,CAAC;YAC7F,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC7D,MAAM,IAAI,YAAY,CACpB,QAAQ,EACR,GAAG,IAAI,iGAAiG,CACzG,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;gBACtE,eAAe,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACxC,CAAC;YACD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChB,OAAO;QACT,CAAC;QACD;YACE,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,GAAG,IAAI,wBAAwB,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,IAAI;IAGM;IAFJ,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEnD,YAAqB,IAAY;QAAZ,SAAI,GAAJ,IAAI,CAAQ;IAAG,CAAC;IAErC,IAAI,CAAC,KAA4B;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;QAC9F,4EAA4E;QAC5E,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEvF,MAAM,UAAU,yBAAyB,CAAC,KAAc,EAAE,KAAa,EAAE,SAAiB;IACxF,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9B,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;YACtB,IAAI,EAAE,KAAK,SAAS;gBAAE,eAAe,CAAC,EAAE,EAAE,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;QACrG,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YACvE,IAAI,EAAE,KAAK,SAAS;gBAAE,eAAe,CAAC,EAAE,EAAE,GAAG,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO;IACT,CAAC;IACD,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAChC,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@cotal-ai/lang",
   "description": "cotal-lang: the restricted-JS workflow language. Parser and validator, the effect interface, the step journal, the interpreter, and the simulation handler. Depends on nothing else in the repo.",
-  "version": "0.24.0",
+  "version": "0.26.0",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",
@@ -15,11 +15,15 @@
     ".": {
       "types": "./dist/index.d.ts",
       "import": "./dist/index.js"
+    },
+    "./engine/worker-entry": {
+      "import": "./dist/engine/worker-entry.js"
     }
   },
   "dependencies": {
     "acorn": "^8.15.0",
-    "json-canonicalize": "2.0.0"
+    "json-canonicalize": "2.0.0",
+    "ses": "^2.3.0"
   },
   "files": [
     "dist"
@@ -28,8 +32,9 @@
     "access": "public"
   },
   "scripts": {
-    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "typecheck": "tsc -p tsconfig.check.json",
     "build": "tsc -p tsconfig.json",
-    "test": "tsx smoke/grammar.smoke.ts && tsx smoke/keys.smoke.ts && tsx smoke/journal.smoke.ts && tsx smoke/pins.smoke.ts && tsx smoke/scopes.smoke.ts && tsx smoke/sim.smoke.ts && tsx smoke/interpret.smoke.ts && tsx smoke/fuel.smoke.ts && tsx smoke/dryrun.smoke.ts && tsx smoke/examples.smoke.ts && tsx smoke/options.smoke.ts && tsx smoke/notify-fact.smoke.ts && tsx smoke/migrate.smoke.ts && tsx smoke/semantics.smoke.ts && tsx smoke/surface.smoke.ts"
+    "test": "pnpm run build:emit && tsx smoke/grammar.smoke.ts && tsx smoke/keys.smoke.ts && tsx smoke/journal.smoke.ts && tsx smoke/pins.smoke.ts && tsx smoke/scopes.smoke.ts && tsx smoke/sim.smoke.ts && tsx smoke/interpret.smoke.ts && tsx smoke/fuel.smoke.ts && tsx smoke/dryrun.smoke.ts && tsx smoke/examples.smoke.ts && tsx smoke/options.smoke.ts && tsx smoke/notify-fact.smoke.ts && tsx smoke/migrate.smoke.ts && tsx smoke/semantics.smoke.ts && tsx smoke/surface.smoke.ts && tsx smoke/transform.smoke.ts && tsx smoke/differential.smoke.ts && tsx smoke/engine.smoke.ts",
+    "build:emit": "tsc -p tsconfig.json --noCheck"
   }
 }