@xenolithengine/graph-plugin-runtime 0.7.0-beta.0

package/dist/vm/collection.js

@@ -0,0 +1,129 @@
+// Collection bridge primitives — the link between DOMAIN nodes (Agent/Goodie, editable, addable) and
+// the algorithm. They are the only primitives that read/affect nodes ACROSS the graph (via io.nodes),
+// so adding/removing a domain node automatically changes what the simulation sees.
+//
+//   Gather  (pure):   read `field` from every node of `nodeType` → array, ordered by node id.
+//   Scatter (impure): take an array → publish it as a var `scatter:<nodeType>:<field>` for the host
+//                     to write back onto each node's widget (element i → i-th node, same id order).
+import { asArray } from './value.js';
+/** Nodes of a type in a stable order (by id) — both Gather and the host's write-back use this so
+ *  element i always refers to the same node. */
+export function domainNodes(nodes, nodeType) {
+    return nodes.filter((n) => n.type === nodeType).sort((a, b) => (a.id < b.id ? -1 : a.id > b.id ? 1 : 0));
+}
+export const SCATTER_VAR_PREFIX = 'scatter:';
+const Gather = {
+    type: 'Gather',
+    pure: true,
+    evalPure: (io) => {
+        const nodeType = String(io.state('nodeType') ?? '');
+        const field = String(io.state('field') ?? '');
+        const out = domainNodes(io.nodes(), nodeType).map((n) => (n.state?.[field] ?? 0));
+        return [out];
+    },
+};
+const Scatter = {
+    type: 'Scatter',
+    run: (io) => {
+        const nodeType = String(io.state('nodeType') ?? '');
+        const field = String(io.state('field') ?? '');
+        io.setVar(`${SCATTER_VAR_PREFIX}${nodeType}:${field}`, asArray(io.input(0)));
+        io.flow(0);
+    },
+};
+/** Read several fields from every node of a type → array of objects (id order). `fields` is a
+ *  comma-separated list. Feeds Spawn (`{type,rate}`) and ToMap straight from domain nodes. */
+const GatherRecords = {
+    type: 'GatherRecords',
+    pure: true,
+    evalPure: (io) => {
+        const nodeType = String(io.state('nodeType') ?? '');
+        const fields = String(io.state('fields') ?? '').split(',').map((s) => s.trim()).filter(Boolean);
+        const out = domainNodes(io.nodes(), nodeType).map((n) => {
+            const rec = {};
+            for (const f of fields)
+                rec[f] = (n.state?.[f] ?? 0);
+            return rec;
+        });
+        return [out];
+    },
+};
+/** records[] → object keyed by each record's `key` field, valued by its `value` field. Builds the
+ *  `{ type: cost }` map Allocate needs from gathered Goodie records. */
+const ToMap = {
+    type: 'ToMap',
+    pure: true,
+    evalPure: (io) => {
+        const keyField = String(io.state('key') ?? 'type');
+        const valField = String(io.state('value') ?? 'value');
+        const obj = {};
+        for (const r of asArray(io.input(0))) {
+            if (r && typeof r === 'object' && !Array.isArray(r)) {
+                const rec = r;
+                const v = rec[valField];
+                if (v !== undefined)
+                    obj[String(rec[keyField])] = v;
+            }
+        }
+        return [obj];
+    },
+};
+/** Pure picker: object + field name → value. Pairs with MapField for distilling a record array. */
+const GetField = {
+    type: 'GetField',
+    pure: true,
+    evalPure: (io) => {
+        const obj = io.input(0);
+        const field = String(io.state('field') ?? '');
+        if (!obj || typeof obj !== 'object' || Array.isArray(obj))
+            return [undefined];
+        return [obj[field]];
+    },
+};
+/** Pure map: array of records + field name → array of that field's values. Lets a wire of agent
+ *  records become a wire of salaries/priorities/subs without writing a ForEach by hand. */
+const MapField = {
+    type: 'MapField',
+    pure: true,
+    evalPure: (io) => {
+        const arr = asArray(io.input(0));
+        const field = String(io.state('field') ?? '');
+        return [arr.map((r) => (r && typeof r === 'object' && !Array.isArray(r) ? r[field] : undefined))];
+    },
+};
+/** Wire-driven gather (replaces "scan by type" for visible plumbing): the values feeding the single
+ *  multi-input pin become an output array, in edge order. So 6 agents wired in → 6-element array. */
+const GatherFromInputs = {
+    type: 'GatherFromInputs',
+    pure: true,
+    evalPure: (io) => [io.inputAll(0)],
+};
+/** Wire-driven scatter (the inverse of GatherFromInputs): takes an array and publishes element i
+ *  on the i-th data-out pin, in declared-pin order. Also stashes the array in `scatter-out:<nodeId>`
+ *  so a host can harvest it after the tick (per-pin overrides don't survive the tick). Pins are
+ *  added per consumer (by the host's auto-connect on node:added). */
+const ScatterToOutputs = {
+    type: 'ScatterToOutputs',
+    run: (io) => {
+        const arr = asArray(io.input(0));
+        const outs = io.node.pins.filter((p) => p.kind === 'data' && p.direction === 'out').length;
+        for (let i = 0; i < outs; i++)
+            io.setOutput(i, arr[i]);
+        io.setVar(`scatter-out:${io.node.id}`, arr);
+        io.flow(0);
+    },
+};
+export const OUTPUT_VAR_PREFIX = 'output:';
+/** Display the wired value IN-NODE. Publishes the value into VM var `output:<nodeId>` each tick.
+ *  Hosts running `Runtime` should mirror those vars onto each Output node's `value` widget via
+ *  `editor.setWidgetValue(id, 'value', v, { ephemeral: true })` — one small loop after rt.tick.
+ *  The plugin can't do it itself (it has no Runtime reference); the wiring stays one line on the host. */
+const Output = {
+    type: 'Output',
+    run: (io) => {
+        io.setVar(`${OUTPUT_VAR_PREFIX}${io.node.id}`, io.input(0));
+        io.flow(0);
+    },
+};
+export const COLLECTION_PRIMITIVES = [Gather, Scatter, GatherRecords, ToMap, GatherFromInputs, ScatterToOutputs, GetField, MapField, Output];
+//# sourceMappingURL=collection.js.map

