@adobe/ecs 0.0.0-stage → 0.1.0

package/dist/implementation/compiler/spawns.js

@@ -0,0 +1,102 @@
+import { children, declaredIn } from './estree.js';
+import { fail } from './failure.js';
+/** A plain, string or number key, which is never a component's, since component keys are symbols. */
+const plainKey = (property) => property.type === "Property" && property.kind === "init" && !property.method && (!property.computed || property.key.type === "Literal");
+/** A key as a module-scope expression, or null when the property isn't a module constant's computed key. */
+const keyOf = (property, module, declared) => {
+    if (property.type !== "Property" || property.kind !== "init" || property.method || !property.computed)
+        return null;
+    const { key } = property;
+    if (key.type !== "Identifier")
+        return null;
+    return module.has(key.name) && !declared.has(key.name) ? key.name : null;
+};
+/** Whether an add's components are a list as written: an array literal, or a module constant of one or of `Archetype.create`. */
+const listed = (components, module, declared) => {
+    if (components.type === "ArrayExpression")
+        return true;
+    if (components.type !== "Identifier" || declared.has(components.name))
+        return false;
+    const binding = module.get(components.name);
+    if (binding?.kind !== "const")
+        return false;
+    const { init } = binding;
+    return init.type === "ArrayExpression" || (init.type === "CallExpression" && init.callee.type === "MemberExpression" && !init.callee.computed
+        && init.callee.property.type === "Identifier" && init.callee.property.name === "create" && init.arguments[0]?.type === "ArrayExpression");
+};
+const plainKeyFailure = "a command's keys are its components' symbols, as [key]; a plain or string key is never a component's";
+/** Where a body reaches its commands: a name bound to them, or a context parameter's `commands`. */
+const commandsOf = (parameter) => {
+    if (parameter?.type === "Identifier")
+        return { name: parameter.name, viaContext: true };
+    if (parameter?.type !== "ObjectPattern")
+        return null;
+    for (const property of parameter.properties) {
+        if (property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.key.name === "commands") {
+            return property.value.type === "Identifier" ? { name: property.value.name, viaContext: false } : null;
+        }
+    }
+    return null;
+};
+/**
+ * The spawn and add sites in a main-thread system body whose values can pass positionally: `spawn(components)(values)`
+ * and `add(entity, components, values)` on the commands of the body's own context parameter, at index `context`, with
+ * an object literal of computed keys, each a module-scope constant. A body that redeclares the context or its commands anywhere is left alone, and so is a
+ * key it shadows.
+ */
+export const spawnSites = (body, module, context) => {
+    if (body.type !== "ArrowFunctionExpression" && body.type !== "FunctionExpression")
+        return null;
+    const reached = commandsOf(body.params[context]);
+    if (reached === null)
+        return null;
+    const declared = new Set();
+    declaredIn(body.body, name => declared.add(name));
+    if (declared.has(reached.name))
+        return null;
+    const isCommands = (node) => reached.viaContext
+        ? node.type === "MemberExpression" && !node.computed && !node.optional && node.object.type === "Identifier" && node.object.name === reached.name
+            && node.property.type === "Identifier" && node.property.name === "commands"
+        : node.type === "Identifier" && node.name === reached.name;
+    const sites = [];
+    /** The method a call makes on the commands, and its arguments, or null. */
+    const method = (node) => node.type === "CallExpression" && node.callee.type === "MemberExpression" && !node.callee.computed && !node.optional
+        && isCommands(node.callee.object) && node.callee.property.type === "Identifier"
+        ? { name: node.callee.property.name, arguments: node.arguments }
+        : null;
+    const visit = (node) => {
+        if (node.type === "CallExpression" && !node.optional) {
+            const spawned = method(node.callee);
+            const called = method(node);
+            const spawn = spawned?.name === "spawn" && spawned.arguments.length === 1 && node.arguments.length === 1 ? spawned.arguments[0] : null;
+            const add = called?.name === "add" && called.arguments.length === 3 ? called.arguments : null;
+            const components = spawn ?? add?.[1] ?? null;
+            const values = spawn !== null ? node.arguments[0] : add?.[2];
+            const entity = add?.[0] ?? null;
+            if (components !== null && components.type !== "SpreadElement" && entity?.type !== "SpreadElement" && values?.type === "ObjectExpression") {
+                // A spawn's values, or a list add's, are keyed by components; one component's object value has keys of its own.
+                const plain = values.properties.find(plainKey);
+                if (plain !== undefined && (spawn !== null || listed(components, module, declared)))
+                    return fail(plain.type === "Property" ? plain.key : plain, plainKeyFailure);
+                const keys = plain === undefined ? values.properties.map(property => keyOf(property, module, declared)) : [null];
+                if (keys.every((key) => key !== null)) {
+                    sites.push({
+                        kind: spawn !== null ? "spawn" : "add",
+                        start: node.start,
+                        end: node.end,
+                        entity: entity === null ? null : { start: entity.start, end: entity.end },
+                        components: { start: components.start, end: components.end },
+                        keys,
+                        values: values.properties.flatMap(property => property.type === "Property" ? [{ start: property.value.start, end: property.value.end }] : []),
+                    });
+                    return;
+                }
+            }
+        }
+        for (const child of children(node))
+            visit(child);
+    };
+    visit(body.body);
+    return { commands: reached.viaContext ? `${reached.name}.commands` : reached.name, sites };
+};
+//# sourceMappingURL=spawns.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spawns.js","sourceRoot":"","sources":["../../../src/implementation/compiler/spawns.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAkBpC,qGAAqG;AACrG,MAAM,QAAQ,GAAG,CAAC,QAAkC,EAAW,EAAE,CAC7D,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;AAE5I,4GAA4G;AAC5G,MAAM,KAAK,GAAG,CAAC,QAAkC,EAAE,MAAmB,EAAE,QAA6B,EAAiB,EAAE;IACpH,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnH,MAAM,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC;IACzB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC3C,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7E,CAAC,CAAC;AAEF,iIAAiI;AACjI,MAAM,MAAM,GAAG,CAAC,UAAsB,EAAE,MAAmB,EAAE,QAA6B,EAAW,EAAE;IACnG,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACzB,OAAO,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ;WACtI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,iBAAiB,CAAC,CAAC;AAClJ,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,sGAAsG,CAAC;AAE/H,oGAAoG;AACpG,MAAM,UAAU,GAAG,CAAC,SAA2B,EAAkE,EAAE;IAC/G,IAAI,SAAS,EAAE,IAAI,KAAK,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACxF,IAAI,SAAS,EAAE,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC;IACrD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/H,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1G,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAE,MAAmB,EAAE,OAAe,EAA8E,EAAE;IACvJ,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,IAAI,CAAC;IAC/F,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,UAAU,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,OAAO,CAAC,UAAU;QAC1D,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;eACzI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU;QAC/E,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC;IAC/D,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,2EAA2E;IAC3E,MAAM,MAAM,GAAG,CAAC,IAAU,EAAiG,EAAE,CACzH,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ;WAC7G,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE;QAChE,CAAC,CAAC,IAAI,CAAC;IACf,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAG,OAAO,EAAE,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACvI,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9F,MAAM,UAAU,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;YAC7C,MAAM,MAAM,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7D,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;YAChC,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,EAAE,IAAI,KAAK,eAAe,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACxI,gHAAgH;gBAChH,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC/C,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;gBACjK,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjH,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,EAAE,CAAC;oBACnD,KAAK,CAAC,IAAI,CAAC;wBACP,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK;wBACtC,KAAK,EAAE,IAAI,CAAC,KAAK;wBACjB,GAAG,EAAE,IAAI,CAAC,GAAG;wBACb,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE;wBACzE,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE;wBAC5D,IAAI;wBACJ,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChJ,CAAC,CAAC;oBACH,OAAO;gBACX,CAAC;YACL,CAAC;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AAC/F,CAAC,CAAC"}

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

