@adobe/ecs 0.0.0-stage → 0.2.0

package/dist/implementation/compiler/estree.js

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

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

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

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

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

package/dist/implementation/compiler/expression.js

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

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

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

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

@@ -0,0 +1,27 @@
+/** Where an inlined function failed: the function, and the failing line in its file. */
+export type Frame = {
+    readonly name: string;
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+};
+/**
+ * A build error at a source offset in the module being transformed. When it is inside functions inlined from other
+ * modules, `position` is the call in that module and `frames` lead to the failure, innermost first.
+ */
+export type Failure = {
+    readonly message: string;
+    readonly position: number;
+    readonly frames: readonly Frame[];
+};
+/** Aborts compiling the current module; `transformKernels` returns it as a `Failure`. */
+export declare const fail: (node: {
+    readonly start: number;
+}, message: string) => never;
+export declare const failureOf: (error: unknown) => Failure | undefined;
+/** Runs `compile`; a failure inside it moves to `node`, recording `frame` for where it was. */
+export declare const within: <T>(node: {
+    readonly start: number;
+}, frame: (position: number) => Frame, compile: () => T) => T;
+/** A failure's message followed by its frames, as a stack trace shows them. */
+export declare const describeFailure: (failure: Failure) => string;

package/dist/implementation/compiler/failure.js

@@ -0,0 +1,24 @@
+const failures = new WeakMap();
+const abort = (failure) => {
+    const error = new Error(failure.message);
+    failures.set(error, failure);
+    throw error;
+};
+/** Aborts compiling the current module; `transformKernels` returns it as a `Failure`. */
+export const fail = (node, message) => abort({ message, position: node.start, frames: [] });
+export const failureOf = (error) => typeof error === "object" && error !== null ? failures.get(error) : undefined;
+/** Runs `compile`; a failure inside it moves to `node`, recording `frame` for where it was. */
+export const within = (node, frame, compile) => {
+    try {
+        return compile();
+    }
+    catch (error) {
+        const failure = failureOf(error);
+        if (failure === undefined)
+            throw error;
+        return abort({ message: failure.message, position: node.start, frames: [...failure.frames, frame(failure.position)] });
+    }
+};
+/** A failure's message followed by its frames, as a stack trace shows them. */
+export const describeFailure = (failure) => [failure.message, ...failure.frames.map(frame => `    at ${frame.name} (${frame.file}:${frame.line}:${frame.column})`)].join("\n");
+//# sourceMappingURL=failure.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"failure.js","sourceRoot":"","sources":["../../../src/implementation/compiler/failure.ts"],"names":[],"mappings":"AAUA,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAmB,CAAC;AAEhD,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAS,EAAE;IACtC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7B,MAAM,KAAK,CAAC;AAChB,CAAC,CAAC;AAEF,yFAAyF;AACzF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAgC,EAAE,OAAe,EAAS,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;AAEvI,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAuB,EAAE,CAC7D,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAElF,+FAA+F;AAC/F,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,IAAgC,EAAE,KAAkC,EAAE,OAAgB,EAAK,EAAE;IACnH,IAAI,CAAC;QACD,OAAO,OAAO,EAAE,CAAC;IACrB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,KAAK,CAAC;QACvC,OAAO,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3H,CAAC;AACL,CAAC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAU,EAAE,CACxD,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC"}

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