package/dist/vm/collection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection.js","sourceRoot":"","sources":["../../src/vm/collection.ts"],"names":[],"mappings":"AAAA,qGAAqG;AACrG,sGAAsG;AACtG,mFAAmF;AACnF,EAAE;AACF,8FAA8F;AAC9F,oGAAoG;AACpG,oGAAoG;AAGpG,OAAO,EAAE,OAAO,EAAgB,MAAM,YAAY,CAAA;AAElD;gDACgD;AAChD,MAAM,UAAU,WAAW,CAAC,KAAwB,EAAE,QAAgB;IACpE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC1G,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAA;AAE5C,MAAM,MAAM,GAAY;IACtB,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE;QACf,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAA;QACnD,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QAC7C,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAY,CAAC,CAAA;QAC5F,OAAO,CAAC,GAAG,CAAC,CAAA;IACd,CAAC;CACF,CAAA;AAED,MAAM,OAAO,GAAY;IACvB,IAAI,EAAE,SAAS;IACf,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE;QACV,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAA;QACnD,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QAC7C,EAAE,CAAC,MAAM,CAAC,GAAG,kBAAkB,GAAG,QAAQ,IAAI,KAAK,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5E,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACZ,CAAC;CACF,CAAA;AAED;8FAC8F;AAC9F,MAAM,aAAa,GAAY;IAC7B,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE;QACf,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAA;QACnD,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAC/F,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACtD,MAAM,GAAG,GAA4B,EAAE,CAAA;YACvC,KAAK,MAAM,CAAC,IAAI,MAAM;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAY,CAAA;YAC/D,OAAO,GAAG,CAAA;QACZ,CAAC,CAAC,CAAA;QACF,OAAO,CAAC,GAAG,CAAC,CAAA;IACd,CAAC;CACF,CAAA;AAED;wEACwE;AACxE,MAAM,KAAK,GAAY;IACrB,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE;QACf,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,CAAA;QAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAA;QACrD,MAAM,GAAG,GAA4B,EAAE,CAAA;QACvC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpD,MAAM,GAAG,GAAG,CAA4B,CAAA;gBACxC,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAA;gBACvB,IAAI,CAAC,KAAK,SAAS;oBAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;YACrD,CAAC;QACH,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,CAAA;IACd,CAAC;CACF,CAAA;AAED,mGAAmG;AACnG,MAAM,QAAQ,GAAY;IACxB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE;QACf,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QAC7C,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,SAAS,CAAC,CAAA;QAC7E,OAAO,CAAE,GAA+B,CAAC,KAAK,CAAC,CAAC,CAAA;IAClD,CAAC;CACF,CAAA;AAED;2FAC2F;AAC3F,MAAM,QAAQ,GAAY;IACxB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE;QACf,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QAC7C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAA6B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAY,CAAC,CAAC,CAAA;IAC3I,CAAC;CACF,CAAA;AAED;qGACqG;AACrG,MAAM,gBAAgB,GAAY;IAChC,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CACnC,CAAA;AAED;;;qEAGqE;AACrE,MAAM,gBAAgB,GAAY;IAChC,IAAI,EAAE,kBAAkB;IACxB,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE;QACV,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,MAAM,CAAA;QAC1F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;YAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAY,CAAC,CAAA;QACjE,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;QAC3C,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACZ,CAAC;CACF,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,SAAS,CAAA;AAE1C;;;0GAG0G;AAC1G,MAAM,MAAM,GAAY;IACtB,IAAI,EAAE,QAAQ;IACd,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE;QACV,EAAE,CAAC,MAAM,CAAC,GAAG,iBAAiB,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC,CAAA;QACtE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACZ,CAAC;CACF,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAc,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA"}

