@adobe/ecs 0.0.0-stage → 0.1.0

package/dist/implementation/compiler/compile-kernel.js

@@ -0,0 +1,139 @@
+import { bind } from './bind.js';
+import { requireExact } from './exact.js';
+import { expression } from './expression.js';
+import { fail } from './failure.js';
+import { createLists } from './lists.js';
+import { resolve } from './out.js';
+import { localName, printStatements } from './print.js';
+import { toProgram } from './program.js';
+import { serialize } from './serialize.js';
+import { unconditionalChunks } from './stamps.js';
+import { chunkShift } from '../world/kernel.js';
+import { rootScope } from './scope.js';
+import { signature } from './signature.js';
+import { rowLabel, statement } from './statement.js';
+import { createUnit } from './unit.js';
+const parameterValues = [{ kind: "row" }, { kind: "context" }];
+/**
+ * Statements a GPU kernel can't contain: WGSL has no labeled multi-level branches, and loops aren't supported yet.
+ * Intrinsic regions emit their builtin, not their body.
+ */
+const loops = (statements) => statements.some(statement => {
+    switch (statement.kind) {
+        case "block":
+        case "loop":
+        case "branch":
+        case "branchIf":
+        case "find": return true;
+        case "if": return loops(statement.consequent) || loops(statement.alternate);
+        default: return false;
+    }
+});
+/** `target` "gpu" also checks, before anything runs, what only a GPU kernel can't do; schemas are checked at registration. */
+export const compileKernel = (declaration, body, module, target = "cpu", link = null) => {
+    if (body.type !== "ArrowFunctionExpression" && body.type !== "FunctionExpression") {
+        return fail(body, "a kernel body must be an inline function");
+    }
+    if (body.async || body.generator)
+        return fail(body, "a kernel body can't be async or a generator");
+    if (body.params.length > 2)
+        return fail(body, "a kernel body takes row and context");
+    const lists = createLists(module, link, [declaration, body]);
+    const unit = createUnit(signature(declaration, module.bindings, lists), module, lists, expression, statement, link, target);
+    const scope = rootScope(unit, false);
+    const prelude = [];
+    const rows = [];
+    body.params.forEach((param, index) => bind(param, parameterValues[index] ?? { kind: "row" }, "const", scope, index === 0 ? rows : prelude));
+    if (body.body.type === "BlockStatement") {
+        for (const item of body.body.body)
+            statement(item, scope, rows);
+    }
+    else {
+        statement({ type: "ExpressionStatement", expression: body.body, start: body.body.start, end: body.body.end }, scope, rows);
+    }
+    const statements = [...resolve(prelude), ...resolve(rows)];
+    for (const chunks of unconditionalChunks(resolve(rows)))
+        unit.stampedPerCall.add(chunks);
+    const kernel = printStatements(unit, resolve(rows));
+    const preludeCode = printStatements(unit, resolve(prelude));
+    const accumulators = unit.accumulators.map(entry => entry.local);
+    const { signature: { resources, lookups, up, ordered, filtered, reduced }, columns, booleans, keys } = unit;
+    /** Whether it runs a list of rows, which needn't be consecutive: `up`'s depth order, or an index's. */
+    const listed = up !== null || ordered;
+    const program = toProgram(statements, target === "gpu" ? local => localName(unit, local) : undefined, accumulators, unit.up, listed);
+    if (target === "gpu") {
+        if (lookups.length > 0)
+            fail(declaration, "a GPU kernel can't use lookups yet");
+        if (filtered)
+            fail(declaration, "a GPU kernel can't use change filters yet");
+        if (reduced.length > 0)
+            fail(declaration, "a GPU kernel can't use reductions yet");
+        if (program === null)
+            fail(body, "a GPU kernel can't issue commands or use values that aren't numbers or booleans");
+        else if (loops(program.body))
+            fail(body, "a GPU kernel can't use loops or labeled blocks yet");
+    }
+    const contributed = new Set(unit.accumulators.flatMap(entry => reduced[entry.reduced]?.resource ?? []));
+    requireExact(declaration, { query: unit.used, resources: { read: unit.used.resources, write: new Set(), reduce: contributed }, lookups: unit.used.lookups, up: unit.used.up }, module.bindings, lists);
+    const strided = columns.flatMap((_, index) => unit.chunks.has(index) ? [] : [index]);
+    const locals = [
+        ...columns.map((_, index) => `const c${index} = columns[${index}];`),
+        ...resources.map((_, index) => `const r${index} = resources[${index}];`),
+        ...lookups.map((_, index) => `const l${index} = lookups[${index}];`),
+        ...unit.spawns.map((_, index) => `const spawn${index} = commands.spawners[${index}];`),
+        // A call's rows share one parent archetype, whose columns `up` reads at each row's parent row `p`.
+        ...unit.up === null ? [] : [
+            `const ${localName(unit, unit.up)} = found ? true : null;`,
+            ...unit.upColumns.map((_, index) => `const u${index} = upColumns[${index}];`),
+        ],
+    ];
+    return {
+        description: url => [
+            "{",
+            `columns: [${columns.join(", ")}],`,
+            `shapes: [${[...unit.shapes].join(", ")}],`,
+            `resources: [${resources.join(", ")}],`,
+            `lookups: [${lookups.map(lookup => JSON.stringify(lookup.name)).join(", ")}],`,
+            ...unit.probes.length === 0 ? [] : [`probes: [${unit.probes.join(", ")}],`, `rowLeaves: [${unit.rowLeaves.join(", ")}],`],
+            ...up === null ? [] : ["up: true,", `upColumns: [${unit.upColumns.join(", ")}],`],
+            ...ordered ? ["ordered: true,"] : [],
+            `keys: [${keys.join(", ")}],`,
+            `spawns: ${JSON.stringify(unit.spawns)},`,
+            `structuredValues: ${JSON.stringify([...unit.structuredValues].map(name => unit.keys.indexOf(name)).sort((a, b) => a - b))},`,
+            `url: ${url},`,
+            `program: ${serialize(program)},`,
+            `reducedShapes: [${[...unit.reducedShapes].join(", ")}],`,
+            `reductions: [${unit.accumulators.map(entry => {
+                const { resource, operator } = reduced[entry.reduced] ?? fail(declaration, "unknown reduction");
+                return `{ resource: ${resource}, operator: ${JSON.stringify(operator)}, path: ${JSON.stringify(entry.path)} }`;
+            }).join(", ")}],`,
+            "}",
+        ].join("\n"),
+        // Per-registration constants live in the closure. Each column's element index `i * s + o` is strength-reduced to
+        // an induction variable in the loop update, which `continue rows` still runs.
+        create: [
+            "(booleans, strides, offsets, upBooleans, upStrides, upOffsets) => {",
+            ...[...booleans].map(index => `const b${index} = booleans[${index}];`),
+            ...[...unit.upBooleans].map(index => `const ub${index} = upBooleans[${index}];`),
+            ...unit.upColumns.map((_, index) => `const us${index} = upStrides[${index}], uo${index} = upOffsets[${index}];`),
+            ...strided.map(index => `const s${index} = strides[${index}], o${index} = offsets[${index}];`),
+            // Each lookup through an index's site holds its list and rows in handles its reader fills, made once.
+            ...[...unit.handles].map(handle => `const ${localName(unit, handle)} = { a: 0, b: 0, c: 0, d: 0, e: 0, f: 0, g: 0, h: 0 };`),
+            "return (columns, start, end, resources, lookups, keys, args, commands, tick, partials, partial, rows, parents, upColumns, found) => {",
+            ...locals,
+            preludeCode,
+            ...accumulators.map((local, k) => `let ${localName(unit, local)} = partials[partial + ${k}];`),
+            // A kernel that runs a list of rows, which needn't be consecutive, stamps each row's own chunk.
+            ...listed ? [] : [...unit.stampedPerCall].map(chunks => `if (start < end) for (let k = start >> ${chunkShift}, last = (end - 1) >> ${chunkShift}; k <= last; k++) c${chunks}[k] = tick;`),
+            listed
+                ? `${rowLabel}: for (let n = start; n < end; n++) { const i = rows[n], p = parents[n]; ${[...strided.map(index => `const x${index} = i * s${index} + o${index};`), ...[...unit.stampedPerCall].map(chunks => `c${chunks}[i >> ${chunkShift}] = tick;`)].join(" ")}`
+                : `${rowLabel}: for (let ${["i = start", ...strided.map(index => `x${index} = start * s${index} + o${index}`)].join(", ")}; i < end; ${["i++", ...strided.map(index => `x${index} += s${index}`)].join(", ")}) {`,
+            kernel,
+            "}",
+            ...accumulators.map((local, k) => `partials[partial + ${k}] = ${localName(unit, local)};`),
+            "};",
+            "}",
+        ].filter(line => line !== "").join("\n"),
+    };
+};
+//# sourceMappingURL=compile-kernel.js.map

