milens 0.7.1 → 0.7.2

package/dist/analyzer/enrich.js

@@ -111,9 +111,32 @@ function computeDomains(symbols, links) {
             ufRank.set(ra, rankA + 1);
         }
     }
+    // Widely-shared "hub" files (e.g. a single http-client.ts imported by dozens of
+    // otherwise-unrelated feature modules) would otherwise bridge-merge every one of
+    // those unrelated modules into one giant cluster via transitive union-find, since
+    // each of them independently shares a strong edge with the hub. Detect such hubs
+    // by strong-edge degree (distinct files they're strongly linked to) and exclude
+    // them from acting as merge bridges — two files still cluster together if they
+    // link directly to each other, just not merely by both linking to the same hub.
+    const strongEdgesPerFile = new Map();
+    for (const [key, weight] of edgeWeights) {
+        if (weight < 2)
+            continue;
+        const [a, b] = key.split('::');
+        if (!strongEdgesPerFile.has(a))
+            strongEdgesPerFile.set(a, new Set());
+        if (!strongEdgesPerFile.has(b))
+            strongEdgesPerFile.set(b, new Set());
+        strongEdgesPerFile.get(a).add(b);
+        strongEdgesPerFile.get(b).add(a);
+    }
+    const HUB_DEGREE_THRESHOLD = 8;
+    const isHub = (f) => (strongEdgesPerFile.get(f)?.size ?? 0) > HUB_DEGREE_THRESHOLD;
     for (const [key, weight] of edgeWeights) {
         if (weight >= 2) {
             const [a, b] = key.split('::');
+            if (isHub(a) || isHub(b))
+                continue;
             union(a, b);
         }
     }
@@ -125,9 +148,31 @@ function computeDomains(symbols, links) {
         arr.push(file);
         clusters.set(root, arr);
     }