package/dist/vm/compiler.bench.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=compiler.bench.d.ts.map

package/dist/vm/compiler.bench.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.bench.d.ts","sourceRoot":"","sources":["../../src/vm/compiler.bench.ts"],"names":[],"mappings":""}

package/dist/vm/compiler.bench.js

@@ -0,0 +1,35 @@
+// Interpreter vs compiler perf — what's the prototype win? Run via:
+//   pnpm --filter @xenolithengine/graph-plugin-runtime vitest bench --run compiler
+// Each scenario runs N ticks under both engines and prints relative throughput.
+import { bench, describe } from 'vitest';
+import { Runtime } from './interpreter.js';
+import { BUILTIN_PRIMITIVES } from './primitives.js';
+import { COLLECTION_PRIMITIVES } from './collection.js';
+import { compile } from './compiler.js';
+import { codegen } from './codegen.js';
+import { spawnEquivalenceGraph } from '../model/spawn-graph.js';
+import { allocateEquivalenceGraph } from '../model/allocate-graph.js';
+const DEFS = [...BUILTIN_PRIMITIVES, ...COLLECTION_PRIMITIVES];
+// Spawn — small graph (~20 nodes), per-type accumulator, 3 specs.
+const SPAWN_GRAPH = spawnEquivalenceGraph([
+    { type: 'gift', rate: 0.4 }, { type: 'coin', rate: 0.6 }, { type: 'star', rate: 0.2 },
+]);
+// Allocate — bigger graph (~40 nodes), 6 agents × 3 goodies, realistic merged-demo subset.
+const ALLOC_GRAPH = allocateEquivalenceGraph([0.2, 0.9, 0.5, 0.4, 0.7, 0.3], [['gift', 'coin'], ['coin'], ['gift', 'star'], ['coin', 'star'], ['gift', 'coin', 'star'], ['star']], ['gift', 'coin', 'star'], { gift: 2, coin: 1.5, star: 4 });
+describe('Spawn graph — interp vs baked vs codegen', () => {
+    const rt = new Runtime(DEFS);
+    const co = compile(SPAWN_GRAPH, DEFS);
+    const cg = codegen(SPAWN_GRAPH, DEFS);
+    bench('interp', () => { rt.tick(SPAWN_GRAPH); });
+    bench('baked', () => { co.tick(); });
+    bench('codegen', () => { cg.tick(); });
+});
+describe('Allocate graph — interp vs baked vs codegen', () => {
+    const rt = new Runtime(DEFS);
+    const co = compile(ALLOC_GRAPH, DEFS);
+    const cg = codegen(ALLOC_GRAPH, DEFS);
+    bench('interp', () => { rt.tick(ALLOC_GRAPH); });
+    bench('baked', () => { co.tick(); });
+    bench('codegen', () => { cg.tick(); });
+});
+//# sourceMappingURL=compiler.bench.js.map

