@adobe/ecs 0.0.0-stage → 0.2.0

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

@@ -0,0 +1,11 @@
+import type { Node, ObjectExpression } from 'estree';
+import { type Link } from './link.js';
+import type { Module } from './module-scope.js';
+/**
+ * Fails the build where a predicate reads anything but its value, resources, literals, and module-scope constants and
+ * pure functions: `outer`, the names declared by functions around it, are state that may change. Functions it calls
+ * are checked the same, in their own modules, through `link`; without one, only the package's own imports are read.
+ */
+export declare const checkPredicate: (fn: Node, module: Module, link: Link | null, outer: ReadonlySet<string>, packageSpecifier: (specifier: string) => boolean) => void;
+/** The predicates of a declaration's `components.where`: each value that's a function in place or a module function by name. */
+export declare const predicatesOf: (declaration: ObjectExpression, module: Module) => readonly Node[];

package/dist/implementation/compiler/predicates.js

@@ -0,0 +1,281 @@
+import { children, declaredIn, isFunction, patternNames } from './estree.js';
+import { fail, within } from './failure.js';
+import { resolveBinding } from './link.js';
+import { frameIn } from './module-value.js';
+// What a `where` predicate may read: its value, the world's resources, literals, and module-scope constants and pure
+// functions. The world runs it as written whenever a resource it reads changed, so anything else that may change, a
+// module variable, a closure over a function's state or a global, would make its cached result wrong.
+/** Globals a predicate may read: pure functions and constants of the language, and namespaces of them. */
+const pureGlobals = new Set(["Math", "Number", "Infinity", "NaN", "undefined", "isFinite", "isNaN"]);
+/** By namespace global, the members a predicate may read: each pure, or a constant; `Math.random` isn't. */
+const pureMembers = new Map([
+    ["Math", new Set([
+            "abs", "acos", "acosh", "asin", "asinh", "atan", "atan2", "atanh", "cbrt", "ceil", "clz32", "cos", "cosh", "exp", "expm1", "floor", "fround",
+            "hypot", "imul", "log", "log10", "log1p", "log2", "max", "min", "pow", "round", "sign", "sin", "sinh", "sqrt", "tan", "tanh", "trunc",
+            "E", "LN10", "LN2", "LOG10E", "LOG2E", "PI", "SQRT1_2", "SQRT2",
+        ])],
+    ["Number", new Set([
+            "EPSILON", "MAX_SAFE_INTEGER", "MAX_VALUE", "MIN_SAFE_INTEGER", "MIN_VALUE", "NaN", "NEGATIVE_INFINITY", "POSITIVE_INFINITY",
+            "isFinite", "isInteger", "isNaN", "isSafeInteger", "parseFloat", "parseInt",
+        ])],
+]);
+/** Methods that change what they're called on, of arrays, typed arrays, maps, sets and data views, which a predicate may call only on what it made. */
+const mutatingMethods = new Set(["push", "pop", "shift", "unshift", "splice", "sort", "reverse", "fill", "copyWithin", "set", "add", "delete", "clear"]);
+/** Whether a method may change what it's called on: a known one, or a data view's setter. */
+const mutates = (name) => name === null || mutatingMethods.has(name) || /^set[A-Z]/.test(name);
+/** A function declaration with a name, which `export default` may leave out. */
+const isNamed = (node) => node.id !== null;
+/** Whether `node`, a child of `parent`, names a property 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;
+        default: return false;
+    }
+};
+/** The identifiers a function refers to that it doesn't declare, each at its first reference. */
+const freeNames = (fn) => {
+    const declared = new Set();
+    declaredIn(fn, name => declared.add(name));
+    if (fn.type === "ArrowFunctionExpression" || fn.type === "FunctionExpression" || fn.type === "FunctionDeclaration") {
+        for (const parameter of fn.params)
+            for (const name of patternNames(parameter))
+                declared.add(name);
+    }
+    const free = new Map();
+    const visit = (node, parent) => {
+        if (node.type === "ThisExpression")
+            fail(node, "a where predicate reads its value and resources, never this");
+        if (node.type === "Identifier" && !isName(node, parent) && !declared.has(node.name) && !free.has(node.name))
+            free.set(node.name, node);
+        for (const child of children(node))
+            visit(child, node);
+    };
+    visit(fn, undefined);
+    return free;
+};
+/** A member's name, when it's written as one or as a string literal; null for one computed otherwise. */
+const memberName = (node) => !node.computed && node.property.type === "Identifier" ? node.property.name
+    : node.computed && node.property.type === "Literal" && typeof node.property.value === "string" ? node.property.value
+        : null;
+/** An expression as the build prints it in a failure: a name and its members, or "it" for anything else. */
+const textOf = (node) => {
+    if (node.type === "Identifier")
+        return node.name;
+    if (node.type === "MemberExpression") {
+        const name = memberName(node);
+        const object = textOf(node.object);
+        if (name !== null && !node.computed)
+            return `${object}.${name}`;
+        return `${object}[${node.property.type === "Identifier" ? node.property.name : name === null ? "…" : JSON.stringify(name)}]`;
+    }
+    return "it";
+};
+/** The innermost object of a chain of members: what a write or call through it reaches. */
+const rootOf = (node) => node.type === "MemberExpression" ? rootOf(node.object) : node;
+/**
+ * Fails the build where a function writes through anything but what it made of its own, calls a method that changes
+ * what it's called on, a known one or one computed by name, on anything else, reads a member of `Math` or `Number` that isn't pure, or imports a module. What it makes of its
+ * own is a local holding an object or array it wrote out, never assigned anything else; every other value, its value,
+ * resources, parameters, globals and functions among them, may be shared. `global(name)` says whether a name it doesn't
+ * declare is a global, and `imported(name)` whether it's an import, whose members the reads check holds to the
+ * package's own namespaces and functions, which are fixed.
+ */
+const checkEffects = (fn, global, imported) => {
+    const declared = new Set();
+    declaredIn(fn, name => declared.add(name));
+    // Names declared with an object or array it writes out, then never assigned.
+    const own = new Set();
+    const shared = new Set();
+    const scan = (node) => {
+        if (node.type === "VariableDeclarator") {
+            if (node.id.type === "Identifier" && (node.init?.type === "ObjectExpression" || node.init?.type === "ArrayExpression"))
+                own.add(node.id.name);
+            else
+                for (const name of patternNames(node.id))
+                    shared.add(name);
+        }
+        if (node.type === "AssignmentExpression" && node.left.type === "Identifier")
+            shared.add(node.left.name);
+        for (const child of children(node))
+            scan(child);
+    };
+    scan(fn);
+    if (fn.type === "ArrowFunctionExpression" || fn.type === "FunctionExpression" || fn.type === "FunctionDeclaration") {
+        for (const parameter of fn.params)
+            for (const name of patternNames(parameter))
+                shared.add(name);
+    }
+    const isOwn = (node) => {
+        const root = rootOf(node);
+        return root.type === "Identifier" && own.has(root.name) && !shared.has(root.name) && declared.has(root.name);
+    };
+    const written = (target) => {
+        if (target.type === "MemberExpression") {
+            if (!isOwn(target))
+                fail(target, `a where predicate writes through ${textOf(rootOf(target))}, which it only reads`);
+            return;
+        }
+        if (target.type === "ObjectPattern" || target.type === "ArrayPattern" || target.type === "AssignmentPattern" || target.type === "RestElement") {
+            for (const child of children(target))
+                written(child);
+        }
+        if (target.type === "Property")
+            written(target.value);
+    };
+    const visit = (node) => {
+        switch (node.type) {
+            case "ImportExpression": return fail(node, "a where predicate imports a module, which may run anything");
+            case "AssignmentExpression":
+                written(node.left);
+                break;
+            case "UpdateExpression":
+                written(node.argument);
+                break;
+            case "UnaryExpression":
+                if (node.operator === "delete")
+                    written(node.argument);
+                break;
+            case "ForInStatement":
+            case "ForOfStatement":
+                if (node.left.type !== "VariableDeclaration")
+                    written(node.left);
+                break;
+            case "MemberExpression": {
+                const { object } = node;
+                if (object.type === "Identifier" && !declared.has(object.name) && global(object.name)) {
+                    const members = pureMembers.get(object.name);
+                    const name = memberName(node);
+                    if (members !== undefined && (name === null || !members.has(name)))
+                        fail(node, `a where predicate reads ${textOf(node)}, which isn't pure`);
+                }
+                break;
+            }
+            case "CallExpression": {
+                const { callee } = node;
+                if (callee.type === "MemberExpression" && !isOwn(callee)) {
+                    const root = rootOf(callee);
+                    const name = memberName(callee);
+                    // A namespace global's members are pure where they're read, above.
+                    const free = root === callee.object && root.type === "Identifier" && !declared.has(root.name);
+                    const namespace = free && ((global(root.name) && pureMembers.has(root.name)) || imported(root.name));
+                    if (!namespace && mutates(name))
+                        fail(callee, `a where predicate calls ${textOf(callee)}, which may change what it reads`);
+                }
+                break;
+            }
+            default: break;
+        }
+        for (const child of children(node))
+            visit(child);
+    };
+    visit(fn);
+};
+/** Whether an expression is a literal: a number, string, boolean or `null`, possibly negated, or a template without expressions. */
+const isLiteral = (node) => node.type === "Literal" ? node.value === null || ["number", "string", "boolean"].includes(typeof node.value)
+    : node.type === "UnaryExpression" ? (node.operator === "-" || node.operator === "+") && isLiteral(node.argument)
+        : node.type === "TemplateLiteral" && node.expressions.length === 0;
+/** Whether an expression is a `Symbol(...)` call: a key, which a predicate indexes resources by. */
+const isSymbolCall = (node) => node.type === "CallExpression" && node.callee.type === "Identifier" && node.callee.name === "Symbol";
+/**
+ * Fails the build where a predicate reads anything but its value, resources, literals, and module-scope constants and
+ * pure functions: `outer`, the names declared by functions around it, are state that may change. Functions it calls
+ * are checked the same, in their own modules, through `link`; without one, only the package's own imports are read.
+ */
+export const checkPredicate = (fn, module, link, outer, packageSpecifier) => {
+    const checked = new Set();
+    const check = (node, at, around) => {
+        if (checked.has(node))
+            return;
+        checked.add(node);
+        checkEffects(node, name => !around.has(name) && at.bindings.get(name) === undefined, name => {
+            const kind = at.bindings.get(name)?.kind;
+            return kind === "import" || kind === "importNamespace";
+        });
+        for (const [name, reference] of freeNames(node)) {
+            if (around.has(name))
+                fail(reference, `a where predicate reads ${name}, which a function around it declares and may change; read only its value, resources and module-scope constants`);
+            const binding = at.bindings.get(name);
+            if (binding === undefined) {
+                if (pureGlobals.has(name))
+                    continue;
+                fail(reference, `a where predicate reads the global ${name}, which may change; read only its value, resources and module-scope constants`);
+            }
+            else
+                definition(reference, name, binding, at);
+        }
+    };
+    const definition = (reference, name, binding, at) => {
+        switch (binding.kind) {
+            case "const": {
+                const { init } = binding;
+                if (isLiteral(init) || isSymbolCall(init))
+                    return;
+                if (init.type === "ArrowFunctionExpression" || init.type === "FunctionExpression") {
+                    if (init.async || init.generator)
+                        fail(reference, `a where predicate calls ${name}, which isn't a plain function`);
+                    return void within(reference, frameIn(at, name), () => check(init, at, new Set()));
+                }
+                return fail(reference, `a where predicate reads ${name}, which holds values that may change; read only its value, resources and module-scope constants`);
+            }
+            case "function": {
+                const { node } = binding;
+                if (!isNamed(node))
+                    return fail(reference, `a where predicate calls ${name}, which the build can't read`);
+                return void within(reference, frameIn(at, name), () => check(node, at, new Set()));
+            }
+            case "import":
+            case "importNamespace": {
+                if (link === null) {
+                    if (packageSpecifier(binding.specifier))
+                        return;
+                    return fail(reference, `a where predicate reads ${name}, imported from a module this build doesn't read`);
+                }
+                const resolved = resolveBinding(link, at, name, binding);
+                if (resolved.kind === "namespace" || (resolved.kind === "binding" && link.packages.packagePathOf(resolved.module.file)?.startsWith("interface/") === true)) {
+                    // The package's own namespaces and functions are fixed.
+                    if (resolved.kind === "namespace" ? link.packages.packagePathOf(resolved.file)?.startsWith("interface/") === true : true)
+                        return;
+                    return fail(reference, `a where predicate reads the namespace ${name}, whose members the build doesn't check`);
+                }
+                if (resolved.kind === "error")
+                    return fail(reference, `a where predicate reads ${name}, which the build can't read: ${resolved.error}`);
+                return void within(reference, frameIn(resolved.module, resolved.name), () => definition(reference, resolved.name, resolved.binding, resolved.module));
+            }
+            case "other":
+                return fail(reference, `a where predicate reads ${name}, a module variable that may change; read only its value, resources and module-scope constants`);
+        }
+    };
+    check(fn, module, outer);
+};
+/** The predicates of a declaration's `components.where`: each value that's a function in place or a module function by name. */
+export const predicatesOf = (declaration, module) => {
+    const components = declaration.properties.find(property => property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.key.name === "components");
+    if (components?.type !== "Property" || components.value.type !== "ObjectExpression")
+        return [];
+    const where = components.value.properties.find(property => property.type === "Property" && !property.computed && property.key.type === "Identifier" && property.key.name === "where");
+    if (where?.type !== "Property" || where.value.type !== "ObjectExpression")
+        return [];
+    const predicates = [];
+    for (const property of where.value.properties) {
+        if (property.type !== "Property")
+            continue;
+        const { value } = property;
+        if (isFunction(value))
+            predicates.push(value);
+        else if (value.type === "Identifier") {
+            const binding = module.bindings.get(value.name);
+            if (binding?.kind === "function" && isNamed(binding.node))
+                predicates.push(binding.node);
+            else if (binding?.kind === "const" && isFunction(binding.init))
+                predicates.push(binding.init);
+        }
+    }
+    return predicates;
+};
+//# sourceMappingURL=predicates.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"predicates.js","sourceRoot":"","sources":["../../../src/implementation/compiler/predicates.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAa,MAAM,WAAW,CAAC;AAEtD,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5C,qHAAqH;AACrH,oHAAoH;AACpH,sGAAsG;AAEtG,0GAA0G;AAC1G,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAE1H,4GAA4G;AAC5G,MAAM,WAAW,GAA6C,IAAI,GAAG,CAAC;IAClE,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC;YACb,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ;YAC5I,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO;YACrI,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO;SAClE,CAAC,CAAC;IACH,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC;YACf,SAAS,EAAE,kBAAkB,EAAE,WAAW,EAAE,kBAAkB,EAAE,WAAW,EAAE,KAAK,EAAE,mBAAmB,EAAE,mBAAmB;YAC5H,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU;SAC9E,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,uJAAuJ;AACvJ,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAE9K,6FAA6F;AAC7F,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAW,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEvH,gFAAgF;AAChF,MAAM,OAAO,GAAG,CAAC,IAAyD,EAA+B,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC;AAE7H,iHAAiH;AACjH,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,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;IAC1B,CAAC;AACL,CAAC,CAAC;AAEF,iGAAiG;AACjG,MAAM,SAAS,GAAG,CAAC,EAAQ,EAA6B,EAAE;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,IAAI,EAAE,CAAC,IAAI,KAAK,yBAAyB,IAAI,EAAE,CAAC,IAAI,KAAK,oBAAoB,IAAI,EAAE,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACjH,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,MAAM;YAAE,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,SAAS,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAgB,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,MAAwB,EAAQ,EAAE;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,IAAI,CAAC,IAAI,EAAE,6DAA6D,CAAC,CAAC;QAC9G,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvI,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IACrB,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,yGAAyG;AACzG,MAAM,UAAU,GAAG,CAAC,IAAsB,EAAiB,EAAE,CACzD,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;IAC1E,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK;QACpH,CAAC,CAAC,IAAI,CAAC;AAEX,4GAA4G;AAC5G,MAAM,MAAM,GAAG,CAAC,IAAU,EAAU,EAAE;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC;QAChE,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;IACjI,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,2FAA2F;AAC3F,MAAM,MAAM,GAAG,CAAC,IAAU,EAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAEnG;;;;;;;GAOG;AACH,MAAM,YAAY,GAAG,CAAC,EAAQ,EAAE,MAAiC,EAAE,QAAmC,EAAQ,EAAE;IAC5G,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,6EAA6E;IAC7E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAU,EAAQ,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,iBAAiB,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;;gBACzI,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxG,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC;IACF,IAAI,CAAC,EAAE,CAAC,CAAC;IACT,IAAI,EAAE,CAAC,IAAI,KAAK,yBAAyB,IAAI,EAAE,CAAC,IAAI,KAAK,oBAAoB,IAAI,EAAE,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACjH,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,MAAM;YAAE,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,SAAS,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAU,EAAW,EAAE;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjH,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,MAAY,EAAQ,EAAE;QACnC,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,MAAM,EAAE,oCAAoC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACpH,OAAO;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC5I,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,kBAAkB,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE,4DAA4D,CAAC,CAAC;YACzG,KAAK,sBAAsB;gBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YACvD,KAAK,kBAAkB;gBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAAC,MAAM;YACvD,KAAK,iBAAiB;gBAAE,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAAC,MAAM;YACtF,KAAK,gBAAgB,CAAC;YAAC,KAAK,gBAAgB;gBAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YACtH,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACtB,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;gBACxB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpF,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAC7C,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;oBAC9B,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBAAE,IAAI,CAAC,IAAI,EAAE,2BAA2B,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;gBAChJ,CAAC;gBACD,MAAM;YACV,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACpB,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;gBACxB,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;oBAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;oBAChC,mEAAmE;oBACnE,MAAM,IAAI,GAAG,IAAI,KAAK,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC9F,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBACrG,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;wBAAE,IAAI,CAAC,MAAM,EAAE,2BAA2B,MAAM,CAAC,MAAM,CAAC,kCAAkC,CAAC,CAAC;gBAC/H,CAAC;gBACD,MAAM;YACV,CAAC;YACD,OAAO,CAAC,CAAC,MAAM;QACnB,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,CAAC;AACd,CAAC,CAAC;AAEF,oIAAoI;AACpI,MAAM,SAAS,GAAG,CAAC,IAAgB,EAAW,EAAE,CAC5C,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC;IAC5G,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC;QAChH,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;AAEvE,oGAAoG;AACpG,MAAM,YAAY,GAAG,CAAC,IAAgB,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;AAEzJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,EAAQ,EAAE,MAAc,EAAE,IAAiB,EAAE,KAA0B,EAAE,gBAAgD,EAAQ,EAAE;IAC9J,MAAM,OAAO,GAAG,IAAI,GAAG,EAAQ,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,EAAU,EAAE,MAA2B,EAAQ,EAAE;QACxE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,IAAI,CAAC,EAAE;YACxF,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;YACzC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,iBAAiB,CAAC;QAC3D,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,SAAS,EAAE,2BAA2B,IAAI,iHAAiH,CAAC,CAAC;YACxL,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACpC,IAAI,CAAC,SAAS,EAAE,sCAAsC,IAAI,+EAA+E,CAAC,CAAC;YAC/I,CAAC;;gBACI,UAAU,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAClD,CAAC;IACL,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,SAAe,EAAE,IAAY,EAAE,OAAsB,EAAE,EAAU,EAAQ,EAAE;QAC3F,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACX,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;gBACzB,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC;oBAAE,OAAO;gBAClD,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;oBAChF,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS;wBAAE,IAAI,CAAC,SAAS,EAAE,2BAA2B,IAAI,gCAAgC,CAAC,CAAC;oBACnH,OAAO,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBACvF,CAAC;gBACD,OAAO,IAAI,CAAC,SAAS,EAAE,2BAA2B,IAAI,iGAAiG,CAAC,CAAC;YAC7J,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBACd,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;gBACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC,SAAS,EAAE,2BAA2B,IAAI,8BAA8B,CAAC,CAAC;gBAC1G,OAAO,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,QAAQ,CAAC;YAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACpC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAChB,IAAI,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC;wBAAE,OAAO;oBAChD,OAAO,IAAI,CAAC,SAAS,EAAE,2BAA2B,IAAI,kDAAkD,CAAC,CAAC;gBAC9G,CAAC;gBACD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACzD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;oBACzJ,wDAAwD;oBACxD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI;wBAAE,OAAO;oBACjI,OAAO,IAAI,CAAC,SAAS,EAAE,yCAAyC,IAAI,yCAAyC,CAAC,CAAC;gBACnH,CAAC;gBACD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,IAAI,CAAC,SAAS,EAAE,2BAA2B,IAAI,iCAAiC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;gBACxI,OAAO,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAC1J,CAAC;YACD,KAAK,OAAO;gBACR,OAAO,IAAI,CAAC,SAAS,EAAE,2BAA2B,IAAI,gGAAgG,CAAC,CAAC;QAChK,CAAC;IACL,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF,gIAAgI;AAChI,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,WAA6B,EAAE,MAAc,EAAmB,EAAE;IAC3F,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,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,YAAY,CAAC,CAAC;IAC3L,IAAI,UAAU,EAAE,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,EAAE,CAAC;IAC/F,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,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,OAAO,CAAC,CAAC;IACtL,IAAI,KAAK,EAAE,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,EAAE,CAAC;IACrF,MAAM,UAAU,GAAW,EAAE,CAAC;IAC9B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QAC3C,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;QAC3B,IAAI,UAAU,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aACzC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,OAAO,EAAE,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;iBACpF,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClG,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { Expression, Statement } from './ir.js';
+import { type Out } from './out.js';
+import type { Unit } from './unit.js';
+/** A number as JS source that reads back as the same f64. */
+export declare const printNumber: (value: number) => string;
+export declare const localName: (unit: Unit, local: number) => string;
+/** Prints an expression. `observed` converts boolean column reads. */
+export declare const printExpression: (unit: Unit, expression: Expression, observed: boolean) => string;
+type Labels = ReadonlyMap<number, "block" | "loop">;
+/** Prints statements as JS. */
+export declare const printStatements: (unit: Unit, statements: Out | readonly Statement[], labels?: Labels) => string;
+export {};