-    // Name each cluster by most common directory segment
+    // Name each cluster by most common directory segment.
+    // For generic leaf names (hooks, utils, etc.), prefer the parent segment when
+    // there's meaningful diversity — prevents collapsing unrelated feature modules.
+    const GENERIC_LEAVES = new Set(['hooks', 'utils', 'components', 'services', 'types', 'dto', 'models', 'controllers', 'gateways', 'routes', 'helpers', 'constants']);
+    // A cluster can still balloon to span most of the codebase via a long chain of
+    // pairwise-strong links through common infrastructure (shared guards, base
+    // modules, decorators) even when no single file is a high-degree hub — hub
+    // suppression alone doesn't catch chained over-merging. As a size-based safety
+    // net, refuse to treat an implausibly large cluster as one cohesive domain and
+    // fall back to naming each of its files independently by its own directory.
+    const MAX_CLUSTER_ABS = 40;
+    const MAX_CLUSTER_FRACTION = 0.15;
+    const oversizedThreshold = Math.max(MAX_CLUSTER_ABS, Math.floor(allFiles.size * MAX_CLUSTER_FRACTION));
     const zones = new Map();
     for (const [, clusterFiles] of clusters) {
+        if (clusterFiles.length > oversizedThreshold) {
+            for (const f of clusterFiles) {
+                const dir = dirname(f).replace(/\\/g, '/');
+                const parts = dir.split('/').filter(Boolean);
+                const leaf = parts.length > 0 ? parts[parts.length - 1] : 'root';
+                const name = GENERIC_LEAVES.has(leaf) && parts.length >= 2 ? `${parts[parts.length - 2]}/${leaf}` : leaf;
+                zones.set(f, name);
+            }
+            continue;
+        }
         const dirCounts = new Map();
         for (const f of clusterFiles) {
             const dir = dirname(f).replace(/\\/g, '/');
@@ -143,6 +188,28 @@ function computeDomains(symbols, links) {
                 bestCount = count;
             }
         }
+        if (GENERIC_LEAVES.has(bestName) && clusterFiles.length > 1) {
+            const parentCounts = new Map();
+            for (const f of clusterFiles) {
+                const dir = dirname(f).replace(/\\/g, '/');
+                const parts = dir.split('/').filter(Boolean);
+                if (parts.length >= 2 && parts[parts.length - 1] === bestName) {
+                    const parentSeg = parts[parts.length - 2];
+                    parentCounts.set(parentSeg, (parentCounts.get(parentSeg) ?? 0) + 1);
+                }
+            }
+            let bestParent = '';
+            let bestParentCount = 0;
+            for (const [p, c] of parentCounts) {
+                if (c > bestParentCount) {
+                    bestParent = p;
+                    bestParentCount = c;
+                }
+            }
+            if (bestParent) {
+                bestName = `${bestParent}/${bestName}`;
+            }
+        }
         for (const f of clusterFiles) {
             zones.set(f, bestName);
         }

package/dist/analyzer/enrich.js.map

@@ -1 +1 @@
-{"version":3,"file":"enrich.js","sourceRoot":"","sources":["../../src/analyzer/enrich.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAoBpC,MAAM,UAAU,cAAc,CAAC,KAAkB;IAC/C,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAEjC,+BAA+B;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAE,uCAAuC;IACnF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,uCAAuC;IACnF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/D,gFAAgF;IAChF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAEpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,GAAG,QAAQ,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YACrC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;QACD,2EAA2E;QAC3E,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,qBAAqB;IACrB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,GAAG,CAAC,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,kEAAkE;IAClE,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAE7C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,GAAe,EAAE,KAAa,EAAE,MAAc;IAClE,2EAA2E;IAC3E,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,mFAAmF;IACnF,IAAI,GAAG,CAAC,QAAQ,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,kDAAkD;IAClD,IAAI,KAAK,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yDAAyD;IACzD,IAAI,KAAK,GAAG,CAAC,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,sDAAsD;IACtD,IAAI,GAAG,CAAC,QAAQ,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,uDAAuD;IACvD,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;AAC3C,CAAC;AAED,SAAS,WAAW,CAAC,GAAe,EAAE,KAAa,EAAE,MAAc;IACjE,kEAAkE;IAClE,eAAe;IACf,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,SAAS,EAAE,GAAG,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,cAAc,CAAC,OAAqB,EAAE,KAAmB;IAChE,sFAAsF;IACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IAED,gCAAgC;IAChC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ,IAAI,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpF,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEzC,SAAS,IAAI,CAAC,CAAS;QACrB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,CAAC;QAC3D,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QAC7D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;IACxB,CAAC;IAED,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QACvD,IAAI,KAAK,GAAG,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;aACjC,IAAI,KAAK,GAAG,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;aACtC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAAC,CAAC;IACzD,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACxC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;YAChB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC;IAED,qDAAqD;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,CAAC,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACpE,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,QAAQ,GAAG,MAAM,CAAC;QACtB,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;gBAAC,QAAQ,GAAG,IAAI,CAAC;gBAAC,SAAS,GAAG,KAAK,CAAC;YAAC,CAAC;QAChE,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"enrich.js","sourceRoot":"","sources":["../../src/analyzer/enrich.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAoBpC,MAAM,UAAU,cAAc,CAAC,KAAkB;IAC/C,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAEjC,+BAA+B;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAE,uCAAuC;IACnF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,uCAAuC;IACnF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/D,gFAAgF;IAChF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAEpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,GAAG,QAAQ,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YACrC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;QACD,2EAA2E;QAC3E,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,qBAAqB;IACrB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,GAAG,CAAC,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,kEAAkE;IAClE,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAE7C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,GAAe,EAAE,KAAa,EAAE,MAAc;IAClE,2EAA2E;IAC3E,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,mFAAmF;IACnF,IAAI,GAAG,CAAC,QAAQ,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,kDAAkD;IAClD,IAAI,KAAK,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yDAAyD;IACzD,IAAI,KAAK,GAAG,CAAC,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,sDAAsD;IACtD,IAAI,GAAG,CAAC,QAAQ,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,uDAAuD;IACvD,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;AAC3C,CAAC;AAED,SAAS,WAAW,CAAC,GAAe,EAAE,KAAa,EAAE,MAAc;IACjE,kEAAkE;IAClE,eAAe;IACf,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,SAAS,EAAE,GAAG,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,cAAc,CAAC,OAAqB,EAAE,KAAmB;IAChE,sFAAsF;IACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IAED,gCAAgC;IAChC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ,IAAI,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpF,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEzC,SAAS,IAAI,CAAC,CAAS;QACrB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,CAAC;QAC3D,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QAC7D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;IACxB,CAAC;IAED,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QACvD,IAAI,KAAK,GAAG,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;aACjC,IAAI,KAAK,GAAG,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;aACtC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAAC,CAAC;IACzD,CAAC;IAED,gFAAgF;IAChF,iFAAiF;IACjF,kFAAkF;IAClF,iFAAiF;IACjF,gFAAgF;IAChF,+EAA+E;IAC/E,gFAAgF;IAChF,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC1D,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACxC,IAAI,MAAM,GAAG,CAAC;YAAE,SAAS;QACzB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACrE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,oBAAoB,GAAG,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,oBAAoB,CAAC;IAEpG,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACxC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;YAChB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,SAAS;YACnC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC;IAED,sDAAsD;IACtD,8EAA8E;IAC9E,gFAAgF;IAChF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;IACpK,+EAA+E;IAC/E,2EAA2E;IAC3E,2EAA2E;IAC3E,+EAA+E;IAC/E,+EAA+E;IAC/E,4EAA4E;IAC5E,MAAM,eAAe,GAAG,EAAE,CAAC;IAC3B,MAAM,oBAAoB,GAAG,IAAI,CAAC;IAClC,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,GAAG,oBAAoB,CAAC,CAAC,CAAC;IACvG,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,CAAC,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,IAAI,YAAY,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACjE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBACzG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACrB,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACpE,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,QAAQ,GAAG,MAAM,CAAC;QACtB,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;gBAAC,QAAQ,GAAG,IAAI,CAAC;gBAAC,SAAS,GAAG,KAAK,CAAC;YAAC,CAAC;QAChE,CAAC;QAED,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC/C,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC7C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;oBAC9D,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;oBAC1C,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;YACD,IAAI,UAAU,GAAG,EAAE,CAAC;YACpB,IAAI,eAAe,GAAG,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,YAAY,EAAE,CAAC;gBAClC,IAAI,CAAC,GAAG,eAAe,EAAE,CAAC;oBAAC,UAAU,GAAG,CAAC,CAAC;oBAAC,eAAe,GAAG,CAAC,CAAC;gBAAC,CAAC;YACnE,CAAC;YACD,IAAI,UAAU,EAAE,CAAC;gBACf,QAAQ,GAAG,GAAG,UAAU,IAAI,QAAQ,EAAE,CAAC;YACzC,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/analyzer/resolver.d.ts

@@ -1,4 +1,4 @@
-import type { CodeSymbol, SymbolLink, RawImport, RawCall, RawHeritage, RawReExport, RawTypeBinding, RawAssignmentBinding, RawReturnType, RawCallResultBinding } from '../types.js';
+import type { CodeSymbol, SymbolLink, RawImport, RawCall, RawHeritage, RawReExport, RawTypeBinding, RawAssignmentBinding, RawReturnType, RawCallResultBinding, RawLocalBinding } from '../types.js';
 interface ResolutionInput {
     symbolsByFile: Map<string, CodeSymbol[]>;
     allSymbols: CodeSymbol[];
@@ -10,6 +10,7 @@ interface ResolutionInput {
     assignmentBindings?: RawAssignmentBinding[];
     returnTypes?: RawReturnType[];
     callResultBindings?: RawCallResultBinding[];
+    localBindings?: RawLocalBinding[];
     resolvedImportPaths: Map<string, string>;
     perFileImportSemantics?: Map<string, 'named' | 'wildcard-leaf' | 'wildcard-transitive' | 'namespace'>;
     perFileMroStrategy?: Map<string, 'first-wins' | 'c3' | 'ruby-mixin' | 'none'>;
@@ -20,6 +21,8 @@ export interface ResolutionResult {
     unresolvedCalls: number;
     externalImports: number;
     externalCalls: number;
+    /** External heritage parents (symbols not defined in project, e.g. `Error`, `CanActivate`) */
+    externalSymbols: CodeSymbol[];
 }
 export declare function resolveLinks(input: ResolutionInput): SymbolLink[];
 export declare function resolveLinksWithStats(input: ResolutionInput): ResolutionResult;

package/dist/analyzer/resolver.js

@@ -2,12 +2,26 @@ import { dirname } from 'node:path';
 // Minimum confidence to create a link — below this, classify as unresolved
 // "No link is better than a wrong link"
 const MIN_LINK_CONFIDENCE = 0.5;
+// Common JS/TS built-in types and globals — extend/implements these means external heritage
+const BUILTIN_TYPES = new Set([
+    'Error', 'TypeError', 'RangeError', 'SyntaxError', 'ReferenceError',
+    'Array', 'Map', 'Set', 'WeakMap', 'WeakSet', 'Promise', 'Date', 'RegExp',
+    'String', 'Number', 'Boolean', 'Object', 'Function', 'Symbol', 'BigInt',
+    'ArrayBuffer', 'DataView', 'Int8Array', 'Uint8Array', 'Uint8ClampedArray',
+    'Int16Array', 'Uint16Array', 'Int32Array', 'Uint32Array', 'Float32Array',
+    'Float64Array', 'BigInt64Array', 'BigUint64Array',
+    'EventTarget', 'AbortController', 'AbortSignal',
+    'URL', 'URLSearchParams', 'FormData', 'Blob', 'File', 'Response', 'Request',
+    'Headers', 'ReadableStream', 'WritableStream', 'TransformStream',
+    'TextEncoder', 'TextDecoder', 'EventEmitter',
+]);
 export function resolveLinks(input) {
     const result = resolveLinksWithStats(input);
     return result.links;
 }
 export function resolveLinksWithStats(input) {
     const links = [];
+    const externalSymbols = [];
     const symbolByName = buildNameIndex(input.allSymbols);
     const symbolById = buildIdIndex(input.allSymbols);
     let unresolvedImports = 0;
@@ -16,6 +30,19 @@ export function resolveLinksWithStats(input) {
     let externalCalls = 0;
     // Track names imported from external (non-local) modules per file
     const externalNamesPerFile = new Map();
+    // Names declared purely locally (params, const/let/var, destructuring) per enclosing
+    // scope — these can never be project symbols/imports/globals, so a bare call to one
+    // is neither a real link target nor a resolution failure; see RawLocalBinding.
+    const localNamesPerScope = new Map();
+    for (const lb of input.localBindings ?? []) {
+        let names = localNamesPerScope.get(lb.scope);
+        if (!names) {
+            names = new Set();
+            localNamesPerScope.set(lb.scope, names);
+        }
+        names.add(lb.name);
+    }
+    const isKnownLocal = (call) => localNamesPerScope.get(call.enclosingSymbolId)?.has(call.calleeName) ?? false;
     // Build re-export map: file → (name → sourceFile)
     const reExportMap = buildReExportMap(input.reExports ?? [], input.resolvedImportPaths);
     // Build imported names per file: file → (name → targetFile)
@@ -264,31 +291,52 @@ export function resolveLinksWithStats(input) {
             const extNames = externalNamesPerFile.get(call.filePath);
             if (call.receiver ||
                 BUILTIN_GLOBALS.has(call.calleeName) ||
+                TEST_FRAMEWORK_GLOBALS.has(call.calleeName) ||
+                WEB_DOM_GLOBALS.has(call.calleeName) ||
                 extNames?.has(call.calleeName)) {
                 externalCalls++;
             }
-            else {
+            else if (!call.isArgumentRef && !isKnownLocal(call)) {
+                // isArgumentRef identifiers with zero project-symbol candidates are almost
+                // always plain data values passed as arguments (e.g. `getChannel(workspaceId)`),
+                // not genuine callee references — the extraction query captures argument-position
+                // identifiers broadly to catch real callback refs (`onMounted(handler)`), but when
+                // no project symbol shares the name, there's nothing that "should have" resolved.
+                // Likewise, a bare call to a name that's a known local declaration in this exact
+                // scope (a useState setter, a destructured callback prop) can never be a project
+                // symbol by construction — see RawLocalBinding.
                 unresolvedCalls++;
             }
+            tryLinkReceiverReference(call, symbolByName, importedNamesPerFile, links);
             continue;
         }
         // Fast path: unique name globally.
         // Skip this shortcut when:
+        // - the call has a receiver AND the only candidate is a standalone
+        //   function (not a method) AND the caller file is a dynamically-typed
+        //   language (Python, PHP, Ruby) — this prevents linking
+        //   `self.x.func()` to an unrelated top-level `def func()` that
+        //   happens to share the same name, when the receiver's type cannot
+        //   be statically determined.
         // - the call has a receiver AND the name is a common built-in prototype method
         //   (`pattern.exec()`, `fileSet.add()`) — those must go through receiver-aware
         //   narrowing below instead of being linked by bare name to an unrelated project
-        //   symbol that merely happens to share the name. Receiver calls to any other
-        //   (non-built-in) method name still take the fast path, since that's what
-        //   correctly resolves single-candidate methods like `self.save()` in
-        //   Python/Go/Rust fixtures — narrowing isn't reliable for those receiver types.
+        //   symbol that merely happens to share the name.
         // - the identifier was captured from an argument position, not an actual
         //   invocation (`onMounted(handler)`, decorator args) — it may just be a plain
         //   local variable (e.g. `resolve(root, file)`), not a function reference. Let it
         //   fall through to same-file/imported/proximity-scored matching below instead of
         //   blindly linking to a same-named symbol anywhere in the repo.
+        // - the call has no receiver AND the name is a known local declaration in this
+        //   scope (e.g. `const { t } = useTranslation(); t('key')`) — even a *globally
+        //   unique* same-named project symbol must lose to a local binding, by real
+        //   lexical scoping rules. Let it fall through to the same-file/imported/local
+        //   chain below, which checks local-binding shadowing before any cross-file guess.
         if (candidates.length === 1 &&
             !(call.receiver && BUILTIN_METHOD_NAMES.has(call.calleeName)) &&
-            !call.isArgumentRef) {
+            !(call.receiver && candidates[0].kind === 'function' && isDynamicLang(call.filePath)) &&
+            !call.isArgumentRef &&
+            !(!call.receiver && isKnownLocal(call))) {
             // Check if the caller imported this name from an external module, or it's a builtin global
             const fileExtNames = externalNamesPerFile.get(call.filePath);
             if (BUILTIN_GLOBALS.has(call.calleeName) || fileExtNames?.has(call.calleeName)) {
@@ -301,27 +349,47 @@ export function resolveLinksWithStats(input) {
         // ── Receiver-aware narrowing (highest priority for member calls) ──
         if (call.receiver) {
             const narrowed = narrowByReceiver(call, candidates, symbolById, symbolByName, importedNamesPerFile, input.symbolsByFile, typeBindingsPerFile, heritageAncestors);
+            // Was this receiver's OWN declared type imported from an external module
+            // (e.g. `this.configService: ConfigService` where ConfigService comes from
+            // '@nestjs/config')? Existing classification below only checked the callee
+            // method NAME against external names — never the receiver's type origin —
+            // so calls like `configService.get(...)` were misclassified as unresolved
+            // even though the receiver is provably external. Checking method-name
+            // candidates first (via narrowByReceiver above) still takes priority, since
+            // a receiver's declared type can be narrower than its runtime type.
+            const receiverIsExternallyTyped = isReceiverExternallyTyped(call, typeBindingsPerFile, symbolById, externalNamesPerFile);
             if (narrowed) {
                 if (narrowed.confidence >= MIN_LINK_CONFIDENCE) {
                     links.push(makeLink(call.enclosingSymbolId, narrowed.symbol.id, 'calls', narrowed.confidence, call.line));
                 }
+                else if (receiverIsExternallyTyped) {
+                    externalCalls++;
+                    tryLinkReceiverReference(call, symbolByName, importedNamesPerFile, links);
+                }
                 else {
                     unresolvedCalls++;
+                    tryLinkReceiverReference(call, symbolByName, importedNamesPerFile, links);
                 }
                 continue;
             }
             // Receiver didn't resolve to a known type — treat as external call
             // Don't fall through to name-only matching which would link to unrelated symbols
             const extNames = externalNamesPerFile.get(call.filePath);
-            if (BUILTIN_GLOBALS.has(call.calleeName) || extNames?.has(call.calleeName)) {
+            if (BUILTIN_GLOBALS.has(call.calleeName) || extNames?.has(call.calleeName) || receiverIsExternallyTyped) {
                 externalCalls++;
             }
             else {
                 unresolvedCalls++;
             }
+            tryLinkReceiverReference(call, symbolByName, importedNamesPerFile, links);
             continue;
         }
         // ── Same file match ──
+        // Takes priority over the local-binding check below: the local-declaration extraction
+        // captures ANY variable_declarator regardless of nesting (including module-level ones
+        // that ARE real project symbols), so a name appearing in localNamesPerScope does not
+        // by itself rule out a legitimate same-file target — only cross-file candidates are at
+        // real risk of the "t() shadows an unrelated file's symbol" mis-link this guards against.
         const sameFile = candidates.filter(s => s.filePath === call.filePath);
         if (sameFile.length > 0) {
             links.push(makeLink(call.enclosingSymbolId, sameFile[0].id, 'calls', 0.9, call.line));
@@ -337,13 +405,29 @@ export function resolveLinksWithStats(input) {
                 continue;
             }
         }
+        // ── Local declaration shadowing ──
+        // No same-file or imported candidate — the only remaining option is cross-file
+        // proximity scoring, which is exactly the risky case: a bare call whose name is a
+        // known local declaration in this scope (e.g. `const { t } = useTranslation(); t('key')`
+        // where some unrelated file also happens to export a project symbol literally named
+        // `t`) should never be linked to that unrelated symbol, by real lexical scoping rules
+        // (the local binding always wins). Short-circuiting here — instead of letting proximity
+        // scoring possibly cross the confidence threshold — prevents that wrong link and avoids
+        // counting it as unresolved; it was never truly ambiguous, milens just didn't know the
+        // name was locally bound.
+        if (isKnownLocal(call)) {
+            continue;
+        }
         // ── Proximity scoring fallback (replaces blind candidates[0]) ──
         const best = scoreCandidates(call, candidates, directImportsPerFile);
         if (best.confidence >= MIN_LINK_CONFIDENCE) {
             links.push(makeLink(call.enclosingSymbolId, best.symbol.id, 'calls', best.confidence, call.line));
         }
-        else {
-            // Below threshold — "no link is better than a wrong link"
+        else if (!call.isArgumentRef) {
+            // Below threshold — "no link is better than a wrong link". For isArgumentRef
+            // identifiers this is frequently a plain local value that only coincidentally
+            // shares a name with unrelated project symbols (see the no-candidates branch
+            // above for the full rationale) — declining to link is correct, not a failure.
             unresolvedCalls++;
         }
     }
@@ -398,16 +482,39 @@ export function resolveLinksWithStats(input) {
     for (const h of input.heritage) {
         const children = symbolByName.get(h.childName);
         const parents = symbolByName.get(h.parentName);
-        if (!children || !parents)
+        if (!children)
             continue;
         const child = children.find(s => s.filePath === h.filePath) ?? children[0];
-        // Prefer imported parent > same-file parent > first match
-        const importedFile = importedNamesPerFile.get(h.filePath)?.get(h.parentName);
-        const parent = (importedFile ? parents.find(s => s.filePath === importedFile) : undefined)
-            ?? parents.find(s => s.filePath === h.filePath)
-            ?? parents[0];
-        if (child && parent) {
-            links.push(makeLink(child.id, parent.id, h.type, 0.95, h.line));
+        if (!child)
+            continue;
+        if (parents && parents.length > 0) {
+            // Prefer imported parent > same-file parent > first match
+            const importedFile = importedNamesPerFile.get(h.filePath)?.get(h.parentName);
+            const parent = (importedFile ? parents.find(s => s.filePath === importedFile) : undefined)
+                ?? parents.find(s => s.filePath === h.filePath)
+                ?? parents[0];
+            if (parent) {
+                links.push(makeLink(child.id, parent.id, h.type, 0.95, h.line));
+            }
+        }
+        else {
+            // Parent not found in project symbols — check if it comes from an external import
+            const extNames = externalNamesPerFile.get(h.filePath);
+            const isExternal = extNames?.has(h.parentName) || BUILTIN_TYPES.has(h.parentName);
+            if (isExternal) {
+                const extId = `#external:${h.parentName}`;
+                const parentKind = h.type === 'implements' ? 'interface' : 'class';
+                externalSymbols.push({
+                    id: extId,
+                    name: h.parentName,
+                    kind: parentKind,
+                    filePath: '(external)',
+                    startLine: 0,
+                    endLine: 0,
+                    exported: true,
+                });
+                links.push(makeLink(child.id, extId, h.type, 0.7, h.line));
+            }
         }
     }
     // ── Containment links (method → class) ──
@@ -447,7 +554,7 @@ export function resolveLinksWithStats(input) {
             }
         }
     }
-    return { links: deduplicateLinks(links), unresolvedImports, unresolvedCalls, externalImports, externalCalls };
+    return { links: deduplicateLinks(links), unresolvedImports, unresolvedCalls, externalImports, externalCalls, externalSymbols };
 }
 // ── Receiver-aware call narrowing ──
 function narrowByReceiver(call, candidates, symbolById, symbolByName, importedNamesPerFile, symbolsByFile, typeBindingsPerFile, heritageAncestors) {
@@ -514,37 +621,58 @@ function narrowByReceiver(call, candidates, symbolById, symbolByName, importedNa
     return null;
 }
 // ── Type binding lookup: variable → type → method candidate (scope-aware) ──
-function narrowByTypeBinding(varName, filePath, candidates, symbolById, typeBindingsPerFile, callEnclosingId, heritageAncestors) {
+/** Resolve the declared type name of a variable from extracted type bindings,
+ *  preferring a binding scoped to the call site (or its parent scope) over a
+ *  module-level/first-seen fallback. Shared by narrowByTypeBinding (method
+ *  resolution) and the receiver-external-type classification check below —
+ *  both need "what type is this receiver bound to," just for different purposes. */
+function resolveTypeNameForVar(varName, filePath, typeBindingsPerFile, symbolById, callEnclosingId) {
     const fileBindings = typeBindingsPerFile.get(filePath);
     if (!fileBindings)
-        return null;
+        return undefined;
     const entries = fileBindings.get(varName);
     if (!entries || entries.length === 0)
-        return null;
+        return undefined;
     // Scope-aware: prefer binding from same enclosing scope as the call
-    let typeName;
     if (callEnclosingId && entries.length > 1) {
         // First try exact scope match
         const scopedEntry = entries.find(e => e.scope === callEnclosingId);
-        if (scopedEntry) {
-            typeName = scopedEntry.typeName;
-        }
-        else {
-            // Try parent scope (e.g., call is in method, binding in class)
-            const enclosing = symbolById.get(callEnclosingId);
-            if (enclosing?.parentId) {
-                const parentEntry = entries.find(e => e.scope === enclosing.parentId);
-                if (parentEntry)
-                    typeName = parentEntry.typeName;
-            }
+        if (scopedEntry)
+            return scopedEntry.typeName;
+        // Try parent scope (e.g., call is in method, binding in class)
+        const enclosing = symbolById.get(callEnclosingId);
+        if (enclosing?.parentId) {
+            const parentEntry = entries.find(e => e.scope === enclosing.parentId);
+            if (parentEntry)
+                return parentEntry.typeName;
         }
     }
     // Fallback: if only one entry or no scope match, use first (module-level or single)
-    if (!typeName) {
-        // Prefer module-level binding (scope undefined) when no scope match
-        const moduleLevelEntry = entries.find(e => !e.scope);
-        typeName = moduleLevelEntry?.typeName ?? entries[0].typeName;
-    }
+    // Prefer module-level binding (scope undefined) when no scope match
+    const moduleLevelEntry = entries.find(e => !e.scope);
+    return moduleLevelEntry?.typeName ?? entries[0].typeName;
+}
+/** True when a receiver method call's receiver is itself declared with a type that
+ *  came from an external (non-project) import — e.g. `this.configService: ConfigService`
+ *  where `ConfigService` is imported from '@nestjs/config'. In that case any method
+ *  called on the receiver is necessarily external too, regardless of whether the
+ *  specific method name happens to also be used somewhere in the project. */
+function isReceiverExternallyTyped(call, typeBindingsPerFile, symbolById, externalNamesPerFile) {
+    const receiver = call.receiver;
+    if (!receiver || receiver === 'this' || receiver === 'self')
+        return false;
+    const varName = (receiver.startsWith('this.') || receiver.startsWith('self.'))
+        ? receiver.slice(receiver.indexOf('.') + 1)
+        : receiver;
+    const typeName = resolveTypeNameForVar(varName, call.filePath, typeBindingsPerFile, symbolById, call.enclosingSymbolId);
+    if (!typeName)
+        return false;
+    return externalNamesPerFile.get(call.filePath)?.has(typeName) ?? false;
+}
+function narrowByTypeBinding(varName, filePath, candidates, symbolById, typeBindingsPerFile, callEnclosingId, heritageAncestors) {
+    const typeName = resolveTypeNameForVar(varName, filePath, typeBindingsPerFile, symbolById, callEnclosingId);
+    if (!typeName)
+        return null;
     // Find candidate whose parent class name matches the resolved type,
     // including ancestors via MRO (heritage chain)
     const method = resolveMethodByType(candidates, typeName, symbolById, heritageAncestors);
@@ -746,6 +874,48 @@ function makeLink(fromId, toId, type, confidence, line) {
         line,
     };
 }
+/**
+ * Last resort when a receiver-based call's callee could not be resolved to a
+ * project symbol (whether because no candidate shares its name at all, or
+ * because receiver-type narrowing failed/scored too low). The callee itself
+ * (e.g. `.join()`, `.has()`) may genuinely be external/builtin — but the
+ * receiver it's invoked on can still be a real local symbol worth recording
+ * as a dependency (e.g. `SAFETY_TOOLS.join('/')`: SAFETY_TOOLS is a project
+ * const, `join` is Array.prototype.join and will never resolve). Without
+ * this, the receiver reference is silently dropped from the graph entirely.
+ * Only a bare-identifier receiver is considered — compound paths (`this.foo`,
+ * `a.b`) are intentionally out of scope. Resolution prefers the file the
+ * receiver was actually imported from (see the import-map lookup below);
+ * otherwise falls back to a same-file match. This is a best-effort fallback,
+ * not a scope-accurate resolution — it can miss renamed/aliased imports.
+ */
+function tryLinkReceiverReference(call, symbolByName, importedNamesPerFile, links) {
+    if (!call.receiver ||
+        call.receiver.includes('.') ||
+        call.receiver === 'this' ||
+        call.receiver === 'self' ||
+        call.isArgumentRef) {
+        return;
+    }
+    const receiverCandidates = symbolByName.get(call.receiver);
+    if (!receiverCandidates || receiverCandidates.length === 0)
+        return;
+    // Prefer the file the receiver name was actually imported from, if any —
+    // this correctly disambiguates when another file coincidentally declares a
+    // same-named symbol. Falls back to a same-file match otherwise. Like the
+    // resolver's existing "imported type name" strategy, this assumes the local
+    // import binding name matches the target symbol's own name — it will miss
+    // renamed/aliased default imports (e.g. `import Foo from './registry'` where
+    // the exported symbol is actually named something else); that is a known,
+    // accepted limitation shared with the rest of the receiver-resolution logic.
+    const importedFile = importedNamesPerFile.get(call.filePath)?.get(call.receiver);
+    const target = importedFile
+        ? receiverCandidates.find(s => s.filePath === importedFile)
+        : receiverCandidates.find(s => s.filePath === call.filePath);
+    if (target) {
+        links.push(makeLink(call.enclosingSymbolId, target.id, 'references', 0.85, call.line));
+    }
+}
 function deduplicateLinks(links) {
     const seen = new Set();
     return links.filter(l => {
@@ -823,6 +993,12 @@ function findDefaultExport(targetSymbols) {
     // Fallback to first
     return exported[0];
 }
+// ── Dynamic language detection ──
+/** Files in dynamically-typed languages where receiver types can't be statically resolved */
+function isDynamicLang(filePath) {
+    const ext = filePath.split('.').pop()?.toLowerCase();
+    return ext === 'py' || ext === 'rb' || ext === 'php';
+}
 // ── External module detection ──
 /** Returns true if the module path refers to an external package (not a relative local import) */
 function isExternalModule(modulePath) {
@@ -870,6 +1046,33 @@ const BUILTIN_GLOBALS = new Set([
     'array_map', 'array_filter', 'array_merge', 'array_keys', 'array_values',
     'count', 'strlen', 'substr', 'explode', 'implode', 'trim',
 ]);
+/** JS/TS test-framework globals (Jest/Vitest/Mocha/Jasmine) injected ambiently when a
+ *  project opts into globals mode (e.g. Vitest's `globals: true`) — no import, no project
+ *  symbol. Intentionally kept separate from BUILTIN_GLOBALS: these names are common enough
+ *  as ordinary project identifiers (`test`, `it`, `suite`) that treating them as unconditional
+ *  globals in the "unique candidate" fast path could wrongly suppress a real link to an
+ *  actual project symbol of the same name. Only checked where `candidates.length === 0` is
+ *  already established (no project symbol shares the name), where that risk cannot occur. */
+const TEST_FRAMEWORK_GLOBALS = new Set([
+    'describe', 'it', 'test', 'expect', 'beforeEach', 'afterEach', 'beforeAll', 'afterAll',
+    'suite', 'bench', 'vi', 'jest',
+]);
+/** Web/DOM APIs — browser globals (also present in Electron renderer processes and
+ *  polyfilled/native in modern Node) — ambient, never a project symbol or tracked import.
+ *  Same isolation rationale as TEST_FRAMEWORK_GLOBALS: several of these names (`Event`,
+ *  `File`, `Request`, `Response`, `Worker`, `Image`, `History`) are plausible names for a
+ *  project's own classes/DTOs, so this set is only ever consulted where
+ *  `candidates.length === 0` already holds — it can never shadow a real project symbol. */
+const WEB_DOM_GLOBALS = new Set([
+    'URL', 'URLSearchParams', 'FormData', 'Headers', 'Request', 'Response',
+    'requestAnimationFrame', 'cancelAnimationFrame', 'requestIdleCallback', 'cancelIdleCallback',
+    'IntersectionObserver', 'ResizeObserver', 'MutationObserver', 'PerformanceObserver',
+    'AbortController', 'AbortSignal', 'WebSocket', 'Notification', 'Blob', 'File', 'FileReader',
+    'CustomEvent', 'Event', 'EventTarget', 'Worker', 'SharedWorker', 'MessageChannel', 'MessagePort',
+    'localStorage', 'sessionStorage', 'indexedDB', 'navigator', 'window', 'document', 'location',
+    'history', 'performance', 'crypto', 'TextEncoder', 'TextDecoder',
+    'CSS', 'Image', 'Audio', 'Option',
+]);
 /** Common built-in prototype/instance method names (Set/Map/Array/RegExp/String/Promise/...)
  *  that frequently collide by bare name with unrelated project symbols. Unlike
  *  BUILTIN_GLOBALS (free-standing functions), these only matter when called with