package/dist/vm/compiler.bench.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.bench.js","sourceRoot":"","sources":["../../src/vm/compiler.bench.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,mFAAmF;AACnF,gFAAgF;AAEhF,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAErE,MAAM,IAAI,GAAG,CAAC,GAAG,kBAAkB,EAAE,GAAG,qBAAqB,CAAC,CAAA;AAE9D,kEAAkE;AAClE,MAAM,WAAW,GAAG,qBAAqB,CAAC;IACxC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;CACtF,CAAC,CAAA;AAEF,2FAA2F;AAC3F,MAAM,WAAW,GAAG,wBAAwB,CAC1C,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAC9B,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EACpG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EACxB,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAChC,CAAA;AAED,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,MAAM,EAAE,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;IAC5B,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IACrC,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IACrC,KAAK,CAAC,QAAQ,EAAI,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA,CAAC,CAAC,CAAC,CAAA;IACjD,KAAK,CAAC,OAAO,EAAK,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAA,CAAC,CAAC,CAAC,CAAA;IACtC,KAAK,CAAC,SAAS,EAAG,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAA,CAAC,CAAC,CAAC,CAAA;AACxC,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM,EAAE,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;IAC5B,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IACrC,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IACrC,KAAK,CAAC,QAAQ,EAAI,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA,CAAC,CAAC,CAAC,CAAA;IACjD,KAAK,CAAC,OAAO,EAAK,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAA,CAAC,CAAC,CAAC,CAAA;IACtC,KAAK,CAAC,SAAS,EAAG,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAA,CAAC,CAAC,CAAC,CAAA;AACxC,CAAC,CAAC,CAAA"}

package/dist/vm/compiler.d.ts

@@ -0,0 +1,14 @@
+import type { RtGraph, NodeDef } from './interpreter.js';
+import type { VmValue } from './value.js';
+export interface CompiledGraph {
+    /** Run one tick (fires every node of `entryType`, default `Tick`). */
+    tick(entryType?: string): void;
+    /** Listeners fired after every `tick()` returns. */
+    onAfterTick(cb: () => void): () => void;
+    getVar(name: string): VmValue | undefined;
+    setVar(name: string, value: VmValue): void;
+    /** Wipe vars + latched outputs (lets a bench restart cleanly without re-compiling). */
+    reset(): void;
+}
+export declare function compile(graph: RtGraph, defs: ReadonlyArray<NodeDef>): CompiledGraph;
+//# sourceMappingURL=compiler.d.ts.map

package/dist/vm/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../src/vm/compiler.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,OAAO,EAAyB,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAC/E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAMzC,MAAM,WAAW,aAAa;IAC5B,sEAAsE;IACtE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,oDAAoD;IACpD,WAAW,CAAC,EAAE,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAA;IACvC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;IACzC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAA;IAC1C,uFAAuF;IACvF,KAAK,IAAI,IAAI,CAAA;CACd;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,aAAa,CAwJnF"}

package/dist/vm/compiler.js