@@ -0,0 +1,43 @@
+import type { Program } from 'estree';
+import type { PackageCopies } from './package-copies.js';
+import { type SourceMap } from './source-map.js';
+export type Parse = (code: string) => Program;
+/** Code with its top-level symbols identified, and its map back to the code given. */
+export type Identified = {
+    readonly code: string;
+    readonly map: SourceMap;
+};
+/** What a directory's package.json gives: undefined without one, null for one without a name. */
+export type PackageOf = (directory: string) => {
+    readonly name: string;
+    readonly version?: string;
+} | null | undefined;
+/**
+ * A module's id: the name and version of the nearest package.json above it that has a name, and its path in that
+ * package, else for a dependency its package name and subpath; null outside both. Without a query and with forward
+ * slashes, so it's the same on every machine and names no directory outside its package. Copies of one package at
+ * different versions have different ids.
+ */
+export declare const moduleIdOf: (file: string, packageOf: PackageOf) => string | null;
+/** How messages name a module: its package's name and its path there, as its id has them, else the file's name. */
+export declare const moduleLabelOf: (file: string, packageOf: PackageOf) => string;
+/** The package's namespaces whose constructors declare systems, rules, finalizers and indexes. */
+export type Namespace = "System" | "Rule" | "Finalizer" | "Index";
+/** Whether an import specifier, resolved from the module being transformed, is a module of the package exporting `namespace`. */
+export type ResolveNamespace = (source: string, namespace: Namespace) => Promise<boolean>;
+/**
+ * Gives each top-level `Symbol(...)` declaration an id, its module's id and its binding (`src/keys.ts#position`, or
+ * `#default` for `export default Symbol(...)`): `const`, `let` and `var`, each of several declarators, and their
+ * exports. The symbol is still the one `Symbol(...)` makes; a function appended to the module records its id in the
+ * global map the registry reads, so the code imports nothing. Symbols made anywhere else, such as in functions, blocks,
+ * TypeScript namespaces, class fields or CommonJS exports, have no id, nor does any symbol where `Symbol` or
+ * `globalThis` isn't the global.
+ *
+ * The same bindings initialized by a constructor call of the package's `System`, `Rule`, `Finalizer` or `Index`, imported under
+ * any local name, give the call's declaration their id, which the constructor takes from the map: a kernel's call as
+ * the kernel transform wrapped it too. Returns null when nothing is identified, and a failure when something is but the
+ * module has no id (`moduleIdOf`). `packages` tells the kernel transform's hook from other imports.
+ */
+export declare const identify: (code: string, id: string | null, parse: Parse, resolve: ResolveNamespace, packages: PackageCopies) => Promise<Identified | {
+    readonly failure: string;
+} | null>;

package/dist/implementation/compiler/identify.js