package/dist/implementation/compiler/compile-kernel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-kernel.js","sourceRoot":"","sources":["../../../src/implementation/compiler/compile-kernel.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EAAE,OAAO,EAAY,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,UAAU,EAAgB,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAGvC,MAAM,eAAe,GAAqB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AASjF;;;GAGG;AACH,MAAM,KAAK,GAAG,CAAC,UAAwC,EAAW,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE;IAC7F,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,OAAO,CAAC;QAAC,KAAK,MAAM,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC;QACpF,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC5E,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;IAC1B,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8HAA8H;AAC9H,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,WAA6B,EAAE,IAAU,EAAE,MAAc,EAAE,SAAwB,KAAK,EAAE,OAAoB,IAAI,EAAkB,EAAE;IAChK,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC,IAAI,EAAE,0CAA0C,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,6CAA6C,CAAC,CAAC;IACnG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5H,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrC,MAAM,OAAO,GAAQ,EAAE,CAAC;IACxB,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5I,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;SAAM,CAAC;QACJ,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/H,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,MAAM,IAAI,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjE,MAAM,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAC5G,uGAAuG;IACvG,MAAM,MAAM,GAAG,EAAE,KAAK,IAAI,IAAI,OAAO,CAAC;IACtC,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACrI,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACnB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,WAAW,EAAE,oCAAoC,CAAC,CAAC;QAChF,IAAI,QAAQ;YAAE,IAAI,CAAC,WAAW,EAAE,2CAA2C,CAAC,CAAC;QAC7E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,WAAW,EAAE,uCAAuC,CAAC,CAAC;QACnF,IAAI,OAAO,KAAK,IAAI;YAAE,IAAI,CAAC,IAAI,EAAE,iFAAiF,CAAC,CAAC;aAC/G,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,EAAE,oDAAoD,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IACxG,YAAY,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACvM,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG;QACX,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,cAAc,KAAK,IAAI,CAAC;QACpE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,gBAAgB,KAAK,IAAI,CAAC;QACxE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,cAAc,KAAK,IAAI,CAAC;QACpE,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,KAAK,wBAAwB,KAAK,IAAI,CAAC;QACtF,mGAAmG;QACnG,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACvB,SAAS,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,yBAAyB;YAC1D,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,gBAAgB,KAAK,IAAI,CAAC;SAChF;KACJ,CAAC;IACF,OAAO;QACH,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;YAChB,GAAG;YACH,aAAa,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YACnC,YAAY,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC3C,eAAe,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YACvC,aAAa,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC9E,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACzH,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,eAAe,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACjF,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE;YACpC,UAAU,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC7B,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG;YACzC,qBAAqB,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;YAC7H,QAAQ,GAAG,GAAG;YACd,YAAY,SAAS,CAAC,OAAO,CAAC,GAAG;YACjC,mBAAmB,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YACzD,gBAAgB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;gBAC1C,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;gBAChG,OAAO,eAAe,QAAQ,eAAe,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACnH,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YACjB,GAAG;SACN,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,iHAAiH;QACjH,8EAA8E;QAC9E,MAAM,EAAE;YACJ,qEAAqE;YACrE,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,eAAe,KAAK,IAAI,CAAC;YACtE,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,KAAK,iBAAiB,KAAK,IAAI,CAAC;YAChF,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,KAAK,gBAAgB,KAAK,QAAQ,KAAK,gBAAgB,KAAK,IAAI,CAAC;YAChH,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,cAAc,KAAK,OAAO,KAAK,cAAc,KAAK,IAAI,CAAC;YAC9F,sGAAsG;YACtG,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,wDAAwD,CAAC;YAC5H,uIAAuI;YACvI,GAAG,MAAM;YACT,WAAW;YACX,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAC9F,gGAAgG;YAChG,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CACnD,0CAA0C,UAAU,yBAAyB,UAAU,sBAAsB,MAAM,aAAa,CAAC;YACrI,MAAM;gBACF,CAAC,CAAC,GAAG,QAAQ,4EAA4E,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,WAAW,KAAK,OAAO,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,SAAS,UAAU,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBACnQ,CAAC,CAAC,GAAG,QAAQ,cAAc,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,eAAe,KAAK,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YACrN,MAAM;YACN,GAAG;YACH,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,OAAO,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;YAC1F,IAAI;YACJ,GAAG;SACN,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KAC3C,CAAC;AACN,CAAC,CAAC"}

