@cotal-ai/runtime 0.0.1 → 0.25.0

package/dist/run-driver.js

@@ -0,0 +1,335 @@
+/**
+ * The run driver: what actually advances a workflow run, and the only thing allowed to.
+ *
+ * A driver is not a scheduler and not a supervisor. Its whole job is to be the ONE process holding a
+ * run, to hand the interpreter a journal that is durable and complete, and to stop the moment it is
+ * no longer that process. Everything hard about the first and third parts lives in the activation
+ * barrier (`@cotal-ai/core`); everything hard about the middle lives in the language. This file is
+ * the join, and it is deliberately small — a driver with its own opinions about durability would be
+ * a second answer to a question that already has one.
+ *
+ * **Start and resume are the same act with one bit of difference**, and the bit is not cosmetic. A
+ * run's journal cannot say whether an empty subject means "never started" or "retired by purge", so
+ * the caller states which it means: `startRun` activates with `expect: "new"` and `driveRun` with
+ * `expect: "existing"`, and the barrier refuses the mismatch either way. That is why there are two
+ * entry points rather than one that guesses from what it finds.
+ *
+ * **The prefix the barrier replayed IS the journal the interpreter resumes from.** Not a copy of it,
+ * not a second read: the appender hands back exactly the records it validated as complete before it
+ * activated, so there is no window in which the driver could resume from a different prefix than the
+ * one it took the run over on.
+ *
+ * **A durability failure is not a run failure.** If the journal refuses an append — superseded,
+ * stalled, retired — the run is not "failed", it is no longer THIS process's to speak for. The
+ * distinction is the whole reason `RunJournalStore` maps those to L5010: a driver that reported them
+ * as an outcome would be writing down a conclusion about work it can no longer see.
+ */
+import { activateRun, readRunRecord, createRunSpec, writeRunStatus, assertJournalTailIntact, RunJournalTailTruncated, RunSuperseded, RunJournalStalled, StaleLeaseToken, ActivationNotAuthorized, RunNotResumable, RunAlreadyStarted, RunJournalPrefixTruncated, } from "@cotal-ai/core";
+import { Journal, JournalAppendRejected, run as runProgram, resume as resumeProgram, RunReleased, resolvePins, RuntimeFault, ENGINE_LANGUAGE_VERSION, WALKER_LANGUAGE_VERSION, PIN_DEFAULTS, } from "@cotal-ai/lang";
+import { runOnHostedEngine } from "./engine-host.js";
+import { RunJournalStore } from "./journal-store.js";
+/** The compiled engine consumes the same request either way: pins plus the activated entries say
+ *  whether this is a fresh run or a resume, exactly as they say it to the walker underneath. */
+const hostedEngineRun = (r) => runOnHostedEngine({
+    source: r.source,
+    runId: r.options.runId,
+    pins: r.options.pins,
+    handler: r.options.handler,
+    store: r.store,
+    entries: r.entries,
+    shouldStop: r.options.shouldStop,
+    ...(r.options.file !== undefined ? { file: r.options.file } : {}),
+    ...(r.options.seed !== undefined ? { seed: r.options.seed } : {}),
+    ...(r.options.effectCeiling !== undefined ? { effectCeiling: r.options.effectCeiling } : {}),
+    ...(r.options.stepBudget !== undefined ? { stepBudget: r.options.stepBudget } : {}),
+});
+/**
+ * THE LANGUAGE VERSIONS THIS BUILD'S DRIVER CAN HOST, most preferred first.
+ *
+ * This is a fact about the DRIVER, not about the language, and this build serves both: a fresh run
+ * is stamped "2" and executes on the compiled engine — the transform runs here, the program runs in
+ * a locked-down worker thread, and the effects and the durable journal stay in THIS process, bridged
+ * over a MessagePort so no socket, client or credential enters the isolate that holds the program
+ * (`engine-host.ts`) — and every version-1 record keeps routing to the walker, which is the
+ * walker's whole job. What a run is stamped with must be the version of the engine that will
+ * actually execute it: stamping "2" and calling the walker is REFUSED L5008, measured when this
+ * table held one entry.
+ *
+ * ORDER IS THE PRECEDENCE and it is declared, never derived: a fresh run takes the first entry. A
+ * sort over the keys would make "which version is preferred" a fact about string collation, which is
+ * not a thing anyone decided.
+ */
+const ENGINES = [
+    { version: ENGINE_LANGUAGE_VERSION, run: hostedEngineRun, resume: hostedEngineRun },
+    {
+        version: WALKER_LANGUAGE_VERSION,
+        run: (r) => runProgram(r.source, { ...r.options, journal: r.journal }),
+        resume: (r) => resumeProgram(r.source, r.journal, r.options),
+    },
+];
+/**
+ * The refusal for a recorded language no engine in this build serves, naming what it does serve.
+ *
+ * L5023 rather than L5008: L5008 is the same disagreement one layer in, where a record was handed to
+ * a SPECIFIC engine whose version differs and the repair is to run it on the engine that matches.
+ * Here there is no such engine to name, so it is a different sentence. The message carries the
+ * recorded version AND the served set, because "this build cannot" is only actionable if it says
+ * what it can.
+ */
+/**
+ * A record whose `languageVersion` is not the string the wire contract declares (SPEC §14.3,
+ * core's run-record). Distinct from L5023 on purpose: L5023 says "a version this build does not
+ * serve", and folding a malformed field into it produced the self-contradictory sentence
+ * "recorded under language version 2 ... this build serves 2, 1" when the 2 was a number - the
+ * table compares strings, so a number misses every entry while printing like a served version.
+ * The writer that produced the record is the defect; the record is refused untouched.
+ */
+class RunRecordMalformed extends Error {
+    constructor(runId, got) {
+        super(`run ${runId}'s record is malformed: \`languageVersion\` must be a string and this record carries a ${typeof got}`
+            + ` (${JSON.stringify(got) ?? String(got)}). No engine dispatch was attempted; the writer that produced this record is the defect to fix.`);
+        this.name = "RunRecordMalformed";
+    }
+}
+function unservedLanguage(version) {
+    // A RECORD MAY NAME NO VERSION AT ALL, and it reaches this branch by the same route: written
+    // before the field existed, it matches no engine either. The two cases get different sentences
+    // because an operator acts on them differently, and because interpolating an absent value says
+    // the record claims "undefined" when what happened is that it claims nothing. MEASURED before the
+    // repair, through the driver: `recorded under language version undefined and this build serves 1`.
+    const met = version === undefined ? "names no language version at all" : `was recorded under language version ${version}`;
+    const repair = version === undefined
+        ? `identify the version this record was written under, and run it on a build that serves it`
+        : `run this record on a build whose engines serve version ${version}`;
+    return new RuntimeFault("L5023", `this run ${met} and this build serves ${ENGINES.map((e) => e.version).join(", ")}. `
+        + `A record replays only on an engine that speaks its language: version 1 is the tree-walker and version 2 is the engine, and they are `
+        + `different languages rather than two speeds of one.\n\n`
+        + `Options\n  ${repair}\n  fork(run, <step>) start a new run on this build, keeping the prefix`);
+}
+/**
+ * A pause an operator can ask for while a run is being driven.
+ *
+ * The driver reads it before each effect it has not already recorded, so a pause takes effect at the
+ * next boundary and never in the middle of one. It is one-way on purpose: resuming is starting a
+ * drive again, which is the same act as any other takeover and goes through the barrier like one.
+ */
+export class PauseToken {
+    why;
+    pause(reason) {
+        this.why ??= reason;
+    }
+    get reason() {
+        return this.why;
+    }
+}
+const adoptionOf = (handler) => typeof handler?.adopted === "function"
+    ? handler
+    : undefined;
+/** Start a run that has never been driven. Refused if the journal already has records. */
+export async function startRun(js, jsm, req) {
+    return await drive(js, jsm, req, "new");
+}
+/** Take over a run that already exists and drive it to quiescence. Refused if its journal is empty:
+ *  a run whose records were purged is retired, and re-running it would repeat what it already did. */
+export async function driveRun(js, jsm, req) {
+    return await drive(js, jsm, req, "existing");
+}
+async function drive(js, jsm, req, expect) {
+    // The record FIRST, because two of the things it holds decide whether this attempt may proceed at
+    // all: the pins the run was started under, and how far its journal is known to have got.
+    const record = await readRunRecord(req.kv, req.endpoint, req.runId);
+    const recordedStatus = record?.status?.value;
+    let pins;
+    let statusRevision;
+    // WHICH ENGINE RUNS THIS. A fresh run takes the first entry this build serves; a resume takes the
+    // one its RECORD names, and is refused if this build has none. Chosen here, before the pins, so a
+    // fresh run is stamped with the version of the engine that will actually execute it.
+    let engine;
+    if (expect === "new") {
+        if (record !== undefined) {
+            // Not `RunAlreadyStarted` from the journal — this run has a SPEC, which is the stronger
+            // statement: it was started, pinned, and those pins are not this attempt's to re-decide.
+            return { status: "released", reason: new RunAlreadyStarted(req.runId, 0) };
+        }
+        engine = ENGINES[0];
+        // Resolved ONCE, here, from the host clock read exactly once — from here on the epoch is a
+        // recorded fact, and a second read could not be the same run's epoch.
+        pins = resolvePins({
+            runId: req.runId,
+            ...(req.seed !== undefined ? { seed: req.seed } : {}),
+            ...(req.effectCeiling !== undefined ? { effectCeiling: req.effectCeiling } : {}),
+            ...(req.stepBudget !== undefined ? { stepBudget: req.stepBudget } : {}),
+        }, req.handler.now(), engine.version);
+    }
+    else {
+        if (record === undefined)
+            return { status: "released", reason: new RunNotResumable(req.runId, req.runId) };
+        // READ BACK, never re-derived. A default is a property of the interpreter, and the interpreter
+        // is the thing that may have changed between attempts.
+        pins = record.spec.value.pins;
+        // THE FIELD DISPATCH READS IS CHECKED BEFORE THE TABLE IS CONSULTED. The cast above verifies
+        // nothing, and the table below compares strings: a record carrying the NUMBER 2 would miss
+        // every entry and be released as L5023 whose sentence says "recorded under language version 2"
+        // while "this build serves 2" - a self-contradiction handed to an operator. Absent stays with
+        // the table's own no-version sentence; any other non-string is a malformed record, refused by
+        // its own name. MEASURED before the repair, through this driver against a real broker.
+        const wireVersion = record.spec.value.pins["languageVersion"];
+        if (wireVersion !== undefined && typeof wireVersion !== "string") {
+            return { status: "released", reason: new RunRecordMalformed(req.runId, wireVersion) };
+        }
+        // AND THE ENGINE IS READ BACK WITH THEM. No fallback: a record whose language this build cannot
+        // speak is refused by name (L5023) rather than walked by whatever engine happens to be here,
+        // which would run a program under semantics it was never recorded under.
+        const served = ENGINES.find((e) => e.version === pins.languageVersion);
+        // RELEASED, NOT THROWN and not failed. This file's outcome contract is that a driver which is
+        // not the one to run something says so as `released`, and a run result is only ever a thing the
+        // program did: a build that does not serve this language has appended nothing, observed nothing
+        // and decided nothing about the program, so "failed" would be this layer inventing an outcome
+        // and a rejection would be an outcome shape the signature does not declare. It reads the same as
+        // the two refusals either side of it (`RunAlreadyStarted`, `RunNotResumable`) because it is the
+        // same kind of statement: not here, not this attempt.
+        if (served === undefined)
+            return { status: "released", reason: unservedLanguage(pins.languageVersion) };
+        engine = served;
+        statusRevision = record.status?.revision;
+    }
+    let appender;
+    try {
+        appender = await activateRun(js, jsm, {
+            space: req.space,
+            runId: req.runId,
+            holder: req.lease.holder,
+            fencingToken: req.lease.fencingToken,
+            epoch: req.lease.epoch,
+            takeoverId: req.lease.takeoverId,
+            at: req.handler.now(),
+            expect,
+        }, {
+            // BETWEEN the replay and the activation, which is the only place this check is worth
+            // anything: an activation appended over a rolled-back head is another record written into a
+            // journal already known to be wrong, at an ordinal the deleted records already used.
+            onReplayed: (replay) => {
+                assertJournalTailIntact(req.runId, recordedStatus, lastOrdinal(replay.records));
+            },
+        });
+    }
+    catch (e) {
+        // Every one of these means "this driver does not hold this run", and none of them is a fact
+        // about the program. A caller that treated them as a run result would be recording a conclusion
+        // about work it never saw.
+        if (isNotOurs(e))
+            return { status: "released", reason: e };
+        throw e;
+    }
+    const resumed = appender.steps();
+    // The explicit callback wins; otherwise a handler that declares `adopted` repairs its own state.
+    // The default is the point: the hook was optional AND unwired, which is indistinguishable at
+    // runtime from a driver that has nothing to repair.
+    const adopt = req.onActivated ?? adoptionOf(req.handler)?.adopted.bind(req.handler);
+    if (adopt !== undefined)
+        await adopt(resumed);
+    const store = new RunJournalStore(appender);
+    const journal = new Journal({
+        run: req.runId,
+        // The prefix the barrier validated and activated on, not a second read of the subject.
+        entries: resumed,
+        store,
+    });
+    // Asked before every effect that is not already recorded. Both reasons are the HOST's and neither
+    // is the program's, so neither may be recorded as its outcome — the run stops where its journal
+    // already says it is, and the next driver resumes from there.
+    const shouldStop = () => {
+        if (req.workExpiry !== undefined) {
+            const now = req.handler.now();
+            if (now >= req.workExpiry)
+                return `the work horizon ${req.workExpiry} passed at ${now}`;
+        }
+        return req.pause?.reason;
+    };
+    const options = {
+        runId: req.runId,
+        handler: req.handler,
+        shouldStop,
+        pins,
+        ...(req.seed !== undefined ? { seed: req.seed } : {}),
+        ...(req.file !== undefined ? { file: req.file } : {}),
+        ...(req.effectCeiling !== undefined ? { effectCeiling: req.effectCeiling } : {}),
+        ...(req.stepBudget !== undefined ? { stepBudget: req.stepBudget } : {}),
+    };
+    // The spec is created AFTER the activation, not before: until this driver holds the run it has
+    // decided nothing, and a spec written by a driver that then lost the activation race would pin a
+    // run for a winner who never agreed to those pins.
+    if (expect === "new") {
+        await createRunSpec(req.kv, req.endpoint, req.runId, {
+            pins,
+            createdAt: pins.startedAt,
+        });
+    }
+    const specRevision = expect === "new"
+        ? (await readRunRecord(req.kv, req.endpoint, req.runId)).spec.revision
+        : record.spec.revision;
+    statusRevision = await note(req, "running", appender.journalHigh, specRevision, statusRevision);
+    try {
+        const engineReq = { source: req.source, journal, store, entries: resumed, options };
+        const result = expect === "new" ? await engine.run(engineReq) : await engine.resume(engineReq);
+        await note(req, "completed", appender.journalHigh, specRevision, statusRevision);
+        return { status: "completed", result };
+    }
+    catch (e) {
+        // L5010 is the journal saying it could not record — the run is not this driver's any more. It
+        // arrives here rather than at the append because the interpreter is what was holding the stack.
+        if (e instanceof JournalAppendRejected) {
+            // Recorded on a BEST-EFFORT basis and never allowed to mask the real answer: the record is a
+            // projection, and a driver that could not append to the journal may not be able to write here
+            // either. What it must not do is turn a lost run into a different-looking failure.
+            await noteQuietly(req, "released", appender.journalHigh, specRevision, statusRevision);
+            return { status: "released", reason: e };
+        }
+        // The host stopping is the same kind of answer: this driver no longer holds the run, and the
+        // program has neither failed nor finished.
+        if (e instanceof RunReleased) {
+            await note(req, "released", appender.journalHigh, specRevision, statusRevision);
+            return { status: "released", reason: e };
+        }
+        // A program that FAILED is a fact about the program, and the run record is where a reader looks
+        // for it. Recorded, then re-raised: swallowing it here would leave the caller believing the
+        // driver finished normally.
+        await note(req, "failed", appender.journalHigh, specRevision, statusRevision);
+        throw e;
+    }
+}
+function isNotOurs(e) {
+    return (e instanceof RunSuperseded ||
+        e instanceof RunJournalStalled ||
+        e instanceof StaleLeaseToken ||
+        e instanceof ActivationNotAuthorized ||
+        e instanceof RunNotResumable ||
+        e instanceof RunAlreadyStarted ||
+        e instanceof RunJournalPrefixTruncated);
+}
+/** The last ordinal in a replayed prefix, or -1 for a run that has none yet. */
+function lastOrdinal(records) {
+    return records.length === 0 ? -1 : records[records.length - 1].record.n;
+}
+/** Write the run's status. Returns the new revision so the next write can pin it. */
+async function note(req, state, journalHigh, observedSpecRevision, expectedRevision) {
+    return await writeRunStatus(req.kv, req.endpoint, req.runId, {
+        observedSpecRevision,
+        state,
+        holder: req.lease.holder,
+        epoch: req.lease.epoch,
+        fencingToken: req.lease.fencingToken,
+        journalHigh,
+        at: req.handler.now(),
+    }, expectedRevision);
+}
+/** The same write, where failing to make it must not replace the answer the caller is owed. */
+async function noteQuietly(req, state, journalHigh, observedSpecRevision, expectedRevision) {
+    try {
+        await note(req, state, journalHigh, observedSpecRevision, expectedRevision);
+    }
+    catch {
+        /* the record is a projection; the journal is the authority and it has already spoken */
+    }
+}
+//# sourceMappingURL=run-driver.js.map

