@cotal-ai/lang 0.22.0 → 0.24.0

package/dist/notify-fact.d.ts

@@ -0,0 +1,8 @@
+/**
+ * The first way this fact breaks the bound, or `null` when it holds.
+ *
+ * Returns rather than throws so the interpreter raises in its own vocabulary (L3043 with the run's
+ * blame frame) and a test can ask the question without catching anything.
+ */
+export declare function notifyFactViolation(fact: unknown): string | null;
+//# sourceMappingURL=notify-fact.d.ts.map

package/dist/notify-fact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"notify-fact.d.ts","sourceRoot":"","sources":["../src/notify-fact.ts"],"names":[],"mappings":"AAuBA;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAyChE"}

package/dist/notify-fact.js

@@ -0,0 +1,69 @@
+/**
+ * The `notify` fact's bound, enforced where the VALUE exists.
+ *
+ * The validator checks a fact written as a literal, exactly, and its own comment has always said
+ * the other half out loud: *a computed one is checked at the effect boundary by the same rules*.
+ * This is that half. It matters because the computed case is the one the bound exists for —
+ * The rule is that no interpolation hook may launder a turn result's free text into another
+ * agent's prompt, and a static check cannot see a string that does not exist until the run
+ * produces it. Over-cap is an ERROR, never a truncation: silently shortening prose would make the
+ * program's intent unrecoverable while still delivering a message.
+ *
+ * **A length bound is not a shape bound**, which is the second half of the same rule and is easy to
+ * miss: 128 characters is ample room for a closing tag and an instruction after it. The render is a
+ * fixed table whose whole property is that it cannot be mistaken for an instruction, and a value
+ * carrying a newline is a value that can forge a row, a closing tag, or a line of prose below the
+ * table. So a detail string is a SINGLE LINE of printable text, checked here rather than in the
+ * renderer: the renderer must be unable to receive one, not merely careful with it.
+ */
+import { NOTIFY_BOUND } from "./primitives.js";
+/** C0/C1 controls and the Unicode line separators — everything that can end a line. */
+const CONTROL_RE = /[\u0000-\u001f\u007f-\u009f\u2028\u2029]/;
+/**
+ * The first way this fact breaks the bound, or `null` when it holds.
+ *
+ * Returns rather than throws so the interpreter raises in its own vocabulary (L3043 with the run's
+ * blame frame) and a test can ask the question without catching anything.
+ */
+export function notifyFactViolation(fact) {
+    if (fact === null || typeof fact !== "object" || Array.isArray(fact))
+        return "a notify fact is a record with `decision`, `outcome`, and an optional `detail`";
+    const o = fact;
+    for (const key of Object.keys(o))
+        if (key !== "decision" && key !== "outcome" && key !== "detail")
+            return `a notify fact carries \`decision\`, \`outcome\`, and an optional \`detail\`, and nothing else; \`${key}\` would be an unbounded channel from the program into another agent's context`;
+    for (const field of ["decision", "outcome"]) {
+        const value = o[field];
+        if (typeof value !== "string")
+            return `a notify fact needs a \`${field}\`, named as a token`;
+        if (!NOTIFY_BOUND.tokenRe.test(value))
+            return `\`${field}\` names a decision, so it is a kebab-case token of 1 to 64 characters; ${JSON.stringify(value.slice(0, 64))} is not one`;
+    }
+    const detail = o.detail;
+    if (detail === undefined)
+        return null;
+    if (detail === null || typeof detail !== "object" || Array.isArray(detail))
+        return "`detail` is a record of short scalars";
+    const entries = Object.entries(detail);
+    if (entries.length > NOTIFY_BOUND.maxDetailKeys)
+        return `\`detail\` carries at most ${NOTIFY_BOUND.maxDetailKeys} keys; this one has ${entries.length}. The cap is what keeps a notice a decision rather than a message`;
+    for (const [key, value] of entries) {
+        if (!NOTIFY_BOUND.detailKeyRe.test(key))
+            return `\`${key}\` is not a detail key; they are kebab-case tokens of at most 32 characters`;
+        if (typeof value === "number") {
+            if (!Number.isFinite(value))
+                return `\`${key}\` is a number that is not finite; a notice records a decision, not a NaN`;
+            continue;
+        }
+        if (typeof value === "boolean")
+            continue;
+        if (typeof value !== "string")
+            return `\`${key}\` is not a scalar; detail values are a short string, a number, or a boolean, because a nested structure is an unbounded pipe into another agent's context`;
+        if (value.length > NOTIFY_BOUND.maxDetailStringLength)
+            return `a detail string is at most ${NOTIFY_BOUND.maxDetailStringLength} characters; \`${key}\` is ${value.length}. Longer than that is prose, and prose belongs in the channel where the agent can answer it`;
+        if (CONTROL_RE.test(value))
+            return `\`${key}\` carries a line break or control character; a notice renders as one table row, and a value that can end a line can forge one`;
+    }
+    return null;
+}
+//# sourceMappingURL=notify-fact.js.map