@@ -0,0 +1,190 @@
+// Graph compiler — Runtime v2 prototype. Bakes a `RtGraph + NodeDef[]` into a `CompiledGraph`
+// whose `tick()` is a single pre-resolved function chain. Same execution model as `Runtime`
+// (entry nodes by type, exec push, data pull, vars + cross-tick latching), but ALL per-tick
+// lookups are pre-computed at compile time:
+//   - `nodeById`, `defByType`, `incoming{,All}`, `execTarget` indices built ONCE.
+//   - Per-node `ExecIO` context allocated ONCE (interpreter rebuilds it per call via spread).
+//   - Exec runners stored as direct function refs in a `Map<nodeId, ()=>void>` — Sequence/Branch
+//     `flow()` resolves to a single fn call (interp walks two maps + a filter to do the same).
+//   - Pure-pull memoisation IS NOT cached across exec nodes (overrides + vars change mid-tick),
+//     but within one exec invocation the same data-out is recomputed only if the caller re-pulls.
+//
+// Equivalence with the interpreter is proven by `compiler.test.ts` on the same scenarios used
+// for spawn/allocate equivalence — every VM-var snapshot matches after N ticks.
+const dataIns = (n) => n.pins.filter((p) => p.kind === 'data' && p.direction === 'in');
+const dataOuts = (n) => n.pins.filter((p) => p.kind === 'data' && p.direction === 'out');
+const execOuts = (n) => n.pins.filter((p) => p.kind === 'exec' && p.direction === 'out');
+export function compile(graph, defs) {
+    const defMap = new Map();
+    for (const d of defs)
+        defMap.set(d.type, d);
+    const nodeById = new Map();
+    for (const n of graph.nodes)
+        nodeById.set(n.id, n);
+    // Per-node pin-index slices baked once.
+    const dataInsByNode = new Map();
+    const dataOutsByNode = new Map();
+    const execOutsByNode = new Map();
+    for (const n of graph.nodes) {
+        dataInsByNode.set(n.id, dataIns(n));
+        dataOutsByNode.set(n.id, dataOuts(n));
+        execOutsByNode.set(n.id, execOuts(n));
+    }
+    // Edge indices — same as interpreter, but built once at compile time.
+    const incoming = new Map();
+    const incomingAll = new Map();
+    const execTarget = new Map();
+    for (const e of graph.edges) {
+        const key = `${e.to.node}:${e.to.pin}`;
+        if (!incoming.has(key))
+            incoming.set(key, e.from);
+        const bucket = incomingAll.get(key);
+        if (bucket)
+            bucket.push(e.from);
+        else
+            incomingAll.set(key, [e.from]);
+        execTarget.set(`${e.from.node}:${e.from.pin}`, e.to.node);
+    }
+    // Per-edge data-source pre-resolved to (srcNodeId, dataOutIndex). Resolves "pin id → index"
+    // ONCE here so every pull is two map lookups, not three + a findIndex.
+    const incomingResolved = new Map();
+    const incomingAllResolved = new Map();
+    for (const [key, src] of incoming) {
+        const srcNode = nodeById.get(src.node);
+        if (!srcNode)
+            continue;
+        const outIndex = dataOutsByNode.get(src.node).findIndex((p) => p.id === src.pin);
+        if (outIndex >= 0)
+            incomingResolved.set(key, { nodeId: src.node, outIndex });
+    }
+    for (const [key, srcs] of incomingAll) {
+        const resolved = [];
+        for (const s of srcs) {
+            const srcNode = nodeById.get(s.node);
+            if (!srcNode)
+                continue;
+            const outIndex = dataOutsByNode.get(s.node).findIndex((p) => p.id === s.pin);
+            if (outIndex >= 0)
+                resolved.push({ nodeId: s.node, outIndex });
+        }
+        incomingAllResolved.set(key, resolved);
+    }
+    // Persistent state.
+    const vars = new Map();
+    const latched = new Map();
+    let overrides = new Map(); // recreated per tick
+    const afterTickListeners = new Set();
+    // Forward decl — execRunners populated AFTER ios are built (mutual recursion via flow()).
+    const execRunners = new Map();
+    // Build per-node `ExecIO` ONCE. Closures over baked indices — no per-call allocation.
+    // For Sequence/Branch this means flow(i) is a single Map lookup + fn call (interp does Map +
+    // findIndex over pin array + another Map lookup).
+    const ios = new Map();
+    for (const node of graph.nodes) {
+        const nid = node.id;
+        const myDataIns = dataInsByNode.get(nid);
+        const myExecOuts = execOutsByNode.get(nid);
+        const io = {
+            node,
+            input: (index) => {
+                const pin = myDataIns[index];
+                if (!pin)
+                    return undefined;
+                const src = incomingResolved.get(`${nid}:${pin.id}`);
+                return src ? pullOut(src.nodeId, src.outIndex) : pin.default;
+            },
+            inputAll: (index) => {
+                const pin = myDataIns[index];
+                if (!pin)
+                    return [];
+                const srcs = incomingAllResolved.get(`${nid}:${pin.id}`) ?? [];
+                const out = [];
+                for (const s of srcs) {
+                    const v = pullOut(s.nodeId, s.outIndex);
+                    if (v !== undefined)
+                        out.push(v);
+                }
+                return out;
+            },
+            state: (key) => node.state?.[key],
+            getVar: (name) => vars.get(name),
+            setVar: (name, value) => { vars.set(name, value); },
+            setOutput: (index, value) => { overrides.set(`${nid}:${index}`, value); },
+            flow: (execOutIndex) => {
+                const pin = myExecOuts[execOutIndex];
+                if (!pin)
+                    return;
+                const target = execTarget.get(`${nid}:${pin.id}`);
+                if (!target)
+                    return;
+                const runner = execRunners.get(target);
+                if (runner)
+                    runner();
+            },
+            nodes: () => graph.nodes,
+        };
+        ios.set(nid, io);
+    }
+    // Pull a value off a node's data-out: per-tick override → pure eval → cross-tick latched value.
+    function pullOut(nodeId, outIndex) {
+        const key = `${nodeId}:${outIndex}`;
+        if (overrides.has(key))
+            return overrides.get(key);
+        const node = nodeById.get(nodeId);
+        if (!node)
+            return undefined;
+        const def = defMap.get(node.type);
+        if (def?.evalPure)
+            return def.evalPure(ios.get(nodeId))[outIndex];
+        // Source nodes without an evaluator expose their `state` on every data-out (Agent/Goodie pattern).
+        if (!def && node.state)
+            return node.state;
+        return latched.get(key);
+    }
+    // Pre-resolve per-node runners (direct fn refs, no Map lookup in the hot path).
+    for (const node of graph.nodes) {
+        const def = defMap.get(node.type);
+        if (def?.run) {
+            const run = def.run;
+            const io = ios.get(node.id);
+            execRunners.set(node.id, () => run(io));
+        }
+    }
+    // Pre-group entry runners by node.type so `tick(entryType)` is a single array walk, no filter.
+    const entriesByType = new Map();
+    for (const node of graph.nodes) {
+        const runner = execRunners.get(node.id);
+        if (!runner)
+            continue;
+        const bucket = entriesByType.get(node.type);
+        if (bucket)
+            bucket.push(runner);
+        else
+            entriesByType.set(node.type, [runner]);
+    }
+    return {
+        tick(entryType = 'Tick') {
+            overrides = new Map();
+            const runners = entriesByType.get(entryType);
+            if (runners)
+                for (const r of runners)
+                    r();
+            for (const [k, v] of overrides)
+                latched.set(k, v);
+            for (const cb of afterTickListeners)
+                cb();
+        },
+        onAfterTick(cb) {
+            afterTickListeners.add(cb);
+            return () => afterTickListeners.delete(cb);
+        },
+        getVar: (name) => vars.get(name),
+        setVar: (name, value) => { vars.set(name, value); },
+        reset() {
+            vars.clear();
+            latched.clear();
+            overrides = new Map();
+        },
+    };
+}
+//# sourceMappingURL=compiler.js.map

