@cotal-ai/lang 0.0.0 → 0.15.0

package/dist/sim.js

@@ -0,0 +1,192 @@
+/**
+ * The simulation handler: the same interpreter, a different handler.
+ *
+ * That is the whole design, and it is why simulation is v1 scope rather than a later nicety. It
+ * costs one implementation of an interface the runtime needed anyway, and it is the test harness
+ * for everything else: scripted turns, instant sleeps, injected checkpoint answers, and injected
+ * faults, with no broker, no agents, and no wall-clock waiting.
+ *
+ * The rule that makes it worth trusting: **an unscripted effect is an error, never a default**. A
+ * simulator that invents a plausible turn result is a simulator that green-lights broken programs,
+ * which is worse than having no simulator at all.
+ */
+import { EffectError } from "./effects.js";
+import { parseDuration } from "./duration.js";
+import { stepKeyString } from "./keys.js";
+export class SimUnscriptedError extends Error {
+    code;
+    stepKey;
+    constructor(code, stepKey, message) {
+        super(message);
+        this.code = code;
+        this.stepKey = stepKey;
+        this.name = "SimUnscriptedError";
+    }
+}
+/**
+ * The simulation handler.
+ *
+ * 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.
+ */
+export class SimHandler {
+    script;
+    virtualNow;
+    occurrences = new Map();
+    consumed = [];
+    agents = new Map();
+    constructor(script = {}) {
+        this.script = script;
+        this.virtualNow = script.clock?.start ?? 0;
+    }
+    now() {
+        return this.virtualNow;
+    }
+    /** Advance virtual time. Sleeps do this by their full duration; turns by a scripted default. */
+    advance(ms) {
+        this.virtualNow += ms;
+    }
+    advanceBy(spec, fallback) {
+        this.advance(parseDuration(spec ?? fallback));
+    }
+    /** Which occurrence of this (table, name) we are on, counted per simulated run. */
+    nextOccurrence(table, name) {
+        const tag = `${table}:${name}`;
+        const n = this.occurrences.get(tag) ?? 0;
+        this.occurrences.set(tag, n + 1);
+        return n;
+    }
+    checkFault(ctx) {
+        const full = stepKeyString(ctx.key);
+        const short = full.slice(full.lastIndexOf("/") + 1);
+        const fault = this.script.faults?.find((f) => f.at === full || f.at === short);
+        if (fault === undefined)
+            return;
+        throw new EffectError(fault.code ?? "L4002", fault.kind, fault.message ?? `simulated ${fault.kind} at ${full}`);
+    }
+    /**
+     * Resolve one scripted outcome, or fail. `name` falls back to the effect kind for unnamed
+     * steps, which is the same fallback the journal key uses, so a script and a real trace read
+     * against each other without translation.
+     */
+    resolve(table, scripted, ctx) {
+        this.checkFault(ctx);
+        const name = ctx.key.name === "" ? ctx.key.kind : ctx.key.name;
+        const entry = scripted?.[name];
+        const stepKey = stepKeyString(ctx.key);
+        if (entry === undefined) {
+            throw new SimUnscriptedError("L6001", stepKey, `L6001 Unscripted effect in simulation\n\nThe script has no ${table} entry for "${name}" (step ${stepKey}).\n\nFix: add one, for example { ${table}: { "${name}": <result> } }. The simulator never invents a result, because a simulator that guesses is a simulator that green-lights broken programs.`);
+        }
+        const occurrence = this.nextOccurrence(table, name);
+        this.consumed.push({ table, name, occurrence });
+        if (!Array.isArray(entry))
+            return entry;
+        const list = entry;
+        const value = list[occurrence];
+        if (value === undefined) {
+            throw new SimUnscriptedError("L6001", stepKey, `L6001 Unscripted effect in simulation\n\nThe script gives ${list.length} ${table} result${list.length === 1 ? "" : "s"} for "${name}", and this is occurrence ${occurrence} (step ${stepKey}).\n\nFix: add another entry to the list, or use a single value to script every occurrence the same way.`);
+        }
+        return value;
+    }
+    // ---- the handler ----------------------------------------------------------------------------
+    async spawn(req, ctx) {
+        this.checkFault(ctx);
+        const n = this.nextOccurrence("spawn", req.persona);
+        const handle = {
+            agent: `sim.${req.persona}${n === 0 ? "" : `-${n + 1}`}`,
+            persona: req.persona,
+            ...(req.worktree !== undefined ? { worktree: req.worktree } : {}),
+            ...(req.role !== undefined ? { role: req.role } : {}),
+        };
+        this.agents.set(handle.agent, handle);
+        await ctx.bind({ simAgent: handle.agent });
+        return handle;
+    }
+    async turn(_req, ctx) {
+        const scripted = this.resolve("turns", this.script.turns, ctx);
+        await ctx.bind({ simGoal: stepKeyString(ctx.key) });
+        this.advanceBy(this.script.clock?.turn, "5m");
+        return { ...scripted, at: this.virtualNow };
+    }
+    async ask(_req, ctx) {
+        const value = this.resolve("asks", this.script.asks, ctx);
+        await ctx.bind({ simGoal: stepKeyString(ctx.key) });
+        this.advanceBy(this.script.clock?.ask, "1m");
+        return value;
+    }
+    /**
+     * Reports WHAT HAPPENED and never whether it throws. A script says `resolved` or `expired`; the
+     * interpreter journals that and applies today's `onExpiry` afterwards. A simulator that decided
+     * the disposition would bake it into the record exactly as a production handler would.
+     */
+    async checkpoint(_req, ctx) {
+        const scripted = this.resolve("checkpoints", this.script.checkpoints, ctx);
+        await ctx.bind({ simCheckpoint: stepKeyString(ctx.key) });
+        this.advanceBy(this.script.clock?.checkpoint, "1m");
+        if (scripted.status === "expired")
+            return { outcome: "expired", at: this.virtualNow };
+        return {
+            outcome: "resolved",
+            ...(scripted.value !== undefined ? { value: scripted.value } : {}),
+            ...(scripted.by !== undefined ? { by: scripted.by } : {}),
+            ...(scripted.artifact !== undefined ? { artifact: scripted.artifact } : {}),
+            at: this.virtualNow,
+        };
+    }
+    /** Instant, and honest: the clock moves by exactly what the program asked to wait. */
+    async sleep(req, ctx) {
+        this.checkFault(ctx);
+        this.advance(parseDuration(req.duration));
+        return null;
+    }
+    async wait(req, ctx) {
+        const value = this.resolve("events", this.script.events, ctx);
+        // A scripted null is a timeout, and a timeout consumes the whole timeout budget.
+        if (value === null && req.timeout !== undefined)
+            this.advance(parseDuration(req.timeout));
+        else
+            this.advanceBy(this.script.clock?.wait, "1m");
+        return value;
+    }
+    async notify(_req, ctx) {
+        this.checkFault(ctx);
+        return null;
+    }
+    async monitor(_req, ctx) {
+        this.checkFault(ctx);
+        return null;
+    }
+    async openConclave(req, ctx) {
+        this.checkFault(ctx);
+        return { channel: req.channel ?? `sim-conclave-${stepKeyString(ctx.key)}` };
+    }
+    async closeConclave(_req, ctx) {
+        this.checkFault(ctx);
+        return null;
+    }
+    // ---- the report ------------------------------------------------------------------------------
+    /**
+     * Script entries the run never reached. Usually a renamed step, which is worth saying out loud:
+     * a script that silently stops matching is a test that silently stops testing.
+     */
+    unusedScript() {
+        const used = new Set(this.consumed.map((c) => `${c.table}:${c.name}`));
+        const out = [];
+        for (const table of ["turns", "asks", "checkpoints", "events"]) {
+            const t = this.script[table];
+            if (t === undefined)
+                continue;
+            for (const name of Object.keys(t)) {
+                if (!used.has(`${table}:${name}`))
+                    out.push(`${table}.${name}`);
+            }
+        }
+        return out;
+    }
+    /** Every effect the run performed, in order, for the dry-run report. */
+    performed() {
+        return this.consumed;
+    }
+}
+//# sourceMappingURL=sim.js.map