package/dist/notify-fact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"notify-fact.js","sourceRoot":"","sources":["../src/notify-fact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,uFAAuF;AACvF,MAAM,UAAU,GAAG,0CAA0C,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAa;IAC/C,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAClE,OAAO,gFAAgF,CAAC;IAE1F,MAAM,CAAC,GAAG,IAA+B,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,QAAQ;YAC7D,OAAO,oGAAoG,GAAG,gFAAgF,CAAC;IAEnM,KAAK,MAAM,KAAK,IAAI,CAAC,UAAU,EAAE,SAAS,CAAU,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,2BAA2B,KAAK,sBAAsB,CAAC;QAC7F,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YACnC,OAAO,KAAK,KAAK,2EAA2E,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC;IAChJ,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IACxB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACxE,OAAO,uCAAuC,CAAC;IAEjD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAiC,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,MAAM,GAAG,YAAY,CAAC,aAAa;QAC7C,OAAO,8BAA8B,YAAY,CAAC,aAAa,uBAAuB,OAAO,CAAC,MAAM,mEAAmE,CAAC;IAE1K,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACnC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;YACrC,OAAO,KAAK,GAAG,6EAA6E,CAAC;QAC/F,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,GAAG,2EAA2E,CAAC;YACxH,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,SAAS;YAAE,SAAS;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAC3B,OAAO,KAAK,GAAG,4JAA4J,CAAC;QAC9K,IAAI,KAAK,CAAC,MAAM,GAAG,YAAY,CAAC,qBAAqB;YACnD,OAAO,8BAA8B,YAAY,CAAC,qBAAqB,kBAAkB,GAAG,SAAS,KAAK,CAAC,MAAM,6FAA6F,CAAC;QACjN,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB,OAAO,KAAK,GAAG,gIAAgI,CAAC;IACpJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/pins.d.ts

@@ -0,0 +1,82 @@
+/**
+ * The run's pins: the resolved values that select which effects a run performs.
+ *
+ * A run is not pinned by its source alone. The seed decides pure draws, the logical epoch decides
+ * what `now()` returns before the first effect, and the three limits decide whether a loop
+ * completes or raises. Two runs of one program under different pins are two different runs, so the
+ * pins are resolved once at start, recorded, and read back on every resume.
+ *
+ * The RESOLVED value is what is pinned. Defaulting the seed from the run id is fine; defaulting it
+ * again on the next host is not, because "the default" is a property of the interpreter and the
+ * interpreter is the thing that may have changed.
+ */
+/**
+ * The interpreter's own semantic version, bumped when a release changes what a program MEANS: the
+ * PRNG, a builtin, numeric behaviour, or walker scheduling.
+ *
+ * Deliberately NOT the package version. `@cotal-ai/lang` versions in lockstep with every other
+ * package in the repo, so a release of an unrelated package would otherwise invalidate every open
+ * run in the space — a loud failure with no cause behind it, which is worse than no check at all.
+ *
+ * It is here because source and seed are not sufficient across an upgrade: unchanged source can
+ * take a different branch BEFORE the first effect, where there is no input hash to compare against
+ * and nothing to diverge on.
+ */
+export declare const LANGUAGE_VERSION = "1";
+export declare const PIN_DEFAULTS: Readonly<{
+    yieldEvery: 1024;
+    stepBudget: 1000000;
+    effectCeiling: 10000;
+}>;
+/** Every pin, resolved. This is what lands on the run record and what a resume reads back. */
+export interface RunPins {
+    readonly seed: string;
+    /**
+     * The run's logical epoch. `now()` derives from THIS, never from the resuming host's clock; the
+     * host clock is used only to stamp effects performed live on this attempt.
+     */
+    readonly startedAt: number;
+    readonly yieldEvery: number;
+    /**
+     * Interpreter dispatches allowed in ONE WALK — not in the run. Steps are not recorded, so a
+     * resume has nothing to recover a count from, and a replay re-walks the program anyway. This is
+     * deliberately unlike `effectCeiling`, which IS a run bound because the journal records every
+     * dispatch: the two are listed together and a lane fixing both for symmetry would invent a
+     * counter with no source of truth.
+     */
+    readonly stepBudget: number;
+    readonly effectCeiling: number;
+    readonly languageVersion: string;
+}
+/** The loose per-run options a caller may supply. On a resume every one of them must agree. */
+export interface PinnableOptions {
+    readonly runId: string;
+    readonly seed?: string;
+    readonly startedAt?: number;
+    readonly yieldEvery?: number;
+    readonly stepBudget?: number;
+    readonly effectCeiling?: number;
+}
+/** A pin the caller supplied disagrees with the one the run was started under (L5009 / L5008). */
+export declare class PinMismatch extends Error {
+    readonly code: "L5008" | "L5009";
+    readonly pin: string;
+    readonly recorded: string | number;
+    readonly supplied: string | number;
+    constructor(code: "L5008" | "L5009", pin: string, recorded: string | number, supplied: string | number, message: string);
+}
+/**
+ * Resolve the pin set for a FRESH run. `now` is the host clock, read exactly once: the logical
+ * epoch is a recorded fact from here on, so a second read could not be the same run's epoch.
+ */
+export declare function resolvePins(options: PinnableOptions, now: number): RunPins;
+/**
+ * Bind a RESUME to the recorded pins, refusing any caller value that disagrees.
+ *
+ * The direction matters and is the whole rule: an absent option takes the record, a present one
+ * that AGREES is harmless, and a present one that differs is refused rather than honoured. Honouring
+ * it would silently make this a different run against the same journal, which is the same failure
+ * an edited sleep duration causes and gets the same fail-loud treatment.
+ */
+export declare function bindPins(recorded: RunPins, options: PinnableOptions): RunPins;
+//# sourceMappingURL=pins.d.ts.map

package/dist/pins.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pins.d.ts","sourceRoot":"","sources":["../src/pins.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,MAAM,CAAC;AAEpC,eAAO,MAAM,YAAY;;;;EAIvB,CAAC;AAEH,8FAA8F;AAC9F,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,+FAA+F;AAC/F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,kGAAkG;AAClG,qBAAa,WAAY,SAAQ,KAAK;IAElC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;gBAHzB,IAAI,EAAE,OAAO,GAAG,OAAO,EACvB,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,GAAG,MAAM,EACzB,QAAQ,EAAE,MAAM,GAAG,MAAM,EAClC,OAAO,EAAE,MAAM;CAKlB;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAS1E;AAED;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CA6B7E"}

package/dist/pins.js

@@ -0,0 +1,87 @@
+/**
+ * The run's pins: the resolved values that select which effects a run performs.
+ *
+ * A run is not pinned by its source alone. The seed decides pure draws, the logical epoch decides
+ * what `now()` returns before the first effect, and the three limits decide whether a loop
+ * completes or raises. Two runs of one program under different pins are two different runs, so the
+ * pins are resolved once at start, recorded, and read back on every resume.
+ *
+ * The RESOLVED value is what is pinned. Defaulting the seed from the run id is fine; defaulting it
+ * again on the next host is not, because "the default" is a property of the interpreter and the
+ * interpreter is the thing that may have changed.
+ */
+import { CATALOG } from "./errors.js";
+/**
+ * The interpreter's own semantic version, bumped when a release changes what a program MEANS: the
+ * PRNG, a builtin, numeric behaviour, or walker scheduling.
+ *
+ * Deliberately NOT the package version. `@cotal-ai/lang` versions in lockstep with every other
+ * package in the repo, so a release of an unrelated package would otherwise invalidate every open
+ * run in the space — a loud failure with no cause behind it, which is worse than no check at all.
+ *
+ * It is here because source and seed are not sufficient across an upgrade: unchanged source can
+ * take a different branch BEFORE the first effect, where there is no input hash to compare against
+ * and nothing to diverge on.
+ */
+export const LANGUAGE_VERSION = "1";
+export const PIN_DEFAULTS = Object.freeze({
+    yieldEvery: 1_024,
+    stepBudget: 1_000_000,
+    effectCeiling: 10_000,
+});
+/** A pin the caller supplied disagrees with the one the run was started under (L5009 / L5008). */
+export class PinMismatch extends Error {
+    code;
+    pin;
+    recorded;
+    supplied;
+    constructor(code, pin, recorded, supplied, message) {
+        super(`${code} ${CATALOG[code]}\n\n${message}`);
+        this.code = code;
+        this.pin = pin;
+        this.recorded = recorded;
+        this.supplied = supplied;
+        this.name = "PinMismatch";
+    }
+}
+/**
+ * Resolve the pin set for a FRESH run. `now` is the host clock, read exactly once: the logical
+ * epoch is a recorded fact from here on, so a second read could not be the same run's epoch.
+ */
+export function resolvePins(options, now) {
+    return Object.freeze({
+        seed: options.seed ?? options.runId,
+        startedAt: options.startedAt ?? now,
+        yieldEvery: options.yieldEvery ?? PIN_DEFAULTS.yieldEvery,
+        stepBudget: options.stepBudget ?? PIN_DEFAULTS.stepBudget,
+        effectCeiling: options.effectCeiling ?? PIN_DEFAULTS.effectCeiling,
+        languageVersion: LANGUAGE_VERSION,
+    });
+}
+/**
+ * Bind a RESUME to the recorded pins, refusing any caller value that disagrees.
+ *
+ * The direction matters and is the whole rule: an absent option takes the record, a present one
+ * that AGREES is harmless, and a present one that differs is refused rather than honoured. Honouring
+ * it would silently make this a different run against the same journal, which is the same failure
+ * an edited sleep duration causes and gets the same fail-loud treatment.
+ */
+export function bindPins(recorded, options) {
+    if (recorded.languageVersion !== LANGUAGE_VERSION) {
+        throw new PinMismatch("L5008", "languageVersion", recorded.languageVersion, LANGUAGE_VERSION, `This run started under language version ${recorded.languageVersion} and this interpreter is version ${LANGUAGE_VERSION}. Source and seed do not pin behaviour across a semantics change: unchanged source can take a different branch before the first effect, where there is no input hash to diverge on.\n\nOptions\n  resume on the recorded version\n  fork(run, <step>)   start a new run on this version, keeping the prefix`);
+    }
+    const checks = [
+        ["seed", options.seed, recorded.seed],
+        ["startedAt", options.startedAt, recorded.startedAt],
+        ["yieldEvery", options.yieldEvery, recorded.yieldEvery],
+        ["stepBudget", options.stepBudget, recorded.stepBudget],
+        ["effectCeiling", options.effectCeiling, recorded.effectCeiling],
+    ];
+    for (const [pin, supplied, value] of checks) {
+        if (supplied !== undefined && supplied !== value) {
+            throw new PinMismatch("L5009", pin, value, supplied, `This run is pinned to ${pin} ${JSON.stringify(value)} and the caller supplied ${JSON.stringify(supplied)}. Pins select which effects run, so a different value is a different run against a journal that was not written for it.\n\nOptions\n  resume without the override\n  fork(run, <step>)   re-run from a step under the new ${pin}`);
+        }
+    }
+    return recorded;
+}
+//# sourceMappingURL=pins.js.map

package/dist/pins.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pins.js","sourceRoot":"","sources":["../src/pins.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEtC;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAEpC,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,UAAU,EAAE,KAAK;IACjB,UAAU,EAAE,SAAS;IACrB,aAAa,EAAE,MAAM;CACtB,CAAC,CAAC;AAiCH,kGAAkG;AAClG,MAAM,OAAO,WAAY,SAAQ,KAAK;IAEzB;IACA;IACA;IACA;IAJX,YACW,IAAuB,EACvB,GAAW,EACX,QAAyB,EACzB,QAAyB,EAClC,OAAe;QAEf,KAAK,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;QANvC,SAAI,GAAJ,IAAI,CAAmB;QACvB,QAAG,GAAH,GAAG,CAAQ;QACX,aAAQ,GAAR,QAAQ,CAAiB;QACzB,aAAQ,GAAR,QAAQ,CAAiB;QAIlC,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,OAAwB,EAAE,GAAW;IAC/D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK;QACnC,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,GAAG;QACnC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,YAAY,CAAC,UAAU;QACzD,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,YAAY,CAAC,UAAU;QACzD,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,YAAY,CAAC,aAAa;QAClE,eAAe,EAAE,gBAAgB;KAClC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CAAC,QAAiB,EAAE,OAAwB;IAClE,IAAI,QAAQ,CAAC,eAAe,KAAK,gBAAgB,EAAE,CAAC;QAClD,MAAM,IAAI,WAAW,CACnB,OAAO,EACP,iBAAiB,EACjB,QAAQ,CAAC,eAAe,EACxB,gBAAgB,EAChB,2CAA2C,QAAQ,CAAC,eAAe,oCAAoC,gBAAgB,6SAA6S,CACra,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAsF;QAChG,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;QACrC,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC;QACpD,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC;QACvD,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC;QACvD,CAAC,eAAe,EAAE,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC;KACjE,CAAC;IACF,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QAC5C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACjD,MAAM,IAAI,WAAW,CACnB,OAAO,EACP,GAAG,EACH,KAAK,EACL,QAAQ,EACR,yBAAyB,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,6NAA6N,GAAG,EAAE,CAC5U,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/primitives.d.ts

@@ -56,8 +56,22 @@ export declare const EVENT_CONSTRUCTORS: Readonly<Record<string, CalleeDoc>>;
 export declare const PURE_PRIMITIVES: Readonly<Record<string, CalleeDoc>>;
 /** The builtin library. Small on purpose (design doc 4). */
 export declare const BUILTINS: readonly string[];
+/**
+ * Value names: identifiers that name a value rather than a function, and may not be shadowed.
+ *
+ * `undefined` is what a missing field, an out-of-range index, and a function without a `return`
+ * produce, so a program has to be able to name it to test for it. It stays a value that cannot
+ * cross an effect boundary (L3041): the journal records `null` for "no value", never `undefined`.
+ */
+export declare const VALUE_NAMES: readonly string[];
 /** Every name the program may reference without defining it, and may never shadow. */
 export declare const RESERVED_NAMES: ReadonlySet<string>;
+/**
+ * Host globals a program might reach for out of habit, each rejected by name (L2012) with the
+ * replacement this language offers, when it offers one. A name with no replacement carries the
+ * generic fix.
+ */
+export declare const HOST_GLOBAL_HINTS: Readonly<Record<string, string>>;
 /** Host globals a program might reach for out of habit, each rejected by name (L2012). */
 export declare const FORBIDDEN_GLOBALS: ReadonlySet<string>;
 /** The Promise API, rejected separately so its error can point at the right replacement (L2011). */

package/dist/primitives.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,8EAA8E;AAC9E,eAAO,MAAM,YAAY,mGAUf,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,kGAAkG;AAClG,MAAM,WAAW,aAAc,SAAQ,SAAS;IAC9C,qFAAqF;IACrF,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,mDAAmD;IACnD,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;2FAEuF;IACvF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;;;;OAQG;IACH,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC,CAAC;IACrE,kEAAkE;IAClE,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,eAAO,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAmK7D,CAAC;AAEH,+EAA+E;AAC/E,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAqBjE,CAAC;AAEH,mDAAmD;AACnD,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAW9D,CAAC;AAEH,4DAA4D;AAC5D,eAAO,MAAM,QAAQ,EAAE,SAAS,MAAM,EAcpC,CAAC;AAEH,sFAAsF;AACtF,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAO7C,CAAC;AAEH,0FAA0F;AAC1F,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAKhD,CAAC;AAEH,oGAAoG;AACpG,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAAwB,CAAC;AAEvE,kDAAkD;AAClD,eAAO,MAAM,YAAY,QAAyC,CAAC;AAEnE;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;IACvB,sDAAsD;;;;;EAKtD,CAAC;AAEH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAEhE"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,8EAA8E;AAC9E,eAAO,MAAM,YAAY,mGAUf,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,kGAAkG;AAClG,MAAM,WAAW,aAAc,SAAQ,SAAS;IAC9C,qFAAqF;IACrF,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,mDAAmD;IACnD,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;2FAEuF;IACvF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;;;;OAQG;IACH,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC,CAAC;IACrE,kEAAkE;IAClE,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,eAAO,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAmK7D,CAAC;AAEH,+EAA+E;AAC/E,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAqBjE,CAAC;AAEH,mDAAmD;AACnD,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAW9D,CAAC;AAEH,4DAA4D;AAC5D,eAAO,MAAM,QAAQ,EAAE,SAAS,MAAM,EAcpC,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,SAAS,MAAM,EAAiC,CAAC;AAE3E,sFAAsF;AACtF,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAM7C,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAqB7D,CAAC;AAEH,0FAA0F;AAC1F,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAWhD,CAAC;AAEH,oGAAoG;AACpG,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAAwB,CAAC;AAEvE,kDAAkD;AAClD,eAAO,MAAM,YAAY,QAAyC,CAAC;AAEnE;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;IACvB,sDAAsD;;;;;EAKtD,CAAC;AAEH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAEhE"}