@@ -0,0 +1,6 @@
+import type { Statement } from './ir.js';
+/**
+ * Chunk columns stamped on every row: by a top-level stamp that no earlier `next` can skip. Every row in
+ * `[start, end)` runs the body, so these chunks can be stamped once per call instead of per row.
+ */
+export declare const unconditionalChunks: (rows: readonly Statement[]) => ReadonlySet<number>;

package/dist/implementation/compiler/stamps.js

@@ -0,0 +1,25 @@
+import { resolve } from './out.js';
+const exits = (statement) => {
+    switch (statement.kind) {
+        case "next": return true;
+        case "if": return resolve(statement.consequent).some(exits) || resolve(statement.alternate).some(exits);
+        case "block":
+        case "loop": return resolve(statement.body).some(exits);
+        default: return false;
+    }
+};
+/**
+ * Chunk columns stamped on every row: by a top-level stamp that no earlier `next` can skip. Every row in
+ * `[start, end)` runs the body, so these chunks can be stamped once per call instead of per row.
+ */
+export const unconditionalChunks = (rows) => {
+    const chunks = new Set();
+    for (const statement of rows) {
+        if (exits(statement))
+            break;
+        if (statement.kind === "stamp")
+            chunks.add(statement.chunks);
+    }
+    return chunks;
+};
+//# sourceMappingURL=stamps.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"stamps.js","sourceRoot":"","sources":["../../../src/implementation/compiler/stamps.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAEnC,MAAM,KAAK,GAAG,CAAC,SAAoB,EAAW,EAAE;IAC5C,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC;QACzB,KAAK,IAAI,CAAC,CAAC,OAAO,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxG,KAAK,OAAO,CAAC;QAAC,KAAK,MAAM,CAAC,CAAC,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtE,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;IAC1B,CAAC;AACL,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAA0B,EAAuB,EAAE;IACnF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,SAAS,CAAC;YAAE,MAAM;QAC5B,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC"}

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

