@elaraai/east-node-cli 1.0.79 → 1.0.81

package/dist/exec.js

@@ -0,0 +1,348 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `east-node exec <unit.beast2>`: the runner protocol.
+ *
+ * A unit (`UnitType` in `@elaraai/east`) runs a program on its inputs, merges
+ * the parts of one output that earlier units wrote, or takes a delivered
+ * collection in, and names where its output and its result go. A program's
+ * output is written by its kind:
+ * - a value as one blob, or as a manifest directory when it is a collection;
+ * - an array through the Writer;
+ * - a set or a dict through the RunSorter, as sorted runs;
+ * - a fold by folding every emitted value into an accumulator.
+ *
+ * A delivery taken in is read a segment at a time from its file, and written
+ * through the Writer as a manifest directory (`intakeBeast2For`).
+ *
+ * Collections are written as manifest directories, which a store takes in by
+ * linking their files. The result (`UnitResultType`) records the outcome — `ok`,
+ * or the failure's message and source locations — with the process's peak
+ * memory and where the time went. east-c and east-py implement the same
+ * protocol, and the conformance corpus holds the three to the same output
+ * bytes and outcomes.
+ */
+import { closeSync, fstatSync, mkdirSync, openSync, readdirSync, readFileSync, readSync, writeFileSync } from 'node:fs';
+import { dirname, isAbsolute, join, resolve } from 'node:path';
+import { Beast2ManifestWriter, Beast2RunSorter, EastError, EastIR, EastTypeValueType, SortedMap, SortedSet, UnitType, compareFor, configureFramePool, decodeBeast2For, encodeBeast2For, intakeBeast2For, isTypeValueEqual, variant, } from '@elaraai/east';
+import { printTypeValue } from '@elaraai/east/internal';
+import { inputBytes, loadEastIR, loadInput, loadInputLazy, loadPlatforms, segmentDirFor } from './loader.js';
+import { mergeBlobs } from './merge.js';
+import { lazyThreshold, loadMergeFunction, peakBytes } from './runner.js';
+/**
+ * Reads a unit file.
+ *
+ * @param unitPath - the unit file
+ * @returns the unit, and how to resolve the paths it names
+ * @throws {Error} When the file cannot be read or does not hold a unit.
+ */
+export function readUnit(unitPath) {
+    const unit = decodeBeast2For(UnitType)(readFileSync(unitPath));
+    const base = dirname(resolve(unitPath));
+    return { unit, at: (path) => (isAbsolute(path) ? path : resolve(base, path)) };
+}
+/**
+ * Executes a unit: does its work, writes its output, and reports how it went.
+ *
+ * @param read - the unit, and how to resolve the paths it names
+ * @returns the result — a failure is its outcome, never a throw
+ *
+ * @remarks
+ * The unit's thread grant caps the frame pool for the rest of the process: a
+ * grant of one frames every output inline.
+ */
+export async function executeUnit({ unit, at }) {
+    configureFramePool({ workers: Number(unit.threads) });
+    const timings = { load: 0, compile: 0, execute: 0, output: 0 };
+    let mark = performance.now();
+    const lap = (phase) => {
+        const now = performance.now();
+        timings[phase] += now - mark;
+        mark = now;
+    };
+    let outcome;
+    try {
+        const platformFns = await loadPlatforms(unit.platforms);
+        if (unit.work.type === 'run') {
+            await runWork(unit.work.value, platformFns, at, lap);
+        }
+        else if (unit.work.type === 'merge') {
+            mergeWork(unit.work.value, platformFns, at, lap);
+        }
+        else {
+            intakeWork(unit.work.value, at, lap);
+        }
+        outcome = variant('ok', null);
+    }
+    catch (err) {
+        outcome = err instanceof EastError
+            ? variant('failed', { message: err.eastMessage, locations: err.location })
+            : variant('failed', { message: err?.message ?? String(err), locations: [] });
+    }
+    return { outcome, peakBytes: peakBytes(), timings };
+}
+/** Runs a program on its inputs and writes what it produces. */
+async function runWork(work, platformFns, at, lap) {
+    const program = loadEastIR(at(work.program));
+    const signature = program.ir.value.type.value;
+    // Every kind but a value is emitted, through the trailing parameter.
+    const emitted = work.output.type !== 'value';
+    if (emitted && signature.inputs.length === 0) {
+        throw new Error(`exec: a ${work.output.type} output is emitted: the program's trailing parameter must be emit, a function`);
+    }
+    const params = emitted ? signature.inputs.slice(0, -1) : signature.inputs;
+    if (work.inputs.length !== params.length) {
+        const printed = `(${signature.inputs.map((type) => printTypeValue(type)).join(', ')}) -> ${printTypeValue(signature.output)}`;
+        throw new Error(`Function expects ${params.length} inputs, got ${work.inputs.length}\nSignature: ${printed}`);
+    }
+    // Inputs are frozen. One at or above the lazy threshold opens as a paged
+    // value, weighed by the value it holds: a manifest is a small file naming
+    // large ones.
+    const threshold = lazyThreshold();
+    const inputs = work.inputs.map((input, i) => {
+        const path = at(input);
+        const lazy = threshold > 0 && inputBytes(path) >= threshold ? loadInputLazy(path) : undefined;
+        return lazy !== undefined ? lazy : loadInput(path, params[i]);
+    });
+    lap('load');
+    const compiled = program.compile(platformFns);
+    const output = openOutput(work.output, emitted ? signature.inputs.at(-1) : signature.output, platformFns, at);
+    lap('compile');
+    const result = await compiled(...inputs, ...(output.emit !== undefined ? [output.emit] : []));
+    lap('execute');
+    output.finish(result);
+    lap('output');
+}
+/**
+ * Opens a running program's output.
+ *
+ * @param output - the output
+ * @param type - the program's result type, for a value; its emit parameter's
+ *   type otherwise
+ * @param platformFns - the platforms a fold's functions compile with
+ * @param at - resolves the paths the output names
+ * @returns the sink
+ * @throws {Error} When the emit parameter does not fit the kind, a fold's
+ *   function does not fit the emitted type, or an output directory holds
+ *   anything already.
+ */
+function openOutput(output, type, platformFns, at) {
+    if (output.type === 'value') {
+        const path = at(output.value);
+        return { finish: (result) => writeValue(path, type, result) };
+    }
+    const arity = output.type === 'dict' ? 2 : 1;
+    const emitInputs = type.type === 'Function' ? type.value.inputs : null;
+    if (emitInputs === null || emitInputs.length !== arity) {
+        throw new Error(`exec: a ${output.type} output is emitted: the program's trailing parameter must be emit, a function of ${arity} argument${arity === 1 ? '' : 's'}, got ${printTypeValue(type)}`);
+    }
+    const element = emitInputs[0];
+    switch (output.type) {
+        case 'array': {
+            const writer = new Beast2ManifestWriter(variant('Array', element), manifestDirectory(join(outputDirectory(at(output.value)), '0.beast2')), { parallel: true });
+            return {
+                emit: (value) => { writer.add(value); return null; },
+                finish: () => writer.finish(),
+            };
+        }
+        case 'set': {
+            const dir = outputDirectory(at(output.value));
+            const sorter = new Beast2RunSorter(variant('Set', element), (run) => manifestDirectory(join(dir, `${run}.beast2`)), { union: true, parallel: true });
+            return {
+                emit: (value) => { sorter.add(value); return null; },
+                finish: () => sorter.finish(),
+            };
+        }
+        case 'dict': {
+            const value = emitInputs[1];
+            const merge = output.value.merge.type === 'some'
+                ? loadMergeFunction(at(output.value.merge.value), element, value, platformFns, 'the emit parameter')
+                : undefined;
+            const dir = outputDirectory(at(output.value.dir));
+            const sorter = new Beast2RunSorter(variant('Dict', { key: element, value }), (run) => manifestDirectory(join(dir, `${run}.beast2`)), { ...(merge !== undefined && { merge }), parallel: true });
+            return {
+                emit: (key, entry) => { sorter.add([key, entry]); return null; },
+                finish: () => sorter.finish(),
+            };
+        }
+        case 'fold': {
+            const { combine } = loadCombineFunction(at(output.value.combine), element, platformFns);
+            const path = at(output.value.path);
+            let acc = loadInput(at(output.value.zero), element);
+            return {
+                emit: (value) => { acc = combine(acc, value); return null; },
+                finish: () => writeValue(path, element, acc),
+            };
+        }
+    }
+}
+/** Assembles the parts of one output into one. */
+function mergeWork(work, platformFns, at, lap) {
+    const output = work.output;
+    const parts = work.parts.map((part) => at(part));
+    switch (output.type) {
+        case 'set':
+        case 'dict': {
+            const dir = outputDirectory(at(output.type === 'set' ? output.value : output.value.dir));
+            lap('load');
+            mergeBlobs(parts, manifestDirectory(join(dir, '0.beast2')), {
+                union: output.type === 'set',
+                ...(output.type === 'dict' && output.value.merge.type === 'some' && { mergePath: at(output.value.merge.value) }),
+                ...(work.range.type === 'some' && { rangePath: at(work.range.value) }),
+                platformFns,
+            });
+            lap('execute');
+            return;
+        }
+        case 'fold': {
+            const { combine, type } = loadCombineFunction(at(output.value.combine), null, platformFns);
+            let acc = loadInput(at(output.value.zero), type);
+            lap('compile');
+            for (const part of parts)
+                acc = combine(acc, loadInput(part, type));
+            lap('execute');
+            writeValue(at(output.value.path), type, acc);
+            lap('output');
+            return;
+        }
+        case 'array':
+            throw new Error("exec: an array's parts are concatenated, never merged: a merge unit takes set, dict or fold parts");
+        case 'value':
+            throw new Error('exec: a value has no parts: a merge unit takes set, dict or fold parts');
+    }
+}
+/**
+ * Takes a delivered collection in: the file read a segment at a time, through
+ * positioned reads, and written through the Writer as the manifest directory
+ * the unit names.
+ *
+ * @throws {Error} When the type file does not hold a type, the delivery cannot
+ *   be read, or the intake refuses it — every refusal in the words each runner
+ *   uses.
+ */
+function intakeWork(work, at, lap) {
+    let type;
+    try {
+        type = decodeBeast2For(EastTypeValueType)(readFileSync(at(work.type)));
+    }
+    catch {
+        throw new Error('exec: intake: its type file does not hold a type');
+    }
+    const intake = intakeBeast2For(type);
+    const fd = openSync(at(work.input), 'r');
+    try {
+        const delivery = {
+            size: fstatSync(fd).size,
+            read: (offset, length) => {
+                const out = new Uint8Array(length);
+                let done = 0;
+                while (done < length) {
+                    const got = readSync(fd, out, done, length - done, offset + done);
+                    if (got === 0)
+                        break;
+                    done += got;
+                }
+                return done === length ? out : out.subarray(0, done);
+            },
+        };
+        lap('load');
+        const segments = work.segments.type === 'some'
+            ? { segments: { from: Number(work.segments.value.from), to: Number(work.segments.value.to) } }
+            : {};
+        intake(delivery, manifestDirectory(at(work.output)), { ...segments, parallel: true });
+        lap('execute');
+    }
+    finally {
+        closeSync(fd);
+    }
+}
+/**
+ * Loads a fold's `combine`: an IR file holding a `(T, T) -> T` East function,
+ * compiled with the unit's platforms.
+ *
+ * @param path - the IR file
+ * @param type - the emitted type, or `null` to take `T` from the function —
+ *   a merge of fold partials has no program to say what was emitted
+ * @param platformFns - the unit's platforms
+ * @returns the compiled function, and `T`
+ * @throws {Error} When the IR is not a function of that shape.
+ */
+function loadCombineFunction(path, type, platformFns) {
+    const bundle = loadEastIR(path);
+    const fnType = bundle.ir.value.type;
+    const shape = fnType.type === 'Function' ? fnType.value : null;
+    const t = type ?? shape?.output;
+    if (shape === null || t === undefined || shape.inputs.length !== 2 ||
+        !isTypeValueEqual(shape.inputs[0], t) ||
+        !isTypeValueEqual(shape.inputs[1], t) ||
+        !isTypeValueEqual(shape.output, t)) {
+        const expected = t !== undefined ? ` (T = ${printTypeValue(t)})` : '';
+        throw new Error(`exec: combine: expected a function (T, T) -> T${expected}, got ${printTypeValue(fnType)}`);
+    }
+    return { combine: bundle.compile(platformFns), type: t };
+}
+/**
+ * Writes a value output: a collection as a manifest directory at `path`,
+ * anything else as one blob there.
+ *
+ * @param path - the output file
+ * @param type - the value's type
+ * @param value - the value
+ */
+function writeValue(path, type, value) {
+    if (type.type !== 'Array' && type.type !== 'Set' && type.type !== 'Dict') {
+        writeFileSync(path, encodeBeast2For(type)(value));
+        return;
+    }
+    // A collection goes in canonical order: a Set or Dict an East program
+    // built is sorted already, and a plain one is sorted first.
+    const key = (type.type === 'Dict' ? type.value.key : type.value);
+    const cmp = compareFor(key);
+    const elements = type.type === 'Array' ? value
+        : type.type === 'Set' ? (value instanceof SortedSet ? value : [...value].sort(cmp))
+            : value instanceof SortedMap ? value.entries() : [...value.entries()].sort((a, b) => cmp(a[0], b[0]));
+    const writer = new Beast2ManifestWriter(type, manifestDirectory(path), { parallel: true });
+    for (const element of elements)
+        writer.add(element);
+    writer.finish();
+}
+/**
+ * The sink a manifest directory is written through: the manifest at `path`,
+ * written last, and every object it names in `<path>.segments/` under its
+ * SHA-256 — the layout a store takes in by linking, and every runner's opener
+ * reads.
+ *
+ * @param path - the manifest's file
+ * @returns the sink
+ */
+function manifestDirectory(path) {
+    const segments = segmentDirFor(path);
+    let made = false;
+    return {
+        object: (hash, bytes) => {
+            if (!made) {
+                mkdirSync(segments, { recursive: true });
+                made = true;
+            }
+            writeFileSync(join(segments, `${hash}.beast2`), bytes);
+        },
+        manifest: (bytes) => writeFileSync(path, bytes),
+    };
+}
+/**
+ * Creates an output directory of runs, which must hold nothing yet: every
+ * manifest in it is one of the unit's runs.
+ *
+ * @param dir - the directory
+ * @returns the directory
+ * @throws {Error} When it holds anything already.
+ */
+function outputDirectory(dir) {
+    mkdirSync(dir, { recursive: true });
+    if (readdirSync(dir).length > 0)
+        throw new Error(`exec: the output directory ${dir} is not empty`);
+    return dir;
+}
+//# sourceMappingURL=exec.js.map