package/dist/primitives.js

@@ -223,21 +223,61 @@ export const BUILTINS = Object.freeze([
     // tamed nondeterminism
     "random", "randomInt", "pick", "now", "duration",
 ]);
+/**
+ * Value names: identifiers that name a value rather than a function, and may not be shadowed.
+ *
+ * `undefined` is what a missing field, an out-of-range index, and a function without a `return`
+ * produce, so a program has to be able to name it to test for it. It stays a value that cannot
+ * cross an effect boundary (L3041): the journal records `null` for "no value", never `undefined`.
+ */
+export const VALUE_NAMES = Object.freeze(["undefined"]);
 /** Every name the program may reference without defining it, and may never shadow. */
 export const RESERVED_NAMES = new Set([
     ...Object.keys(PRIMITIVES),
     ...Object.keys(EVENT_CONSTRUCTORS),
     ...Object.keys(PURE_PRIMITIVES),
     ...BUILTINS,
-    "any",
-    "all",
+    ...VALUE_NAMES,
 ]);
+/**
+ * Host globals a program might reach for out of habit, each rejected by name (L2012) with the
+ * replacement this language offers, when it offers one. A name with no replacement carries the
+ * generic fix.
+ */
+export const HOST_GLOBAL_HINTS = Object.freeze({
+    Math: "Use `min`, `max`, `abs`, `floor`, `ceil`, `round`, `random()` and `randomInt(n)`.",
+    JSON: "Use `json.parse(text)` and `json.stringify(value)`.",
+    Object: "Use `keys`, `values`, `entries`, `has` and `merge`.",
+    Array: "Write an array literal, or `range(n)`; `xs.length` and the array methods are available.",
+    Number: "Use `parseNumber(text)`; arithmetic needs no conversion.",
+    String: "Use a template literal: `${value}`.",
+    Boolean: "Use `!!value`, or compare explicitly.",
+    parseInt: "Use `floor(parseNumber(text))`.",
+    parseFloat: "Use `parseNumber(text)`.",
+    isNaN: "Use `parseNumber(text) !== parseNumber(text)`; a NaN cannot cross an effect boundary anyway.",
+    isFinite: "Check the input before parsing it; an infinite number cannot cross an effect boundary.",
+    Infinity: "There is no infinity here: it has no canonical form and cannot cross an effect boundary.",
+    NaN: "There is no NaN value to name here: it has no canonical form and cannot cross an effect boundary.",
+    Date: "Use `now()`, which reads the run clock, and `duration(text)` for spans.",
+    Map: "Use a record: `{}` with `has`, `keys` and `entries`.",
+    Set: "Use an array with `unique`, `contains` and `filter`.",
+    Error: "Throw a record: `throw { code: \"my-error\", message: \"...\" }`.",
+    console: "Use `log(...values)`.",
+    setTimeout: "Use `sleep(duration)`.",
+    setInterval: "Use a loop with `sleep(duration)` inside it.",
+});
 /** Host globals a program might reach for out of habit, each rejected by name (L2012). */
 export const FORBIDDEN_GLOBALS = new Set([
-    "globalThis", "global", "window", "self", "process", "console", "fetch", "Date", "Math",
-    "RegExp", "Object", "Reflect", "Proxy", "Symbol", "WeakMap", "WeakSet", "Function",
-    "setTimeout", "setInterval", "setImmediate", "queueMicrotask", "require", "module",
+    ...Object.keys(HOST_GLOBAL_HINTS),
+    "globalThis", "global", "window", "self", "process", "fetch",
+    "RegExp", "Reflect", "Proxy", "Symbol", "WeakMap", "WeakSet", "WeakRef", "Function",
+    "setImmediate", "queueMicrotask", "require", "module",
     "exports", "__dirname", "__filename", "Buffer", "crypto", "performance", "structuredClone",
+    "eval", "arguments", "BigInt", "Intl", "Atomics", "SharedArrayBuffer", "ArrayBuffer",
+    "DataView", "TextEncoder", "TextDecoder", "URL", "URLSearchParams", "AbortController",
+    "encodeURIComponent", "decodeURIComponent", "encodeURI", "decodeURI", "escape", "unescape",
+    "Int8Array", "Uint8Array", "Uint8ClampedArray", "Int16Array", "Uint16Array", "Int32Array",
+    "Uint32Array", "Float32Array", "Float64Array", "BigInt64Array", "BigUint64Array",
 ]);
 /** The Promise API, rejected separately so its error can point at the right replacement (L2011). */
 export const PROMISE_NAMES = new Set(["Promise"]);