@@ -0,0 +1,207 @@
+import { idsName, labelsName } from '../../interface/registry/ids.js';
+import { children, isFunction } from './estree.js';
+import { moduleScope } from './module-scope.js';
+import * as posix from './posix.js';
+import { insertInto } from './source-map.js';
+/** A dependency's path inside the last `node_modules`: its package name and subpath. */
+const dependency = /\/node_modules\/(?!.*\/node_modules\/)(.+)$/;
+/** A module's file without a query, with forward slashes. */
+const pathOf = (file) => (file.split("?")[0] ?? file).replace(/\\/g, "/");
+/** The nearest package.json above a module that has a name, with the module's path in it. */
+const packageAbove = (file, packageOf) => {
+    const path = pathOf(file);
+    for (let directory = posix.dirname(path);; directory = posix.dirname(directory)) {
+        const found = packageOf(directory);
+        if (found !== null && found !== undefined)
+            return { ...found, path: posix.relative(directory, path) };
+        // A filesystem's root, `/` or a drive's `C:`, whose parent posix paths give as itself or as `.`.
+        const parent = posix.dirname(directory);
+        if (parent === directory || parent === ".")
+            return null;
+    }
+};
+/**
+ * A module's id: the name and version of the nearest package.json above it that has a name, and its path in that
+ * package, else for a dependency its package name and subpath; null outside both. Without a query and with forward
+ * slashes, so it's the same on every machine and names no directory outside its package. Copies of one package at
+ * different versions have different ids.
+ */
+export const moduleIdOf = (file, packageOf) => {
+    const found = packageAbove(file, packageOf);
+    if (found !== null)
+        return `${found.name}${found.version === undefined ? "" : `@${found.version}`}/${found.path}`;
+    return dependency.exec(pathOf(file))?.[1] ?? null;
+};
+/** How messages name a module: its package's name and its path there, as its id has them, else the file's name. */
+export const moduleLabelOf = (file, packageOf) => {
+    const found = packageAbove(file, packageOf);
+    return found !== null ? `${found.name}/${found.path}` : dependency.exec(pathOf(file))?.[1] ?? posix.basename(pathOf(file));
+};
+/** Whether a binding named `name` is declared in the module's scope: at top level, or as a `var` in any of its blocks. */
+const declaresInModule = (program, name) => {
+    if (moduleScope(program).has(name))
+        return true;
+    const hoists = (node) => {
+        if (isFunction(node))
+            return false;
+        if (node.type === "VariableDeclaration" && node.kind === "var" && node.declarations.some(declarator => declarator.id.type === "Identifier" && declarator.id.name === name))
+            return true;
+        return children(node).some(hoists);
+    };
+    return hoists(program);
+};
+/** A call of the global `Symbol`. */
+const isSymbolCall = (node) => node?.type === "CallExpression" && node.callee.type === "Identifier" && node.callee.name === "Symbol";
+const constructors = {
+    System: new Set(["create", "render"]),
+    Rule: new Set(["create"]),
+    Finalizer: new Set(["create", "changes"]),
+    Index: new Set(["create"]),
+};
+const isNamespace = (name) => name === "System" || name === "Rule" || name === "Finalizer" || name === "Index";
+/** The module's local names of the package's namespaces, and of the kernel transform's `attachKernel`. */
+const localsOf = async (program, resolve, packages) => {
+    const namespaces = new Map();
+    const attach = new Set();
+    for (const statement of program.body) {
+        if (statement.type !== "ImportDeclaration" || typeof statement.source.value !== "string")
+            continue;
+        for (const specifier of statement.specifiers) {
+            if (specifier.type !== "ImportSpecifier" || specifier.imported.type !== "Identifier")
+                continue;
+            const imported = specifier.imported.name;
+            if (imported === "attachKernel" && packages.isAttachKernelModule(statement.source.value))
+                attach.add(specifier.local.name);
+            else if (isNamespace(imported) && await resolve(statement.source.value, imported))
+                namespaces.set(specifier.local.name, imported);
+        }
+    }
+    return { namespaces, attach };
+};
+/**
+ * The declaration a constructor call of a namespace passes, the call possibly wrapped by the kernel transform as
+ * `attachKernel$(call, description)`; undefined for any other expression.
+ */
+const declarationOf = (node, namespaces, attach) => {
+    if (node?.type !== "CallExpression")
+        return undefined;
+    const { callee } = node;
+    if (callee.type === "Identifier" && attach.has(callee.name)) {
+        const [call] = node.arguments;
+        return call === undefined || call.type === "SpreadElement" ? undefined : declarationOf(call, namespaces, new Set());
+    }
+    if (callee.type !== "MemberExpression" || callee.computed || callee.object.type !== "Identifier" || callee.property.type !== "Identifier")
+        return undefined;
+    const namespace = namespaces.get(callee.object.name);
+    if (namespace === undefined || !constructors[namespace].has(callee.property.name))
+        return undefined;
+    const [declaration] = node.arguments;
+    return declaration === undefined || declaration.type === "SpreadElement" ? undefined : declaration;
+};
+const uniqueName = (code, base) => {
+    let name = base;
+    for (let n = 1; code.includes(name); n++)
+        name = `${base}${n}`;
+    return name;
+};
+/** Whether code may hold a constructor call worth resolving its imports for. */
+const mayDeclare = /\.(create|render|changes)\(/;
+/**
+ * Gives each top-level `Symbol(...)` declaration an id, its module's id and its binding (`src/keys.ts#position`, or
+ * `#default` for `export default Symbol(...)`): `const`, `let` and `var`, each of several declarators, and their
+ * exports. The symbol is still the one `Symbol(...)` makes; a function appended to the module records its id in the
+ * global map the registry reads, so the code imports nothing. Symbols made anywhere else, such as in functions, blocks,
+ * TypeScript namespaces, class fields or CommonJS exports, have no id, nor does any symbol where `Symbol` or
+ * `globalThis` isn't the global.
+ *
+ * The same bindings initialized by a constructor call of the package's `System`, `Rule`, `Finalizer` or `Index`, imported under
+ * any local name, give the call's declaration their id, which the constructor takes from the map: a kernel's call as
+ * the kernel transform wrapped it too. Returns null when nothing is identified, and a failure when something is but the
+ * module has no id (`moduleIdOf`). `packages` tells the kernel transform's hook from other imports.
+ */
+export const identify = async (code, id, parse, resolve, packages) => {
+    const symbols = code.includes("Symbol(");
+    const items = mayDeclare.test(code);
+    if (!symbols && !items)
+        return null;
+    const program = parse(code);
+    const { namespaces, attach } = items ? await localsOf(program, resolve, packages) : { namespaces: new Map(), attach: new Set() };
+    const found = [];
+    const consider = (init, binding) => {
+        if (isSymbolCall(init))
+            found.push({ value: init, binding });
+        else if (namespaces.size > 0) {
+            const declaration = declarationOf(init, namespaces, attach);
+            if (declaration !== undefined)
+                found.push({ value: declaration, binding });
+        }
+    };
+    for (const statement of program.body) {
+        const declaration = statement.type === "ExportNamedDeclaration" ? statement.declaration : statement;
+        if (declaration?.type === "VariableDeclaration") {
+            for (const declarator of declaration.declarations)
+                if (declarator.id.type === "Identifier")
+                    consider(declarator.init, declarator.id.name);
+        }
+        else if (statement.type === "ExportDefaultDeclaration" && statement.declaration.type === "CallExpression") {
+            consider(statement.declaration, "default");
+        }
+    }
+    const labeled = namespaces.size > 0 ? labelsOf(program, namespaces, attach, new Set(found.map(({ value }) => value))) : [];
+    if ((found.length === 0 && labeled.length === 0) || declaresInModule(program, "Symbol") || declaresInModule(program, "globalThis"))
+        return null;
+    const insertions = [];
+    if (found.length > 0) {
+        if (id === null)
+            return { failure: "this module's keys and systems need ids, which name its package, but no package.json above it gives a name: give its package one" };
+        const identifier = uniqueName(code, "identify$");
+        for (const { value, binding } of found) {
+            insertions.push({ at: value.start, text: `${identifier}(` }, { at: value.end, text: `, ${JSON.stringify(`${id}#${binding}`)})` });
+        }
+        const ids = JSON.stringify(idsName);
+        insertions.push({ at: code.length, text: `\nfunction ${identifier}(value, id) { const ids = Symbol.for(${ids}); (globalThis[ids] || (globalThis[ids] = new Map())).set(value, id); return value; }\n` });
+    }
+    if (labeled.length > 0) {
+        const identifier = uniqueName(code, "label$");
+        for (const { value, label } of labeled)
+            insertions.push({ at: value.start, text: `${identifier}(` }, { at: value.end, text: `, ${JSON.stringify(label)})` });
+        const labels = JSON.stringify(labelsName);
+        // A label already given, as an internal factory gives its own, stands.
+        insertions.push({ at: code.length, text: `\nfunction ${identifier}(value, label) { const labels = Symbol.for(${labels}); const map = globalThis[labels] || (globalThis[labels] = new WeakMap()); if (!map.has(value)) map.set(value, label); return value; }\n` });
+    }
+    return insertInto(code, insertions, id ?? "");
+};
+/** The name a node gives what's declared in it: a variable's, a function's, a property's or a method's. */
+const nameIn = (node) => {
+    switch (node.type) {
+        case "VariableDeclarator": return node.id.type === "Identifier" ? node.id.name : null;
+        case "FunctionDeclaration":
+        case "FunctionExpression": return node.id?.name ?? null;
+        case "Property":
+        case "MethodDefinition":
+        case "PropertyDefinition": return !node.computed && node.key.type === "Identifier" ? node.key.name : null;
+        case "AssignmentExpression": return node.left.type === "Identifier" ? node.left.name : null;
+        default: return null;
+    }
+};
+/**
+ * The declarations of constructor calls that `identified` leaves out, each with a label: the name of the nearest
+ * variable, function, property or method it's made in, as `mover` for one made in `const mover = (speed) => ...`.
+ */
+const labelsOf = (program, namespaces, attach, identified) => {
+    const labeled = [];
+    const visit = (node, names) => {
+        const declaration = declarationOf(node, namespaces, attach);
+        const label = names.at(-1);
+        // Calls in its arguments are labeled too, by the names nearest them.
+        if (declaration !== undefined && !identified.has(declaration) && label !== undefined)
+            labeled.push({ value: declaration, label });
+        const name = nameIn(node);
+        const inner = name === null ? names : [...names, name];
+        for (const child of children(node))
+            visit(child, inner);
+    };
+    visit(program, []);
+    return labeled;
+};
+//# sourceMappingURL=identify.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"identify.js","sourceRoot":"","sources":["../../../src/implementation/compiler/identify.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,EAAE,UAAU,EAAkC,MAAM,iBAAiB,CAAC;AAO7E,wFAAwF;AACxF,MAAM,UAAU,GAAG,6CAA6C,CAAC;AAKjE,6DAA6D;AAC7D,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAE1F,6FAA6F;AAC7F,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,SAAoB,EAAsF,EAAE;IAC5I,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,KAAK,IAAI,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAI,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/E,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QACtG,iGAAiG;QACjG,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;IAC5D,CAAC;AACL,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,SAAoB,EAAiB,EAAE;IAC5E,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;IAClH,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACtD,CAAC,CAAC;AAEF,mHAAmH;AACnH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,SAAoB,EAAU,EAAE;IACxE,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC5C,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/H,CAAC,CAAC;AAEF,0HAA0H;AAC1H,MAAM,gBAAgB,GAAG,CAAC,OAAgB,EAAE,IAAY,EAAW,EAAE;IACjE,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,MAAM,GAAG,CAAC,IAAU,EAAW,EAAE;QACnC,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACxL,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;AAC3B,CAAC,CAAC;AAEF,qCAAqC;AACrC,MAAM,YAAY,GAAG,CAAC,IAAmC,EAAsB,EAAE,CAC7E,IAAI,EAAE,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;AAK1G,MAAM,YAAY,GAAuD;IACrE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACrC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzB,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACzC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;CAC7B,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAqB,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,OAAO,CAAC;AAK1I,0GAA0G;AAC1G,MAAM,QAAQ,GAAG,KAAK,EAAE,OAAgB,EAAE,OAAyB,EAAE,QAAuB,EAA0G,EAAE;IACpM,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,IAAI,OAAO,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ;YAAE,SAAS;QACnG,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;YAC3C,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS;YAC/F,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;YACzC,IAAI,QAAQ,KAAK,cAAc,IAAI,QAAQ,CAAC,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;iBACtH,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,MAAM,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtI,CAAC;IACL,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,aAAa,GAAG,CAAC,IAA6B,EAAE,UAA0C,EAAE,MAA2B,EAA0B,EAAE;IACrJ,IAAI,IAAI,EAAE,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IACtD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QAC9B,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAC5J,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACpG,MAAM,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACrC,OAAO,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC;AACvG,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE;IACtD,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC;IAC/D,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,gFAAgF;AAChF,MAAM,UAAU,GAAG,6BAA6B,CAAC;AAEjD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,EAAE,IAAY,EAAE,EAAiB,EAAE,KAAY,EAAE,OAAyB,EAAE,QAAuB,EAA6D,EAAE;IAC3L,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,GAAG,EAAqB,EAAE,MAAM,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;IAC5J,MAAM,KAAK,GAA+D,EAAE,CAAC;IAC7E,MAAM,QAAQ,GAAG,CAAC,IAAmC,EAAE,OAAe,EAAQ,EAAE;QAC5E,IAAI,YAAY,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;aACxD,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;YAC5D,IAAI,WAAW,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;QACpG,IAAI,WAAW,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC9C,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,YAAY;gBAAE,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;oBAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC9I,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B,IAAI,SAAS,CAAC,WAAW,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC1G,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC/C,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3H,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAChJ,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,EAAE,OAAO,EAAE,kIAAkI,EAAE,CAAC;QACxK,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjD,KAAK,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QACtI,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACpC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,UAAU,wCAAwC,GAAG,yFAAyF,EAAE,CAAC,CAAC;IAC7M,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC9C,KAAK,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,OAAO;YAAE,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QAC7J,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC1C,uEAAuE;QACvE,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,UAAU,8CAA8C,MAAM,0IAA0I,EAAE,CAAC,CAAC;IACvQ,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,2GAA2G;AAC3G,MAAM,MAAM,GAAG,CAAC,IAAU,EAAiB,EAAE;IACzC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,oBAAoB,CAAC,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACtF,KAAK,qBAAqB,CAAC;QAAC,KAAK,oBAAoB,CAAC,CAAC,OAAO,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI,IAAI,CAAC;QACpF,KAAK,UAAU,CAAC;QAAC,KAAK,kBAAkB,CAAC;QAAC,KAAK,oBAAoB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACpJ,KAAK,sBAAsB,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5F,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACzB,CAAC;AACL,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,OAAgB,EAAE,UAA0C,EAAE,MAA2B,EAAE,UAAmC,EAAqE,EAAE;IACnN,MAAM,OAAO,GAA6D,EAAE,CAAC;IAC7E,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,KAAwB,EAAQ,EAAE;QACzD,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,qEAAqE;QACrE,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAClI,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC;QACvD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnB,OAAO,OAAO,CAAC;AACnB,CAAC,CAAC"}

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

@@ -0,0 +1,5 @@
+/**
+ * The build plugin, which every application and library using the ECS builds with.
+ * @module @adobe/ecs/compiler
+ */
+export { Compiler } from './compiler.js';

package/dist/implementation/compiler/index.js

@@ -0,0 +1,7 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+/**
+ * The build plugin, which every application and library using the ECS builds with.
+ * @module @adobe/ecs/compiler
+ */
+export { Compiler } from './compiler.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/implementation/compiler/index.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC"}

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

@@ -0,0 +1,32 @@
+import type { ObjectExpression } from 'estree';
+import type { Used } from './body-access.js';
+/**
+ * Whether the build saw every use the body makes of its row, resources and parent, and of its lookups through an
+ * index: a kernel compiles from them. A lookup by entity whose rows it didn't follow reads all of its `with`.
+ */
+export declare const followsAll: (used: Used, declaration: ObjectExpression) => boolean;
+/**
+ * What a body uses, its row's and each lookup's keys in the order their `with` lists them, so the lists the world
+ * takes follow the declaration as written.
+ */
+export declare const inOrder: (used: Used, declaration: ObjectExpression) => Used;
+/**
+ * The first key a body uses of its row, or of a lookup's rows by entity, that its declaration doesn't require, and
+ * where it's required: types reject it too, but a body the build reads may have none. Null when every one is
+ * required, or a list isn't an array literal the build can read.
+ */
+export declare const unrequired: (used: Used, declaration: ObjectExpression) => {
+    readonly key: string;
+    readonly list: string;
+} | null;
+/**
+ * The source of what the build inferred a body uses, `Access` in `interface/system/resolve.ts`: its keys as the
+ * module-scope bindings the body indexes by, null for a group it couldn't follow, and `at` where the body is.
+ */
+export declare const accessText: (used: Used, at: string, where?: ReadonlySet<string> | null) => string;
+/**
+ * A kernel's declaration as the compiler reads it, from the declaration written and what the build inferred its body
+ * uses: `components` with `read` and `write` from the body beside its `with`, `resources` with `read` and `reduce`,
+ * each lookup with `read`, and `up` with `read`. `used` follows every use (`followsAll`).
+ */
+export declare const resolvedDeclaration: (declaration: ObjectExpression, used: Used) => ObjectExpression;