@kernlang/review 3.2.3 → 3.3.5

package/dist/cache.js

@@ -1,9 +1,16 @@
 import { createHash } from 'crypto';
 import { existsSync, mkdirSync, readdirSync, readFileSync, rmSync, writeFileSync } from 'fs';
 import { homedir } from 'os';
-import { join } from 'path';
+import { dirname, join, resolve } from 'path';
 // Version stamp for cache invalidation — changes when rules/analyzers change
-const REVIEW_CACHE_VERSION = '3.2.0';
+const REVIEW_CACHE_VERSION = '3.2.3-review-cache-3';
+const IMPORT_SPECIFIER_RE = /(?:import|export)\s+(?:[^'"`]*?\s+from\s+)?['"]([^'"]+)['"]|import\(\s*['"]([^'"]+)['"]\s*\)/g;
+const EXTENSION_FALLBACK = {
+    '.js': ['.ts', '.tsx', '.mts', '.cts'],
+    '.jsx': ['.tsx'],
+    '.mjs': ['.mts'],
+    '.cjs': ['.cts'],
+};
 export class ReviewCache {
     l1 = new Map();
     cacheDir;
@@ -71,8 +78,16 @@ export function computeCacheKey(fileContent, config, filePath) {
     // Include version so cache auto-invalidates when kern-lang is upgraded
     hash.update(REVIEW_CACHE_VERSION);
     hash.update(fileContent);
-    hash.update(JSON.stringify(config));
+    hash.update(JSON.stringify(serializeConfigForCache(config, filePath)));
     hash.update(filePath);
+    hashRelativeImportTree(hash, filePath, fileContent, new Set([filePath]), 0);
+    // Include the host tsconfig's path + content in the cache key so findings are invalidated when
+    // the user edits (or adds) a tsconfig that changes compilerOptions like `jsx`, `paths`, `strict`.
+    // Monorepos typically put shared options in a tsconfig.base.json that the per-package configs
+    // `extends`, so walk the extends chain and hash every file along the way.
+    if (config.tsConfigFilePath) {
+        hashTsConfigChain(hash, config.tsConfigFilePath);
+    }
     // Include custom rule file contents in cache key to avoid stale hits when rules change
     if (config.rulesDirs) {
         for (const dir of config.rulesDirs) {
@@ -92,6 +107,128 @@ export function computeCacheKey(fileContent, config, filePath) {
     }
     return hash.digest('hex');
 }
+function serializeConfigForCache(config, filePath) {
+    const serialized = {
+        ...config,
+        fileContextMap: undefined,
+        graphFileMap: undefined,
+    };
+    const fileContext = config.fileContextMap?.get(filePath);
+    if (fileContext) {
+        serialized.fileContext = fileContext;
+        if (fileContext.importedBy.length > 0 && config.fileContextMap) {
+            serialized.importerContexts = fileContext.importedBy
+                .map((importer) => config.fileContextMap?.get(importer))
+                .filter(Boolean);
+        }
+    }
+    const graphFile = config.graphFileMap?.get(filePath);
+    if (graphFile) {
+        serialized.graphFile = graphFile;
+    }
+    if (config.fileContextMap) {
+        serialized.graphContextEnabled = true;
+    }
+    if (config.graphFileMap) {
+        serialized.graphEdgesEnabled = true;
+    }
+    return serialized;
+}
+function hashTsConfigChain(hash, tsconfigPath, seen = new Set(), depth = 0) {
+    if (depth > 10)
+        return; // Cycle / pathological chain guard.
+    const absPath = resolve(tsconfigPath);
+    if (seen.has(absPath))
+        return;
+    seen.add(absPath);
+    if (!existsSync(absPath))
+        return;
+    hash.update(absPath);
+    let content = '';
+    try {
+        content = readFileSync(absPath, 'utf-8');
+        hash.update(content);
+    }
+    catch {
+        return;
+    }
+    // Follow the `extends` field so shared base configs participate in invalidation. Stripping
+    // comments with a naive regex is good enough for the extends field — tsconfigs rarely hide a
+    // string like `"extends"` inside a comment, and JSONC edge cases are acceptable loss here.
+    try {
+        const stripped = content.replace(/\/\*[\s\S]*?\*\/|\/\/.*$/gm, '');
+        const parsed = JSON.parse(stripped);
+        const extended = parsed?.extends;
+        const extendsList = Array.isArray(extended) ? extended : typeof extended === 'string' ? [extended] : [];
+        for (const raw of extendsList) {
+            if (typeof raw !== 'string')
+                continue;
+            // Resolve relative to the current tsconfig; non-relative specifiers (package refs) aren't walked —
+            // they live in node_modules and would require full resolution, which is overkill for cache invalidation.
+            const candidate = raw.startsWith('.') ? resolve(dirname(absPath), raw) : undefined;
+            if (!candidate)
+                continue;
+            const withExt = candidate.endsWith('.json') ? candidate : `${candidate}.json`;
+            hashTsConfigChain(hash, withExt, seen, depth + 1);
+        }
+    }
+    catch {
+        // Malformed JSONC — skip extends walk; already hashed the raw content above.
+    }
+}
+function hashRelativeImportTree(hash, filePath, fileContent, seen, depth, maxDepth = 3) {
+    if (depth >= maxDepth)
+        return;
+    for (const specifier of collectRelativeImportSpecifiers(fileContent)) {
+        for (const candidate of resolveImportCandidates(filePath, specifier)) {
+            if (!existsSync(candidate) || seen.has(candidate))
+                continue;
+            seen.add(candidate);
+            try {
+                const importedContent = readFileSync(candidate, 'utf-8');
+                hash.update(candidate);
+                hash.update(importedContent);
+                hashRelativeImportTree(hash, candidate, importedContent, seen, depth + 1, maxDepth);
+                break;
+            }
+            catch {
+                /* skip unreadable imports */
+            }
+        }
+    }
+}
+function collectRelativeImportSpecifiers(fileContent) {
+    const specs = new Set();
+    for (const match of fileContent.matchAll(IMPORT_SPECIFIER_RE)) {
+        const spec = match[1] ?? match[2];
+        if (spec?.startsWith('.'))
+            specs.add(spec);
+    }
+    return [...specs];
+}
+function resolveImportCandidates(filePath, specifier) {
+    const baseDir = dirname(filePath);
+    const candidates = [];
+    const pushResolved = (relativePath) => {
+        candidates.push(resolve(baseDir, relativePath));
+    };
+    const ext = Object.keys(EXTENSION_FALLBACK).find((suffix) => specifier.endsWith(suffix));
+    if (ext) {
+        pushResolved(specifier);
+        for (const fallback of EXTENSION_FALLBACK[ext]) {
+            pushResolved(`${specifier.slice(0, -ext.length)}${fallback}`);
+        }
+        return candidates;
+    }
+    if (/\.[cm]?[jt]sx?$/.test(specifier)) {
+        pushResolved(specifier);
+        return candidates;
+    }
+    for (const suffix of ['.ts', '.tsx', '.mts', '.cts', '/index.ts', '/index.tsx', '/index.mts', '/index.cts']) {
+        pushResolved(`${specifier}${suffix}`);
+    }
+    return candidates;
+}
 export const reviewCache = new ReviewCache();
 export function clearReviewCache() {
     reviewCache.clear();

package/dist/cache.js.map

@@ -1 +1 @@
-{"version":3,"file":"cache.js","sourceRoot":"","sources":["../src/cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,IAAI,CAAC;AAC7F,OAAO,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC;AAC7B,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAG5B,6EAA6E;AAC7E,MAAM,oBAAoB,GAAG,OAAO,CAAC;AAErC,MAAM,OAAO,WAAW;IACd,EAAE,GAAG,IAAI,GAAG,EAAwB,CAAC;IACrC,QAAQ,CAAS;IAEzB;QACE,wGAAwG;QACxG,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QAC/D,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QAClD,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;IAEO,cAAc;QACpB,IAAI,CAAC;YACH,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yEAAyE;QAC3E,CAAC;IACH,CAAC;IAEM,GAAG,CAAC,GAAW;QACpB,WAAW;QACX,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QAED,WAAW;QACX,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,OAAO,CAAC,CAAC;QACrD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC1D,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACvB,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAEM,GAAG,CAAC,GAAW,EAAE,MAAoB;QAC1C,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC;YACH,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,sBAAsB;QACxB,CAAC;IACH,CAAC;IAEM,KAAK;QACV,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;QAChB,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACxD,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACP,sBAAsB;YACxB,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,MAAM,UAAU,eAAe,CAAC,WAAmB,EAAE,MAAoB,EAAE,QAAgB;IACzF,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,uEAAuE;IACvE,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtB,uFAAuF;IACvF,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnC,IAAI,CAAC;gBACH,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBACpB,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;wBACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;4BAC5B,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;wBACvD,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,0BAA0B;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAE7C,MAAM,UAAU,gBAAgB;IAC9B,WAAW,CAAC,KAAK,EAAE,CAAC;AACtB,CAAC"}
+{"version":3,"file":"cache.js","sourceRoot":"","sources":["../src/cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,IAAI,CAAC;AAC7F,OAAO,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC;AAC7B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG9C,6EAA6E;AAC7E,MAAM,oBAAoB,GAAG,sBAAsB,CAAC;AACpD,MAAM,mBAAmB,GACvB,+FAA+F,CAAC;AAClG,MAAM,kBAAkB,GAA6B;IACnD,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;IACtC,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,MAAM,CAAC;IAChB,MAAM,EAAE,CAAC,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,OAAO,WAAW;IACd,EAAE,GAAG,IAAI,GAAG,EAAwB,CAAC;IACrC,QAAQ,CAAS;IAEzB;QACE,wGAAwG;QACxG,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QAC/D,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QAClD,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;IAEO,cAAc;QACpB,IAAI,CAAC;YACH,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yEAAyE;QAC3E,CAAC;IACH,CAAC;IAEM,GAAG,CAAC,GAAW;QACpB,WAAW;QACX,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QAED,WAAW;QACX,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,OAAO,CAAC,CAAC;QACrD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC1D,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACvB,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAEM,GAAG,CAAC,GAAW,EAAE,MAAoB;QAC1C,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC;YACH,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,sBAAsB;QACxB,CAAC;IACH,CAAC;IAEM,KAAK;QACV,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;QAChB,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACxD,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACP,sBAAsB;YACxB,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,MAAM,UAAU,eAAe,CAAC,WAAmB,EAAE,MAAoB,EAAE,QAAgB;IACzF,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,uEAAuE;IACvE,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,uBAAuB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtB,sBAAsB,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,+FAA+F;IAC/F,kGAAkG;IAClG,8FAA8F;IAC9F,0EAA0E;IAC1E,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC5B,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACnD,CAAC;IAED,uFAAuF;IACvF,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnC,IAAI,CAAC;gBACH,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBACpB,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;wBACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;4BAC5B,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;wBACvD,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,0BAA0B;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAoB,EAAE,QAAgB;IACrE,MAAM,UAAU,GAA4B;QAC1C,GAAG,MAAM;QACT,cAAc,EAAE,SAAS;QACzB,YAAY,EAAE,SAAS;KACxB,CAAC;IAEF,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,WAAW,EAAE,CAAC;QAChB,UAAU,CAAC,WAAW,GAAG,WAAW,CAAC;QACrC,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAC/D,UAAU,CAAC,gBAAgB,GAAG,WAAW,CAAC,UAAU;iBACjD,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;iBACvD,MAAM,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,SAAS,EAAE,CAAC;QACd,UAAU,CAAC,SAAS,GAAG,SAAS,CAAC;IACnC,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1B,UAAU,CAAC,mBAAmB,GAAG,IAAI,CAAC;IACxC,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACxB,UAAU,CAAC,iBAAiB,GAAG,IAAI,CAAC;IACtC,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAmC,EACnC,YAAoB,EACpB,OAAoB,IAAI,GAAG,EAAE,EAC7B,KAAK,GAAG,CAAC;IAET,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,CAAC,oCAAoC;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO;IAC9B,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO;IACjC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrB,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,CAAC;QACH,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;IACD,2FAA2F;IAC3F,6FAA6F;IAC7F,2FAA2F;IAC3F,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,EAAE,OAAO,CAAC;QACjC,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACxG,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,SAAS;YACtC,mGAAmG;YACnG,yGAAyG;YACzG,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACnF,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,OAAO,CAAC;YAC9E,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,6EAA6E;IAC/E,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAmC,EACnC,QAAgB,EAChB,WAAmB,EACnB,IAAiB,EACjB,KAAa,EACb,QAAQ,GAAG,CAAC;IAEZ,IAAI,KAAK,IAAI,QAAQ;QAAE,OAAO;IAE9B,KAAK,MAAM,SAAS,IAAI,+BAA+B,CAAC,WAAW,CAAC,EAAE,CAAC;QACrE,KAAK,MAAM,SAAS,IAAI,uBAAuB,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;YACrE,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAS;YAC5D,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAEpB,IAAI,CAAC;gBACH,MAAM,eAAe,GAAG,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBACvB,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;gBAC7B,sBAAsB,CAAC,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;gBACpF,MAAM;YACR,CAAC;YAAC,MAAM,CAAC;gBACP,6BAA6B;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,+BAA+B,CAAC,WAAmB;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAgB,EAAE,SAAiB;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,MAAM,YAAY,GAAG,CAAC,YAAoB,EAAE,EAAE;QAC5C,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC;IAEF,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACzF,IAAI,GAAG,EAAE,CAAC;QACR,YAAY,CAAC,SAAS,CAAC,CAAC;QACxB,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,YAAY,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IAAI,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,YAAY,CAAC,SAAS,CAAC,CAAC;QACxB,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;QAC5G,YAAY,CAAC,GAAG,SAAS,GAAG,MAAM,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAE7C,MAAM,UAAU,gBAAgB;IAC9B,WAAW,CAAC,KAAK,EAAE,CAAC;AACtB,CAAC"}

package/dist/call-graph.d.ts

@@ -15,7 +15,10 @@
  *   - Higher-order functions: arr.map(callback)
  *   - Computed property access: obj[key]()
  *   - Framework magic: decorators, DI containers
- *   - Aliased function variables: const f = foo; f()
+ *
+ * Resolved via local alias tracking:
+ *   - const f = foo; f()           (identifier alias to local / imported fn)
+ *   - const g = f; g()             (transitive alias, one extra hop)
  *
  * Dead export findings from unresolved edges get lower confidence (0.70 vs 0.90).
  */

package/dist/call-graph.js

@@ -15,17 +15,19 @@
  *   - Higher-order functions: arr.map(callback)
  *   - Computed property access: obj[key]()
  *   - Framework magic: decorators, DI containers
- *   - Aliased function variables: const f = foo; f()
+ *
+ * Resolved via local alias tracking:
+ *   - const f = foo; f()           (identifier alias to local / imported fn)
+ *   - const g = f; g()             (transitive alias, one extra hop)
  *
  * Dead export findings from unresolved edges get lower confidence (0.70 vs 0.90).
  */
 import { SyntaxKind } from 'ts-morph';
-// ── Import Resolution ───────────────────────────────────────────────────
-/** Build a map of importName → resolvedFilePath#exportName for a source file */
+/** Build a map of local import binding → resolved export target for a source file */
 function buildImportBindings(sourceFile, graphFiles) {
     const bindings = new Map();
     for (const decl of sourceFile.getImportDeclarations()) {
-        const resolvedSf = decl.getModuleSpecifierSourceFile();
+        const resolvedSf = resolveImportSourceFile(sourceFile, decl, graphFiles);
         if (!resolvedSf)
             continue;
         const resolvedPath = resolvedSf.getFilePath();
@@ -33,25 +35,174 @@ function buildImportBindings(sourceFile, graphFiles) {
             continue;
         // Named imports: import { foo, bar as baz } from './mod'
         for (const named of decl.getNamedImports()) {
-            const localName = named.getName();
-            const _originalName = named.getAliasNode()?.getText() || localName;
-            // The imported name is the original export name
             const importedName = named.getName();
-            bindings.set(localName, `${resolvedPath}#${importedName}`);
+            const localName = named.getAliasNode()?.getText() ?? importedName;
+            const target = resolveExportBinding(resolvedSf, importedName, graphFiles) ?? {
+                targetFile: resolvedPath,
+                targetName: importedName,
+            };
+            bindings.set(localName, { kind: 'named', ...target });
         }
         // Default import: import Foo from './mod'
         const defaultImport = decl.getDefaultImport();
         if (defaultImport) {
-            bindings.set(defaultImport.getText(), `${resolvedPath}#default`);
+            const target = resolveDefaultExportBinding(resolvedSf, graphFiles) ?? {
+                targetFile: resolvedPath,
+                targetName: 'default',
+            };
+            bindings.set(defaultImport.getText(), { kind: 'default', ...target });
         }
         // Namespace import: import * as mod from './mod'
         const namespaceImport = decl.getNamespaceImport();
         if (namespaceImport) {
-            bindings.set(namespaceImport.getText(), `${resolvedPath}#*`);
+            bindings.set(namespaceImport.getText(), {
+                kind: 'namespace',
+                targetFile: resolvedPath,
+                targetName: '*',
+                members: buildNamespaceMembers(resolvedSf, graphFiles),
+            });
         }
     }
     return bindings;
 }
+function resolveImportSourceFile(sourceFile, decl, graphFiles) {
+    try {
+        const resolved = decl.getModuleSpecifierSourceFile() ?? undefined;
+        if (resolved && graphFiles.has(resolved.getFilePath()))
+            return resolved;
+    }
+    catch {
+        /* fall back to the import graph edge below */
+    }
+    let specifier;
+    try {
+        specifier = decl.getModuleSpecifierValue();
+    }
+    catch {
+        return undefined;
+    }
+    const graphFile = graphFiles.get(sourceFile.getFilePath());
+    const edge = graphFile?.importEdges.find((candidate) => candidate.specifier === specifier);
+    return edge ? sourceFile.getProject().getSourceFile(edge.to) : undefined;
+}
+function resolveExportBinding(sourceFile, exportName, graphFiles) {
+    const decls = sourceFile.getExportedDeclarations().get(exportName);
+    if (!decls || decls.length === 0)
+        return undefined;
+    return resolveBindingFromDeclarations(decls, exportName, graphFiles);
+}
+function resolveDefaultExportBinding(sourceFile, graphFiles) {
+    const symbol = sourceFile.getDefaultExportSymbol();
+    if (!symbol)
+        return undefined;
+    return resolveBindingFromDeclarations(symbol.getDeclarations(), 'default', graphFiles);
+}
+function buildNamespaceMembers(sourceFile, graphFiles) {
+    const members = new Map();
+    for (const [exportName, decls] of sourceFile.getExportedDeclarations()) {
+        const resolved = resolveBindingFromDeclarations(decls, exportName, graphFiles);
+        if (resolved)
+            members.set(exportName, resolved);
+    }
+    return members;
+}
+function addImportedExportKeys(importedExportKeys, importBindings) {
+    for (const binding of importBindings.values()) {
+        if (binding.kind === 'namespace') {
+            for (const member of binding.members?.values() ?? []) {
+                importedExportKeys.add(`${member.targetFile}#${member.targetName}`);
+            }
+            continue;
+        }
+        importedExportKeys.add(`${binding.targetFile}#${binding.targetName}`);
+    }
+}
+function resolveBindingFromDeclarations(declarations, fallbackName, graphFiles) {
+    for (const decl of declarations) {
+        const declFile = decl.getSourceFile().getFilePath();
+        if (!graphFiles.has(declFile))
+            continue;
+        return {
+            targetFile: declFile,
+            targetName: getDeclarationBindingName(decl, fallbackName),
+        };
+    }
+    return undefined;
+}
+function getDeclarationBindingName(decl, fallbackName) {
+    const maybeNamed = decl;
+    if (typeof maybeNamed.getName === 'function') {
+        const name = maybeNamed.getName();
+        if (name)
+            return name;
+    }
+    if (decl.getKindName() === 'ExportAssignment') {
+        const expr = decl.getExpression?.();
+        if (expr?.getKind() === SyntaxKind.Identifier)
+            return expr.getText();
+    }
+    return fallbackName;
+}
+// ── Local Alias Resolution ──────────────────────────────────────────────
+/**
+ * Build a map of local variable aliases pointing to functions.
+ *
+ *   const f = importedFn  → { targetFile: '<import target>', targetName: '<export name>' }
+ *   const g = localFn     → { targetFile: '<this file>',     targetName: 'localFn' }
+ *   const h = g           → resolved transitively on a second pass
+ *
+ * Only covers top-level `const/let/var name = <identifier>` patterns (no destructuring,
+ * no reassignment tracking, no function-returned aliases). Namespace imports are
+ * deliberately skipped here — they are handled by the property-access branch of
+ * extractCallSites (e.g. `ns.foo()`).
+ */
+function buildLocalAliases(sourceFile, localFnNames, importBindings) {
+    const aliases = new Map();
+    const filePath = sourceFile.getFilePath();
+    // First pass: direct aliases (imported fn or local fn as RHS)
+    for (const stmt of sourceFile.getVariableStatements()) {
+        for (const decl of stmt.getDeclarations()) {
+            const init = decl.getInitializer();
+            if (!init || init.getKind() !== SyntaxKind.Identifier)
+                continue;
+            const aliasName = decl.getName();
+            const sourceName = init.getText();
+            if (aliasName === sourceName)
+                continue;
+            const importBinding = importBindings.get(sourceName);
+            if (importBinding && importBinding.kind !== 'namespace') {
+                aliases.set(aliasName, {
+                    targetFile: importBinding.targetFile,
+                    targetName: importBinding.targetName,
+                });
+                continue;
+            }
+            if (localFnNames.has(sourceName)) {
+                aliases.set(aliasName, {
+                    targetFile: filePath,
+                    targetName: sourceName,
+                });
+            }
+        }
+    }
+    // Second pass: transitive aliases (RHS is itself an alias created in pass 1).
+    // One extra hop catches `const g = f` where `f` was `const f = imp`.
+    for (const stmt of sourceFile.getVariableStatements()) {
+        for (const decl of stmt.getDeclarations()) {
+            const init = decl.getInitializer();
+            if (!init || init.getKind() !== SyntaxKind.Identifier)
+                continue;
+            const aliasName = decl.getName();
+            const sourceName = init.getText();
+            if (aliases.has(aliasName))
+                continue;
+            const transitive = aliases.get(sourceName);
+            if (transitive)
+                aliases.set(aliasName, transitive);
+        }
+    }
+    return aliases;
+}
 // ── Function Collection ─────────────────────────────────────────────────
 /** Collect all function declarations from a source file */
 function collectFunctions(sourceFile, filePath) {
@@ -122,12 +273,19 @@ function collectFunctions(sourceFile, filePath) {
 }
 // ── Call Site Extraction ────────────────────────────────────────────────
 /** Extract all call sites from a function body */
-function extractCallSites(fnNode, sourceFile, localFnNames, importBindings) {
+function extractCallSites(fnNode, sourceFile, localFnNames, importBindings, localAliases) {
     const callSites = [];
     // Find the AST node for this function
     const body = findFunctionBody(fnNode, sourceFile);
     if (!body)
         return callSites;
+    // Names that are re-bound anywhere inside this function (parameters or
+    // local var/let/const). If a file-global alias name is rebound here, we
+    // must not apply the alias — the inner binding shadows it. Conservative
+    // by design: we drop the alias even if the rebinding is in a sibling
+    // branch, falling back to an unresolved call site rather than resolving
+    // to the wrong target.
+    const shadowedNames = collectShadowedNames(body);
     // Walk all call expressions in the body
     body.forEachDescendant((node) => {
         if (node.getKind() !== SyntaxKind.CallExpression)
@@ -161,13 +319,28 @@ function extractCallSites(fnNode, sourceFile, localFnNames, importBindings) {
             }
             // Imported function?
             const binding = importBindings.get(targetName);
-            if (binding) {
-                const [targetFile, exportName] = splitBinding(binding);
+            if (binding && binding.kind !== 'namespace') {
                 callSites.push({
                     callerName: fnNode.name,
                     callerFile: fnNode.filePath,
-                    targetName: exportName,
-                    targetFile,
+                    targetName: binding.targetName,
+                    targetFile: binding.targetFile,
+                    line: call.getStartLineNumber(),
+                    argumentCount: args.length,
+                    resolved: true,
+                    hasAwait,
+                });
+                return;
+            }
+            // Local alias — `const f = foo; f()` resolves to foo's target.
+            // Skip if the name is rebound within this function body (shadowed).
+            const alias = localAliases.get(targetName);
+            if (alias && !shadowedNames.has(targetName)) {
+                callSites.push({
+                    callerName: fnNode.name,
+                    callerFile: fnNode.filePath,
+                    targetName: alias.targetName,
+                    targetFile: alias.targetFile,
                     line: call.getStartLineNumber(),
                     argumentCount: args.length,
                     resolved: true,
@@ -210,13 +383,26 @@ function extractCallSites(fnNode, sourceFile, localFnNames, importBindings) {
             }
             // Namespace import: mod.foo()
             const nsBinding = importBindings.get(objName);
-            if (nsBinding?.endsWith('#*')) {
-                const targetFile = nsBinding.slice(0, -2);
+            if (nsBinding?.kind === 'namespace') {
+                const memberBinding = nsBinding.members?.get(methodName);
+                if (!memberBinding) {
+                    callSites.push({
+                        callerName: fnNode.name,
+                        callerFile: fnNode.filePath,
+                        targetName: `${objName}.${methodName}`,
+                        targetFile: '',
+                        line: call.getStartLineNumber(),
+                        argumentCount: args.length,
+                        resolved: false,
+                        hasAwait,
+                    });
+                    return;
+                }
                 callSites.push({
                     callerName: fnNode.name,
                     callerFile: fnNode.filePath,
-                    targetName: methodName,
-                    targetFile,
+                    targetName: memberBinding.targetName,
+                    targetFile: memberBinding.targetFile,
                     line: call.getStartLineNumber(),
                     argumentCount: args.length,
                     resolved: true,
@@ -251,6 +437,51 @@ function extractCallSites(fnNode, sourceFile, localFnNames, importBindings) {
     });
     return callSites;
 }
+/**
+ * Collect every identifier name that is rebound inside this function body —
+ * function parameters plus every variable declaration anywhere in the body.
+ * Used to suppress file-global aliases when the function shadows them.
+ */
+function collectShadowedNames(body) {
+    const names = new Set();
+    // Parameters of the enclosing function.
+    const enclosingFn = body.getParent();
+    if (enclosingFn && 'getParameters' in enclosingFn && typeof enclosingFn.getParameters === 'function') {
+        for (const p of enclosingFn.getParameters()) {
+            const nameNode = p.getNameNode();
+            const k = nameNode.getKindName();
+            if (k === 'Identifier') {
+                names.add(nameNode.getText());
+            }
+            else if (k === 'ObjectBindingPattern' || k === 'ArrayBindingPattern') {
+                for (const el of nameNode.getElements()) {
+                    const nm = el.getName?.();
+                    if (typeof nm === 'string')
+                        names.add(nm);
+                }
+            }
+        }
+    }
+    // All variable declarations anywhere inside the body (any nested scope).
+    body.forEachDescendant((node) => {
+        if (node.getKind() !== SyntaxKind.VariableDeclaration)
+            return;
+        const decl = node;
+        const nameNode = decl.getNameNode();
+        const k = nameNode.getKindName();
+        if (k === 'Identifier') {
+            names.add(nameNode.getText());
+        }
+        else if (k === 'ObjectBindingPattern' || k === 'ArrayBindingPattern') {
+            for (const el of nameNode.getElements()) {
+                const nm = el.getName?.();
+                if (typeof nm === 'string')
+                    names.add(nm);
+            }
+        }
+    });
+    return names;
+}
 /** Find the AST body node for a FunctionNode */
 function findFunctionBody(fnNode, sourceFile) {
     // Try named function
@@ -272,10 +503,6 @@ function findFunctionBody(fnNode, sourceFile) {
     }
     return undefined;
 }
-function splitBinding(binding) {
-    const idx = binding.lastIndexOf('#');
-    return [binding.slice(0, idx), binding.slice(idx + 1)];
-}
 const BUILTINS = new Set([
     'console',
     'setTimeout',
@@ -317,6 +544,7 @@ export function buildCallGraph(graph, project) {
     }
     const allFunctions = new Map();
     const fileFunctions = new Map();
+    const importedExportKeys = new Set();
     // Phase 1: Collect all functions from all files
     for (const gf of graph.files) {
         const sf = project.getSourceFile(gf.path);
@@ -337,8 +565,10 @@ export function buildCallGraph(graph, project) {
         const fns = fileFunctions.get(gf.path) || [];
         const localFnNames = new Set(fns.map((f) => f.name));
         const importBindings = buildImportBindings(sf, graphFiles);
+        addImportedExportKeys(importedExportKeys, importBindings);
+        const localAliases = buildLocalAliases(sf, localFnNames, importBindings);
         for (const fn of fns) {
-            fn.calls = extractCallSites(fn, sf, localFnNames, importBindings);
+            fn.calls = extractCallSites(fn, sf, localFnNames, importBindings, localAliases);
             unresolvedCount += fn.calls.filter((c) => !c.resolved).length;
         }
     }
@@ -354,11 +584,46 @@ export function buildCallGraph(graph, project) {
             }
         }
     }
+    // Collect every class name instantiated somewhere in the graph. A file
+    // can export a singleton (`export const foo = new Foo()`) while no file
+    // imports the class by name — all consumers use the instance. Without
+    // this, every method of a singleton-exported class reads as dead.
+    const instantiatedClasses = new Set();
+    for (const gf of graph.files) {
+        const sf = project.getSourceFile(gf.path);
+        if (!sf)
+            continue;
+        sf.forEachDescendant((node) => {
+            if (node.getKind() !== SyntaxKind.NewExpression)
+                return;
+            const newExpr = node;
+            const callee = newExpr.getExpression();
+            if (callee.getKindName() === 'Identifier') {
+                instantiatedClasses.add(callee.getText());
+            }
+        });
+    }
     // Phase 4: Identify dead exports and orphan functions
     const deadExports = [];
     const orphanFunctions = [];
     for (const [key, fn] of allFunctions) {
-        if (fn.isExported && fn.calledBy.length === 0) {
+        if (fn.isExported && fn.calledBy.length === 0 && !importedExportKeys.has(key)) {
+            // Class methods inherit liveness from the class. `FileStateCache.get`
+            // is never imported by name — consumers import `FileStateCache` and
+            // invoke `.get()` via property access (unresolvable statically). If
+            // the class itself is imported anywhere, flagging each method as
+            // dead is a false positive on every class-shipping package.
+            if (fn.name.includes('.')) {
+                const className = fn.name.split('.')[0];
+                if (importedExportKeys.has(`${fn.filePath}#${className}`))
+                    continue;
+                // Class is never imported by name but is instantiated somewhere in
+                // the graph (singleton / factory pattern). Methods reachable via
+                // the instance aren't visible to static analysis, so trust the
+                // `new`-site as proof of liveness.
+                if (instantiatedClasses.has(className))
+                    continue;
+            }
             deadExports.push(key);
         }
         if (!fn.isExported && fn.calledBy.length === 0) {