@@ -0,0 +1,7 @@
+import type { Node } from 'estree';
+import type { Out } from './out.js';
+import { type Scope } from './scope.js';
+/** The label of the JS row loop; `next` continues it. */
+export declare const rowLabel = "rows";
+/** Compiles a statement of the kernel subset. */
+export declare const statement: (node: Node, scope: Scope, out: Out) => void;

package/dist/implementation/compiler/statement.js

@@ -0,0 +1,112 @@
+import { assign, update } from './assign.js';
+import { bind } from './bind.js';
+import { fail } from './failure.js';
+import { not } from './ir.js';
+import { scalar } from './scalar.js';
+import { childScope } from './scope.js';
+import { label } from './unit.js';
+/** The label of the JS row loop; `next` continues it. */
+export const rowLabel = "rows";
+const expressionStatement = (node, scope, out) => {
+    switch (node.type) {
+        case "AssignmentExpression": return assign(node, scope, out);
+        case "UpdateExpression": return update(node, scope, out);
+        case "SequenceExpression": return node.expressions.forEach(item => expressionStatement(item, scope, out));
+        default: scope.unit.expression(node, scope, out);
+    }
+};
+/** Exits the loop's block when `node` is false. */
+const test = (node, exit, scope, out) => {
+    out.push({ kind: "branchIf", label: exit, test: not(scalar(scope.unit.expression(node, scope, out), node, scope)) });
+};
+/**
+ * Every loop compiles to `block exit { loop repeat { test; block next { body } update; branch repeat } }`, so a test
+ * that emits statements is re-evaluated each iteration, `break` exits `exit`, and `continue` exits `next` and still
+ * runs the update.
+ */
+const loop = (node, scope, out) => {
+    const outer = childScope(scope);
+    if (node.type === "ForStatement" && node.init) {
+        if (node.init.type === "VariableDeclaration")
+            statement(node.init, outer, out);
+        else
+            expressionStatement(node.init, outer, out);
+    }
+    const unit = scope.unit;
+    const exit = label(unit);
+    const repeat = label(unit);
+    const next = label(unit);
+    const head = [];
+    const tail = [];
+    if (node.type !== "DoWhileStatement" && node.test)
+        test(node.test, exit, outer, head);
+    const body = [];
+    statement(node.body, childScope(outer, { exit, next }), body);
+    if (node.type === "ForStatement" && node.update)
+        expressionStatement(node.update, outer, tail);
+    if (node.type === "DoWhileStatement")
+        test(node.test, exit, outer, tail);
+    out.push({
+        kind: "block", label: exit, body: [{
+                kind: "loop", label: repeat,
+                body: [...head, { kind: "block", label: next, body }, ...tail, { kind: "branch", label: repeat }],
+            }],
+    });
+};
+/** Compiles a statement of the kernel subset. */
+export const statement = (node, scope, out) => {
+    switch (node.type) {
+        case "VariableDeclaration":
+            if (node.kind !== "const" && node.kind !== "let")
+                return fail(node, `use const or let, not ${node.kind}`);
+            for (const declarator of node.declarations) {
+                if (!declarator.init)
+                    return fail(declarator, "locals need an initializer");
+                const value = scope.unit.expression(declarator.init, scope, out);
+                bind(declarator.id, value, node.kind, scope, out);
+            }
+            return;
+        case "ExpressionStatement":
+            return expressionStatement(node.expression, scope, out);
+        case "BlockStatement": {
+            const inner = childScope(scope);
+            for (const item of node.body)
+                statement(item, inner, out);
+            return;
+        }
+        case "IfStatement": {
+            const condition = scalar(scope.unit.expression(node.test, scope, out), node.test, scope);
+            const consequent = [];
+            const alternate = [];
+            statement(node.consequent, childScope(scope), consequent);
+            if (node.alternate)
+                statement(node.alternate, childScope(scope), alternate);
+            out.push({ kind: "if", test: condition, consequent, alternate });
+            return;
+        }
+        case "ForStatement":
+        case "WhileStatement":
+        case "DoWhileStatement":
+            return loop(node, scope, out);
+        case "BreakStatement":
+        case "ContinueStatement":
+            if (node.label)
+                return fail(node, "labels are not in the kernel subset");
+            if (scope.loop === undefined)
+                return fail(node, `${node.type === "BreakStatement" ? "break" : "continue"} outside a loop`);
+            out.push({ kind: "branch", label: node.type === "BreakStatement" ? scope.loop.exit : scope.loop.next });
+            return;
+        case "ReturnStatement":
+            if (scope.helper)
+                return fail(node, "a helper can only return at its end");
+            if (node.argument)
+                return fail(node, "a kernel returns nothing; return ends the current row");
+            out.push({ kind: "next" });
+            return;
+        case "EmptyStatement":
+            return;
+        default:
+            return fail(node, `${node.type} is not in the kernel subset`);
+    }
+};
+//# sourceMappingURL=statement.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../../src/implementation/compiler/statement.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAE9B,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,UAAU,EAAc,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAElC,yDAAyD;AACzD,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC;AAE/B,MAAM,mBAAmB,GAAG,CAAC,IAAgB,EAAE,KAAY,EAAE,GAAQ,EAAQ,EAAE;IAC3E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,sBAAsB,CAAC,CAAC,OAAO,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7D,KAAK,kBAAkB,CAAC,CAAC,OAAO,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACzD,KAAK,oBAAoB,CAAC,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1G,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACrD,CAAC;AACL,CAAC,CAAC;AAEF,mDAAmD;AACnD,MAAM,IAAI,GAAG,CAAC,IAAgB,EAAE,IAAY,EAAE,KAAY,EAAE,GAAQ,EAAQ,EAAE;IAC1E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;AACzH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,IAAI,GAAG,CAAC,IAAsD,EAAE,KAAY,EAAE,GAAQ,EAAQ,EAAE;IAClG,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;;YAC1E,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACtF,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM;QAAE,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/F,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACzE,GAAG,CAAC,IAAI,CAAC;QACL,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC/B,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;gBAC3B,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;aACpG,CAAC;KACL,CAAC,CAAC;AACP,CAAC,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,KAAY,EAAE,GAAQ,EAAQ,EAAE;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,qBAAqB;YACtB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,yBAAyB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1G,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACzC,IAAI,CAAC,UAAU,CAAC,IAAI;oBAAE,OAAO,IAAI,CAAC,UAAU,EAAE,4BAA4B,CAAC,CAAC;gBAC5E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;gBACjE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YACtD,CAAC;YACD,OAAO;QACX,KAAK,qBAAqB;YACtB,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5D,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI;gBAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1D,OAAO;QACX,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACjB,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzF,MAAM,UAAU,GAAQ,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAQ,EAAE,CAAC;YAC1B,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;YAC1D,IAAI,IAAI,CAAC,SAAS;gBAAE,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;YAC5E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;YACjE,OAAO;QACX,CAAC;QACD,KAAK,cAAc,CAAC;QAAC,KAAK,gBAAgB,CAAC;QAAC,KAAK,kBAAkB;YAC/D,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAClC,KAAK,gBAAgB,CAAC;QAAC,KAAK,mBAAmB;YAC3C,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;YACzE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,iBAAiB,CAAC,CAAC;YAC3H,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACxG,OAAO;QACX,KAAK,iBAAiB;YAClB,IAAI,KAAK,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;YAC3E,IAAI,IAAI,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,uDAAuD,CAAC,CAAC;YAC9F,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3B,OAAO;QACX,KAAK,gBAAgB;YACjB,OAAO;QACX;YACI,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,8BAA8B,CAAC,CAAC;IACtE,CAAC;AACL,CAAC,CAAC"}

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