package/dist/exec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec.js","sourceRoot":"","sources":["../src/exec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxH,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/D,OAAO,EACH,oBAAoB,EACpB,eAAe,EACf,SAAS,EACT,MAAM,EACN,iBAAiB,EACjB,SAAS,EACT,SAAS,EACT,QAAQ,EACR,UAAU,EACV,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,OAAO,GASV,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC7G,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AA0B1E;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,QAAgB;IACrC,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;AACnF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,EAAE,IAAI,EAAE,EAAE,EAAY;IACpD,kBAAkB,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC/D,IAAI,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAQ,CAAC,KAAK,EAAE,EAAE;QACvB,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAC9B,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC;QAC7B,IAAI,GAAG,GAAG,CAAC;IACf,CAAC,CAAC;IACF,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACrD,CAAC;aAAM,CAAC;YACJ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACX,OAAO,GAAG,GAAG,YAAY,SAAS;YAC9B,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC1E,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAG,GAAa,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC;AACxD,CAAC;AAED,gEAAgE;AAChE,KAAK,UAAU,OAAO,CAAC,IAAa,EAAE,WAA+B,EAAE,EAAW,EAAE,GAAQ;IACxF,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAI,OAAO,CAAC,EAAyC,CAAC,KAAK,CAAC,IAAI,CAAC,KAA2D,CAAC;IAC5I,qEAAqE;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;IAC7C,IAAI,OAAO,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,+EAA+E,CAAC,CAAC;IAChI,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;IAC1E,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9H,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,CAAC,MAAM,gBAAgB,IAAI,CAAC,MAAM,CAAC,MAAM,gBAAgB,OAAO,EAAE,CAAC,CAAC;IAClH,CAAC;IACD,yEAAyE;IACzE,0EAA0E;IAC1E,cAAc;IACd,MAAM,SAAS,GAAG,aAAa,EAAE,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACxC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,SAAS,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9F,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IACH,GAAG,CAAC,MAAM,CAAC,CAAC;IACZ,MAAM,QAAQ,GAAI,OAAsC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;IAC/G,GAAG,CAAC,SAAS,CAAC,CAAC;IACf,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9F,GAAG,CAAC,SAAS,CAAC,CAAC;IACf,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtB,GAAG,CAAC,QAAQ,CAAC,CAAC;AAClB,CAAC;AAWD;;;;;;;;;;;;GAYG;AACH,SAAS,UAAU,CAAC,MAAkB,EAAE,IAAmB,EAAE,WAA+B,EAAE,EAAW;IACrG,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;IAClE,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAE,IAAI,CAAC,KAAqC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACxG,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,WAAW,MAAM,CAAC,IAAI,oFAAoF,KAAK,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtM,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IAC/B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,IAAI,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAkB,EAAE,iBAAiB,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAChL,OAAO;gBACH,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;gBACpD,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE;aAChC,CAAC;QACN,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAkB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,SAAS,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YACtK,OAAO;gBACH,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;gBACpD,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE;aAChC,CAAC;QACN,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACV,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC5C,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,oBAAoB,CAAC;gBACpG,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAkB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,SAAS,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YACjN,OAAO;gBACH,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;gBAChE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE;aAChC,CAAC;QACN,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACV,MAAM,EAAE,OAAO,EAAE,GAAG,mBAAmB,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;YACxF,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;YACpD,OAAO;gBACH,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;gBAC5D,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC;aAC/C,CAAC;QACN,CAAC;IACL,CAAC;AACL,CAAC;AAED,kDAAkD;AAClD,SAAS,SAAS,CAAC,IAAe,EAAE,WAA+B,EAAE,EAAW,EAAE,GAAQ;IACtF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACjD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC,CAAC,CAAC;YACV,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YACzF,GAAG,CAAC,MAAM,CAAC,CAAC;YACZ,UAAU,CAAC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,EAAE;gBACxD,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,KAAK;gBAC5B,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChH,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtE,WAAW;aACd,CAAC,CAAC;YACH,GAAG,CAAC,SAAS,CAAC,CAAC;YACf,OAAO;QACX,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACV,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,mBAAmB,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC3F,IAAI,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACjD,GAAG,CAAC,SAAS,CAAC,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACpE,GAAG,CAAC,SAAS,CAAC,CAAC;YACf,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAC7C,GAAG,CAAC,QAAQ,CAAC,CAAC;YACd,OAAO;QACX,CAAC;QACD,KAAK,OAAO;YACR,MAAM,IAAI,KAAK,CAAC,mGAAmG,CAAC,CAAC;QACzH,KAAK,OAAO;YACR,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAClG,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,IAAgB,EAAE,EAAW,EAAE,GAAQ;IACvD,IAAI,IAAmB,CAAC;IACxB,IAAI,CAAC;QACD,IAAI,GAAG,eAAe,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAkB,CAAC;IAC5F,CAAC;IAAC,MAAM,CAAC;QACL,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC;QACD,MAAM,QAAQ,GAA0B;YACpC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI;YACxB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;gBACrB,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,IAAI,GAAG,CAAC,CAAC;gBACb,OAAO,IAAI,GAAG,MAAM,EAAE,CAAC;oBACnB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;oBAClE,IAAI,GAAG,KAAK,CAAC;wBAAE,MAAM;oBACrB,IAAI,IAAI,GAAG,CAAC;gBAChB,CAAC;gBACD,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACzD,CAAC;SACJ,CAAC;QACF,GAAG,CAAC,MAAM,CAAC,CAAC;QACZ,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM;YAC1C,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE;YAC9F,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACtF,GAAG,CAAC,SAAS,CAAC,CAAC;IACnB,CAAC;YAAS,CAAC;QACP,SAAS,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAAC,IAAY,EAAE,IAA0B,EAAE,WAA+B;IAClG,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,MAAM,GAAI,MAAM,CAAC,EAAyC,CAAC,KAAK,CAAC,IAAI,CAAC;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,KAA2D,CAAC,CAAC,CAAC,IAAI,CAAC;IACrH,MAAM,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,MAAM,CAAC;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAC9D,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;QACtC,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;QACtC,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,iDAAiD,QAAQ,SAAS,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,EAAE,OAAO,EAAG,MAAqC,CAAC,OAAO,CAAC,WAAW,CAA8C,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAC1I,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,IAAmB,EAAE,KAAc;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvE,aAAa,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAClD,OAAO;IACX,CAAC;IACD,sEAAsE;IACtE,4DAA4D;IAC5D,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAE,IAAI,CAAC,KAAgC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAkB,CAAC;IAC9G,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAuC,CAAC;IAClE,MAAM,QAAQ,GAAsB,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAkB;QAC1E,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAI,KAAsB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACrG,CAAC,CAAC,KAAK,YAAY,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,GAAI,KAA+B,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrI,MAAM,MAAM,GAAG,IAAI,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3F,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,CAAC,MAAM,EAAE,CAAC;AACpB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CAAC,IAAY;IACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,OAAO;QACH,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACpB,IAAI,CAAC,IAAI,EAAE,CAAC;gBACR,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzC,IAAI,GAAG,IAAI,CAAC;YAChB,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC;KAClD,CAAC;AACN,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,eAAe,CAAC,GAAW;IAChC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACpC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,GAAG,eAAe,CAAC,CAAC;IACnG,OAAO,GAAG,CAAC;AACf,CAAC"}

