@elaraai/e3-types 1.0.82 → 1.0.84

package/dist/src/runner.d.ts

@@ -13,23 +13,38 @@ import { VariantType, StructType, ArrayType, StringType, ValueTypeOf } from '@el
 /**
  * Wire representation of a runner — shared by tasks, functions and records.
  *
- * A known-runtime tag names a stock runner, and `platforms` names the platform
- * packages the units it runs load. `custom` carries a command, which e3 runs
- * with the arguments of a stock runner's `run`: `-i` for each input, `-o` for
- * the output, then the program's file. A custom task's body is its own
- * command, and its runner's is empty. Package authors can already execute
- * arbitrary commands via custom tasks, so `custom` grants no capability that
- * tasks don't have.
+ * A known-runtime tag names a stock runner: `platforms` names the platform
+ * packages the units it runs load, and `decode` how it reads a run unit's
+ * inputs — each collection `lazy`, a segment decoded as the program reaches
+ * it, or every input decoded `whole` before the program runs — which e3 writes
+ * into each run unit it stages for the runner. `custom` carries a command,
+ * which e3 runs with the arguments of a stock runner's `run`: `-i` for each
+ * input, `-o` for the output, then the program's file. A custom task's body is
+ * its own command, and its runner's is empty. Package authors can already
+ * execute arbitrary commands via custom tasks, so `custom` grants no
+ * capability that tasks don't have.
  */
 export declare const RunnerType: VariantType<{
     readonly east_node: StructType<{
         readonly platforms: ArrayType<StringType>;
+        readonly decode: VariantType<{
+            readonly lazy: import("@elaraai/east").NullType;
+            readonly whole: import("@elaraai/east").NullType;
+        }>;
     }>;
     readonly east_py: StructType<{
         readonly platforms: ArrayType<StringType>;
+        readonly decode: VariantType<{
+            readonly lazy: import("@elaraai/east").NullType;
+            readonly whole: import("@elaraai/east").NullType;
+        }>;
     }>;
     readonly east_c: StructType<{
         readonly platforms: ArrayType<StringType>;
+        readonly decode: VariantType<{
+            readonly lazy: import("@elaraai/east").NullType;
+            readonly whole: import("@elaraai/east").NullType;
+        }>;
     }>;
     readonly custom: StructType<{
         readonly command: ArrayType<StringType>;

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

@@ -1 +1 @@
-{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/runner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5F;;;;;;;;;;GAUG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;EAKrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC;AAE3C,MAAM,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,UAAU,CAAC,CAAC;AAEzD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAGhF"}
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/runner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAkB,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5G;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;EAKrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC;AAE3C,MAAM,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,UAAU,CAAC,CAAC;AAEzD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAGhF"}

package/dist/src/runner.js

@@ -9,22 +9,25 @@
  * tag pins the executable to one of the stock runners, which runs units through
  * its `exec` command; `custom` names a command of the author's own.
  */
-import { VariantType, StructType, ArrayType, StringType } from '@elaraai/east';
+import { VariantType, StructType, ArrayType, StringType, UnitDecodeType } from '@elaraai/east';
 /**
  * Wire representation of a runner — shared by tasks, functions and records.
  *
- * A known-runtime tag names a stock runner, and `platforms` names the platform
- * packages the units it runs load. `custom` carries a command, which e3 runs
- * with the arguments of a stock runner's `run`: `-i` for each input, `-o` for
- * the output, then the program's file. A custom task's body is its own
- * command, and its runner's is empty. Package authors can already execute
- * arbitrary commands via custom tasks, so `custom` grants no capability that
- * tasks don't have.
+ * A known-runtime tag names a stock runner: `platforms` names the platform
+ * packages the units it runs load, and `decode` how it reads a run unit's
+ * inputs — each collection `lazy`, a segment decoded as the program reaches
+ * it, or every input decoded `whole` before the program runs — which e3 writes
+ * into each run unit it stages for the runner. `custom` carries a command,
+ * which e3 runs with the arguments of a stock runner's `run`: `-i` for each
+ * input, `-o` for the output, then the program's file. A custom task's body is
+ * its own command, and its runner's is empty. Package authors can already
+ * execute arbitrary commands via custom tasks, so `custom` grants no
+ * capability that tasks don't have.
  */
 export const RunnerType = VariantType({
-    east_node: StructType({ platforms: ArrayType(StringType) }),
-    east_py: StructType({ platforms: ArrayType(StringType) }),
-    east_c: StructType({ platforms: ArrayType(StringType) }),
+    east_node: StructType({ platforms: ArrayType(StringType), decode: UnitDecodeType }),
+    east_py: StructType({ platforms: ArrayType(StringType), decode: UnitDecodeType }),
+    east_c: StructType({ platforms: ArrayType(StringType), decode: UnitDecodeType }),
     custom: StructType({ command: ArrayType(StringType) }),
 });
 /**

package/dist/src/runner.js.map

@@ -1 +1 @@
-{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/runner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAe,MAAM,eAAe,CAAC;AAE5F;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,WAAW,CAAC;IACpC,SAAS,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;IAC3D,OAAO,EAAI,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;IAC3D,MAAM,EAAK,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;IAC3D,MAAM,EAAK,UAAU,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;CAC1D,CAAC,CAAC;AAKH;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAmB,EAAE,IAAc;IACpE,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,oBAAoB,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC"}
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/runner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAe,MAAM,eAAe,CAAC;AAE5G;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,WAAW,CAAC;IACpC,SAAS,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACnF,OAAO,EAAI,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACnF,MAAM,EAAK,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACnF,MAAM,EAAK,UAAU,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;CAC1D,CAAC,CAAC;AAKH;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAmB,EAAE,IAAc;IACpE,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,oBAAoB,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC"}

package/dist/src/runner.spec.js

@@ -15,9 +15,9 @@ import * as assert from 'node:assert';
 import { variant } from '@elaraai/east';
 import { withRunnerLifeline } from './runner.js';
 const KNOWN = [
-    ['east_node', variant('east_node', { platforms: ['@elaraai/east-node-std'] }), 'east-node'],
-    ['east_py', variant('east_py', { platforms: ['east-py-std'] }), 'east-py'],
-    ['east_c', variant('east_c', { platforms: ['east-c-std'] }), 'east-c'],
+    ['east_node', variant('east_node', { platforms: ['@elaraai/east-node-std'], decode: variant('lazy', null) }), 'east-node'],
+    ['east_py', variant('east_py', { platforms: ['east-py-std'], decode: variant('lazy', null) }), 'east-py'],
+    ['east_c', variant('east_c', { platforms: ['east-c-std'], decode: variant('lazy', null) }), 'east-c'],
 ];
 describe('withRunnerLifeline', () => {
     for (const [tag, runner, bin] of KNOWN) {
@@ -32,7 +32,7 @@ describe('withRunnerLifeline', () => {
         assert.deepStrictEqual(withRunnerLifeline(runner, args), args);
     });
     it('is a no-op on a degenerate argv and does not mutate its input', () => {
-        const runner = variant('east_c', { platforms: [] });
+        const runner = variant('east_c', { platforms: [], decode: variant('lazy', null) });
         assert.deepStrictEqual(withRunnerLifeline(runner, ['east-c']), ['east-c']);
         const args = ['east-c', 'exec', 'unit.beast2'];
         const before = [...args];

package/dist/src/runner.spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"runner.spec.js","sourceRoot":"","sources":["../../src/runner.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAoB,MAAM,aAAa,CAAC;AAEnE,MAAM,KAAK,GAAyC;IAClD,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC;IAC3F,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC;IAC1E,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;CACvE,CAAC;AAEF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QACvC,EAAE,CAAC,uDAAuD,GAAG,EAAE,EAAE,GAAG,EAAE;YACpE,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,eAAe,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,oBAAoB,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;QACrH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,MAAM,GAAgB,OAAO,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5F,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;QACtG,MAAM,CAAC,eAAe,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;QACpD,MAAM,CAAC,eAAe,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QACzB,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"runner.spec.js","sourceRoot":"","sources":["../../src/runner.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAoB,MAAM,aAAa,CAAC;AAEnE,MAAM,KAAK,GAAyC;IAClD,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC;IAC1H,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC;IACzG,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;CACtG,CAAC;AAEF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QACvC,EAAE,CAAC,uDAAuD,GAAG,EAAE,EAAE,GAAG,EAAE;YACpE,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,eAAe,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,oBAAoB,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;QACrH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,MAAM,GAAgB,OAAO,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5F,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;QACtG,MAAM,CAAC,eAAe,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACnF,MAAM,CAAC,eAAe,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QACzB,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/src/task.d.ts

@@ -160,7 +160,7 @@ export type TaskRole = ValueTypeOf<typeof TaskRoleType>;
  * const task: TaskObject = {
  *   kind: TASK_OBJECT_KIND,
  *   body: variant('east', { program: '5e7a3b...' }),
- *   runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }),
+ *   runner: variant('east_node', { platforms: ['@elaraai/east-node-std'], decode: variant('lazy', null) }),
  *   inputs: [{ path: [variant('field', 'inputs'), variant('field', 'sales')], partition: none }],
  *   output: { path: [variant('field', 'tasks'), variant('field', 'totals'), variant('field', 'output')], kind: variant('value', null) },
  *   role: variant('data', null),
@@ -185,12 +185,24 @@ export declare const TaskObjectType: StructType<{
     readonly runner: VariantType<{
         readonly east_node: StructType<{
             readonly platforms: ArrayType<StringType>;
+            readonly decode: VariantType<{
+                readonly lazy: NullType;
+                readonly whole: NullType;
+            }>;
         }>;
         readonly east_py: StructType<{
             readonly platforms: ArrayType<StringType>;
+            readonly decode: VariantType<{
+                readonly lazy: NullType;
+                readonly whole: NullType;
+            }>;
         }>;
         readonly east_c: StructType<{
             readonly platforms: ArrayType<StringType>;
+            readonly decode: VariantType<{
+                readonly lazy: NullType;
+                readonly whole: NullType;
+            }>;
         }>;
         readonly custom: StructType<{
             readonly command: ArrayType<StringType>;

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

@@ -1 +1 @@
-{"version":3,"file":"task.d.ts","sourceRoot":"","sources":["../../src/task.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAmB,MAAM,eAAe,CAAC;AAInI;qBACqB;AACrB,eAAO,MAAM,gBAAgB,UAAU,CAAC;AAExC;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;;;;;;;EAGvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC;AAC/C,MAAM,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB;;EAA4C,CAAC;AAC3E,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AACzD,MAAM,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,yEAAyE;AACzE,eAAO,MAAM,aAAa;;;;;;;EAGxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AACjD,MAAM,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;EAM7B,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAC3D,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEpE,sDAAsD;AACtD,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;EAGzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC;AACnD,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,cAAc,CAAC,CAAC;AAE5D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;EAK3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AACvD,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE;;;GAGG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;EAGvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC;AAC/C,MAAM,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,cAAc;IACzB,uCAAuC;;IAEvC,0BAA0B;;;;;;;;;IAE1B;gDAC4C;;;;;;;;;;;;;;;IAE5C,kEAAkE;;;;;;;;;IAElE,iDAAiD;;;;;;;;;;;;;;;;;;IAEjD,8BAA8B;;;;;;;;;;;;;;IAE9B;uCACmC;;EAEnC,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC;AAEnD,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,cAAc,CAAC,CAAC;AAI5D;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAc7D"}
+{"version":3,"file":"task.d.ts","sourceRoot":"","sources":["../../src/task.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAmB,MAAM,eAAe,CAAC;AAInI;qBACqB;AACrB,eAAO,MAAM,gBAAgB,UAAU,CAAC;AAExC;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY;;;;;;;EAGvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC;AAC/C,MAAM,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB;;EAA4C,CAAC;AAC3E,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AACzD,MAAM,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,yEAAyE;AACzE,eAAO,MAAM,aAAa;;;;;;;EAGxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AACjD,MAAM,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;EAM7B,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAC3D,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEpE,sDAAsD;AACtD,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;EAGzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC;AACnD,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,cAAc,CAAC,CAAC;AAE5D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;EAK3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AACvD,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE;;;GAGG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;EAGvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC;AAC/C,MAAM,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,cAAc;IACzB,uCAAuC;;IAEvC,0BAA0B;;;;;;;;;IAE1B;gDAC4C;;;;;;;;;;;;;;;;;;;;;;;;;;;IAE5C,kEAAkE;;;;;;;;;IAElE,iDAAiD;;;;;;;;;;;;;;;;;;IAEjD,8BAA8B;;;;;;;;;;;;;;IAE9B;uCACmC;;EAEnC,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC;AAEnD,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,cAAc,CAAC,CAAC;AAI5D;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAc7D"}

package/dist/src/task.js

@@ -107,7 +107,7 @@ export const TaskRoleType = VariantType({
  * const task: TaskObject = {
  *   kind: TASK_OBJECT_KIND,
  *   body: variant('east', { program: '5e7a3b...' }),
- *   runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }),
+ *   runner: variant('east_node', { platforms: ['@elaraai/east-node-std'], decode: variant('lazy', null) }),
  *   inputs: [{ path: [variant('field', 'inputs'), variant('field', 'sales')], partition: none }],
  *   output: { path: [variant('field', 'tasks'), variant('field', 'totals'), variant('field', 'output')], kind: variant('value', null) },
  *   role: variant('data', null),

package/dist/src/task.spec.js

@@ -7,8 +7,8 @@
  */
 import { describe, it } from 'node:test';
 import assert from 'node:assert/strict';
-import { ArrayType, BlobType, IntegerType, OptionType, StringType, StructType, encodeBeast2For, none, some, variant } from '@elaraai/east';
-import { TASK_OBJECT_KIND, TaskObjectType, decodeTaskObject, } from './task.js';
+import { ArrayType, BlobType, IntegerType, OptionType, StringType, StructType, VariantType, encodeBeast2For, none, some, variant } from '@elaraai/east';
+import { TASK_OBJECT_KIND, TaskBodyType, TaskInputType, TaskObjectType, TaskOutputType, TaskRoleType, decodeTaskObject, } from './task.js';
 import { RunnerType } from './runner.js';
 import { TreePathType } from './structure.js';
 describe('TaskObjectType', () => {
@@ -18,7 +18,7 @@ describe('TaskObjectType', () => {
     const base = {
         kind: TASK_OBJECT_KIND,
         body: variant('east', { program: 'a'.repeat(64) }),
-        runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }),
+        runner: variant('east_node', { platforms: ['@elaraai/east-node-std'], decode: variant('lazy', null) }),
         inputs: [{ path: sales, partition: none }],
         output: { path: totals, kind: variant('value', null) },
         role: variant('data', null),
@@ -40,6 +40,7 @@ describe('TaskObjectType', () => {
             },
             { ...base, output: { path: totals, kind: variant('fold', { zero: 'e'.repeat(64), combine: 'f'.repeat(64) }) } },
             { ...base, output: { path: totals, kind: variant('set', null) } },
+            { ...base, runner: variant('east_py', { platforms: ['east-py-std'], decode: variant('whole', null) }) },
             { ...base, role: variant('ui', { paths: [sales], functions: ['forecast'], records: ['plans'], pages: [rates] }) },
         ];
         const encode = encodeBeast2For(TaskObjectType);
@@ -62,11 +63,31 @@ describe('TaskObjectType', () => {
             output: totals,
             kind: none,
             metadata: none,
-            runner: variant('east_node', { platforms: [] }),
+            runner: variant('east_node', { platforms: [], decode: variant('lazy', null) }),
             environment: none,
         });
         assert.throws(() => decodeTaskObject(older), /exported by an older e3 SDK — re-export it with the current one/);
     });
+    it('refuses a task object whose runner predates its decode, saying to re-export the package', () => {
+        // A stock runner as a package exported before runners said how they read
+        // a program's inputs: its platforms alone.
+        const PreDecodeRunnerType = VariantType({
+            east_node: StructType({ platforms: ArrayType(StringType) }),
+            east_py: StructType({ platforms: ArrayType(StringType) }),
+            east_c: StructType({ platforms: ArrayType(StringType) }),
+            custom: StructType({ command: ArrayType(StringType) }),
+        });
+        const older = encodeBeast2For(StructType({
+            kind: StringType,
+            body: TaskBodyType,
+            runner: PreDecodeRunnerType,
+            inputs: ArrayType(TaskInputType),
+            output: TaskOutputType,
+            role: TaskRoleType,
+            environment: OptionType(StringType),
+        }))({ ...base, runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }) });
+        assert.throws(() => decodeTaskObject(older), /exported by an older e3 SDK — re-export it with the current one/);
+    });
     it('refuses an object of the task shape that carries another kind tag', () => {
         assert.throws(() => decodeTaskObject(encodeBeast2For(TaskObjectType)({ ...base, kind: '$plan' })), /its kind is '\$plan', not '\$task'/);
     });

package/dist/src/task.spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"task.spec.js","sourceRoot":"","sources":["../../src/task.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC3I,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,gBAAgB,GAEjB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACnG,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC;QACvE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC1C,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE;QACtD,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC3B,WAAW,EAAE,IAAI;KAClB,CAAC;IAEF,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAiB;YAC1B,IAAI;YACJ;gBACE,GAAG,IAAI;gBACP,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvD,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;gBAC1C,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;aAClC;YACD;gBACE,GAAG,IAAI;gBACP,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBAC3G,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE;aACjF;YACD,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YAC/G,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE;YACjE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;SAClH,CAAC;QACF,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;QAC/C,KAAK,MAAM,QAAQ,IAAI,KAAK;YAAE,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,wBAAwB,GAAG,UAAU,CAAC;YAC1C,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC;YAC/B,MAAM,EAAE,YAAY;YACpB,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;YAC5B,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;YAC9B,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC;SACpC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,eAAe,CAAC,wBAAwB,CAAC,CAAC;YACtD,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC;YACzG,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;YAC/C,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,iEAAiE,CAAC,CAAC;IAClH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,oCAAoC,CAAC,CAAC;IAC3I,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"task.spec.js","sourceRoot":"","sources":["../../src/task.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxJ,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,cAAc,EACd,cAAc,EACd,YAAY,EACZ,gBAAgB,GAEjB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACnG,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACtG,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC1C,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE;QACtD,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC3B,WAAW,EAAE,IAAI;KAClB,CAAC;IAEF,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAiB;YAC1B,IAAI;YACJ;gBACE,GAAG,IAAI;gBACP,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvD,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;gBAC1C,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;aAClC;YACD;gBACE,GAAG,IAAI;gBACP,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBAC3G,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE;aACjF;YACD,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YAC/G,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE;YACjE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE;YACvG,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;SAClH,CAAC;QACF,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;QAC/C,KAAK,MAAM,QAAQ,IAAI,KAAK;YAAE,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,wBAAwB,GAAG,UAAU,CAAC;YAC1C,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC;YAC/B,MAAM,EAAE,YAAY;YACpB,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;YAC5B,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;YAC9B,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC;SACpC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,eAAe,CAAC,wBAAwB,CAAC,CAAC;YACtD,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC;YACzG,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAC9E,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,iEAAiE,CAAC,CAAC;IAClH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,yEAAyE;QACzE,2CAA2C;QAC3C,MAAM,mBAAmB,GAAG,WAAW,CAAC;YACtC,SAAS,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,OAAO,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,MAAM,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YACxD,MAAM,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC;YACvC,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,mBAAmB;YAC3B,MAAM,EAAE,SAAS,CAAC,aAAa,CAAC;YAChC,MAAM,EAAE,cAAc;YACtB,IAAI,EAAE,YAAY;YAClB,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC;SACpC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,iEAAiE,CAAC,CAAC;IAClH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,oCAAoC,CAAC,CAAC;IAC3I,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elaraai/e3-types",
-  "version": "1.0.82",
+  "version": "1.0.84",
   "description": "Shared type definitions for e3 (East Execution Engine)",
   "type": "module",
   "main": "dist/src/index.js",
@@ -18,7 +18,7 @@
     "directory": "libs/e3/packages/e3-types"
   },
   "peerDependencies": {
-    "@elaraai/east": "1.0.82"
+    "@elaraai/east": "1.0.84"
   },
   "devDependencies": {
     "@types/node": "^22.0.0",

package/src/api.ts

@@ -38,7 +38,7 @@ import {
 import { StructureType, TreePathType } from './structure.js';
 import { IntakeFileType } from './intake.js';
 import { RunnerType } from './runner.js';
-import { TaskBodyType, TaskInputType, TaskOutputType, TaskRoleType } from './task.js';
+import { TaskBodyType, TaskInputType, TaskOutputType, TaskPartitionType, TaskRoleType } from './task.js';
 import { RequeueReasonType, StageUnitType } from './dataflow.js';
 
 // =============================================================================
@@ -1040,6 +1040,11 @@ export const DiagnosticType = StructType({
  * - `invalid`: signature/IR error; nothing ran
  * - `too_large`: result over `maxResultBytes`; deploy a task and read it with `datasetGet`
  * - `timed_out`: exceeded `timeoutMs` / the server's sync deadline guard
+ *
+ * `inputs` names what the call read: each dataset argument's path and the hash
+ * it was pinned at, in argument order, so an answer can be reproduced and a
+ * stale one noticed. It is empty for a named function call, for a one-shot
+ * with value arguments only, and for an `invalid` result.
  */
 export const ExecuteResultType = StructType({
   outcome: VariantType({
@@ -1053,6 +1058,7 @@ export const ExecuteResultType = StructType({
   stderr: StringType,
   stdoutTruncated: BooleanType,
   stderrTruncated: BooleanType,
+  inputs: ArrayType(StructType({ path: TreePathType, hash: StringType })),
 });
 
 /** Named function call. Positional args, one beast2-encoded value per param. */
@@ -1075,8 +1081,11 @@ export const FunctionSignatureType = StructType({
  * at call time, optionally bound to existing workspace datasets, returning
  * the result inline and persisting nothing.
  *
- * SECURITY: one-shot evaluates a caller-supplied IR — remote code execution
- * with the server's authority. Gate behind an elevated role.
+ * SECURITY: one-shot evaluates a caller-supplied IR. One that is platform-free
+ * — a stock runtime given no platform package, and a body that calls no
+ * platform function — only computes over its arguments, and a caller who may
+ * read the workspace may run it. Any other is code with the server's
+ * authority, which only an elevated grant runs (e3-core `oneShotExecute`).
  */
 export const OneShotRequestType = StructType({
   bodyIr: BlobType,                       // anonymous EastIR, not deployed
@@ -1088,6 +1097,93 @@ export const OneShotRequestType = StructType({
   limits: OptionType(ExecuteLimitsType),
 });
 
+/**
+ * A split call's argument: a workspace dataset, pinned by its hash at launch;
+ * a stored object by its hash, such as an earlier split call's output, which
+ * chains a plan's stages; or a value.
+ */
+export const SplitCallArgType = VariantType({
+  dataset: TreePathType,
+  object:  StringType,
+  value:   BlobType,
+});
+
+/**
+ * A split call: a caller's program run over a dataset's pieces as a job, as e3
+ * runs an index build, and the pieces' outputs assembled by an output kind.
+ *
+ * `bodyIr` is the program each piece runs, which emits into its trailing
+ * parameter. At least one argument is partitioned, as a task input's
+ * `e3.partition` is: the pieces are cut over the partitioned argument that
+ * weighs the most, the others partitioned are cut at the same keys, and one
+ * not partitioned reaches every piece whole. `output` is how the pieces'
+ * outputs combine, as a task's output kinds do, with its programs and its zero
+ * inline. `then`, when given, runs once over the assembled output and then the
+ * arguments, and its value is the call's.
+ *
+ * SECURITY: a caller whose one-shot grant is `platform_free` may launch one
+ * only when it is platform-free: a stock runtime given no platform package,
+ * and none of `bodyIr`, `then`, `merge` or `combine` calling a platform
+ * function (e3-core `splitCallPlatformUse`).
+ */
+export const SplitCallRequestType = StructType({
+  bodyIr: BlobType,
+  args:   ArrayType(StructType({
+    arg:       SplitCallArgType,
+    partition: OptionType(TaskPartitionType),
+  })),
+  output: VariantType({
+    array: NullType,
+    dict:  StructType({ merge: OptionType(BlobType) }),
+    fold:  StructType({ combine: BlobType, zero: BlobType }),
+    set:   NullType,
+  }),
+  then:   OptionType(BlobType),
+  runner: RunnerType,
+  limits: OptionType(ExecuteLimitsType),
+});
+
+/**
+ * How far a split call's job has got: the stage its units are in — the pieces
+ * (`partition`), a merge of a set's or a dict's outputs, or a fold's partials
+ * combined — and how many of the stage's units have finished.
+ */
+export const SplitCallProgressType = StructType({
+  phase: VariantType({ combine: NullType, merge: NullType, partition: NullType }),
+  done:  IntegerType,
+  units: IntegerType,
+});
+
+/**
+ * What a split call's pieces would be, which an explain's job plans and runs
+ * nothing for: the piece count, the argument they are cut over, by its
+ * position, and what that argument weighs in the store, in bytes.
+ */
+export const SplitCallPlanType = StructType({
+  pieces: IntegerType,
+  over:   IntegerType,
+  bytes:  IntegerType,
+});
+
+/**
+ * A split call's status, as its poll answers it.
+ *
+ * - `processing`: the job runs, and how far it has got once it has said
+ * - `completed`: the call's result, and the assembled output's hash once the
+ *   pieces ran — what a caller reads through the object route when the result
+ *   is `too_large`, or passes on as the next call's `object` argument; an
+ *   explain found wrong ends here too, `invalid`
+ * - `planned`: an explain's answer, the pieces the call's run would cut, which
+ *   its job stored for the run to take up, and ran no unit for
+ * - `failed`: why e3 could not run it
+ */
+export const SplitCallStatusType = VariantType({
+  processing: OptionType(SplitCallProgressType),
+  completed:  StructType({ result: ExecuteResultType, output: OptionType(StringType) }),
+  planned:    SplitCallPlanType,
+  failed:     StructType({ message: StringType }),
+});
+
 /**
  * A record mutation call. Positional args (after the implicit current state),
  * one beast2-encoded value per declared parameter.
@@ -1228,6 +1324,11 @@ export type ExecuteResult = ValueTypeOf<typeof ExecuteResultType>;
 export type FunctionCallRequest = ValueTypeOf<typeof FunctionCallRequestType>;
 export type FunctionSignature = ValueTypeOf<typeof FunctionSignatureType>;
 export type OneShotRequest = ValueTypeOf<typeof OneShotRequestType>;
+export type SplitCallArg = ValueTypeOf<typeof SplitCallArgType>;
+export type SplitCallRequest = ValueTypeOf<typeof SplitCallRequestType>;
+export type SplitCallProgress = ValueTypeOf<typeof SplitCallProgressType>;
+export type SplitCallStatus = ValueTypeOf<typeof SplitCallStatusType>;
+export type SplitCallPlan = ValueTypeOf<typeof SplitCallPlanType>;
 export type MutationCallRequest = ValueTypeOf<typeof MutationCallRequestType>;
 export type MutationResult = ValueTypeOf<typeof MutationResultType>;
 export type RecordSignature = ValueTypeOf<typeof RecordSignatureType>;

package/src/execution.spec.ts

@@ -70,6 +70,13 @@ describe('ExecutionStatusType', () => {
     assert.deepEqual(executionStatusRoots(variant('cancelled', { ...stopped, unit: false })), []);
   });
 
+  it('keeps from gc the inputs a running attempt reads, passing over a merge\'s tag', () => {
+    const running = { executionId: '0199-c', startedAt: new Date(1000), pid: 4242n, pidStartTime: 7n, bootId: 'boot' };
+    assert.deepEqual(executionStatusRoots(variant('running', { ...running, inputHashes: ['a'.repeat(64), 'd'.repeat(64)], unit: false })),
+      ['a'.repeat(64), 'd'.repeat(64)]);
+    assert.deepEqual(executionStatusRoots(variant('running', { ...running, inputHashes: ['merge', 'e'.repeat(64)], unit: true })), ['e'.repeat(64)]);
+  });
+
   it('refuses a record an older e3 wrote, naming the fix', () => {
     const refusal = /^Error: the execution status does not decode: an older e3 wrote this repository — re-create it: deploy again and import its data again \(/;
     const records = [

package/src/execution.ts

@@ -175,19 +175,29 @@ export const ExecutionStatusType = VariantType({
 
 export type ExecutionStatus = ValueTypeOf<typeof ExecutionStatusType>;
 
+/** An object's hash: a SHA-256 in lowercase hex. */
+const OBJECT_HASH = /^[0-9a-f]{64}$/;
+
 /**
  * The objects an execution's record keeps from garbage collection: a
  * success's output, and a split task's last `$plan`, which names every stage
- * before it and so the units gc keeps beside the task.
+ * before it and so the units gc keeps beside the task; and the inputs a
+ * running attempt reads.
  *
  * @remarks
  * Every backend's scan of execution roots applies it, as gc does to the
- * executions it keeps.
+ * executions it keeps. A running attempt reads its inputs as it goes — a unit
+ * fetches their segments as it reads them — so gc beside running work never
+ * takes one from under it, however long it runs: a merge's `merge` tag, which
+ * names no object, is passed over. gc keeps whatever is running, so a
+ * `running` record nothing repairs keeps its inputs until an execution of its
+ * task over them does.
  *
  * @param status - the execution's status
  * @returns the hashes of the objects it keeps
  */
 export function executionStatusRoots(status: ExecutionStatus): string[] {
+  if (status.type === 'running') return status.value.inputHashes.filter((hash) => OBJECT_HASH.test(hash));
   if (status.type !== 'success') return [];
   const { outputHash, plan } = status.value;
   return plan.type === 'some' ? [outputHash, plan.value] : [outputHash];

package/src/index.ts

@@ -122,6 +122,7 @@ export {
   decodeRecordObject,
   RecordIndexObjectType,
   type RecordIndexObject,
+  decodeRecordIndexObject,
   RECORD_STATE_KIND,
   RecordStateType,
   type RecordState,
@@ -380,6 +381,12 @@ export {
   FunctionCallRequestType,
   FunctionSignatureType,
   OneShotRequestType,
+  // Split calls
+  SplitCallArgType,
+  SplitCallRequestType,
+  SplitCallProgressType,
+  SplitCallStatusType,
+  SplitCallPlanType,
   MutationCallRequestType,
   MutationResultType,
   RecordSignatureType,
@@ -438,6 +445,11 @@ export {
   type FunctionCallRequest,
   type FunctionSignature,
   type OneShotRequest,
+  type SplitCallArg,
+  type SplitCallRequest,
+  type SplitCallProgress,
+  type SplitCallStatus,
+  type SplitCallPlan,
   type MutationCallRequest,
   type MutationResult,
   type RecordSignature,

package/src/record.spec.ts

@@ -6,26 +6,29 @@
 /**
  * The record wire types' decoders: each reads the current shape, and refuses
  * an older one naming the fix — a commit an older e3 wrote, whose repository
- * is re-created, and a mutation, migration or record object an older SDK
- * exported, whose package is re-exported.
+ * is re-created, and a mutation, migration, index or record object an older
+ * SDK exported, whose package is re-exported.
  */
 
 import { describe, it } from 'node:test';
 import assert from 'node:assert/strict';
-import { DateTimeType, DictType, IntegerType, OptionType, StringType, StructType, ArrayType, EastTypeType, encodeBeast2For, isTypeValueEqual, some, toEastTypeValue, variant } from '@elaraai/east';
+import { BooleanType, DateTimeType, DictType, IntegerType, OptionType, StringType, StructType, ArrayType, EastTypeType, VariantType, encodeBeast2For, isTypeValueEqual, some, toEastTypeValue, variant } from '@elaraai/east';
 import { RunnerType } from './runner.js';
 import {
   MigrationObjectType,
   MutationObjectType,
   RecordCommitType,
+  RecordIndexObjectType,
   RecordObjectType,
   decodeMigrationObject,
   decodeMutationObject,
   decodeRecordCommit,
+  decodeRecordIndexObject,
   decodeRecordObject,
   type MigrationObject,
   type MutationObject,
   type RecordCommit,
+  type RecordIndexObject,
   type RecordObject,
 } from './record.js';
 
@@ -65,7 +68,7 @@ describe('decodeMutationObject', () => {
   const mutation: MutationObject = {
     bodyIr: 'a'.repeat(64),
     argTypes: [toEastTypeValue(IntegerType)],
-    runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }),
+    runner: variant('east_node', { platforms: ['@elaraai/east-node-std'], decode: variant('lazy', null) }),
     form: variant('edit', null),
     programIr: 'b'.repeat(64),
   };
@@ -113,6 +116,49 @@ describe('decodeMutationObject', () => {
   });
 });
 
+describe('decodeRecordIndexObject', () => {
+  const index: RecordIndexObject = {
+    keyIr: 'a'.repeat(64),
+    multi: false,
+    valueIr: some('b'.repeat(64)),
+    keyType: toEastTypeValue(StringType),
+    valueType: toEastTypeValue(IntegerType),
+    buildIr: 'c'.repeat(64),
+    runner: variant('east_node', { platforms: ['@elaraai/east-node-std'], decode: variant('whole', null) }),
+  };
+
+  it('round-trips a current index object, its types among it', () => {
+    const decoded = decodeRecordIndexObject(encodeBeast2For(RecordIndexObjectType)(index));
+    // A decoded type value carries no memoized identity, so only the East
+    // comparison says whether two of them are the same type.
+    assert.ok(isTypeValueEqual(decoded.keyType, index.keyType));
+    assert.ok(isTypeValueEqual(decoded.valueType, index.valueType));
+    const { keyType: _keyType, valueType: _valueType, ...rest } = decoded;
+    const { keyType: _k, valueType: _v, ...expected } = index;
+    assert.deepEqual(rest, expected);
+  });
+
+  it('refuses an index object whose runner predates its decode, naming the fix', () => {
+    // A stock runner as a package exported before runners said how they read
+    // a program's inputs: its platforms alone.
+    const PreDecodeRunnerType = VariantType({
+      east_node: StructType({ platforms: ArrayType(StringType) }),
+      east_py: StructType({ platforms: ArrayType(StringType) }),
+      east_c: StructType({ platforms: ArrayType(StringType) }),
+      custom: StructType({ command: ArrayType(StringType) }),
+    });
+    const PreDecodeIndexType = StructType({
+      keyIr: StringType, multi: BooleanType, valueIr: OptionType(StringType), keyType: EastTypeType,
+      valueType: EastTypeType, buildIr: StringType, runner: PreDecodeRunnerType,
+    });
+    const older = encodeBeast2For(PreDecodeIndexType)({ ...index, runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }) });
+    assert.throws(
+      () => decodeRecordIndexObject(older),
+      /^Error: the index object does not decode: the package was exported by an older e3 SDK — re-export it with the current one \(/,
+    );
+  });
+});
+
 describe('decodeMigrationObject', () => {
   const RowV1Type = StructType({ name: StringType });
   const RowV2Type = StructType({ name: StringType, shift: IntegerType });
@@ -122,7 +168,7 @@ describe('decodeMigrationObject', () => {
     to: toEastTypeValue(DictType(StringType, RowV2Type)),
     bodyIr: 'a'.repeat(64),
     programIr: 'b'.repeat(64),
-    runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }),
+    runner: variant('east_node', { platforms: ['@elaraai/east-node-std'], decode: variant('lazy', null) }),
   };
 
   it('round-trips a current migration, its types among it', () => {