@@ -0,0 +1,8 @@
+import type { Node } from 'estree';
+/**
+ * Whether a main-thread system's body provably never reaches its context's `commands`, so the system is terminal
+ * where its declaration allows: its context, the parameter at `context`, is absent, destructured by plain names other
+ * than `commands` with no rest, or a name the body doesn't redeclare and uses only as `name.property` for other
+ * properties; and the body never refers to `arguments` or `eval`. A body it can't follow may reach them.
+ */
+export declare const neverReachesCommands: (body: Node, context: number) => boolean;

package/dist/implementation/compiler/terminal.js

@@ -0,0 +1,51 @@
+import { children, declaredIn } from './estree.js';
+/** Whether `node`, a child of `parent`, names a property or label, or declares a binding, rather than referring to one. */
+const isName = (node, parent) => {
+    switch (parent?.type) {
+        case "MemberExpression": return parent.property === node && !parent.computed;
+        case "Property": return parent.key === node && !parent.computed && !parent.shorthand;
+        case "MethodDefinition":
+        case "PropertyDefinition": return parent.key === node && !parent.computed;
+        case "LabeledStatement":
+        case "BreakStatement":
+        case "ContinueStatement": return true;
+        case "VariableDeclarator": return parent.id === node;
+        default: return false;
+    }
+};
+/** Whether a destructuring of the context binds plain names other than `commands`, with no rest. */
+const destructuresOthers = (pattern) => pattern.type === "ObjectPattern" && pattern.properties.every(property => property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.key.name !== "commands");
+/** Whether a name is used anywhere in `node` as a reference: `arguments` or `eval` could reach the context. */
+const refers = (node, name, parent) => (node.type === "Identifier" && node.name === name && !isName(node, parent)) || children(node).some(child => refers(child, name, node));
+/**
+ * Whether a main-thread system's body provably never reaches its context's `commands`, so the system is terminal
+ * where its declaration allows: its context, the parameter at `context`, is absent, destructured by plain names other
+ * than `commands` with no rest, or a name the body doesn't redeclare and uses only as `name.property` for other
+ * properties; and the body never refers to `arguments` or `eval`. A body it can't follow may reach them.
+ */
+export const neverReachesCommands = (body, context) => {
+    if (body.type !== "ArrowFunctionExpression" && body.type !== "FunctionExpression")
+        return false;
+    if (refers(body.body, "eval") || (body.type === "FunctionExpression" && refers(body.body, "arguments")))
+        return false;
+    const parameter = body.params[context];
+    if (parameter === undefined)
+        return body.params.every(each => each.type !== "RestElement");
+    if (parameter.type !== "Identifier")
+        return destructuresOthers(parameter);
+    const { name } = parameter;
+    let redeclared = false;
+    declaredIn(body.body, declared => { if (declared === name)
+        redeclared = true; });
+    if (redeclared)
+        return false;
+    const reaches = (node, parent) => {
+        if (node.type === "Identifier" && node.name === name && !isName(node, parent)) {
+            return !(parent?.type === "MemberExpression" && parent.object === node && !parent.computed
+                && parent.property.type === "Identifier" && parent.property.name !== "commands");
+        }
+        return children(node).some(child => reaches(child, node));
+    };
+    return !reaches(body.body, body);
+};
+//# sourceMappingURL=terminal.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"terminal.js","sourceRoot":"","sources":["../../../src/implementation/compiler/terminal.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEnD,2HAA2H;AAC3H,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,MAAwB,EAAW,EAAE;IAC7D,QAAQ,MAAM,EAAE,IAAI,EAAE,CAAC;QACnB,KAAK,kBAAkB,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC7E,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;QACrF,KAAK,kBAAkB,CAAC;QAAC,KAAK,oBAAoB,CAAC,CAAC,OAAO,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QACnG,KAAK,kBAAkB,CAAC;QAAC,KAAK,gBAAgB,CAAC;QAAC,KAAK,mBAAmB,CAAC,CAAC,OAAO,IAAI,CAAC;QACtF,KAAK,oBAAoB,CAAC,CAAC,OAAO,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC;QACrD,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;IAC1B,CAAC;AACL,CAAC,CAAC;AAEF,oGAAoG;AACpG,MAAM,kBAAkB,GAAG,CAAC,OAAgB,EAAW,EAAE,CACrD,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CACpE,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;AAEtI,+GAA+G;AAC/G,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,IAAY,EAAE,MAAa,EAAW,EAAE,CAChE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAE3I;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAU,EAAE,OAAe,EAAW,EAAE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,KAAK,CAAC;IAChG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACtH,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IAC3F,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC1E,MAAM,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;IAC3B,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,GAAG,IAAI,QAAQ,KAAK,IAAI;QAAE,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7B,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,MAAwB,EAAW,EAAE;QAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAC5E,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ;mBACnF,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACrC,CAAC,CAAC"}

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