package/dist/exec.spec.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+export {};
+//# sourceMappingURL=exec.spec.d.ts.map

package/dist/exec.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec.spec.d.ts","sourceRoot":"","sources":["../src/exec.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/exec.spec.js

@@ -0,0 +1,91 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `exec`, held to the runner protocol's conformance corpus: every case, run
+ * through this runner, writes the corpus's bytes and comes to its outcome, as
+ * east-c's and east-py's runners must. The corpus is `east`'s
+ * (`test/runner_corpus.spec.ts`): read from `EAST_RUNNER_CORPUS` when that
+ * names one, and written afresh for this run otherwise.
+ */
+import { describe, it, before, after } from 'node:test';
+import assert from 'node:assert/strict';
+import { spawnSync } from 'node:child_process';
+import { cpSync, existsSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { ArrayType, StringType, UnitOutcomeType, UnitResultType, decodeBeast2, decodeBeast2For, equalFor, } from '@elaraai/east';
+const bin = fileURLToPath(new URL('../bin/east-node.mjs', import.meta.url));
+describe('exec: the runner protocol corpus', () => {
+    let corpus;
+    let generated;
+    let scratch;
+    before(() => {
+        scratch = mkdtempSync(join(tmpdir(), 'east-node-exec-'));
+        if (process.env.EAST_RUNNER_CORPUS) {
+            corpus = process.env.EAST_RUNNER_CORPUS;
+            return;
+        }
+        generated = mkdtempSync(join(tmpdir(), 'east-runner-corpus-'));
+        const spec = join(dirname(fileURLToPath(import.meta.resolve('@elaraai/east'))), '..', 'test', 'runner_corpus.spec.js');
+        // Without this run's test context, which would make the child report
+        // to it instead of running its own tests.
+        const { NODE_TEST_CONTEXT: _context, ...env } = process.env;
+        const written = spawnSync(process.execPath, ['--enable-source-maps', '--test', spec], {
+            env: { ...env, EXPORT_TEST_IR: generated },
+            encoding: 'utf8',
+        });
+        assert.equal(written.status, 0, `writing the corpus failed:\n${written.stdout.slice(-4_000)}${written.stderr.slice(-4_000)}`);
+        corpus = join(generated, 'runner_corpus');
+    });
+    after(() => {
+        rmSync(scratch, { recursive: true, force: true });
+        if (generated !== undefined)
+            rmSync(generated, { recursive: true, force: true });
+    });
+    it('executes every case to its outputs and its outcome', () => {
+        const names = decodeBeast2For(ArrayType(StringType))(readFileSync(join(corpus, 'index.beast2')));
+        assert.ok(names.length > 0, 'the corpus holds cases');
+        const equalOutcome = equalFor(UnitOutcomeType);
+        for (const name of names) {
+            const expected = decodeBeast2(readFileSync(join(corpus, name, 'case.beast2'))).value;
+            // A copy per case: a unit writes beside itself.
+            const dir = join(scratch, name);
+            cpSync(join(corpus, name), dir, { recursive: true });
+            const run = spawnSync(process.execPath, [bin, 'exec', join(dir, 'unit.beast2')], {
+                env: { ...process.env, ...(expected.lazy && { EAST_LAZY_INPUT_BYTES: '1' }) },
+                encoding: 'utf8',
+            });
+            const ok = expected.outcome.type === 'ok';
+            assert.equal(run.status, ok ? 0 : 1, `${name}: exit ${run.status}\n${run.stderr.slice(-2_000)}`);
+            const result = decodeBeast2For(UnitResultType)(readFileSync(join(dir, 'result.beast2')));
+            assert.ok(equalOutcome(result.outcome, expected.outcome), `${name}: the outcome ${JSON.stringify(result.outcome, (_k, v) => typeof v === 'bigint' ? `${v}` : v)}`);
+            assert.ok(result.peakBytes > 0n, `${name}: the peak is measured`);
+            for (const output of expected.outputs) {
+                const path = join(dir, output.path);
+                assert.ok(existsSync(path), `${name}: ${output.path} is written`);
+                assert.deepEqual(new Uint8Array(readFileSync(path)), new Uint8Array(output.bytes), `${name}: ${output.path}`);
+            }
+            for (const path of expected.absent)
+                assert.ok(!existsSync(join(dir, path)), `${name}: ${path} is not written`);
+        }
+    });
+});
+describe('exec: a unit it cannot read', () => {
+    let dir;
+    before(() => {
+        dir = mkdtempSync(join(tmpdir(), 'east-node-exec-unread-'));
+    });
+    after(() => {
+        rmSync(dir, { recursive: true, force: true });
+    });
+    it('leaves no result, and exits 2', () => {
+        writeFileSync(join(dir, 'garbage.beast2'), 'not a unit');
+        const run = spawnSync(process.execPath, [bin, 'exec', join(dir, 'garbage.beast2')], { encoding: 'utf8' });
+        assert.equal(run.status, 2);
+        assert.match(run.stderr, /^Error: exec /);
+    });
+});
+//# sourceMappingURL=exec.spec.js.map

package/dist/exec.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec.spec.js","sourceRoot":"","sources":["../src/exec.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC/F,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACH,SAAS,EACT,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,eAAe,EACf,QAAQ,GAEX,MAAM,eAAe,CAAC;AAEvB,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAW5E,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAC9C,IAAI,MAAc,CAAC;IACnB,IAAI,SAA6B,CAAC;IAClC,IAAI,OAAe,CAAC;IAEpB,MAAM,CAAC,GAAG,EAAE;QACR,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACzD,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,CAAC;YACjC,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;YACxC,OAAO;QACX,CAAC;QACD,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC;QACvH,qEAAqE;QACrE,0CAA0C;QAC1C,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,GAAG,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC;QAC5D,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,sBAAsB,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE;YAClF,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,cAAc,EAAE,SAAS,EAAE;YAC1C,QAAQ,EAAE,MAAM;SACnB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,+BAA+B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9H,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,EAAE;QACP,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;QACjG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,KAAmB,CAAC;YACnG,gDAAgD;YAChD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACrD,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;gBAC7E,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC7E,QAAQ,EAAE,MAAM;aACnB,CAAC,CAAC;YACH,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC;YAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,UAAU,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjG,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,EACpD,GAAG,IAAI,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtH,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,GAAG,EAAE,EAAE,GAAG,IAAI,wBAAwB,CAAC,CAAC;YAClE,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC;gBAClE,MAAM,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YAClH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,MAAM;gBAAE,MAAM,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,KAAK,IAAI,iBAAiB,CAAC,CAAC;QACnH,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACzC,IAAI,GAAW,CAAC;IAEhB,MAAM,CAAC,GAAG,EAAE;QACR,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,EAAE;QACP,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACrC,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,EAAE,YAAY,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1G,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/loader.d.ts

@@ -80,9 +80,10 @@ export declare function loadEastIR(filePath: string): EastIR<any, any> | AsyncEa
  */
 export declare function loadInput(filePath: string, type: EastTypeValue): unknown;
 /**
- * Bytes a value from {@link loadInputLazy} has read from its file so far:
- * the geometry (tail and head), every fence probe, and each segment frame
- * decoded. `undefined` for any other value.
+ * Bytes a value from {@link loadInputLazy} has read so far: the geometry
+ * (tail and head), every fence probe, and each segment frame decoded, across
+ * the input file and every segment file a manifest-rooted input opened.
+ * `undefined` for any other value.
  *
  * @param value - a task input value
  * @returns the byte count, or `undefined` when the value was not opened lazily
@@ -118,4 +119,23 @@ export declare function lazyInputBytesRead(value: unknown): number | undefined;
  * @returns The lazy collection value, or `undefined` to fall back
  */
 export declare function loadInputLazy(filePath: string): unknown | undefined;
+/** The directory a manifest-rooted input's segment files sit in, beside the
+ *  file itself: `<input>.segments/<hash>.beast2`. The convention is shared
+ *  with e3-core's staging and with the other runtimes. */
+export declare function segmentDirFor(filePath: string): string;
+/**
+ * The bytes an input stands for: the collection a manifest-rooted file names
+ * — the manifest and every segment file — or any other file's own size.
+ *
+ * @remarks
+ * What the lazy-open threshold and the verbose account measure. A manifest is
+ * a few dozen bytes per segment whatever the collection weighs, so its file's
+ * size would put a multi-gigabyte input under any threshold and decode it
+ * whole. The manifest is recognised through a positioned reader, so a large
+ * blob is never read to learn that it is not one.
+ *
+ * @param filePath - Path to the input file
+ * @returns the byte count
+ */
+export declare function inputBytes(filePath: string): number;
 //# sourceMappingURL=loader.d.ts.map

package/dist/loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../src/loader.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EAWH,MAAM,EACN,WAAW,EACX,KAAK,aAAa,EAErB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAWhF;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC7B,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,sBAAsB;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,iDAAiD;IACjD,GAAG,EAAE,gBAAgB,EAAE,CAAC;CAC3B;AAsDD;;;;;;;;;GASG;AACH,wBAAsB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAyCnF;AAED;;;;;GAKG;AACH,wBAAsB,wBAAwB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAsB7F;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CASvF;AAmDD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAgCxD;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAuBrF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAoBxE;AAMD;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAErE;AAaD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAiCnE"}
+{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../src/loader.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EAgBH,MAAM,EACN,WAAW,EACX,KAAK,aAAa,EAErB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAWhF;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC7B,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,sBAAsB;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,iDAAiD;IACjD,GAAG,EAAE,gBAAgB,EAAE,CAAC;CAC3B;AAsDD;;;;;;;;;GASG;AACH,wBAAsB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAyCnF;AAED;;;;;GAKG;AACH,wBAAsB,wBAAwB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAsB7F;AAED;;;;;GAKG;AACH,wBAAsB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CASvF;AAmDD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAgCxD;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAuBrF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CA2BxE;AA8BD;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAErE;AAeD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAwBnE;AAED;;0DAE0D;AAC1D,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAanD"}