package/dist/implementation/compiler/data.d.ts

@@ -0,0 +1,30 @@
+import type { Node } from 'estree';
+import type { Path } from '../world/kernel.js';
+import type { Expression } from './ir.js';
+import type { Scope } from './scope.js';
+import type { Value } from './value.js';
+/** A value with a statically known shape: scalar leaves as expressions. */
+export type Data = {
+    readonly kind: "leaf";
+    readonly expression: Expression;
+} | {
+    readonly kind: "tuple";
+    readonly items: readonly Data[];
+} | {
+    readonly kind: "struct";
+    readonly fields: readonly (readonly [string, Data])[];
+};
+/** Converts a value to data. Values of unknown shape become one leaf; a snapshot takes the shape its leaves show. */
+export declare const toData: (value: Value, node: Node, scope: Scope) => Data;
+export type Leaf = {
+    readonly path: Path;
+    readonly expression: Expression;
+};
+export declare const leavesOf: (data: Data, prefix?: Path) => readonly Leaf[];
+export declare const sameShape: (a: Data, b: Data) => boolean;
+/** Rebuilds data with each leaf replaced. */
+export declare const mapLeaves: (data: Data, map: (expression: Expression, path: Path) => Expression, prefix?: Path) => Data;
+export declare const dataValue: (data: Data) => Value;
+/** Data as a JS value, for command arguments. */
+export declare const materialize: (data: Data) => Expression;
+export declare const requireSameShape: (node: Node, a: Data, b: Data) => void;

package/dist/implementation/compiler/data.js