@@ -0,0 +1,31 @@
+import type { Program } from 'estree';
+import { type Failure } from './failure.js';
+import { type Linker } from './link.js';
+export type Parse = (code: string) => Program;
+/** Whether an import specifier, resolved from the module being transformed, is the package's, which exports `System` and `Finalizer`. */
+export type ResolveSystemImport = (source: string) => Promise<boolean>;
+/**
+ * The JS expression for kernel `index`'s module url. `identity` is everything the description and module are
+ * compiled to (the description without its url, plus the module source), so it can version the url.
+ */
+export type KernelUrl = (index: number, identity: string) => string;
+/**
+ * `kernels[i]` is the source of kernel `i`'s module, which exports `create`. `dependencies` are the other files
+ * whose functions and constants the kernels inline, or that compiling them read before failing.
+ */
+export type TransformResult = {
+    readonly code: string;
+    readonly kernels: readonly string[];
+    readonly dependencies: readonly string[];
+} | {
+    readonly failure: Failure;
+    readonly dependencies: readonly string[];
+};
+/**
+ * Wraps each kernel `System.create(declaration, body)` call as `attachKernel(call, description)`, and returns each
+ * kernel's `create` as its own module, referenced by `description.url`. Functions and constants kernels import are
+ * inlined through `linker`.
+ * Also passes the values of main-thread spawns and adds of literal keys positionally (`spawns.ts`).
+ * Returns null when the module has neither, and a `Failure` when a kernel leaves the subset.
+ */
+export declare const transformKernels: (code: string, id: string, parse: Parse, resolveSystemImport: ResolveSystemImport, kernelUrl: KernelUrl, linker?: Linker) => Promise<TransformResult | null>;