package/dist/sim.js.map

@@ -0,0 +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"}

package/dist/values.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Values, freezing, and the tamed nondeterminism.
+ *
+ * Jessie asks the author to call `harden()` before a value may be aliased or escape. An explicit
+ * call whose omission produces silent aliasing is the wrong shape for an author who is a language
+ * model, so we do it for them: every value crossing an effect boundary, in either direction, is
+ * deep-frozen by the interpreter. The rule the design states as "freeze on share" is therefore a
+ * property of the runtime rather than a discipline anyone has to remember.
+ */
+import type { ScopeFrame } from "./keys.js";
+/** Deep-freeze a value on its way across an effect boundary. Cycles are not reachable here: a
+ *  value that crosses a boundary has to canonicalize, and a cycle does not. */
+export declare function deepFreeze<T>(value: T): T;
+/**
+ * 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
+ * digest time, because here we still know which argument it was.
+ */
+export declare function assertCrossable(value: unknown, path?: string): void;
+/**
+ * The seeded PRNG.
+ *
+ * Derived per scope rather than as one stream over the run: `H(seed, scopePath, draw)`. A single
+ * global counter would mean that inserting a draw anywhere shifts every later draw, so an
+ * unrelated edit elsewhere in the program would change the randomness a given scope sees. Per
+ * scope, an edit only disturbs the scope it is in, which is what makes randomness survive a
+ * migration. Draws are never journalled: they are a pure function of journalled state.
+ */
+export declare class Prng {
+    readonly seed: string;
+    private readonly draws;
+    constructor(seed: string);
+    next(scope: readonly ScopeFrame[]): number;
+}
+//# sourceMappingURL=values.d.ts.map