@@ -0,0 +1,77 @@
+import { fail } from './failure.js';
+import { scalar } from './scalar.js';
+import { local } from './ir.js';
+import { snapshotLeaf } from './snapshot.js';
+/**
+ * A snapshot's value at `path`, shaped by the leaves below it the body has used or assigned: a tuple up to the highest
+ * element used, or a struct of the fields used. With none, it is one leaf.
+ */
+const snapshotData = (unit, snapshot, path) => {
+    const below = [...snapshot.leaves.keys()].flatMap((identity) => {
+        const leafPath = JSON.parse(identity);
+        if (!Array.isArray(leafPath) || leafPath.length <= path.length || !path.every((item, index) => leafPath[index] === item))
+            return [];
+        return [leafPath.filter((item) => typeof item === "number" || typeof item === "string")];
+    });
+    const next = below.map(item => item[path.length]);
+    if (next.length === 0)
+        return { kind: "leaf", expression: local(snapshotLeaf(unit, snapshot, path)) };
+    if (next.every(item => typeof item === "number")) {
+        const length = Math.max(...next.filter((item) => typeof item === "number")) + 1;
+        return { kind: "tuple", items: Array.from({ length }, (_, index) => snapshotData(unit, snapshot, [...path, index])) };
+    }
+    const names = [...new Set(next.filter((item) => typeof item === "string"))];
+    return { kind: "struct", fields: names.map(name => [name, snapshotData(unit, snapshot, [...path, name])]) };
+};
+/** Converts a value to data. Values of unknown shape become one leaf; a snapshot takes the shape its leaves show. */
+export const toData = (value, node, scope) => {
+    switch (value.kind) {
+        case "tuple": return { kind: "tuple", items: value.items.map(item => toData(item, node, scope)) };
+        case "struct": return { kind: "struct", fields: value.fields.map(([name, field]) => [name, toData(field, node, scope)]) };
+        case "snapshot": return snapshotData(scope.unit, value.snapshot, value.path);
+        default: return { kind: "leaf", expression: scalar(value, node, scope) };
+    }
+};
+export const leavesOf = (data, prefix = []) => {
+    switch (data.kind) {
+        case "leaf": return [{ path: prefix, expression: data.expression }];
+        case "tuple": return data.items.flatMap((item, index) => leavesOf(item, [...prefix, index]));
+        case "struct": return data.fields.flatMap(([name, field]) => leavesOf(field, [...prefix, name]));
+    }
+};
+export const sameShape = (a, b) => {
+    switch (a.kind) {
+        case "leaf": return b.kind === "leaf";
+        case "tuple": return b.kind === "tuple" && a.items.length === b.items.length && a.items.every((item, index) => sameShape(item, b.items[index]));
+        case "struct": return b.kind === "struct" && a.fields.length === b.fields.length
+            && a.fields.every(([name, field], index) => b.fields[index][0] === name && sameShape(field, b.fields[index][1]));
+    }
+};
+/** Rebuilds data with each leaf replaced. */
+export const mapLeaves = (data, map, prefix = []) => {
+    switch (data.kind) {
+        case "leaf": return { kind: "leaf", expression: map(data.expression, prefix) };
+        case "tuple": return { kind: "tuple", items: data.items.map((item, index) => mapLeaves(item, map, [...prefix, index])) };
+        case "struct": return { kind: "struct", fields: data.fields.map(([name, field]) => [name, mapLeaves(field, map, [...prefix, name])]) };
+    }
+};
+export const dataValue = (data) => {
+    switch (data.kind) {
+        case "leaf": return { kind: "scalar", expression: data.expression };
+        case "tuple": return { kind: "tuple", items: data.items.map(dataValue) };
+        case "struct": return { kind: "struct", fields: data.fields.map(([name, field]) => [name, dataValue(field)]) };
+    }
+};
+/** Data as a JS value, for command arguments. */
+export const materialize = (data) => {
+    switch (data.kind) {
+        case "leaf": return data.expression;
+        case "tuple": return { kind: "array", items: data.items.map(materialize) };
+        case "struct": return { kind: "record", fields: data.fields.map(([name, field]) => [name, materialize(field)]) };
+    }
+};
+export const requireSameShape = (node, a, b) => {
+    if (!sameShape(a, b))
+        fail(node, "both values must have the same shape");
+};
+//# sourceMappingURL=data.js.map

package/dist/implementation/compiler/data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.js","sourceRoot":"","sources":["../../../src/implementation/compiler/data.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,YAAY,EAAiB,MAAM,eAAe,CAAC;AAS5D;;;GAGG;AACH,MAAM,YAAY,GAAG,CAAC,IAAmB,EAAE,QAAkB,EAAE,IAAU,EAAQ,EAAE;IAC/E,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAU,EAAE;QACnE,MAAM,QAAQ,GAAY,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;QACpI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAA2B,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;IACtH,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;IACtG,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC;QAChG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1H,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5F,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChH,CAAC,CAAC;AAEF,qHAAqH;AACrH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,KAAY,EAAQ,EAAE;IACnE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QAClG,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1H,KAAK,UAAU,CAAC,CAAC,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7E,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;IAC7E,CAAC;AACL,CAAC,CAAC;AAIF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAE,SAAe,EAAE,EAAmB,EAAE;IACvE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACpE,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7F,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACrG,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;IACnD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACb,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;QACtC,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChJ,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;eACzE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzH,CAAC;AACL,CAAC,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,GAAuD,EAAE,SAAe,EAAE,EAAQ,EAAE;IACtH,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;QAC/E,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACzH,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3I,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAS,EAAE;IAC3C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACpE,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACzE,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACnH,CAAC;AACL,CAAC,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAU,EAAc,EAAE;IAClD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC;QACpC,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3E,KAAK,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACrH,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAU,EAAE,CAAO,EAAE,CAAO,EAAQ,EAAE;IACnE,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;AAC7E,CAAC,CAAC"}

package/dist/implementation/compiler/estree.d.ts

@@ -0,0 +1,18 @@
+import type { Node, Pattern, Program } from 'estree';
+import type { parseAst } from 'vite';
+declare module 'estree' {
+    interface BaseNode {
+        /** Source offsets; the bundler's parser sets them on every node. */
+        start: number;
+        end: number;
+    }
+}
+/** A program from the bundler's parser, as the ESTree program the compiler reads. */
+export declare const estreeOf: (program: ReturnType<typeof parseAst>) => Program;
+export declare const isNode: (value: unknown) => value is Node;
+/** The direct child nodes of `node`, in source order. */
+export declare const children: (node: Node) => readonly Node[];
+export declare const isFunction: (node: Node) => boolean;
+export declare const patternNames: (pattern: Pattern) => readonly string[];
+/** Calls `declare` for each name declared anywhere inside `node`, once per declaration: variables, parameters, functions, classes and catch parameters. */
+export declare const declaredIn: (node: Node, declare: (name: string) => void) => void;

