@adobe/ecs 0.1.0 → 0.2.0

package/dist/implementation/compiler/expression.js

@@ -8,6 +8,7 @@ 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';
@@ -61,6 +62,23 @@ const literal = (node) => {
         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) {
@@ -96,8 +114,14 @@ export const expression = (node, scope, out) => {
             const operator = node.operator;
             if (!isBinary(operator) || node.left.type === "PrivateIdentifier")
                 return fail(node, `${node.operator} is not in the kernel subset`);
-            const left = scalar(expression(node.left, scope, out), node.left, scope);
-            const right = scalar(expression(node.right, scope, out), node.right, scope);
+            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

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

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

@@ -1 +1 @@
-{"version":3,"file":"failure.js","sourceRoot":"","sources":["../../../src/implementation/compiler/failure.ts"],"names":[],"mappings":"AASA,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"}
+{"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

@@ -1,4 +1,5 @@
 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. */
@@ -6,14 +7,20 @@ export type Identified = {
     readonly code: string;
     readonly map: SourceMap;
 };
-/** The name a directory's package.json gives: undefined without one, null for one without a name. */
-export type PackageNameOf = (directory: string) => string | null | undefined;
+/** 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 of the nearest package.json above it that has one and its path in that package, else for a
- * dependency its package name and subpath, else its path from `root`. Without a query and with forward slashes, so it's
- * the same on every machine and names no directory outside its package.
+ * 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, root: string, packageNameOf: PackageNameOf) => string;
+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`. */
@@ -28,6 +35,9 @@ export type ResolveNamespace = (source: string, namespace: Namespace) => Promise
  *
  * 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.
+ * 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, parse: Parse, resolve: ResolveNamespace) => Promise<Identified | null>;
+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

@@ -1,30 +1,41 @@
-import { posix } from 'node:path';
-import { idsName } from '../../interface/registry/ids.js';
+import { idsName, labelsName } from '../../interface/registry/ids.js';
 import { children, isFunction } from './estree.js';
 import { moduleScope } from './module-scope.js';
-import { attachKernelPath } from './paths.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 id: the name of the nearest package.json above it that has one and its path in that package, else for a
- * dependency its package name and subpath, else its path from `root`. Without a query and with forward slashes, so it's
- * the same on every machine and names no directory outside its package.
- */
-export const moduleIdOf = (file, root, packageNameOf) => {
-    const path = (file.split("?")[0] ?? file).replace(/\\/g, "/");
+/** 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 name = packageNameOf(directory);
-        if (typeof name === "string")
-            return `${name}/${posix.relative(directory, path)}`;
-        if (posix.dirname(directory) === directory)
-            break;
+        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;
     }
-    const found = dependency.exec(path)?.[1];
-    if (found !== undefined)
-        return found;
-    const relative = posix.relative(root.replace(/\\/g, "/"), path);
-    return posix.isAbsolute(relative) ? posix.basename(path) : relative;
+};
+/**
+ * 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) => {
@@ -49,7 +60,7 @@ const constructors = {
 };
 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) => {
+const localsOf = async (program, resolve, packages) => {
     const namespaces = new Map();
     const attach = new Set();
     for (const statement of program.body) {
@@ -59,7 +70,7 @@ const localsOf = async (program, resolve) => {
             if (specifier.type !== "ImportSpecifier" || specifier.imported.type !== "Identifier")
                 continue;
             const imported = specifier.imported.name;
-            if (statement.source.value === attachKernelPath && imported === "attachKernel")
+            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);
@@ -105,15 +116,16 @@ const mayDeclare = /\.(create|render|changes)\(/;
  *
  * 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.
+ * 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) => {
+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) : { namespaces: new Map(), attach: new Set() };
+    const { namespaces, attach } = items ? await localsOf(program, resolve, packages) : { namespaces: new Map(), attach: new Set() };
     const found = [];
     const consider = (init, binding) => {
         if (isSymbolCall(init))
@@ -135,15 +147,61 @@ export const identify = async (code, id, parse, resolve) => {
             consider(statement.declaration, "default");
         }
     }
-    if (found.length === 0 || declaresInModule(program, "Symbol") || declaresInModule(program, "globalThis"))
+    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 identifier = uniqueName(code, "identify$");
     const insertions = [];
-    for (const { value, binding } of found) {
-        insertions.push({ at: value.start, text: `${identifier}(` }, { at: value.end, text: `, ${JSON.stringify(`${id}#${binding}`)})` });
+    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` });
     }
-    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` });
-    return insertInto(code, insertions, id);
+    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

@@ -1 +1 @@
-{"version":3,"file":"identify.js","sourceRoot":"","sources":["../../../src/implementation/compiler/identify.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAkC,MAAM,iBAAiB,CAAC;AAO7E,wFAAwF;AACxF,MAAM,UAAU,GAAG,6CAA6C,CAAC;AAKjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,aAA4B,EAAU,EAAE;IAC3F,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9D,KAAK,IAAI,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAI,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QAClF,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,SAAS;YAAE,MAAM;IACtD,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAChE,OAAO,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACxE,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,EAA0G,EAAE;IAC3K,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,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,gBAAgB,IAAI,QAAQ,KAAK,cAAc;gBAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;iBAC5G,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;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,EAAE,IAAY,EAAE,EAAU,EAAE,KAAY,EAAE,OAAyB,EAA8B,EAAE;IAC5H,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,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,GAAG,EAAqB,EAAE,MAAM,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;IAClJ,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,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IACtH,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACjD,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;QACrC,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;IACtI,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,UAAU,wCAAwC,GAAG,yFAAyF,EAAE,CAAC,CAAC;IACzM,OAAO,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;AAC5C,CAAC,CAAC"}
+{"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

@@ -1 +1,5 @@
-export * from './plugin.js';
+/**
+ * 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

@@ -1,2 +1,7 @@
-export * from './plugin.js';
+// © 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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/implementation/compiler/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC"}
+{"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;

package/dist/implementation/compiler/inferred.js

@@ -0,0 +1,185 @@
+/** An object literal's plain-named properties; none for anything else. */
+const fields = (node) => new Map(node?.type !== "ObjectExpression" ? [] :
+    node.properties.flatMap((property) => property.type === "Property" && !property.computed && property.key.type === "Identifier" ? [[property.key.name, property]] : []));
+/**
+ * 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 const followsAll = (used, declaration) => {
+    if (used.query === null || used.resources === null || used.up === null)
+        return false;
+    const lookups = fields(valueOf(fields(declaration).get("lookup")));
+    if (used.lookups === null)
+        return lookups.size === 0;
+    return [...used.lookups].every(([name, read]) => read !== null || !fields(valueOf(lookups.get(name))).has("index"));
+};
+/** `names` in the order `first` lists them, then the rest in the order the body first used them. */
+const ordered = (names, first) => new Set([...first.filter(name => names.has(name)), ...names]);
+/**
+ * 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 const inOrder = (used, declaration) => {
+    const declared = fields(declaration);
+    const components = fields(valueOf(declared.get("components")));
+    const members = [...namesIn(valueOf(components.get("with"))), ...namesIn(valueOf(components.get("optional")))];
+    const lookups = fields(valueOf(declared.get("lookup")));
+    return {
+        ...used,
+        query: used.query === null ? null : { read: ordered(used.query.read, members), write: ordered(used.query.write, members), mutate: ordered(used.query.mutate, members) },
+        lookups: used.lookups === null ? null : new Map([...used.lookups].map(([name, read]) => [name, read === null ? null : ordered(read, namesIn(valueOf(fields(valueOf(lookups.get(name))).get("with"))))])),
+    };
+};
+/**
+ * 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 const unrequired = (used, declaration) => {
+    const declared = fields(declaration);
+    const components = fields(valueOf(declared.get("components")));
+    const literal = (names) => {
+        const lists = names.filter(node => node !== undefined);
+        return lists.every(node => node.type === "ArrayExpression" && node.elements.every(element => element?.type === "Identifier" || element?.type === "MemberExpression"))
+            ? lists.flatMap(node => namesIn(node)) : null;
+    };
+    const members = literal(["with", "optional", "added", "changed"].map(name => valueOf(components.get(name))));
+    if (used.query !== null && members !== null) {
+        const key = [...used.query.read, ...used.query.write].find(name => !members.includes(name));
+        if (key !== undefined)
+            return { key, list: "components with or optional" };
+    }
+    if (used.lookups !== null) {
+        for (const [name, lookup] of fields(valueOf(declared.get("lookup")))) {
+            const parts = fields(valueOf(lookup));
+            const read = used.lookups.get(name);
+            if (parts.has("index") || read === null || read === undefined)
+                continue;
+            const required = literal([valueOf(parts.get("with")), valueOf(parts.get("optional")), valueOf(parts.get("changed"))]);
+            const key = required === null ? undefined : [...read].find(key => !required.includes(key));
+            if (key !== undefined)
+                return { key, list: `lookup.${name}.with or optional` };
+        }
+    }
+    return null;
+};
+const list = (names) => `[${[...names].join(", ")}]`;
+/**
+ * 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 const accessText = (used, at, where) => {
+    const { query, resources, lookups, up } = used;
+    // Keys changed inside their values are listed only when there are some, for registration to judge by kind.
+    const mutate = (keys) => keys.size === 0 ? "" : `, mutate: ${list(keys)}`;
+    const components = query === null ? "null" : `{ read: ${list([...query.read].filter(key => !query.write.has(key)))}, write: ${list(query.write)}${mutate(query.mutate)} }`;
+    const resourceText = resources === null ? "null" : `{ read: ${list(resources.read)}, write: ${list(resources.write)}, reduce: ${list(resources.reduce)}${mutate(resources.mutate)} }`;
+    const lookupText = lookups === null ? "null" : `{ ${[...lookups].map(([name, read]) => `${JSON.stringify(name)}: ${read === null ? "null" : list(read)}`).join(", ")} }`;
+    // The resources `where`'s predicates read, only with predicates.
+    const whereText = where === undefined ? "" : `, where: ${where === null ? "null" : list(where)}`;
+    return `{ components: ${components}, resources: ${resourceText}, lookup: ${lookupText}, up: ${up === null ? "null" : list(up)}${whereText}, at: ${JSON.stringify(at)} }`;
+};
+/** A declaration's parts the build makes, located at `at`, so a failure in them points at the declaration. */
+const made = (at) => {
+    const identifier = (name) => ({ type: "Identifier", name, start: at.start, end: at.end });
+    /** A key as the body named it: a binding, or a namespace's member. */
+    const key = (name) => {
+        const [object, member] = name.split(".");
+        return member === undefined || object === undefined ? identifier(name) : {
+            type: "MemberExpression", object: identifier(object), property: identifier(member), computed: false, optional: false, start: at.start, end: at.end,
+        };
+    };
+    const array = (names) => ({ type: "ArrayExpression", elements: [...names].map(key), start: at.start, end: at.end });
+    const property = (name, value) => ({
+        type: "Property", key: identifier(name), value, kind: "init", computed: false, method: false, shorthand: false, start: at.start, end: at.end,
+    });
+    const object = (properties) => ({ type: "ObjectExpression", properties: [...properties], start: at.start, end: at.end });
+    return { identifier, array, property, object };
+};
+/** `node`'s value when it's a property whose value is an expression. */
+const valueOf = (property) => property !== undefined && property.value.type !== "ObjectPattern" && property.value.type !== "ArrayPattern" && property.value.type !== "RestElement" && property.value.type !== "AssignmentPattern"
+    ? property.value : undefined;
+/** The names an array literal of keys lists: bindings, or namespaces' members (`Shapes.circle`). */
+const namesIn = (node) => node?.type !== "ArrayExpression" ? [] :
+    node.elements.flatMap(element => element?.type === "Identifier" ? [element.name]
+        : element?.type === "MemberExpression" && !element.computed && element.object.type === "Identifier" && element.property.type === "Identifier" ? [`${element.object.name}.${element.property.name}`]
+            : []);
+/**
+ * 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 const resolvedDeclaration = (declaration, used) => {
+    const { array, property, object } = made(declaration);
+    const keep = (from, names) => names.flatMap(name => from.get(name) ?? []);
+    const properties = [];
+    let resourcesDeclared = false;
+    for (const original of declaration.properties) {
+        if (original.type !== "Property" || original.computed || original.key.type !== "Identifier") {
+            properties.push(...original.type === "Property" ? [original] : []);
+            continue;
+        }
+        const value = valueOf(original);
+        const parts = fields(value);
+        switch (original.key.name) {
+            case "components": {
+                if (value?.type !== "ObjectExpression" || used.query === null)
+                    break;
+                const { read, write, mutate } = used.query;
+                // A change inside a value is a write to the compiler, which rejects it for values written whole.
+                const written = new Set([...write, ...mutate]);
+                properties.push(property("components", object([
+                    property("read", array([...read].filter(key => !written.has(key)))),
+                    property("write", array(written)),
+                    ...keep(parts, ["with", "optional", "not", "added", "changed"]),
+                ])));
+                continue;
+            }
+            case "resources": {
+                if (value?.type !== "ObjectExpression" || used.resources === null)
+                    break;
+                resourcesDeclared = true;
+                properties.push(property("resources", resourcesOf(used.resources, keep(parts, ["is", "not", "changed"]), namesIn(valueOf(parts.get("is"))), array, property, object)));
+                continue;
+            }
+            case "lookup": {
+                if (value?.type !== "ObjectExpression" || used.lookups === null)
+                    break;
+                properties.push(property("lookup", object([...parts].map(([name, lookup]) => {
+                    const lookupParts = fields(valueOf(lookup));
+                    // A lookup the body never uses reads nothing; null, one whose rows it didn't follow.
+                    const found = used.lookups?.get(name);
+                    const reads = found === undefined ? [] : found;
+                    if (lookupParts.has("index")) {
+                        // Rows the build didn't follow read everything the index holds, as the world resolves it.
+                        const read = reads === null ? [] : [property("read", array(reads))];
+                        return property(name, object([...read, ...keep(lookupParts, ["index", "changed"])]));
+                    }
+                    const withList = valueOf(lookupParts.get("with"));
+                    // Rows the build didn't follow read everything the lookup requires.
+                    const read = reads === null ? withList ?? array([]) : array(reads);
+                    return property(name, object([property("read", read), ...keep(lookupParts, ["with", "optional", "not", "changed"])]));
+                }))));
+                continue;
+            }
+            case "up": {
+                if (value?.type !== "ObjectExpression" || used.up === null)
+                    break;
+                properties.push(property("up", object([...keep(parts, ["through"]), property("read", array(used.up))])));
+                continue;
+            }
+        }
+        properties.push(original);
+    }
+    if (!resourcesDeclared && used.resources !== null)
+        properties.push(property("resources", resourcesOf(used.resources, [], [], array, property, object)));
+    return object(properties);
+};
+/** A kernel's `resources`: what its body reads, but conditions it reads already, and reduces into; a write is refused by the compiler. */
+const resourcesOf = (resources, declared, is, array, property, object) => object([
+    property("read", array([...resources.read].filter(key => !resources.write.has(key) && !is.includes(key)))),
+    ...resources.write.size === 0 ? [] : [property("write", array(resources.write))],
+    ...resources.reduce.size === 0 ? [] : [property("reduce", array(resources.reduce))],
+    ...declared,
+]);
+//# sourceMappingURL=inferred.js.map