@component-compass/reference-graph 0.1.24 → 0.1.26

package/dist/engine/registry.js

@@ -1,19 +1,21 @@
 import { MODULE_SCOPE } from "../index.js";
 import { parseCompoundExport } from "@component-compass/plugin-core";
-import { resolveRefToDecl, findLocalDeclaration } from "./helper-callers.js";
+import { resolveRefToDecl } from "./helper-callers.js";
+import { findLocalDeclaration } from "./binding.js";
 import { evalKind } from "./component-shape.js";
 import { hasOnlyHostElementNames } from "./host-element.js";
+import { memberOfObjectPath } from "./member-identity.js";
 /** The registry's key shape, shared with the engine's folded-holder map. */
 export function entryKey(filePath, name) {
     return `${filePath}::${name}`;
 }
 /**
  * A narrowed view over an existing registry: `localEntries()` and `hasLocal`
- * answer for `entries` only; `isComponentShaped` (occurrence admission) and
- * `declarationOf` are always delegated untouched — a narrowed-away member is
- * still declared where it was. Both roster narrowings — folded holders and
- * host-element names — construct their result here rather than
- * each rebuilding the name index.
+ * answer for `entries` only; `isComponent`, `declarationOf`,
+ * `isRenderedAsTag` and `isTagged` are always delegated untouched — a narrowed-away member
+ * is still declared where it was. Both roster narrowings — folded holders and
+ * host-element names — construct their result here rather than each
+ * rebuilding the name index.
  */
 function narrowTo(registry, entries) {
     const survivingNames = new Set();
@@ -23,12 +25,17 @@ function narrowTo(registry, entries) {
     }
     return {
         hasLocal: (filePath, exportName) => survivingNames.has(entryKey(filePath, exportName)),
-        isComponentShaped: (filePath, exportName) => registry.isComponentShaped(filePath, exportName),
+        isComponent: (filePath, name, declaration) => registry.isComponent(filePath, name, declaration),
         declarationOf: (filePath, exportName) => registry.declarationOf(filePath, exportName),
+        isRenderedAsTag: (entry) => registry.isRenderedAsTag(entry),
+        isTagged: (declaration) => registry.isTagged(declaration),
         localEntries: () => entries,
     };
 }