package/dist/implementation/compiler/estree.js

@@ -0,0 +1,62 @@
+/** A program from the bundler's parser, as the ESTree program the compiler reads. */
+export const estreeOf = (program) => 
+// The bundler's parser emits ESTree for JavaScript; its own AST types model some nodes differently, such as a directive's literal.
+program;
+export const isNode = (value) => typeof value === "object" && value !== null && "type" in value && typeof value.type === "string";
+/** The direct child nodes of `node`, in source order. */
+export const children = (node) => {
+    const result = [];
+    for (const value of Object.values(node)) {
+        if (Array.isArray(value)) {
+            for (const item of value) {
+                if (isNode(item))
+                    result.push(item);
+            }
+        }
+        else if (isNode(value)) {
+            result.push(value);
+        }
+    }
+    return result;
+};
+export const isFunction = (node) => node.type === "ArrowFunctionExpression" || node.type === "FunctionExpression" || node.type === "FunctionDeclaration";
+export const patternNames = (pattern) => {
+    switch (pattern.type) {
+        case "Identifier": return [pattern.name];
+        case "ArrayPattern": return pattern.elements.flatMap(element => element === null ? [] : patternNames(element));
+        case "ObjectPattern": return pattern.properties.flatMap(property => patternNames(property.type === "RestElement" ? property.argument : property.value));
+        case "RestElement": return patternNames(pattern.argument);
+        case "AssignmentPattern": return patternNames(pattern.left);
+        case "MemberExpression": return [];
+    }
+};
+/** Calls `declare` for each name declared anywhere inside `node`, once per declaration: variables, parameters, functions, classes and catch parameters. */
+export const declaredIn = (node, declare) => {
+    switch (node.type) {
+        case "VariableDeclarator":
+            for (const name of patternNames(node.id))
+                declare(name);
+            break;
+        case "FunctionDeclaration":
+        case "FunctionExpression":
+        case "ClassDeclaration":
+        case "ClassExpression":
+            if (node.id)
+                declare(node.id.name);
+            break;
+        case "CatchClause":
+            if (node.param)
+                for (const name of patternNames(node.param))
+                    declare(name);
+            break;
+        default: break;
+    }
+    if (node.type === "ArrowFunctionExpression" || node.type === "FunctionExpression" || node.type === "FunctionDeclaration") {
+        for (const param of node.params)
+            for (const name of patternNames(param))
+                declare(name);
+    }
+    for (const child of children(node))
+        declaredIn(child, declare);
+};
+//# sourceMappingURL=estree.js.map

package/dist/implementation/compiler/estree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"estree.js","sourceRoot":"","sources":["../../../src/implementation/compiler/estree.ts"],"names":[],"mappings":"AAWA,qFAAqF;AACrF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAoC,EAAW,EAAE;AACtE,mIAAmI;AACnI,OAAkB,CAAC;AAEvB,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAc,EAAiB,EAAE,CACpD,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AAErG,yDAAyD;AACzD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAmB,EAAE;IACpD,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACvB,IAAI,MAAM,CAAC,IAAI,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;QACL,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAW,EAAE,CAC9C,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC;AAEzH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAgB,EAAqB,EAAE;IAChE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,YAAY,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzC,KAAK,cAAc,CAAC,CAAC,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/G,KAAK,eAAe,CAAC,CAAC,OAAO,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACxJ,KAAK,aAAa,CAAC,CAAC,OAAO,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC1D,KAAK,mBAAmB,CAAC,CAAC,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5D,KAAK,kBAAkB,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC;AACL,CAAC,CAAC;AAEF,2JAA2J;AAC3J,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAE,OAA+B,EAAQ,EAAE;IAC5E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,oBAAoB;YAAE,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAAC,MAAM;QAC1F,KAAK,qBAAqB,CAAC;QAAC,KAAK,oBAAoB,CAAC;QAAC,KAAK,kBAAkB,CAAC;QAAC,KAAK,iBAAiB;YAClG,IAAI,IAAI,CAAC,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM;QACV,KAAK,aAAa;YAAE,IAAI,IAAI,CAAC,KAAK;gBAAE,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAAC,MAAM;QACtG,OAAO,CAAC,CAAC,MAAM;IACnB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACvH,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM;YAAE,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3F,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC,CAAC"}

package/dist/implementation/compiler/exact.d.ts

@@ -0,0 +1,24 @@
+import type { ObjectExpression } from 'estree';
+import type { Lists } from './lists.js';
+import type { ModuleScope } from './module-scope.js';
+type Access = {
+    readonly read: ReadonlySet<string>;
+    readonly write: ReadonlySet<string>;
+};
+/** The keys a body reads, writes and contributes to, by module-scope binding name; null where the body doesn't show every use. */
+export type Used = {
+    readonly query: Access | null;
+    readonly resources: (Access & {
+        readonly reduce: ReadonlySet<string>;
+    }) | null;
+    /** The components read from each lookup's results, by lookup name: null for one whose results aren't followed. */
+    readonly lookups: ReadonlyMap<string, ReadonlySet<string> | null> | null;
+    /** The components read from `up`, when the body's uses are all known. */
+    readonly up?: ReadonlySet<string>;
+};
+/**
+ * Requires a system's declared `read`, `write` and `reduce` to be exactly what its body uses: a key it never uses
+ * would still narrow which entities match, and hold back systems that could otherwise run alongside it.
+ */
+export declare const requireExact: (declaration: ObjectExpression, used: Used, module: ModuleScope, lists: Lists) => void;
+export {};