package/dist/vm/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../src/vm/compiler.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4FAA4F;AAC5F,4FAA4F;AAC5F,4CAA4C;AAC5C,kFAAkF;AAClF,8FAA8F;AAC9F,iGAAiG;AACjG,+FAA+F;AAC/F,gGAAgG;AAChG,kGAAkG;AAClG,EAAE;AACF,8FAA8F;AAC9F,gFAAgF;AAKhF,MAAM,OAAO,GAAI,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAA;AACxG,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAA;AACzG,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAA;AAazG,MAAM,UAAU,OAAO,CAAC,KAAc,EAAE,IAA4B;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAA;IACzC,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAElD,wCAAwC;IACxC,MAAM,aAAa,GAAI,IAAI,GAAG,EAAmB,CAAA;IACjD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAmB,CAAA;IACjD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAmB,CAAA;IACjD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;QACnC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;QACrC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC;IAED,sEAAsE;IACtE,MAAM,QAAQ,GAAM,IAAI,GAAG,EAAyC,CAAA;IACpE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAgD,CAAA;IAC3E,MAAM,UAAU,GAAI,IAAI,GAAG,EAAkB,CAAA;IAC7C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAA;QACtC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;QACjD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACnC,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;;YAAM,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;QACpE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;IAC3D,CAAC;IAED,4FAA4F;IAC5F,uEAAuE;IACvE,MAAM,gBAAgB,GAAM,IAAI,GAAG,EAAgD,CAAA;IACnF,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAuD,CAAA;IAC1F,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAAC,IAAI,CAAC,OAAO;YAAE,SAAQ;QAC9D,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,GAAG,CAAC,CAAA;QACjF,IAAI,QAAQ,IAAI,CAAC;YAAE,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAgD,EAAE,CAAA;QAChE,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAC,IAAI,CAAC,OAAO;gBAAE,SAAQ;YAC5D,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAA;YAC7E,IAAI,QAAQ,IAAI,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QAChE,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;IACxC,CAAC;IAED,oBAAoB;IACpB,MAAM,IAAI,GAAM,IAAI,GAAG,EAAmB,CAAA;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAA;IAC1C,IAAI,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAA,CAAC,qBAAqB;IAChE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAc,CAAA;IAEhD,0FAA0F;IAC1F,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAA;IAEjD,sFAAsF;IACtF,6FAA6F;IAC7F,kDAAkD;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAA;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAA;QACnB,MAAM,SAAS,GAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAE,CAAA;QAC1C,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAE,CAAA;QAC3C,MAAM,EAAE,GAAW;YACjB,IAAI;YACJ,KAAK,EAAE,CAAC,KAAa,EAAuB,EAAE;gBAC5C,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;gBAC5B,IAAI,CAAC,GAAG;oBAAE,OAAO,SAAS,CAAA;gBAC1B,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;gBACpD,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,OAA+B,CAAA;YACvF,CAAC;YACD,QAAQ,EAAE,CAAC,KAAa,EAAa,EAAE;gBACrC,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;gBAC5B,IAAI,CAAC,GAAG;oBAAE,OAAO,EAAE,CAAA;gBACnB,MAAM,IAAI,GAAG,mBAAmB,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAA;gBAC9D,MAAM,GAAG,GAAc,EAAE,CAAA;gBACzB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACrB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;oBACvC,IAAI,CAAC,KAAK,SAAS;wBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAClC,CAAC;gBACD,OAAO,GAAG,CAAA;YACZ,CAAC;YACD,KAAK,EAAI,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC;YAC3C,MAAM,EAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACzC,MAAM,EAAG,CAAC,IAAY,EAAE,KAAc,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA,CAAC,CAAC;YACpE,SAAS,EAAE,CAAC,KAAa,EAAE,KAAc,EAAE,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,KAAK,EAAE,EAAE,KAAK,CAAC,CAAA,CAAC,CAAC;YACzF,IAAI,EAAE,CAAC,YAAoB,EAAQ,EAAE;gBACnC,MAAM,GAAG,GAAG,UAAU,CAAC,YAAY,CAAC,CAAA;gBACpC,IAAI,CAAC,GAAG;oBAAE,OAAM;gBAChB,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;gBACjD,IAAI,CAAC,MAAM;oBAAE,OAAM;gBACnB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBACtC,IAAI,MAAM;oBAAE,MAAM,EAAE,CAAA;YACtB,CAAC;YACD,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK;SACzB,CAAA;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IAClB,CAAC;IAED,gGAAgG;IAChG,SAAS,OAAO,CAAC,MAAc,EAAE,QAAgB;QAC/C,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,QAAQ,EAAE,CAAA;QACnC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAA;QAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,GAAG,EAAE,QAAQ;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;QAClE,mGAAmG;QACnG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,KAAgB,CAAA;QACpD,OAAO,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACzB,CAAC;IAED,gFAAgF;IAChF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAA;YACnB,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAA;YAC5B,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QACzC,CAAC;IACH,CAAC;IAED,+FAA+F;IAC/F,MAAM,aAAa,GAAG,IAAI,GAAG,EAA6B,CAAA;IAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACvC,IAAI,CAAC,MAAM;YAAE,SAAQ;QACrB,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;;YAAM,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC9E,CAAC;IAED,OAAO;QACL,IAAI,CAAC,SAAS,GAAG,MAAM;YACrB,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;YACrB,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAC5C,IAAI,OAAO;gBAAE,KAAK,MAAM,CAAC,IAAI,OAAO;oBAAE,CAAC,EAAE,CAAA;YACzC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YACjD,KAAK,MAAM,EAAE,IAAI,kBAAkB;gBAAE,EAAE,EAAE,CAAA;QAC3C,CAAC;QACD,WAAW,CAAC,EAAE;YACZ,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAC1B,OAAO,GAAG,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC5C,CAAC;QACD,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAChC,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA,CAAC,CAAC;QAClD,KAAK;YACH,IAAI,CAAC,KAAK,EAAE,CAAA;YACZ,OAAO,CAAC,KAAK,EAAE,CAAA;YACf,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QACvB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/vm/interpreter.d.ts