-export function buildComponentRegistry(graph) {
+/** `tagged`: every declaration a tag's walk landed on as a function
+ *  (`callable`), as the render site or the identity's tag-position stamp
+ *  resolved it in scope. */
+export function buildComponentRegistry(graph, tagged = []) {
     const consumed = new Set(); // `${file}::${symbol}`
     // 1. Consumption: exports, JSX references, held values.
     for (const [file, fg] of graph.files) {
@@ -51,19 +58,22 @@ export function buildComponentRegistry(graph) {
                 consumed.add(entryKey(target.file, target.symbol));
         }
     }
-    // 2. Membership: consumed AND component-shaped. Among members sharing a
-    //    name, the one `findDeclaration` resolves the name to takes the first
-    //    one's entry, in its list position.
+    // Each tagged declaration is marked; `isTagged` reads the marks.
+    const renderedAsTag = new Set(tagged);
+    const isTagged = (declaration) => declaration !== undefined && renderedAsTag.has(declaration);
+    // 2. Membership: consumed AND component-shaped, or rendered as a tag. Among
+    //    members sharing a name, the one `findDeclaration` resolves the name to
+    //    takes the first one's entry, in its list position.
     const byKey = new Map();
     const entryIndex = new Map();
     const entries = [];
+    const taggedEntries = new Set();
     for (const [file, fg] of graph.files) {
         if (fg.dialect === "vue")
             continue;
         for (const decl of fg.declarations.values()) {
-            if (!consumed.has(entryKey(file, decl.symbol)))
-                continue;
-            if (!isAdmittedShape(decl.value, graph, fg))
+            const symbolKey = entryKey(file, decl.symbol);
+            if (!renderedAsTag.has(decl) && !(consumed.has(symbolKey) && isAdmittedShape(decl.value, graph, fg)))
                 continue;
             const exportName = decl.exportedAs ?? decl.symbol;
             const entry = {
@@ -74,6 +84,8 @@ export function buildComponentRegistry(graph) {
                 loc: decl.loc,
                 isDefault: decl.symbol === "default" || fg.exports.some((e) => e.kind === "default" && "local" in e && e.local === decl.symbol),
             };
+            if (renderedAsTag.has(decl))
+                taggedEntries.add(declarationKey(entry));
             const key = entryKey(file, exportName);
             if (!byKey.has(key)) {
                 entryIndex.set(key, entries.length);
@@ -88,31 +100,33 @@ export function buildComponentRegistry(graph) {
             byKey.set(key, entry);
         }
     }
-    // Shape-only lookup, lazy + cached per (file, name). Used by
-    // the engine's `admit` rule: a JSX usage that resolves to a local
-    // declaration IS that declaration's consumption, so admission re-checks
-    // shape only — re-deriving the engine's own alias/union/dynamic-map/
-    // re-export/wrapper-fold resolution here would duplicate that seam.
-    const shapeCache = new Map();
-    const isComponentShaped = (filePath, exportName) => {
-        const cacheKey = entryKey(filePath, exportName);
-        const cached = shapeCache.get(cacheKey);
+    // A compound name (`NS.Inline`) names a member of a holder declaration: the
+    // holder is looked up by its root and the residual path walked through its
+    // Object props. `parseCompoundExport` is the one reader of the dotted form;
+    // `compoundExportName` the one writer.
+    const judge = (fg, name, declaration) => {
+        const { root, path } = parseCompoundExport(name);
+        const decl = declaration ?? findDeclaration(fg, root);
+        if (decl === undefined)
+            return false;
+        if (path.length > 0)
+            return isAdmittedMember(decl.value, path, graph, fg);
+        return isAdmittedShape(decl.value, graph, fg) || renderedAsTag.has(decl);
+    };
+    // Cached per (file, name) for name-only calls.
+    const judgedByName = new Map();
+    const isComponent = (filePath, name, declaration) => {
+        const fg = graph.files.get(filePath);
+        if (fg === undefined || fg.dialect === "vue")
+            return false;
+        if (declaration !== undefined)
+            return judge(fg, name, declaration);
+        const cacheKey = entryKey(filePath, name);
+        const cached = judgedByName.get(cacheKey);
         if (cached !== undefined)
             return cached;
-        const fg = graph.files.get(filePath);
-        let result = false;
-        if (fg && fg.dialect !== "vue") {
-            // A compound export (`NS.Inline`) names a member of a holder
-            // declaration: look the HOLDER up by its root, then walk the residual
-            // path through its Object props. `parseCompoundExport` is the one
-            // reader of the dotted form; `compoundExportName` the one writer.
-            const { root, path } = parseCompoundExport(exportName);
-            const decl = findDeclaration(fg, root);
-            result =
-                decl !== undefined &&
-                    (path.length === 0 ? isAdmittedShape(decl.value, graph, fg) : isAdmittedMember(decl.value, path, graph, fg));
-        }
-        shapeCache.set(cacheKey, result);
+        const result = judge(fg, name, undefined);
+        judgedByName.set(cacheKey, result);
         return result;
     };
     const declarationOf = (filePath, exportName) => {
@@ -129,18 +143,26 @@ export function buildComponentRegistry(graph) {
     };
     return {
         hasLocal: (filePath, exportName) => byKey.has(entryKey(filePath, exportName)),
-        isComponentShaped,
+        isComponent,
         declarationOf,
+        isRenderedAsTag: (entry) => taggedEntries.has(declarationKey(entry)),
+        isTagged,
         localEntries: () => entries,
     };
 }
+/** One declaration's key: its file, symbol and position. */
+function declarationKey(entry) {
+    return `${entryKey(entry.filePath, entry.symbol)}@${entry.loc.line}:${entry.loc.column}`;
+}
 /**
  * THE narrowing seam: the roster registry after folded holders are
  * removed. `resolve()` computes `folded` from the ONE fold it already runs
- * per call-valued member; this function never folds. A
+ * per call-valued member; this function never folds. A folded holder a tag
+ * rendered as a function (`isRenderedAsTag`) is kept: the tag credits the
+ * holder itself, and it hands nothing to its target. Any other
  * folded holder is absent from `localEntries()` and `hasLocal` says no for
- * its symbol and its export name; `isComponentShaped` (occurrence admission)
- * is untouched, since a fold never lands an occurrence on a folded holder.
+ * its symbol and its export name; `isComponent` (the component judge) is
+ * untouched.
  * A folded DEFAULT holder hands `isDefault` to its same-file target.
  * The narrowed `hasLocal` answers only for names of surviving entries, so a
  * name the base registry knew only through its de-duplicated `byKey` (never
@@ -155,7 +177,7 @@ export function excludeFoldedHolders(registry, folded) {
     const survivors = [];
     for (const entry of registry.localEntries()) {
         const holder = folded.get(entryKey(entry.filePath, entry.symbol));
-        if (holder === undefined) {
+        if (holder === undefined || registry.isRenderedAsTag(entry)) {
             survivors.push(entry);
             continue;
         }
@@ -185,7 +207,7 @@ export function excludeFoldedHolders(registry, folded) {
  * is exempt, and that inheritance happens in the fold narrowing.
  *
  * The naming rule and its exemptions live in `hasOnlyHostElementNames`,
- * shared with owner classification. `isComponentShaped` is untouched: JSX
+ * shared with owner classification. `isComponent` is untouched: JSX
  * cannot render a bare lowercase name, and a diagnostic is the residual
  * guard for any other path that lands an occurrence on one.
  */
@@ -203,7 +225,7 @@ export function excludeHostElementNames(registry, graph) {
  * `export const Sidebar = { Root, Branch, Leaf }` rendered as
  * `<Sidebar.Root/>`. `evalKind` itself stays pure (an `Object` is always
  * "other" there); this widening lives ONLY at the registry boundary — the
- * one place shape gets turned into an admission/membership decision.
+ * one place shape gets turned into the judge's and membership's decision.
  */
 function isAdmittedShape(value, graph, fg) {
     if (evalKind(value, graph, fg) === "component")
@@ -214,21 +236,14 @@ function isAdmittedShape(value, graph, fg) {
 }
 /**
  * The member a compound export names. Walk `path` through nested
- * `Object` props from the holder's value; the terminal value must be
- * admitted-shaped (a component, or itself a component namespace). Any step
- * that is not an `Object` prop, or a missing prop, is not a member.
+ * `Object` props from the holder's value (`memberOfObjectPath`); the terminal
+ * value must be admitted-shaped (a component, or itself a component
+ * namespace). Any step that is not an `Object` prop, or a missing prop, is
+ * not a member.
  */
 function isAdmittedMember(holder, path, graph, fg) {
-    let cur = holder;
-    for (const segment of path) {
-        if (cur.kind !== "Object")
-            return false;
-        const next = cur.props[segment];
-        if (next === undefined)
-            return false;
-        cur = next;
-    }
-    return isAdmittedShape(cur, graph, fg);
+    const member = memberOfObjectPath(holder, path);
+    return member !== undefined && isAdmittedShape(member, graph, fg);
 }
 /**
  * THE identity-name → declaration lookup, in order: a module-scope declaration
@@ -249,7 +264,7 @@ function isAdmittedMember(holder, path, graph, fg) {
  * `ComponentId.export` has no scope field to disambiguate with; threading
  * scope through `ComponentId` is the real fix.
  */
-function findDeclaration(fg, name) {
+export function findDeclaration(fg, name) {
     const atModuleScope = fg.declarations.get(`${MODULE_SCOPE}::${name}`);
     if (atModuleScope)
         return atModuleScope;

package/dist/engine/registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/engine/registry.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AA2D5D,4EAA4E;AAC5E,MAAM,UAAU,QAAQ,CAAC,QAAgB,EAAE,IAAY;IACrD,OAAO,GAAG,QAAQ,KAAK,IAAI,EAAE,CAAC;AAChC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,QAA2B,EAAE,OAAiC;IAC9E,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACtF,iBAAiB,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC;QAC7F,aAAa,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC;QACrF,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO;KAC5B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAY;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC,CAAC,uBAAuB;IAE3D,wDAAwD;IACxD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,OAAO,IAAI,GAAG;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAClG,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9D,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;YACxD,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,0EAA0E;IAC1E,wCAAwC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACrC,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK;YAAE,SAAS;QACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;gBAAE,SAAS;YACzD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;gBAAE,SAAS;YACtD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC;YAClD,MAAM,KAAK,GAAkB;gBAC3B,QAAQ,EAAE,IAAI;gBACd,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,UAAU;gBACV,IAAI,EAAE,iBAAiB;gBACvB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,SAAS,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC;aAChI,CAAC;YACF,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;gBACpC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/B,IAAI,EAAE,KAAK,SAAS,IAAI,eAAe,CAAC,EAAE,EAAE,UAAU,CAAC,KAAK,IAAI;oBAAE,OAAO,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;YACxF,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;YAC9C,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,kEAAkE;IAClE,wEAAwE;IACxE,qEAAqE;IACrE,oEAAoE;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC9C,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAE,UAAkB,EAAW,EAAE;QAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,EAAE,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;YAC/B,6DAA6D;YAC7D,sEAAsE;YACtE,kEAAkE;YAClE,kEAAkE;YAClE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACvC,MAAM;gBACJ,IAAI,KAAK,SAAS;oBAClB,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QACjH,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACjC,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAE,UAAkB,EAAE,EAAE;QAC7D,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK;YAAE,OAAO,SAAS,CAAC;QAC/D,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAI,UAAU;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAChD,CAAC,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC7E,iBAAiB;QACjB,aAAa;QACb,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO;KAC5B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAA2B,EAC3B,MAAyC;IAEzC,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACvC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAClE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YAC9C,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAC5G,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;QAC3B,CAAC,CAAC,CAAC,CACN,CAAC;IACF,OAAO,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAA2B,EAAE,KAAY;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CACtG,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IACtD,OAAO,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,KAAmB,EAAE,KAAY,EAAE,EAAa;IACvE,IAAI,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,WAAW,CAAC,CAAC;AAC9F,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,MAAoB,EAAE,IAAuB,EAAE,KAAY,EAAE,EAAa;IAClG,IAAI,GAAG,GAAiB,MAAM,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACrC,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IACD,OAAO,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,eAAe,CAAC,EAAa,EAAE,IAAY;IAClD,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,YAAY,KAAK,IAAI,EAAE,CAAC,CAAC;IACtE,IAAI,aAAa;QAAE,OAAO,aAAa,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;4DAI4D;AAC5D,SAAS,kBAAkB,CAAC,GAAc,EAAE,IAAY,EAAE,EAAa,EAAE,KAAY;IACnF,MAAM,KAAK,GAAG,oBAAoB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACxD,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC"}
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/engine/registry.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAyE1D,4EAA4E;AAC5E,MAAM,UAAU,QAAQ,CAAC,QAAgB,EAAE,IAAY;IACrD,OAAO,GAAG,QAAQ,KAAK,IAAI,EAAE,CAAC;AAChC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,QAA2B,EAAE,OAAiC;IAC9E,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACtF,WAAW,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC;QAC/F,aAAa,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC;QACrF,eAAe,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC;QAC3D,QAAQ,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QACzD,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO;KAC5B,CAAC;AACJ,CAAC;AAED;;4BAE4B;AAC5B,MAAM,UAAU,sBAAsB,CAAC,KAAY,EAAE,SAAgC,EAAE;IACrF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC,CAAC,uBAAuB;IAE3D,wDAAwD;IACxD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,OAAO,IAAI,GAAG;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAClG,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9D,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;YACxD,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAc,MAAM,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,CAAC,WAAyB,EAAW,EAAE,CAAC,WAAW,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAErH,4EAA4E;IAC5E,4EAA4E;IAC5E,wDAAwD;IACxD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACrC,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK;YAAE,SAAS;QACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBAAE,SAAS;YAC/G,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC;YAClD,MAAM,KAAK,GAAkB;gBAC3B,QAAQ,EAAE,IAAI;gBACd,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,UAAU;gBACV,IAAI,EAAE,iBAAiB;gBACvB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,SAAS,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC;aAChI,CAAC;YACF,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;YACtE,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;gBACpC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/B,IAAI,EAAE,KAAK,SAAS,IAAI,eAAe,CAAC,EAAE,EAAE,UAAU,CAAC,KAAK,IAAI;oBAAE,OAAO,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;YACxF,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;YAC9C,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,2EAA2E;IAC3E,4EAA4E;IAC5E,uCAAuC;IACvC,MAAM,KAAK,GAAG,CAAC,EAAa,EAAE,IAAY,EAAE,WAAoC,EAAW,EAAE;QAC3F,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,WAAW,IAAI,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACrC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1E,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC;IACF,+CAA+C;IAC/C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmB,CAAC;IAChD,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAE,IAAY,EAAE,WAAyB,EAAW,EAAE;QACzF,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC1C,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAE,UAAkB,EAAE,EAAE;QAC7D,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,KAAK,KAAK;YAAE,OAAO,SAAS,CAAC;QAC/D,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAI,UAAU;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAChD,CAAC,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC7E,WAAW;QACX,aAAa;QACb,eAAe,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACpE,QAAQ;QACR,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO;KAC5B,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,SAAS,cAAc,CAAC,KAAoB;IAC1C,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAA2B,EAC3B,MAAyC;IAEzC,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACvC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAClE,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YAC9C,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAC5G,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;QAC3B,CAAC,CAAC,CAAC,CACN,CAAC;IACF,OAAO,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAA2B,EAAE,KAAY;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CACtG,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IACtD,OAAO,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,KAAmB,EAAE,KAAY,EAAE,EAAa;IACvE,IAAI,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,WAAW,CAAC,CAAC;AAC9F,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,MAAoB,EAAE,IAAuB,EAAE,KAAY,EAAE,EAAa;IAClG,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAChD,OAAO,MAAM,KAAK,SAAS,IAAI,eAAe,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACpE,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,eAAe,CAAC,EAAa,EAAE,IAAY;IACzD,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,YAAY,KAAK,IAAI,EAAE,CAAC,CAAC;IACtE,IAAI,aAAa;QAAE,OAAO,aAAa,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;4DAI4D;AAC5D,SAAS,kBAAkB,CAAC,GAAc,EAAE,IAAY,EAAE,EAAa,EAAE,KAAY;IACnF,MAAM,KAAK,GAAG,oBAAoB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACxD,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC"}

package/dist/engine/resolve-reference.d.ts

@@ -1,24 +1,5 @@
 import type { FileGraph, Graph, InferredType, Reference } from "../index.js";
 import { type CycleGuard } from "./cycle-detection.js";
-/**
- * Resolve a Reference to an InferredType by walking the scope chain in
- * its FileGraph, falling through to imports at module scope, and following
- * cross-file resolution through exports. Returns InferredType::Unknown for
- * unresolved symbols and cycles.
- *
- * When `ref.originFile` is set, the lookup switches to that file's FileGraph.
- * `scope` is opaque per-FileGraph, so any TypeOf travelling across module
- * boundaries (e.g. via cross-module function returns) must be resolved in
- * its origin context. Refs without `originFile` fall back to the passed
- * FileGraph (synthetic test refs, parsers that haven't adopted the
- * annotation).
- */
+/** The value a reference names: `bindingValue` of its binding. `Unknown` for
+ *  unresolved symbols and cycles. */
 export declare function resolveReference(graph: Graph, fileGraph: FileGraph, ref: Reference, guard?: CycleGuard): InferredType;
-/**
- * Pick the FileGraph a Reference should be resolved against. When
- * `ref.originFile` is set, prefer that file's graph; this is how refs that
- * have travelled across a module boundary get looked up in their authoring
- * context. Falls back to the caller's `fileGraph` when no annotation is
- * present (synthetic refs / parsers without ref-origin tagging).
- */
-export declare function fileGraphForRef(graph: Graph, ref: Reference, fallback: FileGraph): FileGraph;

package/dist/engine/resolve-reference.js

@@ -1,182 +1,8 @@
-import { MODULE_SCOPE } from "../index.js";
+import { bindingValue, resolveBinding } from "./binding.js";
 import { createCycleGuard } from "./cycle-detection.js";
-import { libraryStubFor } from "./library-stubs.js";
-/**
- * Resolve a Reference to an InferredType by walking the scope chain in
- * its FileGraph, falling through to imports at module scope, and following
- * cross-file resolution through exports. Returns InferredType::Unknown for
- * unresolved symbols and cycles.
- *
- * When `ref.originFile` is set, the lookup switches to that file's FileGraph.
- * `scope` is opaque per-FileGraph, so any TypeOf travelling across module
- * boundaries (e.g. via cross-module function returns) must be resolved in
- * its origin context. Refs without `originFile` fall back to the passed
- * FileGraph (synthetic test refs, parsers that haven't adopted the
- * annotation).
- */
+/** The value a reference names: `bindingValue` of its binding. `Unknown` for
+ *  unresolved symbols and cycles. */
 export function resolveReference(graph, fileGraph, ref, guard = createCycleGuard()) {
-    const lookupGraph = fileGraphForRef(graph, ref, fileGraph);
-    // Walk up the scope chain.
-    let scope = ref.scope;
-    while (true) {
-        const decl = lookupGraph.declarations.get(`${scope}::${ref.symbol}`);
-        if (decl) {
-            // Apply member chain via MemberOf wrap.
-            return wrapWithMemberChain(decl.value, ref.memberChain);
-        }
-        if (scope === MODULE_SCOPE)
-            break;
-        const parent = lookupGraph.scopes.get(scope)?.parent;
-        if (parent === null || parent === undefined)
-            break;
-        scope = parent;
-    }
-    // At module scope — check imports.
-    const imp = lookupGraph.importsByLocal.get(ref.symbol);
-    if (!imp)
-        return { kind: "Unknown" };
-    // Library stub table: a known framework export gets a structural
-    // type instead of walking node_modules it can never parse. Checked before
-    // module resolution because these packages are never in the graph.
-    const stub = libraryStubFor(imp, ref);
-    if (stub)
-        return stub;
-    const resolvedFile = graph.moduleResolver(lookupGraph.filePath, imp.specifier);
-    if (!resolvedFile)
-        return { kind: "Unknown" };
-    // Normalize the resolved path to the graph key format (repo-relative POSIX).
-    // `moduleResolver` may return absolute paths; `resolveToGraphKey` maps them
-    // to relative keys matching `graph.files`.
-    const targetFile = graph.resolveToGraphKey
-        ? (graph.resolveToGraphKey(resolvedFile) ?? resolvedFile)
-        : resolvedFile;
-    // Look up the export with the imported name in the target file, following
-    // star re-exports when needed.
-    const found = findExport(graph, targetFile, imp.imported, new Set());
-    if (!found)
-        return { kind: "Unknown" };
-    const { record: exp, fileGraph: expFileGraph } = found;
-    return resolveExport(graph, expFileGraph, exp, ref.memberChain, guard);
-}
-/**
- * Find an ExportRecord matching `imported` starting from `file`, following
- * `{kind: "star"}` re-exports when the named/default export isn't in the
- * file's own export list. Returns the matched record together with the
- * FileGraph it belongs to — callers need the owning FileGraph to drive
- * `resolveExport` correctly when the match is in a transitive star source.
- *
- * Uses a cycle guard keyed by `${file}::${imported}` to avoid infinite
- * loops through mutual `export *` chains.
- */
-function findExport(graph, file, imported, seen) {
-    const seenKey = `${file}::${imported}`;
-    if (seen.has(seenKey))
-        return null;
-    seen.add(seenKey);
-    const target = graph.files.get(file);
-    if (!target)
-        return null;
-    // Step 1 — named/default hit in this file.
-    for (const exp of target.exports) {
-        if (exp.kind === "named" && exp.exportedAs === imported)
-            return { record: exp, fileGraph: target };
-        if (exp.kind === "default" && imported === "default")
-            return { record: exp, fileGraph: target };
-    }
-    // Step 2 — star fallback: walk {kind: "star"} entries in source order.
-    // seen is shared across sibling branches to prevent revisiting files already tried at this level — matches followReExportChain.
-    for (const exp of target.exports) {
-        if (exp.kind !== "star")
-            continue;
-        const resolvedFrom = graph.moduleResolver(file, exp.from);
-        if (!resolvedFrom)
-            continue;
-        const nextFile = graph.resolveToGraphKey
-            ? (graph.resolveToGraphKey(resolvedFrom) ?? resolvedFrom)
-            : resolvedFrom;
-        const result = findExport(graph, nextFile, imported, seen);
-        if (result)
-            return result;
-    }
-    return null;
-}
-function resolveExport(graph, fileGraph, exp, memberChain, guard) {
-    if (exp.kind === "named" && "local" in exp) {
-        const guardResult = guard.push(fileGraph.filePath, exp.local);
-        if (guardResult !== "ok")
-            return { kind: "Unknown" };
-        try {
-            const localRef = {
-                symbol: exp.local,
-                scope: MODULE_SCOPE,
-                memberChain,
-                loc: { line: 0, column: 0 },
-            };
-            return resolveReference(graph, fileGraph, localRef, guard);
-        }
-        finally {
-            guard.pop(fileGraph.filePath, exp.local);
-        }
-    }
-    if (exp.kind === "named" && "from" in exp) {
-        // Re-export: resolve to the source module's binding.
-        const resolvedFrom = graph.moduleResolver(fileGraph.filePath, exp.from);
-        if (!resolvedFrom)
-            return { kind: "Unknown" };
-        const targetFile = graph.resolveToGraphKey
-            ? (graph.resolveToGraphKey(resolvedFrom) ?? resolvedFrom)
-            : resolvedFrom;
-        const innerFound = findExport(graph, targetFile, exp.fromImported, new Set());
-        if (!innerFound)
-            return { kind: "Unknown" };
-        const guardResult = guard.push(fileGraph.filePath, exp.exportedAs);
-        if (guardResult !== "ok")
-            return { kind: "Unknown" };
-        try {
-            return resolveExport(graph, innerFound.fileGraph, innerFound.record, memberChain, guard);
-        }
-        finally {
-            guard.pop(fileGraph.filePath, exp.exportedAs);
-        }
-    }
-    if (exp.kind === "default" && "local" in exp) {
-        const guardResult = guard.push(fileGraph.filePath, exp.local);
-        if (guardResult !== "ok")
-            return { kind: "Unknown" };
-        try {
-            const localRef = {
-                symbol: exp.local,
-                scope: MODULE_SCOPE,
-                memberChain,
-                loc: { line: 0, column: 0 },
-            };
-            return resolveReference(graph, fileGraph, localRef, guard);
-        }
-        finally {
-            guard.pop(fileGraph.filePath, exp.local);
-        }
-    }
-    return { kind: "Unknown" };
-}
-function wrapWithMemberChain(t, chain) {
-    let result = t;
-    for (const member of chain) {
-        result = { kind: "MemberOf", obj: result, member };
-    }
-    return result;
-}
-/**
- * Pick the FileGraph a Reference should be resolved against. When
- * `ref.originFile` is set, prefer that file's graph; this is how refs that
- * have travelled across a module boundary get looked up in their authoring
- * context. Falls back to the caller's `fileGraph` when no annotation is
- * present (synthetic refs / parsers without ref-origin tagging).
- */
-export function fileGraphForRef(graph, ref, fallback) {
-    if (!ref.originFile)
-        return fallback;
-    if (ref.originFile === fallback.filePath)
-        return fallback;
-    return graph.files.get(ref.originFile) ?? fallback;
+    return bindingValue(resolveBinding(graph, fileGraph, ref, guard));
 }
 //# sourceMappingURL=resolve-reference.js.map

package/dist/engine/resolve-reference.js.map

@@ -1 +1 @@
-{"version":3,"file":"resolve-reference.js","sourceRoot":"","sources":["../../src/engine/resolve-reference.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAmB,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAY,EACZ,SAAoB,EACpB,GAAc,EACd,QAAoB,gBAAgB,EAAE;IAEtC,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAE3D,2BAA2B;IAC3B,IAAI,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACtB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,KAAK,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QACrE,IAAI,IAAI,EAAE,CAAC;YACT,wCAAwC;YACxC,OAAO,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,KAAK,KAAK,YAAY;YAAE,MAAM;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QACrD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM;QACnD,KAAK,GAAG,MAAM,CAAC;IACjB,CAAC;IAED,mCAAmC;IACnC,MAAM,GAAG,GAAG,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAErC,iEAAiE;IACjE,0EAA0E;IAC1E,mEAAmE;IACnE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtB,MAAM,YAAY,GAAG,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAC/E,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAE9C,6EAA6E;IAC7E,4EAA4E;IAC5E,2CAA2C;IAC3C,MAAM,UAAU,GAAG,KAAK,CAAC,iBAAiB;QACxC,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;QACzD,CAAC,CAAC,YAAY,CAAC;IAEjB,0EAA0E;IAC1E,+BAA+B;IAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAEvC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACvD,OAAO,aAAa,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;AACzE,CAAC;AAID;;;;;;;;;GASG;AACH,SAAS,UAAU,CACjB,KAAY,EACZ,IAAY,EACZ,QAAgB,EAChB,IAAiB;IAEjB,MAAM,OAAO,GAAG,GAAG,IAAI,KAAK,QAAQ,EAAE,CAAC;IACvC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAElB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,2CAA2C;IAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,UAAU,KAAK,QAAQ;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACnG,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAClG,CAAC;IAED,uEAAuE;IACvE,gIAAgI;IAChI,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAClC,MAAM,YAAY,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY;YAAE,SAAS;QAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB;YACtC,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;YACzD,CAAC,CAAC,YAAY,CAAC;QACjB,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CACpB,KAAY,EACZ,SAAoB,EACpB,GAAiB,EACjB,WAAqB,EACrB,KAAiB;IAEjB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,IAAI,GAAG,EAAE,CAAC;QAC3C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,WAAW,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACrD,IAAI,CAAC;YACH,MAAM,QAAQ,GAAc;gBAC1B,MAAM,EAAE,GAAG,CAAC,KAAK;gBACjB,KAAK,EAAE,YAAY;gBACnB,WAAW;gBACX,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aAC5B,CAAC;YACF,OAAO,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC7D,CAAC;gBAAS,CAAC;YACT,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;QAC1C,qDAAqD;QACrD,MAAM,YAAY,GAAG,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACxE,IAAI,CAAC,YAAY;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,KAAK,CAAC,iBAAiB;YACxC,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;YACzD,CAAC,CAAC,YAAY,CAAC;QACjB,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,YAAY,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC9E,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QACnE,IAAI,WAAW,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACrD,IAAI,CAAC;YACH,OAAO,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;QAC3F,CAAC;gBAAS,CAAC;YACT,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,GAAG,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,WAAW,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACrD,IAAI,CAAC;YACH,MAAM,QAAQ,GAAc;gBAC1B,MAAM,EAAE,GAAG,CAAC,KAAK;gBACjB,KAAK,EAAE,YAAY;gBACnB,WAAW;gBACX,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;aAC5B,CAAC;YACF,OAAO,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC7D,CAAC;gBAAS,CAAC;YACT,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAe,EAAE,KAAe;IAC3D,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACrD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAY,EACZ,GAAc,EACd,QAAmB;IAEnB,IAAI,CAAC,GAAG,CAAC,UAAU;QAAE,OAAO,QAAQ,CAAC;IACrC,IAAI,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC1D,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC;AACrD,CAAC"}
+{"version":3,"file":"resolve-reference.js","sourceRoot":"","sources":["../../src/engine/resolve-reference.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAmB,MAAM,sBAAsB,CAAC;AAEzE;qCACqC;AACrC,MAAM,UAAU,gBAAgB,CAC9B,KAAY,EACZ,SAAoB,EACpB,GAAc,EACd,QAAoB,gBAAgB,EAAE;IAEtC,OAAO,YAAY,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AACpE,CAAC"}

package/dist/engine/resolve-type.d.ts

@@ -22,16 +22,16 @@ export type ResolvedTerminal = {
  */
 export declare function resolveType(graph: Graph, fileGraph: FileGraph, type: InferredType, argMap: ArgumentMap, guard?: CycleGuard): ResolvedTerminal[];
 /**
- * A DynamicImport's target: the graph file its specifier resolves to, from
- * the file that contains the import(), followed through re-exports by
- * `followReExportChain` to the file that binds the projected export, and the
- * value of that binding with any remaining projection applied as member
- * walks. Null when the chain leaves the graph or ends at a name the file
- * does not bind.
+ * A DynamicImport's target: the binding its specifier's projected export
+ * names from the file that contains the `import()`. For a declaration, the
+ * declaring file and its value; for an unparsed binding reached through a
+ * parsed file's imported local, that file and `Unknown`. Any remaining
+ * projection is applied as member walks. Null otherwise, so a package export
+ * stays the `DynamicImport`. Resolved on its own cycle guard, not the walk's.
  */
 export declare function resolveDynamicImportTarget(graph: Graph, fileGraph: FileGraph, di: Extract<InferredType, {
     kind: "DynamicImport";
-}>, guard: CycleGuard): {
+}>): {
     targetFileGraph: FileGraph;
     value: InferredType;
 } | null;

package/dist/engine/resolve-type.js

@@ -1,11 +1,10 @@
-import { MODULE_SCOPE } from "../index.js";
 import { boundArgument } from "./argument-map.js";
-import { resolveReference, fileGraphForRef } from "./resolve-reference.js";
+import { resolveReference } from "./resolve-reference.js";
+import { bindingValue, fileGraphForRef, resolveModuleExport } from "./binding.js";
 import { fileGraphForDynamicImport } from "./wrapper-folding.js";
 import { createCycleGuard } from "./cycle-detection.js";
 import { libraryStubFor } from "./library-stubs.js";
 import { assertNever } from "./assert-never.js";
-import { followReExportChain } from "./re-export-chain.js";
 /** Sentinel for dynamic member access (`obj[expr]` where expr isn't a literal). */
 export const DYNAMIC_MEMBER_KEY = "";
 /**
@@ -142,7 +141,7 @@ function resolveTypeInner(graph, fileGraph, type, argMap, guard) {
             // terminal (specifier + projection) rather than collapsing to Unknown —
             // the foldTerminals seam (wrapper-folding.ts) synthesizes occurrence
             // identity from it.
-            const target = resolveDynamicImportTarget(graph, fileGraph, type, guard);
+            const target = resolveDynamicImportTarget(graph, fileGraph, type);
             if (!target)
                 return [{ type, source: type }];
             return resolveType(graph, target.targetFileGraph, target.value, argMap, guard);
@@ -152,36 +151,31 @@ function resolveTypeInner(graph, fileGraph, type, argMap, guard) {
     }
 }
 /**
- * A DynamicImport's target: the graph file its specifier resolves to, from
- * the file that contains the import(), followed through re-exports by
- * `followReExportChain` to the file that binds the projected export, and the
- * value of that binding with any remaining projection applied as member
- * walks. Null when the chain leaves the graph or ends at a name the file
- * does not bind.
+ * A DynamicImport's target: the binding its specifier's projected export
+ * names from the file that contains the `import()`. For a declaration, the
+ * declaring file and its value; for an unparsed binding reached through a
+ * parsed file's imported local, that file and `Unknown`. Any remaining
+ * projection is applied as member walks. Null otherwise, so a package export
+ * stays the `DynamicImport`. Resolved on its own cycle guard, not the walk's.
  */
-export function resolveDynamicImportTarget(graph, fileGraph, di, guard) {
+export function resolveDynamicImportTarget(graph, fileGraph, di) {
     const origin = fileGraphForDynamicImport(graph, di, fileGraph);
-    const absPath = graph.moduleResolver(origin.filePath, di.specifier);
-    if (!absPath)
+    const b = resolveModuleExport(graph, origin.filePath, di.specifier, di.projection[0] ?? "default", []);
+    // Transitional: an unparsed binding reached through a parsed barrel's
+    // imported local keeps that barrel as the lazy target, as before the
+    // resolver; removed when it is pinned (#628).
+    const targetFile = b.kind === "declaration"
+        ? b.file
+        : b.kind === "unparsed" && b.mainGap !== undefined
+            ? b.mainGap.barrel
+            : null;
+    const targetFileGraph = targetFile === null ? undefined : graph.files.get(targetFile);
+    if (!targetFileGraph)
         return null;
-    const key = graph.resolveToGraphKey ? (graph.resolveToGraphKey(absPath) ?? absPath) : absPath;
-    const chained = followReExportChain(graph, key, di.projection[0] ?? "default");
-    const targetFile = chained ? graph.files.get(chained.file) : undefined;
-    if (!chained || !targetFile)
-        return null;
-    const local = chained.localExport;
-    if (!targetFile.declarations.has(`${MODULE_SCOPE}::${local}`) && !targetFile.importsByLocal.has(local))
-        return null;
-    const localRef = {
-        symbol: local,
-        scope: MODULE_SCOPE,
-        memberChain: [],
-        loc: { line: 0, column: 0 },
-    };
-    let value = resolveReference(graph, targetFile, localRef, guard);
+    let value = bindingValue(b);
     for (const member of di.projection.slice(1))
         value = { kind: "MemberOf", obj: value, member };
-    return { targetFileGraph: targetFile, value };
+    return { targetFileGraph, value };
 }
 /**
  * Resolve a type down to its bare Function node(s) without expanding their