package/dist/implementation/compiler/exact.js

@@ -0,0 +1,64 @@
+import { fail } from './failure.js';
+/** An object literal's plain-named properties; none for anything else. */
+const fields = (node) => new Map(node?.type !== "ObjectExpression" ? [] :
+    node.properties.flatMap((property) => property.type === "Property" && !property.computed && property.key.type === "Identifier" ? [[property.key.name, property.value]] : []));
+/**
+ * Requires a list to name only keys in `used`. A list `lists` can't read isn't checked, since its keys can't be matched
+ * to the body's.
+ */
+const requireUsed = (node, used, lists, message) => {
+    const names = node === undefined ? null : lists.names(node);
+    if (node === undefined || names === null || "error" in names)
+        return;
+    // A key of an array literal is reported where it's listed, and one of a list declared elsewhere where the system names the list.
+    names.forEach((name, k) => {
+        const element = node.type === "ArrayExpression" ? node.elements[k] : null;
+        if (!used.has(name))
+            fail(element ?? node, message(name));
+    });
+};
+/** Requires `reduce` to name only resources in `contributed`, when it names each by a computed module-scope key. */
+const requireContributed = (reduce, contributed, module) => {
+    if (reduce?.type !== "ObjectExpression")
+        return;
+    const keys = reduce.properties.map(property => property.type === "Property" && property.computed && property.key.type === "Identifier" && module.has(property.key.name) ? property.key : null);
+    for (const key of keys)
+        if (key === null)
+            return;
+    for (const key of keys)
+        if (key !== null && !contributed.has(key.name))
+            fail(key, `${key.name} is in reduce but never contributed to; remove it`);
+};
+/**
+ * Requires a system's declared `read`, `write` and `reduce` to be exactly what its body uses: a key it never uses
+ * would still narrow which entities match, and hold back systems that could otherwise run alongside it.
+ */
+export const requireExact = (declaration, used, module, lists) => {
+    const declared = fields(declaration);
+    const components = fields(declared.get("components"));
+    const resources = fields(declared.get("resources"));
+    if (used.query !== null) {
+        requireUsed(components.get("read"), used.query.read, lists, name => `${name} is in components read but never read; remove it, or move it to components has to keep requiring it`);
+        requireUsed(components.get("write"), used.query.write, lists, name => `${name} is in components write but never written; remove it, or move it to components read if it's only read`);
+    }
+    if (used.resources !== null) {
+        requireUsed(resources.get("read"), used.resources.read, lists, name => `${name} is in resources read but never read; remove it`);
+        requireUsed(resources.get("write"), used.resources.write, lists, name => `${name} is in resources write but never written; remove it, or move it to resources read if it's only read`);
+        requireContributed(declared.get("reduce"), used.resources.reduce, module);
+    }
+    if (used.up !== undefined) {
+        requireUsed(fields(declared.get("up")).get("read"), used.up, lists, name => `${name} is in up.read but never read; remove it`);
+    }
+    if (used.lookups !== null) {
+        for (const [lookup, value] of fields(declared.get("lookup"))) {
+            const read = used.lookups.get(lookup);
+            if (read === null)
+                continue;
+            const index = fields(value).has("index");
+            requireUsed(fields(value).get("read"), read ?? new Set(), lists, name => index
+                ? `${name} is in lookup.${lookup} read but never read; remove it`
+                : `${name} is in lookup.${lookup} read but never read; remove it, or move it to lookup.${lookup} has to keep requiring it`);
+        }
+    }
+};
+//# sourceMappingURL=exact.js.map

package/dist/implementation/compiler/exact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact.js","sourceRoot":"","sources":["../../../src/implementation/compiler/exact.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAgBpC,0EAA0E;AAC1E,MAAM,MAAM,GAAG,CAAC,IAAsC,EAA6C,EAAE,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClJ,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAA+C,EAAE,CAC9E,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEhJ;;;GAGG;AACH,MAAM,WAAW,GAAG,CAAC,IAAsC,EAAE,IAAyB,EAAE,KAAY,EAAE,OAAiC,EAAQ,EAAE;IAC7I,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK;QAAE,OAAO;IACrE,iIAAiI;IACjI,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,OAAO,IAAI,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACP,CAAC,CAAC;AAEF,oHAAoH;AACpH,MAAM,kBAAkB,GAAG,CAAC,MAAwC,EAAE,WAAgC,EAAE,MAAmB,EAAQ,EAAE;IACjI,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB;QAAE,OAAO;IAChD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAC1C,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpJ,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO;IACjD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,mDAAmD,CAAC,CAAC;AACtJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,WAA6B,EAAE,IAAU,EAAE,MAAmB,EAAE,KAAY,EAAQ,EAAE;IAC/G,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACtB,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,qGAAqG,CAAC,CAAC;QAClL,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,uGAAuG,CAAC,CAAC;IAC1L,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC1B,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,iDAAiD,CAAC,CAAC;QACjI,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,qGAAqG,CAAC,CAAC;QACvL,kBAAkB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,IAAI,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QACxB,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAC9D,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,0CAA0C,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,IAAI;gBAAE,SAAS;YAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK;gBAC1E,CAAC,CAAC,GAAG,IAAI,iBAAiB,MAAM,iCAAiC;gBACjE,CAAC,CAAC,GAAG,IAAI,iBAAiB,MAAM,yDAAyD,MAAM,2BAA2B,CAAC,CAAC;QACpI,CAAC;IACL,CAAC;AACL,CAAC,CAAC"}