@@ -0,0 +1,87 @@
+import type { VmValue } from './value.js';
+export interface RtPin {
+    id: string;
+    kind: 'exec' | 'data';
+    direction: 'in' | 'out';
+    type?: string;
+    default?: unknown;
+    /** Marks a pin that accepts multiple incoming edges (collection-style, read via inputAll).
+     *  Generic primitives may treat single vs multi pins differently — e.g. Struct's per-field
+     *  override only applies to non-multi data-in pins. */
+    multiple?: boolean;
+}
+export interface RtNode {
+    id: string;
+    type: string;
+    state?: Record<string, unknown>;
+    pins: ReadonlyArray<RtPin>;
+}
+export interface RtEdge {
+    from: {
+        node: string;
+        pin: string;
+    };
+    to: {
+        node: string;
+        pin: string;
+    };
+}
+export interface RtGraph {
+    nodes: ReadonlyArray<RtNode>;
+    edges: ReadonlyArray<RtEdge>;
+    /** Optional codegen hint: which vars are inputs (passed as fn args), which are outputs (returned).
+     *  Enables the AS-WASM emitter to expose an extra `tickArgs(...inputs): firstOutput` entry point
+     *  that bypasses set/getVar — measurable win when host calls tick per-pixel in a hot loop. */
+    meta?: {
+        inputs?: ReadonlyArray<string>;
+        outputs?: ReadonlyArray<string>;
+    };
+}
+/** Context for a pure node: read the i-th data input (pulled), widget literals, and variables.
+ *  `nodes()` exposes the whole tick's node set so collection primitives (Gather/Scatter) can scan
+ *  domain nodes by type — the one capability that reads across the graph, not just wired inputs. */
+export interface PureIO {
+    node: RtNode;
+    input(index: number): VmValue | undefined;
+    /** All values feeding a `multiple` data-in pin, one per connected edge (edge order). Empty if
+     *  nothing is wired. This is what makes "subscriptions are wires" / a multi-input Gather work. */
+    inputAll(index: number): VmValue[];
+    state(key: string): unknown;
+    getVar(name: string): VmValue | undefined;
+    nodes(): readonly RtNode[];
+}
+/** Context for an impure (exec) node: pure's reads plus write state, publish the i-th data output,
+ *  and continue control flow along the i-th exec out-pin. */
+export interface ExecIO extends PureIO {
+    setVar(name: string, value: VmValue): void;
+    setOutput(index: number, value: VmValue): void;
+    flow(execOutIndex: number): void;
+}
+export interface NodeDef {
+    type: string;
+    pure?: boolean;
+    /** Pure node: return a value per data-out index. */
+    evalPure?(io: PureIO): Array<VmValue | undefined>;
+    /** Impure node: perform effects and drive exec flow via `io.flow(...)`. */
+    run?(io: ExecIO): void;
+    /** Optional pre-tick hook — invoked once per node BEFORE any exec entries fire this tick. Used by
+     *  `Local` to reset its var slot to `state.initial` (tick-scoped state semantics). Receives an
+     *  ExecIO restricted to var writes (input/output/flow are no-ops at this stage). */
+    onTickBegin?(io: ExecIO): void;
+}
+export declare class Runtime {
+    #private;
+    constructor(defs: ReadonlyArray<NodeDef>);
+    getVar(name: string): VmValue | undefined;
+    setVar(name: string, value: VmValue): void;
+    get variables(): ReadonlyMap<string, VmValue>;
+    /** Subscribe to a "tick just finished" callback. Receives the same graph the tick ran on, so
+     *  bridges (e.g. the editor's Output-widget mirror) can iterate nodes and read fresh VM vars
+     *  without each host writing the same loop themselves. Returns an unsubscribe. */
+    onAfterTick(cb: (graph: RtGraph) => void): () => void;
+    /** Run one step: fire every entry node of `entryType` (default `Tick`) and walk the exec graph.
+     *  Variables persist; per-tick output overrides are fresh. Use `entryType: 'Init'` once at start
+     *  to run a construction flow that seeds variables. */
+    tick(graph: RtGraph, entryType?: string): void;
+}
+//# sourceMappingURL=interpreter.d.ts.map