package/dist/implementation/compiler/print.js

@@ -0,0 +1,116 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+import { blockShift, chunkShift } from '../world/kernel.js';
+import { resolve } from './out.js';
+import { rowLabel } from './statement.js';
+import { presence } from './columns.js';
+/** A number as JS source that reads back as the same f64. */
+export const printNumber = (value) => Number.isNaN(value) ? "NaN" : value === Infinity ? "Infinity" : Object.is(value, -0) ? "(-0)" : value < 0 ? `(${String(value)})` : String(value);
+const printPath = (path) => path.map(item => `[${JSON.stringify(item)}]`).join("");
+/** The presence of the optional component the key at `key` names. */
+const presenceOf = (unit, key) => presence(unit, unit.keys[key] ?? "");
+export const localName = (unit, local) => `${unit.names.get(local) ?? "t"}_${local}`;
+/** Prints an expression. `observed` converts boolean column reads. */
+export const printExpression = (unit, expression, observed) => {
+    const print = (item) => printExpression(unit, item, observed);
+    switch (expression.kind) {
+        case "number": return printNumber(expression.value);
+        case "boolean": return String(expression.value);
+        case "column": {
+            const column = expression.column;
+            // In the loop for archetypes without every optional component, theirs read undefined without a load.
+            if (unit.presentAs === false && unit.optionalColumns.has(column))
+                return "undefined";
+            // An optional component's column is empty in an archetype without it, where it reads undefined.
+            const read = observed
+                ? (unit.booleans.add(column), `(b${column} ? c${column}[x${column}] !== 0 : c${column}[x${column}])`)
+                : `c${column}[x${column}]`;
+            const key = unit.optionalColumns.get(column);
+            return key !== undefined && observed ? `(${print(presenceOf(unit, key))} ? ${read} : undefined)` : read;
+        }
+        case "present": return unit.presentAs === null ? `q${expression.column}` : String(unit.presentAs);
+        case "upColumn": {
+            const column = expression.column;
+            const read = `u${column}[p * us${column} + uo${column}]`;
+            if (!observed)
+                return read;
+            unit.upBooleans.add(column);
+            return `(ub${column} ? ${read} !== 0 : ${read})`;
+        }
+        case "resource": return `r${expression.index}${printPath(expression.path)}`;
+        case "args": return `args${printPath(expression.path)}`;
+        case "shared": return `h${expression.index}${printPath(expression.path)}`;
+        case "local": return localName(unit, expression.local);
+        case "unary": return `(${expression.operator}${print(expression.operand)})`;
+        case "binary":
+        case "logical": return `(${print(expression.left)} ${expression.operator} ${print(expression.right)})`;
+        case "conditional": return `(${print(expression.test)} ? ${print(expression.consequent)} : ${print(expression.alternate)})`;
+        case "math": return `Math.${expression.name}(${expression.arguments.map(print).join(", ")})`;
+        case "observe": return printExpression(unit, expression.value, true);
+        case "lane": return print(expression.value);
+        // Lookups through indexes read through their reader, `l${lookup}`, and the handles each site holds.
+        case "listLength": return `l${expression.lookup}.length(${localName(unit, expression.list)})`;
+        case "listChanged": return `l${expression.lookup}.changed(${localName(unit, expression.list)})`;
+        case "rowLeaf": return `l${expression.lookup}.leaf(${localName(unit, expression.row)}, ${expression.leaf})`;
+        case "rowEntity": return `l${expression.lookup}.entity(${localName(unit, expression.row)})`;
+        case "rowFound": return `(${localName(unit, expression.row)}.f === 1 ? true : null)`;
+        case "nullish": return expression.value;
+        case "string": return JSON.stringify(expression.value);
+        case "element": return `${print(expression.object)}${expression.optional ? "?." : ""}[${print(expression.index)}]`;
+        case "array": return `[${expression.items.map(print).join(", ")}]`;
+        case "record": return `{ ${expression.fields.map(([name, item]) => `${JSON.stringify(name)}: ${print(item)}`).join(", ")} }`;
+    }
+};
+const printStatement = (unit, statement, labels) => {
+    const value = (item) => printExpression(unit, item, false);
+    const branch = (label) => `${labels.get(label) === "loop" ? "continue" : "break"} label_${label};`;
+    switch (statement.kind) {
+        case "set": {
+            const declare = statement.declare === undefined ? "" : `${statement.declare} `;
+            return `${declare}${localName(unit, statement.local)} = ${printExpression(unit, statement.value, unit.observed.has(statement.local))};`;
+        }
+        case "declare": return `let ${statement.locals.map(item => localName(unit, item)).join(", ")};`;
+        case "store": {
+            const { column } = statement;
+            const store = `c${column}[x${column}] = ${value(statement.value)};`;
+            // Assigning an optional component an entity lacks fails its system, as a body run as written does.
+            const key = unit.optionalColumns.get(column);
+            if (key === undefined)
+                return store;
+            const present = printExpression(unit, presenceOf(unit, key), false);
+            return present === "true" ? store : present === "false" ? `absent(${key});` : `if (${present}) ${store} else absent(${key});`;
+        }
+        case "stamp": {
+            const row = `c${statement.column}[x${statement.column}] = tick;`;
+            return unit.stampedPerCall.has(statement.chunks) ? row : `${row}\nc${statement.blocks}[i >> ${blockShift}] = tick;\nc${statement.chunks}[i >> ${chunkShift}] = tick;`;
+        }
+        case "if": {
+            const alternate = printStatements(unit, statement.alternate, labels);
+            return `if (${value(statement.test)}) {\n${printStatements(unit, statement.consequent, labels)}\n}${alternate === "" ? "" : ` else {\n${alternate}\n}`}`;
+        }
+        case "block":
+            return `label_${statement.label}: {\n${printStatements(unit, statement.body, new Map([...labels, [statement.label, "block"]]))}\n}`;
+        case "loop": {
+            // `for (;;)` repeats where a WASM loop falls off its end, so a trailing branch back is implicit, and otherwise the loop exits.
+            const body = resolve(statement.body);
+            const last = body[body.length - 1];
+            const repeats = last?.kind === "branch" && last.label === statement.label;
+            const inner = new Map([...labels, [statement.label, "loop"]]);
+            const printed = printStatements(unit, repeats ? body.slice(0, -1) : body, inner);
+            return `label_${statement.label}: for (;;) {\n${printed}${repeats ? "" : `\nbreak label_${statement.label};`}\n}`;
+        }
+        case "branch": return branch(statement.label);
+        case "branchIf": return `if (${value(statement.test)}) ${branch(statement.label)}`;
+        case "next": return `continue ${rowLabel};`;
+        case "intrinsic": return printStatements(unit, statement.body, labels);
+        case "lookup": return `const ${localName(unit, statement.local)} = l${statement.lookup}(${value(statement.entity)});`;
+        case "probe": return `l${statement.lookup}.probe(${[statement.probe, localName(unit, statement.list), localName(unit, statement.first), ...statement.values.map(value)].join(", ")});`;
+        case "listRow": return `l${statement.lookup}.row(${localName(unit, statement.row)}, ${localName(unit, statement.list)}, ${value(statement.index)});`;
+        case "spawn": return `const ${localName(unit, statement.local)} = spawn${statement.list}(${statement.values.map(value).join(", ")});`;
+        case "begin": return `commands.begin(${statement.command}, ${value(statement.entity)});`;
+        case "value": return `commands.value(${statement.key}, ${value(statement.value)});`;
+        case "component": return `commands.component(${statement.key});`;
+    }
+};
+/** Prints statements as JS. */
+export const printStatements = (unit, statements, labels = new Map()) => resolve([...statements]).map(statement => printStatement(unit, statement, labels)).join("\n");
+//# sourceMappingURL=print.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../../../src/implementation/compiler/print.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAa,MAAM,oBAAoB,CAAC;AAEvE,OAAO,EAAE,OAAO,EAAY,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAU,EAAE,CACjD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAErJ,MAAM,SAAS,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAEjG,qEAAqE;AACrE,MAAM,UAAU,GAAG,CAAC,IAAU,EAAE,GAAW,EAAc,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;AAEjG,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,KAAa,EAAU,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC;AAE3G,sEAAsE;AACtE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAU,EAAE,UAAsB,EAAE,QAAiB,EAAU,EAAE;IAC7F,MAAM,KAAK,GAAG,CAAC,IAAgB,EAAU,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClF,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,QAAQ,CAAC,CAAC,OAAO,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,SAAS,CAAC,CAAC,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YACjC,qGAAqG;YACrG,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,WAAW,CAAC;YACrF,gGAAgG;YAChG,MAAM,IAAI,GAAG,QAAQ;gBACjB,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,MAAM,OAAO,MAAM,KAAK,MAAM,cAAc,MAAM,KAAK,MAAM,IAAI,CAAC;gBACrG,CAAC,CAAC,IAAI,MAAM,KAAK,MAAM,GAAG,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC7C,OAAO,GAAG,KAAK,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5G,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClG,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YACjC,MAAM,IAAI,GAAG,IAAI,MAAM,UAAU,MAAM,QAAQ,MAAM,GAAG,CAAC;YACzD,IAAI,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAC3B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5B,OAAO,MAAM,MAAM,MAAM,IAAI,YAAY,IAAI,GAAG,CAAC;QACrD,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5E,KAAK,MAAM,CAAC,CAAC,OAAO,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,KAAK,OAAO,CAAC,CAAC,OAAO,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC;QAC5E,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;QACtH,KAAK,aAAa,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC;QAC5H,KAAK,MAAM,CAAC,CAAC,OAAO,QAAQ,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC7F,KAAK,SAAS,CAAC,CAAC,OAAO,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrE,KAAK,MAAM,CAAC,CAAC,OAAO,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC5C,oGAAoG;QACpG,KAAK,YAAY,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,MAAM,WAAW,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9F,KAAK,aAAa,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,MAAM,YAAY,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC;QAChG,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,MAAM,SAAS,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,IAAI,GAAG,CAAC;QAC5G,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,MAAM,WAAW,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5F,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,yBAAyB,CAAC;QACrF,KAAK,SAAS,CAAC,CAAC,OAAO,UAAU,CAAC,KAAK,CAAC;QACxC,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;QACnH,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACnE,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACjI,CAAC;AACL,CAAC,CAAC;AAIF,MAAM,cAAc,GAAG,CAAC,IAAU,EAAE,SAAoB,EAAE,MAAc,EAAU,EAAE;IAChF,MAAM,KAAK,GAAG,CAAC,IAAgB,EAAU,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,UAAU,KAAK,GAAG,CAAC;IACnH,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,OAAO,GAAG,CAAC;YAC/E,OAAO,GAAG,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC;QAC5I,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,OAAO,OAAO,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAChG,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,MAAM,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC;YACpE,mGAAmG;YACnG,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC7C,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACpC,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YACpE,OAAO,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,OAAO,KAAK,KAAK,gBAAgB,GAAG,IAAI,CAAC;QAClI,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAAG,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,WAAW,CAAC;YACjE,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,SAAS,CAAC,MAAM,SAAS,UAAU,eAAe,SAAS,CAAC,MAAM,SAAS,UAAU,WAAW,CAAC;QAC1K,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YACrE,OAAO,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,SAAS,KAAK,EAAE,CAAC;QAC7J,CAAC;QACD,KAAK,OAAO;YACR,OAAO,SAAS,SAAS,CAAC,KAAK,QAAQ,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACxI,KAAK,MAAM,CAAC,CAAC,CAAC;YACV,+HAA+H;YAC/H,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC;YAC1E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,MAAe,CAAC,CAAC,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjF,OAAO,SAAS,SAAS,CAAC,KAAK,iBAAiB,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,SAAS,CAAC,KAAK,GAAG,KAAK,CAAC;QACtH,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9C,KAAK,UAAU,CAAC,CAAC,OAAO,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACnF,KAAK,MAAM,CAAC,CAAC,OAAO,YAAY,QAAQ,GAAG,CAAC;QAC5C,KAAK,WAAW,CAAC,CAAC,OAAO,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvE,KAAK,QAAQ,CAAC,CAAC,OAAO,SAAS,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC;QACtH,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,MAAM,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACvL,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,MAAM,QAAQ,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;QACrJ,KAAK,OAAO,CAAC,CAAC,OAAO,SAAS,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,WAAW,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACtI,KAAK,OAAO,CAAC,CAAC,OAAO,kBAAkB,SAAS,CAAC,OAAO,KAAK,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC;QACzF,KAAK,OAAO,CAAC,CAAC,OAAO,kBAAkB,SAAS,CAAC,GAAG,KAAK,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;QACpF,KAAK,WAAW,CAAC,CAAC,OAAO,sBAAsB,SAAS,CAAC,GAAG,IAAI,CAAC;IACrE,CAAC;AACL,CAAC,CAAC;AAEF,+BAA+B;AAC/B,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAU,EAAE,UAAsC,EAAE,SAAiB,IAAI,GAAG,EAAE,EAAU,EAAE,CACtH,OAAO,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+import type { Program } from '../world/kernel.js';
+import type { Statement } from './ir.js';
+/**
+ * Derives a `Program` from the lowered body, or null if it uses what WASM kernels don't support. Locals are renumbered
+ * densely, branch labels become depths counting enclosing blocks and loops, and each lookup call site gets a handle.
+ * A lookup result may only be null-tested or read by a static leaf access; a non-optional access must be under a
+ * guard proving the lookup found its entity, since JS would throw where WASM reads NaN. With `nameOf`, the program
+ * carries each local's name.
+ */
+export declare const toProgram: (statements: readonly Statement[], nameOf?: (local: number) => string, accumulators?: readonly number[], upLocal?: number | null, listed?: boolean) => Program | null;