package/dist/implementation/compiler/expression.d.ts

@@ -0,0 +1,6 @@
+import type { Node } from 'estree';
+import type { Out } from './out.js';
+import { type Scope } from './scope.js';
+import { type Value } from './value.js';
+/** Compiles an expression to a value, emitting any statements it needs into `out`. */
+export declare const expression: (node: Node, scope: Scope, out: Out) => Value;

package/dist/implementation/compiler/expression.js

@@ -0,0 +1,129 @@
+import { access } from './access.js';
+import { observe, set } from './booleans.js';
+import { mergeBranches } from './branches.js';
+import { call } from './calls.js';
+import { toData } from './data.js';
+import { fail } from './failure.js';
+import { isBinary, isUnary, local, not, number } from './ir.js';
+import { memberKey } from './key.js';
+import { moduleValue } from './module-value.js';
+import { scalar } from './scalar.js';
+import { findLocal } from './scope.js';
+import { fresh } from './unit.js';
+import { scalarValue } from './value.js';
+const isTrivial = (expression) => expression.kind === "local" || expression.kind === "number" || expression.kind === "boolean";
+const identifier = (node, scope, out) => {
+    const local = findLocal(scope, node.name);
+    if (local !== undefined)
+        return local.value;
+    const binding = scope.module.bindings.get(node.name);
+    if (binding !== undefined)
+        return moduleValue(node, node.name, binding, scope.module, scope, out);
+    switch (node.name) {
+        case "Math": return { kind: "math" };
+        case "Infinity": return scalarValue(number(Infinity));
+        case "NaN": return scalarValue(number(NaN));
+        case "undefined": return scalarValue({ kind: "nullish", value: "undefined" });
+        default: return fail(node, `${node.name} is not defined in the kernel`);
+    }
+};
+/** `test ? a : b` over any matching shapes. Branches that emit statements become an `if`. */
+const conditional = (node, scope, out) => {
+    const unit = scope.unit;
+    const test = scalar(unit.expression(node.test, scope, out), node.test, scope);
+    const consequentOut = [];
+    const alternateOut = [];
+    const consequent = toData(unit.expression(node.consequent, scope, consequentOut), node.consequent, scope);
+    const alternate = toData(unit.expression(node.alternate, scope, alternateOut), node.alternate, scope);
+    return mergeBranches(node, test, consequent, consequentOut, alternate, alternateOut, scope, out);
+};
+/** `a && b`, `a || b`, `a ?? b`. A right side that emits statements runs only when needed. */
+const logical = (node, scope, out) => {
+    const unit = scope.unit;
+    const left = scalar(unit.expression(node.left, scope, out), node.left, scope);
+    const rightOut = [];
+    const right = scalar(unit.expression(node.right, scope, rightOut), node.right, scope);
+    if (rightOut.length === 0)
+        return scalarValue({ kind: "logical", operator: node.operator, left, right });
+    const name = fresh(unit, "t");
+    const current = local(name);
+    const condition = node.operator === "&&" ? current : node.operator === "||" ? not(current)
+        : { kind: "binary", operator: "==", left: current, right: { kind: "nullish", value: "null" } };
+    out.push(set(unit, name, left, "let"), { kind: "if", test: condition, consequent: [...rightOut, set(unit, name, right, undefined)], alternate: [] });
+    return scalarValue(current);
+};
+const literal = (node) => {
+    if (typeof node.value === "number")
+        return scalarValue(number(node.value));
+    if (typeof node.value === "boolean")
+        return scalarValue({ kind: "boolean", value: node.value });
+    if (node.value === null)
+        return scalarValue({ kind: "nullish", value: "null" });
+    return fail(node, "only number, boolean and null literals are in the kernel subset");
+};
+/** Compiles an expression to a value, emitting any statements it needs into `out`. */
+export const expression = (node, scope, out) => {
+    switch (node.type) {
+        case "Literal":
+            return literal(node);
+        case "Identifier":
+            return identifier(node, scope, out);
+        case "ArrayExpression":
+            return {
+                kind: "tuple", items: node.elements.map(element => element === null ? fail(node, "holes are not in the kernel subset")
+                    : element.type === "SpreadElement" ? fail(element, "spread is not in the kernel subset")
+                        : expression(element, scope, out)),
+            };
+        case "ObjectExpression":
+            return {
+                kind: "struct", fields: node.properties.map(property => {
+                    if (property.type === "SpreadElement")
+                        return fail(property, "spread is not in the kernel subset");
+                    if (property.kind !== "init" || property.method || property.computed)
+                        return fail(property, "struct literals use plain field names");
+                    const name = property.key.type === "Identifier" ? property.key.name
+                        : property.key.type === "Literal" && typeof property.key.value === "string" ? property.key.value
+                            : fail(property.key, "struct literals use plain field names");
+                    const value = expression(property.value, scope, out);
+                    return [name, value];
+                }),
+            };
+        case "UnaryExpression":
+            if (!isUnary(node.operator))
+                return fail(node, `${node.operator} is not in the kernel subset`);
+            return scalarValue({ kind: "unary", operator: node.operator, operand: scalar(expression(node.argument, scope, out), node.argument, scope) });
+        case "BinaryExpression": {
+            const operator = node.operator;
+            if (!isBinary(operator) || node.left.type === "PrivateIdentifier")
+                return fail(node, `${node.operator} is not in the kernel subset`);
+            const left = scalar(expression(node.left, scope, out), node.left, scope);
+            const right = scalar(expression(node.right, scope, out), node.right, scope);
+            // Strict equality tells true from 1, so boolean reads are converted here.
+            const strict = operator === "===" || operator === "!==";
+            return scalarValue(strict
+                ? { kind: "binary", operator, left: observe(scope.unit, left), right: observe(scope.unit, right) }
+                : { kind: "binary", operator, left, right });
+        }
+        case "LogicalExpression":
+            return logical(node, scope, out);
+        case "ConditionalExpression":
+            return conditional(node, scope, out);
+        case "MemberExpression":
+            if (node.object.type === "Super")
+                return fail(node, "super is not in the kernel subset");
+            return access(expression(node.object, scope, out), memberKey(node, scope, out), node, scope, node.optional);
+        case "ChainExpression":
+            return expression(node.expression, scope, out);
+        case "CallExpression":
+            return call(node, scope, out);
+        case "AssignmentExpression":
+        case "UpdateExpression":
+            return fail(node, "assignments must be statements in a kernel");
+        case "ArrowFunctionExpression":
+        case "FunctionExpression":
+            return fail(node, "functions can't be created in a kernel; define helpers at module scope");
+        default:
+            return fail(node, `${node.type} is not in the kernel subset`);
+    }
+};
+//# sourceMappingURL=expression.js.map