package/dist/run-driver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-driver.js","sourceRoot":"","sources":["../src/run-driver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EACL,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,uBAAuB,EACvB,uBAAuB,EAEvB,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,eAAe,EACf,iBAAiB,EACjB,yBAAyB,GAC1B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,OAAO,EACP,qBAAqB,EACrB,GAAG,IAAI,UAAU,EACjB,MAAM,IAAI,aAAa,EACvB,WAAW,EACX,WAAW,EACX,YAAY,EACZ,uBAAuB,EACvB,uBAAuB,EACvB,YAAY,GAKb,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AA+BrD;gGACgG;AAChG,MAAM,eAAe,GAAG,CAAC,CAAsB,EAAsB,EAAE,CACrE,iBAAiB,CAAC;IAChB,MAAM,EAAE,CAAC,CAAC,MAAM;IAChB,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;IACtB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI;IACpB,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO;IAC1B,KAAK,EAAE,CAAC,CAAC,KAAK;IACd,OAAO,EAAE,CAAC,CAAC,OAAO;IAClB,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;IAChC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5F,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CACpF,CAAC,CAAC;AAEL;;;;;;;;;;;;;;;GAeG;AACH,MAAM,OAAO,GAA4B;IACvC,EAAE,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,EAAE;IACnF;QACE,OAAO,EAAE,uBAAuB;QAChC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACtE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;KAC7D;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH;;;;;;;GAOG;AACH,MAAM,kBAAmB,SAAQ,KAAK;IACpC,YAAY,KAAa,EAAE,GAAY;QACrC,KAAK,CACH,OAAO,KAAK,0FAA0F,OAAO,GAAG,EAAE;cAC9G,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,iGAAiG,CAC7I,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED,SAAS,gBAAgB,CAAC,OAA2B;IACnD,6FAA6F;IAC7F,+FAA+F;IAC/F,+FAA+F;IAC/F,kGAAkG;IAClG,mGAAmG;IACnG,MAAM,GAAG,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,uCAAuC,OAAO,EAAE,CAAC;IAC1H,MAAM,MAAM,GAAG,OAAO,KAAK,SAAS;QAClC,CAAC,CAAC,0FAA0F;QAC5F,CAAC,CAAC,0DAA0D,OAAO,EAAE,CAAC;IACxE,OAAO,IAAI,YAAY,CACrB,OAAO,EACP,YAAY,GAAG,0BAA0B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;UACjF,sIAAsI;UACtI,wDAAwD;UACxD,cAAc,MAAM,yEAAyE,CAClG,CAAC;AACJ,CAAC;AAwBD;;;;;;GAMG;AACH,MAAM,OAAO,UAAU;IACb,GAAG,CAAqB;IAEhC,KAAK,CAAC,MAAc;QAClB,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC;IACtB,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;CACF;AAuED,MAAM,UAAU,GAAG,CAAC,OAAgB,EAA+B,EAAE,CACnE,OAAQ,OAAuC,EAAE,OAAO,KAAK,UAAU;IACrE,CAAC,CAAE,OAA2B;IAC9B,CAAC,CAAC,SAAS,CAAC;AAchB,0FAA0F;AAC1F,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,EAAmB,EACnB,GAAqB,EACrB,GAAiB;IAEjB,OAAO,MAAM,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AAED;sGACsG;AACtG,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,EAAmB,EACnB,GAAqB,EACrB,GAAiB;IAEjB,OAAO,MAAM,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;AAC/C,CAAC;AAED,KAAK,UAAU,KAAK,CAClB,EAAmB,EACnB,GAAqB,EACrB,GAAiB,EACjB,MAA0B;IAE1B,kGAAkG;IAClG,yFAAyF;IACzF,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC;IAE7C,IAAI,IAAa,CAAC;IAClB,IAAI,cAAkC,CAAC;IACvC,kGAAkG;IAClG,kGAAkG;IAClG,qFAAqF;IACrF,IAAI,MAAgC,CAAC;IACrC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,wFAAwF;YACxF,yFAAyF;YACzF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;QAC7E,CAAC;QACD,MAAM,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACrB,2FAA2F;QAC3F,sEAAsE;QACtE,IAAI,GAAG,WAAW,CAChB;YACE,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxE,EACD,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EACjB,MAAM,CAAC,OAAO,CACf,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3G,+FAA+F;QAC/F,uDAAuD;QACvD,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAe,CAAC;QACzC,6FAA6F;QAC7F,2FAA2F;QAC3F,+FAA+F;QAC/F,8FAA8F;QAC9F,8FAA8F;QAC9F,uFAAuF;QACvF,MAAM,WAAW,GAAa,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAA2C,CAAC,iBAAiB,CAAC,CAAC;QAC/G,IAAI,WAAW,KAAK,SAAS,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;YACjE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;QACxF,CAAC;QACD,gGAAgG;QAChG,6FAA6F;QAC7F,yEAAyE;QACzE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,eAAe,CAAC,CAAC;QACvE,8FAA8F;QAC9F,gGAAgG;QAChG,gGAAgG;QAChG,8FAA8F;QAC9F,iGAAiG;QACjG,gGAAgG;QAChG,sDAAsD;QACtD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QACxG,MAAM,GAAG,MAAM,CAAC;QAChB,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC3C,CAAC;IAED,IAAI,QAAQ,CAAC;IACb,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE;YACpC,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM;YACxB,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,YAAY;YACpC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK;YACtB,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,UAAU;YAChC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE;YACrB,MAAM;SACP,EAAE;YACD,qFAAqF;YACrF,4FAA4F;YAC5F,qFAAqF;YACrF,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE;gBACrB,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YAClF,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,4FAA4F;QAC5F,gGAAgG;QAChG,2BAA2B;QAC3B,IAAI,SAAS,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAU,EAAE,CAAC;QACpE,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAA6B,CAAC;IAC5D,iGAAiG;IACjG,6FAA6F;IAC7F,oDAAoD;IACpD,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;IAE9C,MAAM,KAAK,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC;QAC1B,GAAG,EAAE,GAAG,CAAC,KAAK;QACd,uFAAuF;QACvF,OAAO,EAAE,OAAO;QAChB,KAAK;KACN,CAAC,CAAC;IAEH,kGAAkG;IAClG,gGAAgG;IAChG,8DAA8D;IAC9D,MAAM,UAAU,GAAG,GAAuB,EAAE;QAC1C,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YAC9B,IAAI,GAAG,IAAI,GAAG,CAAC,UAAU;gBAAE,OAAO,oBAAoB,GAAG,CAAC,UAAU,cAAc,GAAG,EAAE,CAAC;QAC1F,CAAC;QACD,OAAO,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;IAC3B,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG;QACd,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,UAAU;QACV,IAAI;QACJ,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC;IAEF,+FAA+F;IAC/F,iGAAiG;IACjG,mDAAmD;IACnD,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,MAAM,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE;YACnD,IAAI;YACJ,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,KAAK,KAAK;QACnC,CAAC,CAAC,CAAC,MAAM,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAE,CAAC,IAAI,CAAC,QAAQ;QACvE,CAAC,CAAC,MAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;IAC1B,cAAc,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;IAEhG,IAAI,CAAC;QACH,MAAM,SAAS,GAAwB,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACzG,MAAM,MAAM,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/F,MAAM,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;QACjF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;IACzC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,8FAA8F;QAC9F,gGAAgG;QAChG,IAAI,CAAC,YAAY,qBAAqB,EAAE,CAAC;YACvC,6FAA6F;YAC7F,8FAA8F;YAC9F,mFAAmF;YACnF,MAAM,WAAW,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;YACvF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,6FAA6F;QAC7F,2CAA2C;QAC3C,IAAI,CAAC,YAAY,WAAW,EAAE,CAAC;YAC7B,MAAM,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;YAChF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,gGAAgG;QAChG,4FAA4F;QAC5F,4BAA4B;QAC5B,MAAM,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;QAC9E,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,CACL,CAAC,YAAY,aAAa;QAC1B,CAAC,YAAY,iBAAiB;QAC9B,CAAC,YAAY,eAAe;QAC5B,CAAC,YAAY,uBAAuB;QACpC,CAAC,YAAY,eAAe;QAC5B,CAAC,YAAY,iBAAiB;QAC9B,CAAC,YAAY,yBAAyB,CACvC,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,WAAW,CAAC,OAA+D;IAClF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,qFAAqF;AACrF,KAAK,UAAU,IAAI,CACjB,GAAiB,EACjB,KAA8B,EAC9B,WAAmB,EACnB,oBAA4B,EAC5B,gBAAoC;IAEpC,OAAO,MAAM,cAAc,CACzB,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,KAAK,EACT;QACE,oBAAoB;QACpB,KAAK;QACL,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM;QACxB,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK;QACtB,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,YAAY;QACpC,WAAW;QACX,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE;KACtB,EACD,gBAAgB,CACjB,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,KAAK,UAAU,WAAW,CACxB,GAAiB,EACjB,KAA8B,EAC9B,WAAmB,EACnB,oBAA4B,EAC5B,gBAAoC;IAEpC,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,oBAAoB,EAAE,gBAAgB,CAAC,CAAC;IAC9E,CAAC;IAAC,MAAM,CAAC;QACP,wFAAwF;IAC1F,CAAC;AACH,CAAC"}