package/dist/implementation/compiler/transform.js

@@ -0,0 +1,227 @@
+import { compileKernel } from './compile-kernel.js';
+import { children, isFunction } from './estree.js';
+import { fail, failureOf } from './failure.js';
+import { isPending } from './link.js';
+import { createModule, locateIn } from './module-scope.js';
+import { attachKernelPath, prepareLookupPath, prepareSpawnPath } from './paths.js';
+import { spawnSites } from './spawns.js';
+import { kernelOf } from './signature.js';
+import { usedBy } from './body-access.js';
+import { requireExact } from './exact.js';
+import { createLists } from './lists.js';
+import { neverReachesCommands } from './terminal.js';
+import { lookupSites } from './lookups.js';
+import { terminalBodiesName } from '../world/terminal.js';
+/** The local names of the package's `System` and `Finalizer` namespaces, by the namespace each names. */
+const systemLocals = async (program, resolveSystemImport) => {
+    const locals = new Map();
+    for (const statement of program.body) {
+        if (statement.type !== "ImportDeclaration" || typeof statement.source.value !== "string")
+            continue;
+        const specifiers = statement.specifiers.flatMap(specifier => specifier.type === "ImportSpecifier" && specifier.imported.type === "Identifier"
+            && (specifier.imported.name === "System" || specifier.imported.name === "Finalizer") ? [{ local: specifier.local.name, imported: specifier.imported.name }] : []);
+        if (specifiers.length > 0 && await resolveSystemImport(statement.source.value)) {
+            for (const { local, imported } of specifiers)
+                locals.set(local, imported === "System" ? "System" : "Finalizer");
+        }
+    }
+    return locals;
+};
+/** `System.create`, or `Finalizer.create` or `Finalizer.changes`, whose bodies run on the main thread; null for any other call. */
+const createdBy = (node, locals) => {
+    if (node.callee.type !== "MemberExpression" || node.callee.computed || node.callee.object.type !== "Identifier" || node.callee.property.type !== "Identifier")
+        return null;
+    const namespace = locals.get(node.callee.object.name);
+    const method = node.callee.property.name;
+    if (namespace === "System")
+        return method === "create" ? "system" : null;
+    return namespace === "Finalizer" && (method === "create" || method === "changes") ? (method === "create" ? "finalizer" : "changes") : null;
+};
+/** Which parameters are the row and the context: a system without `components` takes only its context, and a changes finalizer takes its changes first. */
+const positionsOf = (created, declaration) => {
+    if (created === "changes")
+        return { row: -1, context: 1 };
+    const rowed = declaration.properties.some(property => property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.key.name === "components");
+    return rowed ? { row: 0, context: 1 } : { row: -1, context: 0 };
+};
+/**
+ * A spawn site's function: the components, then one parameter per value, so values pass without an object to a
+ * spawner generated for the site's key order and the list's shape (`PreparedSpawn` in `world/prepared-spawn.ts`).
+ * The keys are read in module scope, as the prepared spawn's argument, so no binding the function declares can capture
+ * one (`hygiene.test.ts`).
+ */
+const spawnFunction = (name, prepare, keys) => {
+    const values = keys.map((_, k) => `v${k}`).join(", ");
+    return [
+        `const ${name} = (p => (c, l${keys.length > 0 ? `, ${values}` : ""}) => {`,
+        "const s = p.begin(c, l);",
+        `return s === null ? p.fallback(c, l, [${values}]) : s(${values});`,
+        `})(${prepare}(() => [${keys.join(", ")}]));`,
+    ].join("\n");
+};
+/**
+ * An add site's function: the entity, the components, then one parameter per value, each appended straight to the
+ * commands' buffer (`PreparedAdd` in `world/prepared-spawn.ts`). Its keys are read in module scope, as a spawn site's are.
+ */
+const addFunction = (name, prepare, keys) => {
+    const values = keys.map((_, k) => `v${k}`);
+    return [
+        `const ${name} = (p => (c, e, l${values.map(value => `, ${value}`).join("")}) => {`,
+        `if (p.begin(c, e, l)) { ${values.map((value, k) => `p.value(${k}, ${value}); `).join("")}p.end(); }`,
+        `else p.fallback(c, e, l, [${values.join(", ")}]);`,
+        `})(${prepare}(() => [${keys.join(", ")}]));`,
+    ].join("\n");
+};
+const uniqueName = (code, base) => {
+    let name = base;
+    for (let n = 1; code.includes(name); n++)
+        name = `${base}${n}`;
+    return name;
+};
+/** Compiles a kernel, loading what it imports as compiling reaches it. */
+const compileLinked = async (declaration, body, module, target, link) => {
+    for (;;) {
+        try {
+            return compileKernel(declaration, body, module, target, link);
+        }
+        catch (error) {
+            if (!isPending(error))
+                throw error;
+            await error.pending;
+        }
+    }
+};
+/**
+ * Wraps each kernel `System.create(declaration, body)` call as `attachKernel(call, description)`, and returns each
+ * kernel's `create` as its own module, referenced by `description.url`. Functions and constants kernels import are
+ * inlined through `linker`.
+ * Also passes the values of main-thread spawns and adds of literal keys positionally (`spawns.ts`).
+ * Returns null when the module has neither, and a `Failure` when a kernel leaves the subset.
+ */
+export const transformKernels = async (code, id, parse, resolveSystemImport, kernelUrl, linker) => {
+    if ((!code.includes("System") && !code.includes("Finalizer")) || id.includes("\0"))
+        return null;
+    const program = parse(code);
+    const locals = await systemLocals(program, resolveSystemImport);
+    if (locals.size === 0)
+        return null;
+    const file = id.split("?")[0] ?? id;
+    const module = createModule(file, program, locateIn(code));
+    linker?.add(module);
+    const dependencies = new Set();
+    /** Main-thread declarations are checked only against lists of their own module. */
+    const mainThreadLists = createLists(module, null, []);
+    const link = linker === undefined ? null : {
+        module: dependency => {
+            if (dependency !== file)
+                dependencies.add(dependency);
+            return linker.module(dependency);
+        },
+        resolve: linker.resolve,
+    };
+    const attach = uniqueName(code, "attachKernel$");
+    const prepare = uniqueName(code, "prepareSpawn$");
+    const prepareAddName = uniqueName(code, "prepareAdd$");
+    const spawnName = uniqueName(code, "spawn$");
+    const terminal = uniqueName(code, "terminal$");
+    const prepareLookupName = uniqueName(code, "prepareLookup$");
+    const lookupName = uniqueName(code, "lookup$");
+    let looking = false;
+    let terminals = false;
+    const edits = [];
+    const kernels = [];
+    const sites = [];
+    /** Module-scope declarations of prepared spawns, appended after everything they name is declared. */
+    const prepared = [];
+    let adding = false;
+    let spawning = false;
+    const visit = (node, nested) => {
+        const created = node.type === "CallExpression" ? createdBy(node, locals) : null;
+        const [first, second] = node.type === "CallExpression" ? node.arguments : [];
+        // One argument that isn't a body makes a composite, of a list or a declaration: never a kernel, nor checked.
+        const composite = created === "system" && first !== undefined && second === undefined && !isFunction(first);
+        if (node.type === "CallExpression" && created !== null && !composite) {
+            // A system that declares nothing is made from its body alone, which takes only its context.
+            const alone = created === "system" && first !== undefined && isFunction(first) && second === undefined;
+            const declaration = alone ? undefined : first;
+            const body = alone ? first : second;
+            const target = declaration?.type === "ObjectExpression" ? kernelOf(declaration) : null;
+            if (declaration?.type === "ObjectExpression" && target !== null) {
+                if (nested)
+                    fail(node, "kernel systems must be declared at module scope");
+                if (body === undefined || body.type === "SpreadElement")
+                    return fail(node, "a kernel needs an inline body");
+                sites.push({ node, declaration, body, target });
+                return;
+            }
+            const positions = alone ? { row: -1, context: 0 } : declaration?.type === "ObjectExpression" ? positionsOf(created, declaration) : null;
+            if (declaration?.type === "ObjectExpression" && positions !== null && body !== undefined && body.type !== "SpreadElement") {
+                requireExact(declaration, usedBy(declaration, body, module.bindings, positions), module.bindings, mainThreadLists);
+            }
+            // A system whose body never reaches its commands is terminal where its declaration allows (`world/tails.ts`).
+            if (created === "system" && positions !== null && body !== undefined && body.type !== "SpreadElement" && neverReachesCommands(body, positions.context)) {
+                terminals = true;
+                edits.push({ start: body.start, end: body.start, text: `${terminal}(` }, { start: body.end, end: body.end, text: ")" });
+            }
+            const spawns = positions === null || body === undefined || body.type === "SpreadElement" ? null : spawnSites(body, module.bindings, positions.context);
+            // Index lookups pass their key positionally, through a list of their own (`world/prepared-lookup.ts`).
+            const lookups = positions === null || body === undefined || body.type === "SpreadElement" || declaration?.type !== "ObjectExpression" ? [] : lookupSites(body, declaration, positions.context);
+            const spawned = spawns?.sites ?? [];
+            for (const site of lookups) {
+                if (spawned.some(other => other.start < site.end && site.start < other.end))
+                    continue;
+                const name = `${lookupName}${prepared.length}`;
+                prepared.push(`const ${name} = ${prepareLookupName}(${JSON.stringify(site.shape)}).find;`);
+                looking = true;
+                const values = [site.callee, ...site.values].map(value => code.slice(value.start, value.end));
+                edits.push({ start: site.start, end: site.end, text: `${name}(${values.join(", ")})` });
+            }
+            if (spawns !== null && spawns.sites.length > 0) {
+                for (const site of spawns.sites) {
+                    const name = `${spawnName}${prepared.length}`;
+                    prepared.push(site.kind === "spawn" ? spawnFunction(name, prepare, site.keys) : addFunction(name, prepareAddName, site.keys));
+                    if (site.kind === "add")
+                        adding = true;
+                    else
+                        spawning = true;
+                    const values = [...site.entity === null ? [] : [site.entity], site.components, ...site.values].map(value => code.slice(value.start, value.end));
+                    edits.push({ start: site.start, end: site.end, text: `${name}(${[spawns.commands, ...values].join(", ")})` });
+                }
+                return;
+            }
+        }
+        const inner = nested || isFunction(node);
+        for (const child of children(node))
+            visit(child, inner);
+    };
+    try {
+        visit(program, false);
+        for (const { node, declaration, body, target } of sites) {
+            const compiled = await compileLinked(declaration, body, module, target, link);
+            const source = `export const create = ${compiled.create};\n`;
+            const description = compiled.description(kernelUrl(kernels.length, `${compiled.description("")}\n${source}`));
+            kernels.push(source);
+            edits.push({ start: node.start, end: node.end, text: `${attach}(${code.slice(node.start, node.end)}, ${description})` });
+        }
+    }
+    catch (error) {
+        const failure = failureOf(error);
+        if (failure === undefined)
+            throw error;
+        return { failure, dependencies: [...dependencies] };
+    }
+    if (edits.length === 0)
+        return null;
+    let result = code;
+    for (const edit of [...edits].sort((a, b) => b.start - a.start))
+        result = result.slice(0, edit.start) + edit.text + result.slice(edit.end);
+    const imports = [
+        ...kernels.length > 0 ? [`import { attachKernel as ${attach} } from ${JSON.stringify(attachKernelPath)};`] : [],
+        ...spawning ? [`import { prepareSpawn as ${prepare} } from ${JSON.stringify(prepareSpawnPath)};`] : [],
+        ...adding ? [`import { prepareAdd as ${prepareAddName} } from ${JSON.stringify(prepareSpawnPath)};`] : [],
+        ...looking ? [`import { prepareLookup as ${prepareLookupName} } from ${JSON.stringify(prepareLookupPath)};`] : [],
+    ];
+    const marking = terminals ? [`function ${terminal}(body) { const set = Symbol.for(${JSON.stringify(terminalBodiesName)}); (globalThis[set] || (globalThis[set] = new WeakSet())).add(body); return body; }`] : [];
+    return { code: [...imports, result, ...prepared, ...marking].join("\n"), kernels, dependencies: [...dependencies] };
+};
+//# sourceMappingURL=transform.js.map