package/dist/vm/interpreter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpreter.d.ts","sourceRoot":"","sources":["../../src/vm/interpreter.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEzC,MAAM,WAAW,KAAK;IACpB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;IACrB,SAAS,EAAE,IAAI,GAAG,KAAK,CAAA;IACvB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB;;2DAEuD;IACvD,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AACD,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC/B,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CAC3B;AACD,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IACnC,EAAE,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;CAClC;AACD,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5B,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5B;;kGAE8F;IAC9F,IAAI,CAAC,EAAE;QACL,MAAM,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;QAC9B,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAChC,CAAA;CACF;AAED;;oGAEoG;AACpG,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;IACzC;sGACkG;IAClG,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,EAAE,CAAA;IAClC,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;IAC3B,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;IACzC,KAAK,IAAI,SAAS,MAAM,EAAE,CAAA;CAC3B;AACD;6DAC6D;AAC7D,MAAM,WAAW,MAAO,SAAQ,MAAM;IACpC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAA;IAC1C,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAA;IAC9C,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;CACjC;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,oDAAoD;IACpD,QAAQ,CAAC,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAC,OAAO,GAAG,SAAS,CAAC,CAAA;IACjD,2EAA2E;IAC3E,GAAG,CAAC,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB;;wFAEoF;IACpF,WAAW,CAAC,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAA;CAC/B;AAQD,qBAAa,OAAO;;gBAaN,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC;IAIxC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IACzC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAC1C,IAAI,SAAS,IAAI,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAsB;IAEnE;;sFAEkF;IAClF,WAAW,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,GAAG,MAAM,IAAI;IAKrD;;2DAEuD;IACvD,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,SAAS,GAAG,IAAI;CAqG/C"}