package/package.json

@@ -1,25 +1,40 @@
 {
   "name": "@cotal-ai/runtime",
-  "version": "0.0.1",
-  "description": "Cotal workflow runtime: hosts cotal-lang runs on the mesh (the durable step-journal store, the effect handler, and the run driver). Name-reserving stub; the real package ships from the Cotal release pipeline.",
+  "description": "Cotal workflow runtime: hosts cotal-lang runs on the mesh — the durable step-journal store, the effect handler, and the run driver.",
+  "version": "0.25.0",
   "license": "Apache-2.0",
-  "keywords": [
-    "cotal",
-    "agents",
-    "multi-agent",
-    "workflow",
-    "durable",
-    "nats",
-    "jetstream"
-  ],
-  "homepage": "https://github.com/Cotal-AI/Cotal#readme",
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/Cotal-AI/Cotal.git",
+    "url": "https://github.com/Cotal-AI/Cotal.git",
     "directory": "implementations/runtime"
   },
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "dependencies": {
+    "@cotal-ai/core": "0.25.0",
+    "@cotal-ai/lang": "0.25.0"
+  },
+  "devDependencies": {
+    "@nats-io/jetstream": "^3.4.0",
+    "@nats-io/kv": "^3.4.0",
+    "@nats-io/transport-node": "^3.4.0"
+  },
   "files": [
-    "README.md",
-    "LICENSE"
-  ]
+    "dist"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "typecheck": "tsc -p tsconfig.check.json",
+    "build": "tsc -p tsconfig.json",
+    "test": "tsx smoke/mesh-seam.smoke.ts"
+  }
 }

package/README.md

@@ -1,6 +0,0 @@
-# @cotal-ai/runtime
-
-Name-reserving stub. The real package, the Cotal workflow runtime (durable step-journal
-store, effect handler, run driver for cotal-lang runs on the mesh), ships from
-[Cotal-AI/Cotal](https://github.com/Cotal-AI/Cotal) at version 0.24.0 and above via the
-release pipeline. Do not depend on this version.