package/dist/primitives.js.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO;IACP,MAAM;IACN,KAAK;IACL,YAAY;IACZ,OAAO;IACP,MAAM;IACN,QAAQ;IACR,SAAS;IACT,UAAU;CACF,CAAC;AA2CX,MAAM,CAAC,MAAM,UAAU,GAA4C,MAAM,CAAC,MAAM,CAAC;IAC/E,KAAK,EAAE;QACL,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC/E,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC;QAC3C,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EACP,kGAAkG;QACpG,GAAG,EAAE,2HAA2H;QAChI,OAAO,EAAE,4EAA4E;KACtF;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;QAC7B,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,UAAU,CAAC;QAC3B,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,gEAAgE;QAC3E,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,4HAA4H;KAC/H;IACD,GAAG,EAAE;QACH,IAAI,EAAE,KAAK;QACX,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACnD,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACjD,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,8DAA8D;QACzE,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,kFAAkF;KACrF;IACD,UAAU,EAAE;QACV,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC;QAChD,SAAS,EAAE,CAAC;QACZ,8FAA8F;QAC9F,oFAAoF;QACpF,aAAa,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC;QAC1C,YAAY,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE;QACxC,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EACP,2GAA2G;QAC7G,GAAG,EAAE,yIAAyI;QAC9I,OAAO,EACL,2GAA2G;KAC9G;IACD,KAAK,EAAE;QACL,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,8FAA8F;QAC9F,6FAA6F;QAC7F,qEAAqE;QACrE,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,oCAAoC;QAC/C,GAAG,EAAE,uGAAuG;QAC5G,OAAO,EAAE,oBAAoB;KAC9B;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QAC5B,SAAS,EAAE,CAAC;QACZ,kEAAkE;QAClE,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,kDAAkD;QAC7D,GAAG,EAAE,+GAA+G;QACpH,OAAO,EACL,uJAAuJ;KAC1J;IACD,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,yCAAyC;QACpD,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,oEAAoE;KACvE;IACD,OAAO,EAAE;QACP,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,mCAAmC;QAC9C,GAAG,EAAE,+HAA+H;QACpI,OAAO,EAAE,8FAA8F;KACxG;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,0CAA0C;QACrD,GAAG,EAAE,2KAA2K;QAChL,OAAO,EACL,oJAAoJ;KACvJ;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,+CAA+C;QAC1D,GAAG,EAAE,gLAAgL;QACrL,OAAO,EACL,gJAAgJ;KACnJ;IACD,MAAM,EAAE;QACN,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;QACxB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,8CAA8C;QACzD,GAAG,EAAE,+JAA+J;QACpK,OAAO,EACL,iJAAiJ;KACpJ;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QAC5B,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,qDAAqD;QAChE,GAAG,EAAE,0LAA0L;QAC/L,OAAO,EACL,iFAAiF;KACpF;CACF,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,kBAAkB,GAAwC,MAAM,CAAC,MAAM,CAAC;IACnF,OAAO,EAAE;QACP,SAAS,EAAE,yBAAyB;QACpC,GAAG,EAAE,6BAA6B;QAClC,OAAO,EAAE,kDAAkD;KAC5D;IACD,OAAO,EAAE;QACP,SAAS,EAAE,gDAAgD;QAC3D,GAAG,EAAE,kFAAkF;QACvF,OAAO,EAAE,kEAAkE;KAC5E;IACD,IAAI,EAAE;QACJ,SAAS,EAAE,kCAAkC;QAC7C,GAAG,EAAE,0CAA0C;QAC/C,OAAO,EAAE,kDAAkD;KAC5D;IACD,IAAI,EAAE;QACJ,SAAS,EAAE,sBAAsB;QACjC,GAAG,EAAE,6CAA6C;QAClD,OAAO,EAAE,wDAAwD;KAClE;CACF,CAAC,CAAC;AAEH,mDAAmD;AACnD,MAAM,CAAC,MAAM,eAAe,GAAwC,MAAM,CAAC,MAAM,CAAC;IAChF,OAAO,EAAE;QACP,SAAS,EAAE,gCAAgC;QAC3C,GAAG,EAAE,iFAAiF;QACtF,OAAO,EAAE,mCAAmC;KAC7C;IACD,GAAG,EAAE;QACH,SAAS,EAAE,yCAAyC;QACpD,GAAG,EAAE,0BAA0B;QAC/B,OAAO,EAAE,qBAAqB;KAC/B;CACF,CAAC,CAAC;AAEH,4DAA4D;AAC5D,MAAM,CAAC,MAAM,QAAQ,GAAsB,MAAM,CAAC,MAAM,CAAC;IACvD,UAAU;IACV,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO;IAC3C,SAAS;IACT,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;IAClF,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK;IACnC,UAAU;IACV,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS;IAClF,UAAU;IACV,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa;IAC5D,mBAAmB;IACnB,MAAM,EAAE,QAAQ,EAAE,KAAK;IACvB,uBAAuB;IACvB,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU;CACjD,CAAC,CAAC;AAEH,sFAAsF;AACtF,MAAM,CAAC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IACzD,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;IAC1B,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC;IAClC,GAAG,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC;IAC/B,GAAG,QAAQ;IACX,KAAK;IACL,KAAK;CACN,CAAC,CAAC;AAEH,0FAA0F;AAC1F,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IAC5D,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;IACvF,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU;IAClF,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,gBAAgB,EAAE,SAAS,EAAE,QAAQ;IAClF,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,iBAAiB;CAC3F,CAAC,CAAC;AAEH,oGAAoG;AACpG,MAAM,CAAC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,kDAAkD;AAClD,MAAM,CAAC,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,sDAAsD;IACtD,OAAO,EAAE,YAAY;IACrB,WAAW,EAAE,sCAAsC;IACnD,aAAa,EAAE,CAAC;IAChB,qBAAqB,EAAE,GAAG;CAC3B,CAAC,CAAC;AAEH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC"}
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO;IACP,MAAM;IACN,KAAK;IACL,YAAY;IACZ,OAAO;IACP,MAAM;IACN,QAAQ;IACR,SAAS;IACT,UAAU;CACF,CAAC;AA2CX,MAAM,CAAC,MAAM,UAAU,GAA4C,MAAM,CAAC,MAAM,CAAC;IAC/E,KAAK,EAAE;QACL,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC/E,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC;QAC3C,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EACP,kGAAkG;QACpG,GAAG,EAAE,2HAA2H;QAChI,OAAO,EAAE,4EAA4E;KACtF;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;QAC7B,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,UAAU,CAAC;QAC3B,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,gEAAgE;QAC3E,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,4HAA4H;KAC/H;IACD,GAAG,EAAE;QACH,IAAI,EAAE,KAAK;QACX,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACnD,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACjD,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,8DAA8D;QACzE,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,kFAAkF;KACrF;IACD,UAAU,EAAE;QACV,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC;QAChD,SAAS,EAAE,CAAC;QACZ,8FAA8F;QAC9F,oFAAoF;QACpF,aAAa,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC;QAC1C,YAAY,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE;QACxC,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EACP,2GAA2G;QAC7G,GAAG,EAAE,yIAAyI;QAC9I,OAAO,EACL,2GAA2G;KAC9G;IACD,KAAK,EAAE;QACL,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,8FAA8F;QAC9F,6FAA6F;QAC7F,qEAAqE;QACrE,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,oCAAoC;QAC/C,GAAG,EAAE,uGAAuG;QAC5G,OAAO,EAAE,oBAAoB;KAC9B;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QAC5B,SAAS,EAAE,CAAC;QACZ,kEAAkE;QAClE,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,kDAAkD;QAC7D,GAAG,EAAE,+GAA+G;QACpH,OAAO,EACL,uJAAuJ;KAC1J;IACD,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,yCAAyC;QACpD,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,oEAAoE;KACvE;IACD,OAAO,EAAE;QACP,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,mCAAmC;QAC9C,GAAG,EAAE,+HAA+H;QACpI,OAAO,EAAE,8FAA8F;KACxG;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,0CAA0C;QACrD,GAAG,EAAE,2KAA2K;QAChL,OAAO,EACL,oJAAoJ;KACvJ;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,+CAA+C;QAC1D,GAAG,EAAE,gLAAgL;QACrL,OAAO,EACL,gJAAgJ;KACnJ;IACD,MAAM,EAAE;QACN,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;QACxB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,8CAA8C;QACzD,GAAG,EAAE,+JAA+J;QACpK,OAAO,EACL,iJAAiJ;KACpJ;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QAC5B,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,qDAAqD;QAChE,GAAG,EAAE,0LAA0L;QAC/L,OAAO,EACL,iFAAiF;KACpF;CACF,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,kBAAkB,GAAwC,MAAM,CAAC,MAAM,CAAC;IACnF,OAAO,EAAE;QACP,SAAS,EAAE,yBAAyB;QACpC,GAAG,EAAE,6BAA6B;QAClC,OAAO,EAAE,kDAAkD;KAC5D;IACD,OAAO,EAAE;QACP,SAAS,EAAE,gDAAgD;QAC3D,GAAG,EAAE,kFAAkF;QACvF,OAAO,EAAE,kEAAkE;KAC5E;IACD,IAAI,EAAE;QACJ,SAAS,EAAE,kCAAkC;QAC7C,GAAG,EAAE,0CAA0C;QAC/C,OAAO,EAAE,kDAAkD;KAC5D;IACD,IAAI,EAAE;QACJ,SAAS,EAAE,sBAAsB;QACjC,GAAG,EAAE,6CAA6C;QAClD,OAAO,EAAE,wDAAwD;KAClE;CACF,CAAC,CAAC;AAEH,mDAAmD;AACnD,MAAM,CAAC,MAAM,eAAe,GAAwC,MAAM,CAAC,MAAM,CAAC;IAChF,OAAO,EAAE;QACP,SAAS,EAAE,gCAAgC;QAC3C,GAAG,EAAE,iFAAiF;QACtF,OAAO,EAAE,mCAAmC;KAC7C;IACD,GAAG,EAAE;QACH,SAAS,EAAE,yCAAyC;QACpD,GAAG,EAAE,0BAA0B;QAC/B,OAAO,EAAE,qBAAqB;KAC/B;CACF,CAAC,CAAC;AAEH,4DAA4D;AAC5D,MAAM,CAAC,MAAM,QAAQ,GAAsB,MAAM,CAAC,MAAM,CAAC;IACvD,UAAU;IACV,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO;IAC3C,SAAS;IACT,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;IAClF,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK;IACnC,UAAU;IACV,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS;IAClF,UAAU;IACV,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa;IAC5D,mBAAmB;IACnB,MAAM,EAAE,QAAQ,EAAE,KAAK;IACvB,uBAAuB;IACvB,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU;CACjD,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;AAE3E,sFAAsF;AACtF,MAAM,CAAC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IACzD,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;IAC1B,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC;IAClC,GAAG,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC;IAC/B,GAAG,QAAQ;IACX,GAAG,WAAW;CACf,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAqC,MAAM,CAAC,MAAM,CAAC;IAC/E,IAAI,EAAE,mFAAmF;IACzF,IAAI,EAAE,qDAAqD;IAC3D,MAAM,EAAE,qDAAqD;IAC7D,KAAK,EAAE,yFAAyF;IAChG,MAAM,EAAE,0DAA0D;IAClE,MAAM,EAAE,qCAAqC;IAC7C,OAAO,EAAE,uCAAuC;IAChD,QAAQ,EAAE,iCAAiC;IAC3C,UAAU,EAAE,0BAA0B;IACtC,KAAK,EAAE,8FAA8F;IACrG,QAAQ,EAAE,wFAAwF;IAClG,QAAQ,EAAE,0FAA0F;IACpG,GAAG,EAAE,mGAAmG;IACxG,IAAI,EAAE,yEAAyE;IAC/E,GAAG,EAAE,sDAAsD;IAC3D,GAAG,EAAE,sDAAsD;IAC3D,KAAK,EAAE,mEAAmE;IAC1E,OAAO,EAAE,uBAAuB;IAChC,UAAU,EAAE,wBAAwB;IACpC,WAAW,EAAE,8CAA8C;CAC5D,CAAC,CAAC;AAEH,0FAA0F;AAC1F,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IAC5D,GAAG,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;IACjC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO;IAC5D,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU;IACnF,cAAc,EAAE,gBAAgB,EAAE,SAAS,EAAE,QAAQ;IACrD,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,iBAAiB;IAC1F,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,mBAAmB,EAAE,aAAa;IACpF,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,KAAK,EAAE,iBAAiB,EAAE,iBAAiB;IACrF,oBAAoB,EAAE,oBAAoB,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU;IAC1F,WAAW,EAAE,YAAY,EAAE,mBAAmB,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY;IACzF,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,gBAAgB;CACjF,CAAC,CAAC;AAEH,oGAAoG;AACpG,MAAM,CAAC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,kDAAkD;AAClD,MAAM,CAAC,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,sDAAsD;IACtD,OAAO,EAAE,YAAY;IACrB,WAAW,EAAE,sCAAsC;IACnD,aAAa,EAAE,CAAC;IAChB,qBAAqB,EAAE,GAAG;CAC3B,CAAC,CAAC;AAEH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC"}

