@elaraai/e3 1.0.79 → 1.0.80

package/dist/src/mutation.js

@@ -2,65 +2,123 @@
  * Copyright (c) 2025 Elara AI Pty Ltd
  * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
  */
-import { Expr, AsyncEastIR, walkIR, equalFor, EastTypeType, toEastTypeValue, printType } from '@elaraai/east';
+import { Expr, NullType, PatchType, printType } from '@elaraai/east';
+import { editTypeOf } from '@elaraai/e3-types';
+import { hasKeyedDelta } from './record-programs.js';
+import { checkPure, sameEastType } from './record-guards.js';
 import { DEFAULT_RUNNER, runnerToVariant } from './runner.js';
-// Structural East-type equality, the same primitive the redeploy type-change
-// guard uses (e3-core workspaces.ts): compare the encoded EastTypeValues.
-const typeValueEqual = equalFor(EastTypeType);
-const sameEastType = (a, b) => typeValueEqual(toEastTypeValue(a), toEastTypeValue(b));
-export function mutation(name, rec, fn, config) {
-    if (!name) {
-        throw new Error('e3.mutation requires a non-empty name');
+/** A mutation's name is an identifier, as a migration's and an index's are: it
+ *  names the commits the mutation makes, beside e3's own, which begin with `$`,
+ *  and `e3 mutate` addresses it as `record.mutation`. */
+const IDENTIFIER = /^[A-Za-z_][A-Za-z0-9_]*$/;
+/** Refuses a mutation name that is not an identifier. */
+function checkName(surface, name) {
+    if (!IDENTIFIER.test(name)) {
+        throw new Error(`e3.${surface} requires a name that is an identifier, got '${name}' — it names the record's ` +
+            `commits beside e3's own, which begin with '$', and \`e3 mutate\` addresses it as record.mutation.`);
     }
+}
+/** The shared guards: a synchronous, platform-free body whose leading
+ *  parameter is the record's state. Returns the body's signature. */
+function checkBody(surface, name, rec, fn) {
+    checkName(surface, name);
+    checkPure(`e3.${surface} '${name}' body`, fn, {
+        async: 'an async body implies platform IO, which the compare-and-swap retry loop cannot safely re-run against fresher state.',
+        platform: 'the compare-and-swap retry loop re-runs the mutation, so a platform call makes the committed record non-deterministic across retries.',
+    });
+    const signature = Expr.type(fn);
+    if (signature.inputs.length < 1 || !sameEastType(rec.type, signature.inputs[0])) {
+        const got = signature.inputs.length ? printType(signature.inputs[0]) : 'no parameters';
+        throw new Error(`e3.${surface} '${name}' body's first parameter must be the record's ` +
+            `state type ${printType(rec.type)}, but got ${got}.`);
+    }
+    return signature;
+}
+/** Refuses a form whose delta cannot be addressed by key. An Array record's
+ *  patch is positional and a scalar's is a whole replace, so neither can be
+ *  applied segment by segment — and both are exactly what the `reduce` form
+ *  already handles by writing the state whole. */
+function checkKeyed(surface, name, rec) {
+    if (!hasKeyedDelta(rec.type)) {
+        throw new Error(`e3.${surface} '${name}' writes a delta addressed by key, so it needs a ` +
+            `Dict or Set record — '${rec.name}' holds ${printType(rec.type)}. Use ` +
+            `e3.mutation.reduce, whose reducer returns the whole state.`);
+    }
+}
+function reduce(name, rec, fn, config) {
     const runner = config?.runner ?? DEFAULT_RUNNER;
     // Validate eagerly so a bad runner fails at definition time, not export time.
     runnerToVariant(runner);
-    // Keep the full EastIR bundle (IR + source map) so export.ts can encode
-    // with encodeEastIR and preserve source locations.
-    const eastIR = fn.toIR();
-    if (eastIR instanceof AsyncEastIR) {
-        throw new Error(`e3.mutation '${name}' reducer must be a synchronous East function — ` +
-            `an async reducer implies platform IO, which the compare-and-swap retry ` +
-            `loop cannot safely re-run against fresher state.`);
+    const signature = checkBody('mutation.reduce', name, rec, fn);
+    // The reducer is (state, ...args) => state: the return must be the record's
+    // state type too. The typed overload enforces this at compile time, but a
+    // dynamic / cast caller could pass a mismatched function — and because
+    // MutationObject omits the output type (it IS the record type), a mismatch
+    // would be silently undetectable downstream.
+    if (!sameEastType(rec.type, signature.output)) {
+        throw new Error(`e3.mutation.reduce '${name}' reducer must return the record's state type ` +
+            `${printType(rec.type)}, but returns ${printType(signature.output)}.`);
     }
-    // The reducer must be pure: the compare-and-swap loop re-runs it against
-    // fresher state, so any platform call (Random, Time, IO, …) makes the
-    // committed record non-deterministic. A *sync* platform call is an ordinary
-    // FunctionIR, so the async check above doesn't catch it — walk the whole body
-    // (walkIR descends into nested closures, loop bodies and collection-op lambdas).
-    walkIR(eastIR.ir, (node) => {
-        if (node.type === 'Platform') {
-            throw new Error(`e3.mutation '${name}' reducer must not call platform functions ` +
-                `(found '${node.value.name}') — the compare-and-swap retry loop re-runs ` +
-                `the reducer, so a platform call makes the committed record ` +
-                `non-deterministic across retries.`);
-        }
-    });
-    const fnType = Expr.type(fn);
-    // The reducer is (state, ...args) => state: both the leading parameter and
-    // the return must be the record's state type. The typed overload enforces
-    // this at compile time, but a dynamic / cast caller could pass a mismatched
-    // function — and because MutationObject omits the output type (it IS the
-    // record type), a mismatch would be silently undetectable downstream. Guard
-    // it at definition time.
-    if (fnType.inputs.length < 1 || !sameEastType(rec.type, fnType.inputs[0])) {
-        const got = fnType.inputs.length ? printType(fnType.inputs[0]) : 'no parameters';
-        throw new Error(`e3.mutation '${name}' reducer's first parameter must be the record's ` +
-            `state type ${printType(rec.type)}, but got ${got}.`);
+    return {
+        kind: 'mutation',
+        name,
+        record: rec,
+        form: 'reduce',
+        // Keep the full EastIR bundle (IR + source map) so export.ts can encode
+        // with encodeEastIR and preserve source locations.
+        body: fn.toIR(),
+        fn,
+        // The extra parameter types are everything after the leading state parameter.
+        argTypes: signature.inputs.slice(1),
+        runner,
+    };
+}
+function edit(name, rec, fn, config) {
+    const runner = config?.runner ?? DEFAULT_RUNNER;
+    runnerToVariant(runner);
+    checkKeyed('mutation.edit', name, rec);
+    const signature = checkBody('mutation.edit', name, rec, fn);
+    const editType = editTypeOf(rec.type);
+    const last = signature.inputs[signature.inputs.length - 1];
+    if (signature.inputs.length < 2 || last === undefined || !sameEastType(editType, last)) {
+        throw new Error(`e3.mutation.edit '${name}' body's LAST parameter must be the edit ` +
+            `capability ${printType(editType)} — e3.mutation.editType(record.type) — but got ` +
+            `${last === undefined ? 'no parameters' : printType(last)}.`);
     }
-    if (!sameEastType(rec.type, fnType.output)) {
-        throw new Error(`e3.mutation '${name}' reducer must return the record's state type ` +
-            `${printType(rec.type)}, but returns ${printType(fnType.output)}.`);
+    if (!sameEastType(NullType, signature.output)) {
+        throw new Error(`e3.mutation.edit '${name}' body writes through 'edit' and returns Null, ` +
+            `but returns ${printType(signature.output)}. Use e3.mutation.reduce for a reducer ` +
+            `that returns the whole state.`);
     }
-    // The extra parameter types are everything after the leading state parameter.
-    const argTypes = fnType.inputs.slice(1);
     return {
         kind: 'mutation',
         name,
         record: rec,
-        body: eastIR,
-        argTypes,
+        form: 'edit',
+        body: fn.toIR(),
+        fn,
+        // The extra parameters sit between the leading state and the trailing edit.
+        argTypes: signature.inputs.slice(1, -1),
+        runner,
+    };
+}
+function patch(rec, name = 'patch', config) {
+    checkName('mutation.patch', name);
+    const runner = config?.runner ?? DEFAULT_RUNNER;
+    runnerToVariant(runner);
+    checkKeyed('mutation.patch', name, rec);
+    return {
+        kind: 'mutation',
+        name,
+        record: rec,
+        form: 'patch',
+        argTypes: [PatchType(rec.type)],
         runner,
     };
 }
+/**
+ * The write forms of a record: {@link reduce}, {@link edit} and {@link patch},
+ * and `editType`, the type of the capability an `edit` body writes through.
+ */
+export const mutation = { reduce, edit, patch, editType: editTypeOf };
 //# sourceMappingURL=mutation.js.map

package/dist/src/mutation.js.map

@@ -1 +1 @@
-{"version":3,"file":"mutation.js","sourceRoot":"","sources":["../../src/mutation.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAkBH,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE9G,OAAO,EAAE,cAAc,EAAE,eAAe,EAAuB,MAAM,aAAa,CAAC;AAEnF,6EAA6E;AAC7E,0EAA0E;AAC1E,MAAM,cAAc,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;AAC9C,MAAM,YAAY,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE,CACzD,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;AA+CzD,MAAM,UAAU,QAAQ,CACtB,IAAY,EACZ,GAAc,EACd,EAAwD,EACxD,MAAoC;IAEpC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,cAAc,CAAC;IAChD,8EAA8E;IAC9E,eAAe,CAAC,MAAM,CAAC,CAAC;IAExB,wEAAwE;IACxE,mDAAmD;IACnD,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,MAAM,YAAY,WAAW,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,kDAAkD;YACtE,yEAAyE;YACzE,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,4EAA4E;IAC5E,8EAA8E;IAC9E,iFAAiF;IACjF,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,6CAA6C;gBACjE,WAAW,IAAI,CAAC,KAAK,CAAC,IAAI,+CAA+C;gBACzE,6DAA6D;gBAC7D,mCAAmC,CACpC,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAe,CAA6C,CAAC;IACtF,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,yEAAyE;IACzE,4EAA4E;IAC5E,yBAAyB;IACzB,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QAC3E,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC;QAClF,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,mDAAmD;YACvE,cAAc,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,GAAG,GAAG,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,gDAAgD;YACpE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CACnE,CAAC;IACJ,CAAC;IACD,8EAA8E;IAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAExC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI;QACJ,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,MAA6B;QACnC,QAAQ;QACR,MAAM;KACP,CAAC;AACJ,CAAC"}
+{"version":3,"file":"mutation.js","sourceRoot":"","sources":["../../src/mutation.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA2BH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,eAAe,EAAuB,MAAM,aAAa,CAAC;AAEnF;;yDAEyD;AACzD,MAAM,UAAU,GAAG,0BAA0B,CAAC;AAE9C,yDAAyD;AACzD,SAAS,SAAS,CAAC,OAAe,EAAE,IAAY;IAC9C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,MAAM,OAAO,gDAAgD,IAAI,4BAA4B;YAC7F,mGAAmG,CACpG,CAAC;IACJ,CAAC;AACH,CAAC;AAED;qEACqE;AACrE,SAAS,SAAS,CAChB,OAAe,EAAE,IAAY,EAAE,GAAc,EAAE,EAAuB;IAEtE,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACzB,SAAS,CAAC,MAAM,OAAO,KAAK,IAAI,QAAQ,EAAE,EAAE,EAAE;QAC5C,KAAK,EAAE,sHAAsH;QAC7H,QAAQ,EAAE,uIAAuI;KAClJ,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,EAA0B,CAA6C,CAAC;IACpG,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QACjF,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC;QACxF,MAAM,IAAI,KAAK,CACb,MAAM,OAAO,KAAK,IAAI,gDAAgD;YACtE,cAAc,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,GAAG,GAAG,CACrD,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;kDAGkD;AAClD,SAAS,UAAU,CAAC,OAAe,EAAE,IAAY,EAAE,GAAc;IAC/D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,MAAM,OAAO,KAAK,IAAI,mDAAmD;YACzE,yBAAyB,GAAG,CAAC,IAAI,WAAW,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ;YACvE,4DAA4D,CAC7D,CAAC;IACJ,CAAC;AACH,CAAC;AAqDD,SAAS,MAAM,CACb,IAAY,EACZ,GAAc,EACd,EAAwD,EACxD,MAAoC;IAEpC,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,cAAc,CAAC;IAChD,8EAA8E;IAC9E,eAAe,CAAC,MAAM,CAAC,CAAC;IAExB,MAAM,SAAS,GAAG,SAAS,CAAC,iBAAiB,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC9D,4EAA4E;IAC5E,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,6CAA6C;IAC7C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,uBAAuB,IAAI,gDAAgD;YAC3E,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CACtE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI;QACJ,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,QAAQ;QACd,wEAAwE;QACxE,mDAAmD;QACnD,IAAI,EAAE,EAAE,CAAC,IAAI,EAAyB;QACtC,EAAE;QACF,8EAA8E;QAC9E,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACnC,MAAM;KACP,CAAC;AACJ,CAAC;AAqDD,SAAS,IAAI,CACX,IAAY,EACZ,GAAc,EACd,EAAwD,EACxD,MAAoC;IAEpC,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,cAAc,CAAC;IAChD,eAAe,CAAC,MAAM,CAAC,CAAC;IACxB,UAAU,CAAC,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAEvC,MAAM,SAAS,GAAG,SAAS,CAAC,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3D,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,KAAK,CACb,qBAAqB,IAAI,2CAA2C;YACpE,cAAc,SAAS,CAAC,QAAQ,CAAC,iDAAiD;YAClF,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,qBAAqB,IAAI,iDAAiD;YAC1E,eAAe,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,yCAAyC;YACnF,+BAA+B,CAChC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI;QACJ,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,EAAE,CAAC,IAAI,EAAyB;QACtC,EAAE;QACF,4EAA4E;QAC5E,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM;KACP,CAAC;AACJ,CAAC;AAqCD,SAAS,KAAK,CACZ,GAAc,EACd,OAAe,OAAO,EACtB,MAAoC;IAEpC,SAAS,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,cAAc,CAAC;IAChD,eAAe,CAAC,MAAM,CAAC,CAAC;IACxB,UAAU,CAAC,gBAAgB,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAExC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI;QACJ,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC"}

package/dist/src/open-beast-link.spec.js

@@ -19,7 +19,7 @@ import * as os from 'node:os';
 import * as path from 'node:path';
 import yauzl from 'yauzl';
 import { East, DictType, FunctionType, IntegerType, StringType, StructType, decodeBeast2For, decodeEastIR, walkIR, IMPORT_PLATFORM, variant } from '@elaraai/east';
-import { DatasetRefType } from '@elaraai/e3-types';
+import { decodePackageObject, decodeTaskObject } from '@elaraai/e3-types';
 import { export_ } from './export.js';
 import { package_ } from './package.js';
 import { task } from './task.js';
@@ -88,12 +88,14 @@ async function readZip(zipPath) {
         });
     });
 }
-/** The IR object a bundle holds for `data/<refPath>.ref`. */
-function irAt(entries, refPath) {
-    const ref = decodeBeast2For(DatasetRefType)(new Uint8Array(entries.get(`data/${refPath}.ref`)));
-    assert.strictEqual(ref.type, 'value');
-    const hash = ref.value.hash;
-    return decodeEastIR(new Uint8Array(entries.get(`objects/${hash.slice(0, 2)}/${hash.slice(2)}.beast2`)));
+/** The program the task object of a bundle's task `name` names. */
+function programOf(entries, name) {
+    const object = (hash) => new Uint8Array(entries.get(`objects/${hash.slice(0, 2)}/${hash.slice(2)}.beast2`));
+    const pkgRef = [...entries.keys()].find((key) => key.startsWith('packages/'));
+    const pkg = decodePackageObject(object(decodeBeast2For(StringType)(entries.get(pkgRef))));
+    const task = decodeTaskObject(object(pkg.tasks.get(name)));
+    assert.strictEqual(task.body.type, 'east');
+    return decodeEastIR(object(task.body.value.program));
 }
 const STOCK_RUNNERS = [
     { runtime: 'east-node', platforms: ['@elaraai/east-node-std'] },
@@ -117,7 +119,7 @@ describe('FileSystem.openBeast links on every stock runner (#660)', () => {
             const pkg = package_('importer', '1.0.0', use);
             const zipPath = path.join(tempDir, `importer-${runner.runtime}.zip`);
             await export_(pkg, zipPath, { functions: [manifest] });
-            const bundle = irAt(await readZip(zipPath), 'tasks/sum_rows/function_ir');
+            const bundle = programOf(await readZip(zipPath), 'sum_rows');
             assert.strictEqual(countImports(bundle.ir), 0, 'the import resolved to embedded IR');
             assert.deepStrictEqual(genericPlatformCalls(bundle.ir), [{ name: 'fs_open_beast', typeParameters: 1 }]);
         });

package/dist/src/open-beast-link.spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"open-beast-link.spec.js","sourceRoot":"","sources":["../../src/open-beast-link.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACL,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EACjE,eAAe,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,cAAc,EAAe,MAAM,aAAa,CAAC;AAE1D,+DAA+D;AAC/D,+CAA+C;AAC/C,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;AACtF,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AAE3F,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE;IACjE,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QACtB,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,aAAa,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;AACrH,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;AAE5F,SAAS,YAAY,CAAC,EAAW;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,CAAC,EAAS,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9G,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAW;IACvC,MAAM,KAAK,GAAoD,EAAE,CAAC;IAClE,MAAM,CAAC,EAAS,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2CAA2C;AAC3C,KAAK,UAAU,OAAO,CAAC,OAAe;IACpC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;YAC1D,IAAI,GAAG;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,CAAC,OAAO;gBAAE,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC1C,OAAO,CAAC,SAAS,EAAE,CAAC;YACpB,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;gBAC5B,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/B,OAAO,CAAC,SAAS,EAAE,CAAC;gBACtB,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE;wBAChD,IAAI,GAAG;4BAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;wBAC5B,IAAI,CAAC,UAAU;4BAAE,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;wBAC5D,MAAM,MAAM,GAAa,EAAE,CAAC;wBAC5B,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;wBACrD,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE;4BACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;4BACnD,OAAO,CAAC,SAAS,EAAE,CAAC;wBACtB,CAAC,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1C,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6DAA6D;AAC7D,SAAS,IAAI,CAAC,OAA4B,EAAE,OAAe;IACzD,MAAM,GAAG,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,OAAO,MAAM,CAAE,CAAC,CAAC,CAAC;IACjG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,IAAI,GAAI,GAAW,CAAC,KAAK,CAAC,IAAc,CAAC;IAC/C,OAAO,YAAY,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAE,CAAC,CAAC,CAAC;AAC3G,CAAC;AAED,MAAM,aAAa,GAA0B;IAC3C,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE;IAC/D,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,YAAY,CAAC,EAAE;IAChD,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE;CACnD,CAAC;AAEF,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,IAAI,OAAe,CAAC;IACpB,MAAM,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;YACnC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,uBAAuB,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAC5G,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,EAAE,CAAC,wCAAwC,MAAM,CAAC,OAAO,2CAA2C,EAAE,KAAK,IAAI,EAAE;YAC/G,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;YACxE,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7G,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,MAAM,CAAC,OAAO,MAAM,CAAC,CAAC;YACrE,MAAM,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAEvD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,EAAE,4BAA4B,CAAC,CAAC;YAC1E,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,oCAAoC,CAAC,CAAC;YACrF,MAAM,CAAC,eAAe,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1G,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;YAC/F,MAAM,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,uBAAuB,CAAC,EAAE;SACvE,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,MAAM,CAAC,OAAO,CAClB,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAC7E,qKAAqK,CACtK,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"open-beast-link.spec.js","sourceRoot":"","sources":["../../src/open-beast-link.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACL,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EACjE,eAAe,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACzF,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,cAAc,EAAe,MAAM,aAAa,CAAC;AAE1D,+DAA+D;AAC/D,+CAA+C;AAC/C,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;AACtF,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AAE3F,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE;IACjE,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QACtB,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,aAAa,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;AACrH,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;AAE5F,SAAS,YAAY,CAAC,EAAW;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,CAAC,EAAS,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9G,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAW;IACvC,MAAM,KAAK,GAAoD,EAAE,CAAC;IAClE,MAAM,CAAC,EAAS,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2CAA2C;AAC3C,KAAK,UAAU,OAAO,CAAC,OAAe;IACpC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;YAC1D,IAAI,GAAG;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,CAAC,OAAO;gBAAE,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC1C,OAAO,CAAC,SAAS,EAAE,CAAC;YACpB,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;gBAC5B,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/B,OAAO,CAAC,SAAS,EAAE,CAAC;gBACtB,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE;wBAChD,IAAI,GAAG;4BAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;wBAC5B,IAAI,CAAC,UAAU;4BAAE,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;wBAC5D,MAAM,MAAM,GAAa,EAAE,CAAC;wBAC5B,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;wBACrD,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE;4BACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;4BACnD,OAAO,CAAC,SAAS,EAAE,CAAC;wBACtB,CAAC,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1C,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mEAAmE;AACnE,SAAS,SAAS,CAAC,OAA4B,EAAE,IAAY;IAC3D,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAE,CAAC,CAAC;IACrH,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAE,CAAC;IAC/E,MAAM,GAAG,GAAG,mBAAmB,CAAC,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3C,OAAO,YAAY,CAAC,MAAM,CAAE,IAAI,CAAC,IAAI,CAAC,KAA6B,CAAC,OAAO,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,aAAa,GAA0B;IAC3C,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE;IAC/D,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,YAAY,CAAC,EAAE;IAChD,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE;CACnD,CAAC;AAEF,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,IAAI,OAAe,CAAC;IACpB,MAAM,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;YACnC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,uBAAuB,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAC5G,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,EAAE,CAAC,wCAAwC,MAAM,CAAC,OAAO,2CAA2C,EAAE,KAAK,IAAI,EAAE;YAC/G,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;YACxE,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7G,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,MAAM,CAAC,OAAO,MAAM,CAAC,CAAC;YACrE,MAAM,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAEvD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;YAC7D,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,oCAAoC,CAAC,CAAC;YACrF,MAAM,CAAC,eAAe,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1G,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;YAC/F,MAAM,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,uBAAuB,CAAC,EAAE;SACvE,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,MAAM,CAAC,OAAO,CAClB,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAC7E,qKAAqK,CACtK,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/src/output.d.ts

@@ -0,0 +1,117 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Output kinds for `e3.streamTask` — `e3.output.*`.
+ *
+ * A stream task's body emits its output instead of returning it, and the
+ * output kind says what `emit` takes and how the parts of the output combine,
+ * whichever unit emitted them. Emission order is free: the platform sorts sets
+ * and dicts.
+ */
+import type { BlockBuilder, EastType, ExprType, SubtypeExprOrValue, ValueTypeOf } from '@elaraai/east';
+import type { ArrayOutputDef, DictOutputDef, FoldOutputDef, SetOutputDef } from './types.js';
+/**
+ * An Array output: `emit(t)` appends an element. Parts concatenate: in
+ * emission order within a unit, and units in input order.
+ *
+ * @typeParam T - The element type
+ * @param type - The element type
+ * @returns The output kind
+ *
+ * @example
+ * ```ts
+ * const balances = e3.streamTask('balances', {
+ *   inputs: [events],
+ *   output: e3.output.array(FloatType),
+ * }, ($, events, emit) => {
+ *   const balance = $.let(0.0);
+ *   $.for(events, ($, event) => {
+ *     $.assign(balance, balance.add(event.amount));
+ *     $(emit(balance));
+ *   });
+ * });
+ * ```
+ */
+declare function array<T extends EastType>(type: T): ArrayOutputDef<T>;
+/**
+ * A Set output: `emit(t)` adds an element, and an element emitted twice is
+ * held once. Parts combine by union.
+ *
+ * @typeParam T - The element type
+ * @param type - The element type
+ * @returns The output kind
+ *
+ * @example
+ * ```ts
+ * const accounts = e3.streamTask('accounts', {
+ *   inputs: [e3.partition(events)],
+ *   output: e3.output.set(StringType),
+ * }, ($, events, emit) => {
+ *   $.for(events, ($, event) => { $(emit(event.account)); });
+ * });
+ * ```
+ */
+declare function set<T extends EastType>(type: T): SetOutputDef<T>;
+/**
+ * A Dict output: `emit(k, v)` adds an entry. Parts combine by key; the values
+ * of a key emitted more than once fold with `merge`, in input order, and
+ * without `merge` a repeated key fails the task, naming it.
+ *
+ * @typeParam K - The key type
+ * @typeParam V - The value type
+ * @param key - The key type
+ * @param value - The value type
+ * @param config - `merge`, an associative function of the key and two values
+ * @returns The output kind
+ *
+ * @example
+ * ```ts
+ * const totals = e3.streamTask('totals', {
+ *   inputs: [e3.partition(sales)],
+ *   output: e3.output.dict(StringType, FloatType, { merge: ($, account, a, b) => a.add(b) }),
+ * }, ($, sales, emit) => {
+ *   $.for(sales, ($, sale) => { $(emit(sale.account, sale.amount)); });
+ * });
+ * ```
+ */
+declare function dict<K extends EastType, V extends EastType>(key: K, value: V, config?: {
+    merge?: ($: BlockBuilder<V>, key: ExprType<K>, a: ExprType<V>, b: ExprType<V>) => SubtypeExprOrValue<V> | void;
+}): DictOutputDef<K, V>;
+/**
+ * A fold output: every value `emit(t)` is given is folded with `combine`,
+ * starting from `zero`, in input order, and the output is the result.
+ *
+ * @typeParam T - The folded value's type
+ * @param type - The folded value's type
+ * @param config - `zero`, an identity of `combine`; `combine`, associative
+ * @returns The output kind
+ * @throws {Error} When `zero` is not a value of `type`
+ *
+ * @example
+ * ```ts
+ * const revenue = e3.streamTask('revenue', {
+ *   inputs: [e3.partition(sales)],
+ *   output: e3.output.fold(FloatType, { zero: 0.0, combine: ($, a, b) => a.add(b) }),
+ * }, ($, sales, emit) => {
+ *   $.for(sales, ($, sale) => { $(emit(sale.amount)); });
+ * });
+ * ```
+ */
+declare function fold<T extends EastType>(type: T, config: {
+    zero: ValueTypeOf<T>;
+    combine: ($: BlockBuilder<T>, a: ExprType<T>, b: ExprType<T>) => SubtypeExprOrValue<T> | void;
+}): FoldOutputDef<T>;
+/**
+ * The output kinds a stream task emits into: `array`, `set`, `dict` and
+ * `fold`.
+ */
+export declare const output: {
+    array: typeof array;
+    set: typeof set;
+    dict: typeof dict;
+    fold: typeof fold;
+};
+export {};
+//# sourceMappingURL=output.d.ts.map

package/dist/src/output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../src/output.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEvG,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE7F;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,iBAAS,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAE7D;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,iBAAS,GAAG,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAEzD;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,iBAAS,IAAI,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAClD,GAAG,EAAE,CAAC,EACN,KAAK,EAAE,CAAC,EACR,MAAM,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;CAAE,GAC1H,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAOrB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,iBAAS,IAAI,CAAC,CAAC,SAAS,QAAQ,EAC9B,IAAI,EAAE,CAAC,EACP,MAAM,EAAE;IACN,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IACrB,OAAO,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;CAC/F,GACA,aAAa,CAAC,CAAC,CAAC,CAWlB;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM;;;;;CAA6B,CAAC"}

package/dist/src/output.js

@@ -0,0 +1,119 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { ArrayType, DictType, East, FunctionType, NullType, SetType, isValueOf, printType } from '@elaraai/east';
+/**
+ * An Array output: `emit(t)` appends an element. Parts concatenate: in
+ * emission order within a unit, and units in input order.
+ *
+ * @typeParam T - The element type
+ * @param type - The element type
+ * @returns The output kind
+ *
+ * @example
+ * ```ts
+ * const balances = e3.streamTask('balances', {
+ *   inputs: [events],
+ *   output: e3.output.array(FloatType),
+ * }, ($, events, emit) => {
+ *   const balance = $.let(0.0);
+ *   $.for(events, ($, event) => {
+ *     $.assign(balance, balance.add(event.amount));
+ *     $(emit(balance));
+ *   });
+ * });
+ * ```
+ */
+function array(type) {
+    return { kind: 'array', type: ArrayType(type), emit: FunctionType([type], NullType) };
+}
+/**
+ * A Set output: `emit(t)` adds an element, and an element emitted twice is
+ * held once. Parts combine by union.
+ *
+ * @typeParam T - The element type
+ * @param type - The element type
+ * @returns The output kind
+ *
+ * @example
+ * ```ts
+ * const accounts = e3.streamTask('accounts', {
+ *   inputs: [e3.partition(events)],
+ *   output: e3.output.set(StringType),
+ * }, ($, events, emit) => {
+ *   $.for(events, ($, event) => { $(emit(event.account)); });
+ * });
+ * ```
+ */
+function set(type) {
+    return { kind: 'set', type: SetType(type), emit: FunctionType([type], NullType) };
+}
+/**
+ * A Dict output: `emit(k, v)` adds an entry. Parts combine by key; the values
+ * of a key emitted more than once fold with `merge`, in input order, and
+ * without `merge` a repeated key fails the task, naming it.
+ *
+ * @typeParam K - The key type
+ * @typeParam V - The value type
+ * @param key - The key type
+ * @param value - The value type
+ * @param config - `merge`, an associative function of the key and two values
+ * @returns The output kind
+ *
+ * @example
+ * ```ts
+ * const totals = e3.streamTask('totals', {
+ *   inputs: [e3.partition(sales)],
+ *   output: e3.output.dict(StringType, FloatType, { merge: ($, account, a, b) => a.add(b) }),
+ * }, ($, sales, emit) => {
+ *   $.for(sales, ($, sale) => { $(emit(sale.account, sale.amount)); });
+ * });
+ * ```
+ */
+function dict(key, value, config) {
+    return {
+        kind: 'dict',
+        type: DictType(key, value),
+        emit: FunctionType([key, value], NullType),
+        ...(config?.merge !== undefined && { merge: East.function([key, value, value], value, config.merge).toIR() }),
+    };
+}
+/**
+ * A fold output: every value `emit(t)` is given is folded with `combine`,
+ * starting from `zero`, in input order, and the output is the result.
+ *
+ * @typeParam T - The folded value's type
+ * @param type - The folded value's type
+ * @param config - `zero`, an identity of `combine`; `combine`, associative
+ * @returns The output kind
+ * @throws {Error} When `zero` is not a value of `type`
+ *
+ * @example
+ * ```ts
+ * const revenue = e3.streamTask('revenue', {
+ *   inputs: [e3.partition(sales)],
+ *   output: e3.output.fold(FloatType, { zero: 0.0, combine: ($, a, b) => a.add(b) }),
+ * }, ($, sales, emit) => {
+ *   $.for(sales, ($, sale) => { $(emit(sale.amount)); });
+ * });
+ * ```
+ */
+function fold(type, config) {
+    if (!isValueOf(config.zero, type)) {
+        throw new Error(`e3.output.fold: zero is not a value of ${printType(type)}`);
+    }
+    return {
+        kind: 'fold',
+        type,
+        emit: FunctionType([type], NullType),
+        zero: config.zero,
+        combine: East.function([type, type], type, config.combine).toIR(),
+    };
+}
+/**
+ * The output kinds a stream task emits into: `array`, `set`, `dict` and
+ * `fold`.
+ */
+export const output = { array, set, dict, fold };
+//# sourceMappingURL=output.js.map

package/dist/src/output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.js","sourceRoot":"","sources":["../../src/output.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAYH,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAGjH;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,KAAK,CAAqB,IAAO;IACxC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;AACxF,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,GAAG,CAAqB,IAAO;IACtC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;AACpF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,IAAI,CACX,GAAM,EACN,KAAQ,EACR,MAA2H;IAE3H,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;QAC1B,IAAI,EAAE,YAAY,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC;QAC1C,GAAG,CAAC,MAAM,EAAE,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;KACrH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,IAAI,CACX,IAAO,EACP,MAGC;IAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,0CAA0C,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,IAAI,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;QACpC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAc,CAAC,CAAC,IAAI,EAAE;KACzE,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC"}

package/dist/src/package.d.ts

@@ -2,10 +2,7 @@
  * Copyright (c) 2025 Elara AI Pty Ltd
  * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
  */
-/**
- * Package definitions for e3.
- */
-import type { FunctionDef, MutationDef, PackageDef, PackageItem } from './types.js';
+import type { FunctionDef, MigrationDef, MutationDef, RecordIndexDef, PackageDef, PackageItem } from './types.js';
 /**
  * Creates a package definition from items.
  *
@@ -22,6 +19,11 @@ import type { FunctionDef, MutationDef, PackageDef, PackageItem } from './types.
  * @param version - Package version
  * @param items - Items to include (datasets, tasks)
  * @returns A PackageDef with typed access to contents
+ * @throws {Error} When the name or the version cannot be a file name — a
+ *   repository keeps the package at `packages/<name>/<version>` — when a
+ *   record is given two different mutations, indexes or migrations of one
+ *   name, or when a record's migrations are not one chain that leaves it as
+ *   its declared type
  *
  * @example
  * ```ts
@@ -37,5 +39,5 @@ import type { FunctionDef, MutationDef, PackageDef, PackageItem } from './types.
  * const helloTask = pkg.tasks.say_hello;
  * ```
  */
-export declare function package_(name: string, version: string, ...items: (PackageItem | FunctionDef | MutationDef | PackageDef<any>)[]): PackageDef<Record<string, unknown>>;
+export declare function package_(name: string, version: string, ...items: (PackageItem | FunctionDef | MutationDef | RecordIndexDef | MigrationDef | PackageDef<any>)[]): PackageDef<Record<string, unknown>>;
 //# sourceMappingURL=package.d.ts.map

package/dist/src/package.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"package.d.ts","sourceRoot":"","sources":["../../src/package.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AAEH,OAAO,KAAK,EACV,WAAW,EACX,WAAW,EACX,UAAU,EACV,WAAW,EAGZ,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAQH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,GAAG,KAAK,EAAE,CAAC,WAAW,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,GACtE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA2HrC"}
+{"version":3,"file":"package.d.ts","sourceRoot":"","sources":["../../src/package.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAQH,OAAO,KAAK,EACV,WAAW,EACX,YAAY,EACZ,WAAW,EACX,cAAc,EACd,UAAU,EACV,WAAW,EAGZ,MAAM,YAAY,CAAC;AAGpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAQH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,GAAG,KAAK,EAAE,CAAC,WAAW,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,GAAG,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,GACtG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA4MrC"}