package/dist/implementation/compiler/expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression.js","sourceRoot":"","sources":["../../../src/implementation/compiler/expression.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAA6C,MAAM,EAAa,MAAM,WAAW,CAAC;AACzF,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAmB,MAAM,SAAS,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,SAAS,EAAyB,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,WAAW,EAAc,MAAM,YAAY,CAAC;AAErD,MAAM,SAAS,GAAG,CAAC,UAAsB,EAAW,EAAE,CAClD,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC;AAEjG,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IACnE,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAClG,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACrC,KAAK,UAAU,CAAC,CAAC,OAAO,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtD,KAAK,KAAK,CAAC,CAAC,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,KAAK,WAAW,CAAC,CAAC,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;QAC9E,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,+BAA+B,CAAC,CAAC;IAC5E,CAAC;AACL,CAAC,CAAC;AAEF,6FAA6F;AAC7F,MAAM,WAAW,GAAG,CAAC,IAA2B,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAQ,EAAE,CAAC;IAC9B,MAAM,YAAY,GAAQ,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC1G,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACtG,OAAO,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AACrG,CAAC,CAAC;AAEF,8FAA8F;AAC9F,MAAM,OAAO,GAAG,CAAC,IAAuB,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAQ,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAe,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;QAClG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;IACnG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;IACrJ,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,IAAwC,EAAS,EAAE;IAChE,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3E,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IAChG,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAChF,OAAO,IAAI,CAAC,IAAI,EAAE,iEAAiE,CAAC,CAAC;AACzF,CAAC,CAAC;AAEF,sFAAsF;AACtF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IACpE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,SAAS;YACV,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,KAAK,YAAY;YACb,OAAO,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,iBAAiB;YAClB,OAAO;gBACH,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,oCAAoC,CAAC;oBAClH,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,oCAAoC,CAAC;wBACxF,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;aACzC,CAAC;QACN,KAAK,kBAAkB;YACnB,OAAO;gBACH,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;oBACnD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;wBAAE,OAAO,IAAI,CAAC,QAAQ,EAAE,oCAAoC,CAAC,CAAC;oBACnG,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,QAAQ;wBAAE,OAAO,IAAI,CAAC,QAAQ,EAAE,uCAAuC,CAAC,CAAC;oBACrI,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI;wBAC/D,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK;4BAChG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,uCAAuC,CAAC,CAAC;oBAClE,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;oBACrD,OAAO,CAAC,IAAI,EAAE,KAAK,CAAoC,CAAC;gBAC5D,CAAC,CAAC;aACL,CAAC;QACN,KAAK,iBAAiB;YAClB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,QAAQ,8BAA8B,CAAC,CAAC;YAC/F,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACjJ,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC/B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,QAAQ,8BAA8B,CAAC,CAAC;YACrI,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC5E,0EAA0E;YAC1E,MAAM,MAAM,GAAG,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,CAAC;YACxD,OAAO,WAAW,CAAC,MAAM;gBACrB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE;gBAClG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,mBAAmB;YACpB,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACrC,KAAK,uBAAuB;YACxB,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACzC,KAAK,kBAAkB;YACnB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;YACzF,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChH,KAAK,iBAAiB;YAClB,OAAO,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACnD,KAAK,gBAAgB;YACjB,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAClC,KAAK,sBAAsB,CAAC;QAAC,KAAK,kBAAkB;YAChD,OAAO,IAAI,CAAC,IAAI,EAAE,4CAA4C,CAAC,CAAC;QACpE,KAAK,yBAAyB,CAAC;QAAC,KAAK,oBAAoB;YACrD,OAAO,IAAI,CAAC,IAAI,EAAE,wEAAwE,CAAC,CAAC;QAChG;YACI,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,8BAA8B,CAAC,CAAC;IACtE,CAAC;AACL,CAAC,CAAC"}