package/dist/sim.d.ts

@@ -52,6 +52,14 @@ interface Consumption {
  * Every effect resolves from the script or fails loudly. Sleeps are instant and advance the
  * virtual clock by the duration the program asked for, so a program that waits four hours is
  * tested in microseconds without pretending the wait did not happen.
+ *
+ * ONE clock, advanced in ask order — deliberately, and worth saying here because this file is
+ * where a reader would conclude otherwise: concurrent branches do NOT get independent virtual
+ * time. Two racing sleeps advance the same clock as their requests arrive, so under simulation a
+ * race is decided by ask order (then declaration order), not by which duration is shorter. The
+ * run clocks (`RunClock`, per branch) sit above this and stay per-branch; it is the TIMEBASE the
+ * simulator feeds them that is shared. A live handler with real waiting behaves differently, and
+ * `scopes.smoke` section 1b is the cell that pins the difference.
  */
 export declare class SimHandler implements EffectHandler {
     readonly script: SimScript;
@@ -82,7 +90,7 @@ export declare class SimHandler implements EffectHandler {
      * the disposition would bake it into the record exactly as a production handler would.
      */
     checkpoint(_req: CheckpointRequest, ctx: EffectContext): Promise<CheckpointRaw>;
-    /** Instant, and honest: the clock moves by exactly what the program asked to wait. */
+    /** Instant: the SHARED virtual clock moves by what the program asked to wait (see the class note). */
     sleep(req: SleepRequest, ctx: EffectContext): Promise<null>;
     wait(req: WaitRequest, ctx: EffectContext): Promise<unknown | null>;
     notify(_req: NotifyRequest, ctx: EffectContext): Promise<null>;

package/dist/sim.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sim.d.ts","sourceRoot":"","sources":["../src/sim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACV,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,aAAa,EACb,cAAc,EACd,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,eAAe,EACf,WAAW,EACZ,MAAM,cAAc,CAAC;AAKtB,+FAA+F;AAC/F,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC;AAE3C,MAAM,WAAW,QAAQ;IACvB,iGAAiG;IACjG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACjF,0FAA0F;IAC1F,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,KAAK,CAAC,EAAE;QACf,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QACxB,qDAAqD;QACrD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC;AAED,qBAAa,kBAAmB,SAAQ,KAAK;IAEzC,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM;gBADf,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACxB,OAAO,EAAE,MAAM;CAKlB;AAED,UAAU,WAAW;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,qBAAa,UAAW,YAAW,aAAa;IAMlC,QAAQ,CAAC,MAAM,EAAE,SAAS;IALtC,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAC9C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAuC;gBAEzC,MAAM,GAAE,SAAc;IAI3C,GAAG,IAAI,MAAM;IAIb,gGAAgG;IAChG,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAIzB,OAAO,CAAC,SAAS;IAIjB,mFAAmF;IACnF,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,UAAU;IAYlB;;;;OAIG;IACH,OAAO,CAAC,OAAO;IAiCT,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAcvE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC;IAOrE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC;IAOjE;;;;OAIG;IACG,UAAU,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;IAcrF,sFAAsF;IAChF,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAM3D,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IAQnE,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAK9D,OAAO,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAKhE,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAKnF,aAAa,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAO7E;;;OAGG;IACH,YAAY,IAAI,SAAS,MAAM,EAAE;IAajC,wEAAwE;IACxE,SAAS,IAAI,SAAS,WAAW,EAAE;CAGpC"}
+{"version":3,"file":"sim.d.ts","sourceRoot":"","sources":["../src/sim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACV,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,aAAa,EACb,cAAc,EACd,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,eAAe,EACf,WAAW,EACZ,MAAM,cAAc,CAAC;AAKtB,+FAA+F;AAC/F,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC;AAE3C,MAAM,WAAW,QAAQ;IACvB,iGAAiG;IACjG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACjF,0FAA0F;IAC1F,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,KAAK,CAAC,EAAE;QACf,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QACxB,qDAAqD;QACrD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC;AAED,qBAAa,kBAAmB,SAAQ,KAAK;IAEzC,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM;gBADf,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACxB,OAAO,EAAE,MAAM;CAKlB;AAED,UAAU,WAAW;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;;;;;;;;GAcG;AACH,qBAAa,UAAW,YAAW,aAAa;IAMlC,QAAQ,CAAC,MAAM,EAAE,SAAS;IALtC,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAC9C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAuC;gBAEzC,MAAM,GAAE,SAAc;IAI3C,GAAG,IAAI,MAAM;IAIb,gGAAgG;IAChG,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAIzB,OAAO,CAAC,SAAS;IAIjB,mFAAmF;IACnF,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,UAAU;IAYlB;;;;OAIG;IACH,OAAO,CAAC,OAAO;IAiCT,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAcvE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC;IAOrE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC;IAOjE;;;;OAIG;IACG,UAAU,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;IAcrF,sGAAsG;IAChG,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAM3D,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IAQnE,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAK9D,OAAO,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAKhE,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAKnF,aAAa,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAO7E;;;OAGG;IACH,YAAY,IAAI,SAAS,MAAM,EAAE;IAajC,wEAAwE;IACxE,SAAS,IAAI,SAAS,WAAW,EAAE;CAGpC"}

package/dist/sim.js

@@ -29,6 +29,14 @@ export class SimUnscriptedError extends Error {
  * Every effect resolves from the script or fails loudly. Sleeps are instant and advance the
  * virtual clock by the duration the program asked for, so a program that waits four hours is
  * tested in microseconds without pretending the wait did not happen.
+ *
+ * ONE clock, advanced in ask order — deliberately, and worth saying here because this file is
+ * where a reader would conclude otherwise: concurrent branches do NOT get independent virtual
+ * time. Two racing sleeps advance the same clock as their requests arrive, so under simulation a
+ * race is decided by ask order (then declaration order), not by which duration is shorter. The
+ * run clocks (`RunClock`, per branch) sit above this and stay per-branch; it is the TIMEBASE the
+ * simulator feeds them that is shared. A live handler with real waiting behaves differently, and
+ * `scopes.smoke` section 1b is the cell that pins the difference.
  */
 export class SimHandler {
     script;
@@ -134,7 +142,7 @@ export class SimHandler {
             at: this.virtualNow,
         };
     }
-    /** Instant, and honest: the clock moves by exactly what the program asked to wait. */
+    /** Instant: the SHARED virtual clock moves by what the program asked to wait (see the class note). */
     async sleep(req, ctx) {
         this.checkFault(ctx);
         this.advance(parseDuration(req.duration));

package/dist/sim.js.map

@@ -1 +1 @@
-{"version":3,"file":"sim.js","sourceRoot":"","sources":["../src/sim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAoBH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AA8B1C,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEhC;IACA;IAFX,YACW,IAAY,EACZ,OAAe,EACxB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAJN,SAAI,GAAJ,IAAI,CAAQ;QACZ,YAAO,GAAP,OAAO,CAAQ;QAIxB,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAQD;;;;;;GAMG;AACH,MAAM,OAAO,UAAU;IAMA;IALb,UAAU,CAAS;IACV,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,QAAQ,GAAkB,EAAE,CAAC;IAC7B,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IAE9D,YAAqB,SAAoB,EAAE;QAAtB,WAAM,GAAN,MAAM,CAAgB;QACzC,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,gGAAgG;IAChG,OAAO,CAAC,EAAU;QAChB,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACxB,CAAC;IAEO,SAAS,CAAC,IAAwB,EAAE,QAAgB;QAC1D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,mFAAmF;IAC3E,cAAc,CAAC,KAAa,EAAE,IAAY;QAChD,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC;IACX,CAAC;IAEO,UAAU,CAAC,GAAkB;QACnC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;QAC/E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,MAAM,IAAI,WAAW,CACnB,KAAK,CAAC,IAAI,IAAI,OAAO,EACrB,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,OAAO,IAAI,aAAa,KAAK,CAAC,IAAI,OAAO,IAAI,EAAE,CACtD,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACK,OAAO,CACb,KAAa,EACb,QAA2D,EAC3D,GAAkB;QAElB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAC/D,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,kBAAkB,CAC1B,OAAO,EACP,OAAO,EACP,8DAA8D,KAAK,eAAe,IAAI,WAAW,OAAO,qCAAqC,KAAK,QAAQ,IAAI,2IAA2I,CAC1S,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAU,CAAC;QAC7C,MAAM,IAAI,GAAG,KAAqB,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,kBAAkB,CAC1B,OAAO,EACP,OAAO,EACP,6DAA6D,IAAI,CAAC,MAAM,IAAI,KAAK,UAAU,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,6BAA6B,UAAU,UAAU,OAAO,0GAA0G,CACvS,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gGAAgG;IAEhG,KAAK,CAAC,KAAK,CAAC,GAAiB,EAAE,GAAkB;QAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,MAAM,GAAqB;YAC/B,KAAK,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE;YACxD,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAiB,EAAE,GAAkB;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9C,OAAO,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,IAAgB,EAAE,GAAkB;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1D,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,UAAU,CAAC,IAAuB,EAAE,GAAkB;QAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC3E,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACtF,OAAO;YACL,OAAO,EAAE,UAAU;YACnB,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,EAAE,EAAE,IAAI,CAAC,UAAU;SACpB,CAAC;IACJ,CAAC;IAED,sFAAsF;IACtF,KAAK,CAAC,KAAK,CAAC,GAAiB,EAAE,GAAkB;QAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAgB,EAAE,GAAkB;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9D,iFAAiF;QACjF,IAAI,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;;YACrF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAmB,EAAE,GAAkB;QAClD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAoB,EAAE,GAAkB;QACpD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,GAAoB,EAAE,GAAkB;QACzD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,gBAAgB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;IAC9E,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,IAAqB,EAAE,GAAkB;QAC3D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iGAAiG;IAEjG;;;OAGG;IACH,YAAY;QACV,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvE,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAU,EAAE,CAAC;YACxE,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS;YAC9B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,wEAAwE;IACxE,SAAS;QACP,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;CACF"}
+{"version":3,"file":"sim.js","sourceRoot":"","sources":["../src/sim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAoBH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AA8B1C,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEhC;IACA;IAFX,YACW,IAAY,EACZ,OAAe,EACxB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAJN,SAAI,GAAJ,IAAI,CAAQ;QACZ,YAAO,GAAP,OAAO,CAAQ;QAIxB,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAQD;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,UAAU;IAMA;IALb,UAAU,CAAS;IACV,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,QAAQ,GAAkB,EAAE,CAAC;IAC7B,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IAE9D,YAAqB,SAAoB,EAAE;QAAtB,WAAM,GAAN,MAAM,CAAgB;QACzC,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,gGAAgG;IAChG,OAAO,CAAC,EAAU;QAChB,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACxB,CAAC;IAEO,SAAS,CAAC,IAAwB,EAAE,QAAgB;QAC1D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,mFAAmF;IAC3E,cAAc,CAAC,KAAa,EAAE,IAAY;QAChD,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC;IACX,CAAC;IAEO,UAAU,CAAC,GAAkB;QACnC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;QAC/E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,MAAM,IAAI,WAAW,CACnB,KAAK,CAAC,IAAI,IAAI,OAAO,EACrB,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,OAAO,IAAI,aAAa,KAAK,CAAC,IAAI,OAAO,IAAI,EAAE,CACtD,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACK,OAAO,CACb,KAAa,EACb,QAA2D,EAC3D,GAAkB;QAElB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAC/D,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,kBAAkB,CAC1B,OAAO,EACP,OAAO,EACP,8DAA8D,KAAK,eAAe,IAAI,WAAW,OAAO,qCAAqC,KAAK,QAAQ,IAAI,2IAA2I,CAC1S,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAU,CAAC;QAC7C,MAAM,IAAI,GAAG,KAAqB,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,kBAAkB,CAC1B,OAAO,EACP,OAAO,EACP,6DAA6D,IAAI,CAAC,MAAM,IAAI,KAAK,UAAU,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,6BAA6B,UAAU,UAAU,OAAO,0GAA0G,CACvS,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gGAAgG;IAEhG,KAAK,CAAC,KAAK,CAAC,GAAiB,EAAE,GAAkB;QAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,MAAM,GAAqB;YAC/B,KAAK,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE;YACxD,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAiB,EAAE,GAAkB;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9C,OAAO,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,IAAgB,EAAE,GAAkB;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1D,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,UAAU,CAAC,IAAuB,EAAE,GAAkB;QAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC3E,MAAM,GAAG,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACtF,OAAO;YACL,OAAO,EAAE,UAAU;YACnB,GAAG,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,EAAE,EAAE,IAAI,CAAC,UAAU;SACpB,CAAC;IACJ,CAAC;IAED,sGAAsG;IACtG,KAAK,CAAC,KAAK,CAAC,GAAiB,EAAE,GAAkB;QAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAgB,EAAE,GAAkB;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9D,iFAAiF;QACjF,IAAI,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;;YACrF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAmB,EAAE,GAAkB;QAClD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAoB,EAAE,GAAkB;QACpD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,GAAoB,EAAE,GAAkB;QACzD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,gBAAgB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;IAC9E,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,IAAqB,EAAE,GAAkB;QAC3D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iGAAiG;IAEjG;;;OAGG;IACH,YAAY;QACV,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvE,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAU,EAAE,CAAC;YACxE,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS;YAC9B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,wEAAwE;IACxE,SAAS;QACP,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;CACF"}

package/dist/syntax.d.ts

@@ -0,0 +1,34 @@
+/**
+ * The syntax table: every node type acorn can produce, sorted into the sets the language is made of.
+ *
+ * ONE TABLE, READ BY BOTH HALVES. The validator admits exactly {@link ADMITTED_NODES} and
+ * {@link STRUCTURAL_NODES}, refuses each row of {@link FORBIDDEN_NODES} with its own code, and refuses
+ * everything else with L1029. The interpreter executes exactly the admitted set. `surface.smoke`
+ * holds the two halves to this file: every admitted node type is executed by a program, every
+ * `case` label in the interpreter's node switches is on this table, and every node type acorn knows
+ * lands in exactly one set. Before this table existed the two halves were two hand-kept lists, and
+ * `x++`, `?.`, rest parameters and `**` were admitted by one and refused by the other.
+ */
+import type { LangErrorCode } from "./errors.js";
+/** Node types the interpreter executes. A validated program is made of these and nothing else. */
+export declare const ADMITTED_NODES: ReadonlySet<string>;
+/**
+ * Node types that only occur INSIDE an admitted node and are executed as part of it: a `Property`
+ * inside an object literal, a `SwitchCase` inside a `switch`, a pattern inside a declaration.
+ */
+export declare const STRUCTURAL_NODES: ReadonlySet<string>;
+/** Node types rejected outright, with the code and the repair to suggest. */
+export declare const FORBIDDEN_NODES: Readonly<Record<string, {
+    readonly code: LangErrorCode;
+    readonly cause: string;
+    readonly fix: string;
+}>>;
+/** Node types that occur only inside a forbidden node and are reported through their parent's row. */
+export declare const FORBIDDEN_CHILDREN: readonly string[];
+/**
+ * Every node type acorn 8 emits for `ecmaVersion: 2023, sourceType: "module"`, whether or not it
+ * is in the language. `surface.smoke` asserts each one lands in exactly one of the sets above, so a
+ * node type acorn adds or one this file forgets is a red suite rather than a runtime surprise.
+ */
+export declare const KNOWN_NODES: readonly string[];
+//# sourceMappingURL=syntax.d.ts.map

package/dist/syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.d.ts","sourceRoot":"","sources":["../src/syntax.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,kGAAkG;AAClG,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAoC7C,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAW/C,CAAC;AAEH,6EAA6E;AAC7E,eAAO,MAAM,eAAe,EAAE,QAAQ,CACpC,MAAM,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,CAuF9F,CAAC;AAEH,sGAAsG;AACtG,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAW9C,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,SAAS,MAAM,EAKvC,CAAC"}