package/dist/values.d.ts.map

@@ -0,0 +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;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAU,GAAG,IAAI,CAsCpE;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"}

package/dist/values.js.map

@@ -0,0 +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;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,IAAI,GAAG,OAAO;IAC5D,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,SAAS,CACjB,GAAG,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,sEAAsE,CAClG,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,UAAU;YACb,MAAM,IAAI,SAAS,CACjB,GAAG,IAAI,+GAA+G,CACvH,CAAC;QACJ,KAAK,WAAW;YACd,MAAM,IAAI,SAAS,CACjB,GAAG,IAAI,6EAA6E,CACrF,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC7D,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,SAAS,CAAC,GAAG,IAAI,iDAAiD,CAAC,CAAC;YAChF,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,CAAC,CAAC;YACrC,CAAC;YACD,OAAO;QACT,CAAC;QACD;YACE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,wBAAwB,CAAC,CAAC;IACzD,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,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;QACpF,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"}

package/package.json

@@ -1,15 +1,35 @@
 {
   "name": "@cotal-ai/lang",
-  "version": "0.0.0",
-  "description": "Placeholder for cotal-lang, the restricted-JS workflow language. Reserves the name so GitHub Actions trusted publishing (OIDC) can be configured; the real package publishes from the Cotal repo.",
+  "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.15.0",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/Cotal-AI/Cotal.git",
     "directory": "packages/lang"
   },
-  "homepage": "https://github.com/Cotal-AI/Cotal/tree/main/packages/lang",
-  "keywords": ["cotal", "cotal-lang", "workflow", "language", "placeholder"],
-  "publishConfig": { "access": "public" },
-  "files": ["README.md"]
-}
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "dependencies": {
+    "acorn": "^8.15.0",
+    "json-canonicalize": "^2.0.0"
+  },
+  "files": [
+    "dist"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "build": "tsc -p tsconfig.json",
+    "test": "tsx smoke/grammar.smoke.ts && tsx smoke/keys.smoke.ts && tsx smoke/journal.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"
+  }
+}

package/README.md

@@ -1,10 +0,0 @@
-# @cotal-ai/lang
-
-Placeholder release reserving this package name.
-
-`cotal-lang` is the restricted-JS workflow language used by [Cotal](https://github.com/Cotal-AI/Cotal):
-the parser and validator, the effect interface, the step journal, the interpreter, and the
-simulation handler.
-
-The real package is published from the Cotal repository. See
-[packages/lang](https://github.com/Cotal-AI/Cotal/tree/main/packages/lang).