@saluzi/codegraph 0.1.0 → 0.2.1

package/dist/resolution/import-resolver.js

@@ -38,33 +38,69 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.isNixPathImportRef = isNixPathImportRef;
 exports.resolveImportPath = resolveImportPath;
+exports.clearCppIncludeDirCache = clearCppIncludeDirCache;
+exports.loadCppIncludeDirs = loadCppIncludeDirs;
+exports.isPhpIncludePathRef = isPhpIncludePathRef;
+exports.isCobolCopybookRef = isCobolCopybookRef;
 exports.extractImportMappings = extractImportMappings;
 exports.clearImportMappingCache = clearImportMappingCache;
 exports.extractReExports = extractReExports;
+exports.resolveJvmImport = resolveJvmImport;
 exports.resolveViaImport = resolveViaImport;
+const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
 const path_aliases_1 = require("./path-aliases");
+const workspace_packages_1 = require("./workspace-packages");
 /**
  * Extension resolution order by language
  */
 const EXTENSION_RESOLUTION = {
     typescript: ['.ts', '.tsx', '.d.ts', '.js', '.jsx', '/index.ts', '/index.tsx', '/index.js'],
+    // ArkTS imports both `.ets` components and plain `.ts` logic modules —
+    // HarmonyOS projects are always a mix. `/Index.ets` (capital I) is ohpm's
+    // module-entry convention, hit when a bare workspace import ("data") is
+    // rewritten to the member's directory; lowercase variants for safety.
+    arkts: ['.ets', '.ts', '.d.ts', '.js', '/Index.ets', '/index.ets', '/index.ts', '/index.js'],
     javascript: ['.js', '.jsx', '.mjs', '.cjs', '/index.js', '/index.jsx'],
     tsx: ['.tsx', '.ts', '.d.ts', '.js', '.jsx', '/index.tsx', '/index.ts', '/index.js'],
     jsx: ['.jsx', '.js', '/index.jsx', '/index.js'],
+    // SFC consumers import plain TS/JS, sibling components, and barrels
+    // (`./lib` → `./lib/index.ts`). Without a list, relative imports from a
+    // `.svelte`/`.vue` file resolve to nothing, so barrel callers vanish (#629).
+    svelte: ['.ts', '.js', '.svelte', '.tsx', '.jsx', '/index.ts', '/index.js', '/index.svelte'],
+    vue: ['.ts', '.js', '.vue', '.tsx', '.jsx', '/index.ts', '/index.js', '/index.vue'],
+    astro: ['.ts', '.js', '.astro', '.tsx', '.jsx', '/index.ts', '/index.js', '/index.astro'],
     python: ['.py', '/__init__.py'],
     go: ['.go'],
     rust: ['.rs', '/mod.rs'],
     java: ['.java'],
+    c: ['.h', '.c'],
+    cpp: ['.h', '.hpp', '.hxx', '.cpp', '.cc', '.cxx'],
     csharp: ['.cs'],
     php: ['.php'],
     ruby: ['.rb'],
+    objc: ['.h', '.m', '.mm'],
+    nix: ['.nix', '/default.nix'],
 };
+function isNixPathImportRef(ref) {
+    return (ref.language === 'nix' &&
+        ref.referenceKind === 'imports' &&
+        (ref.referenceName.startsWith('./') || ref.referenceName.startsWith('../')) &&
+        !/[\s{}()[\];"'<>$]/.test(ref.referenceName));
+}
 /**
  * Resolve an import path to an actual file
  */
 function resolveImportPath(importPath, fromFile, language, context) {
+    // COBOL COPY/EXEC SQL INCLUDE names a copybook member, not a path — the
+    // compiler searches a library, so we match against indexed file basenames.
+    // Must run before isExternalImport: a bare member name would otherwise be
+    // misclassified as an external package.
+    if (language === 'cobol') {
+        return resolveCobolCopybook(importPath, fromFile, context);
+    }
     // Skip external/npm packages — but pass the context so the
     // bare-specifier heuristic can consult the project's tsconfig
     // alias map first (custom prefixes like `@components/*` would
@@ -79,8 +115,102 @@ function resolveImportPath(importPath, fromFile, language, context) {
         return resolveRelativeImport(importPath, fromDir, language, context);
     }
     // Handle absolute/aliased imports (like @/ or src/)
-    return resolveAliasedImport(importPath, projectRoot, language, context);
+    const aliased = resolveAliasedImport(importPath, projectRoot, language, context);
+    if (aliased)
+        return aliased;
+    // C/C++ include directory search: when neither relative nor aliased
+    // resolution found a match, search -I directories from
+    // compile_commands.json or heuristic probing.
+    if (language === 'c' || language === 'cpp') {
+        return resolveCppIncludePath(importPath, language, context);
+    }
+    return null;
 }
+/**
+ * COBOL copybook lookup: `COPY CVACT01Y` (or `EXEC SQL INCLUDE X`) names a
+ * library member resolved by the compiler's copybook search path, so we match
+ * the member against indexed file basenames, case-insensitively. `.cpy` wins
+ * over a same-named program; a same-directory hit wins within a tier. The
+ * stem index is built once per resolution context (a per-ref scan of every
+ * file node would go quadratic on copybook-heavy repos).
+ */
+const cobolCopybookIndexes = new WeakMap();
+function resolveCobolCopybook(member, fromFile, context) {
+    let index = cobolCopybookIndexes.get(context);
+    if (!index) {
+        index = new Map();
+        for (const fileNode of context.getNodesByKind('file')) {
+            const normalized = fileNode.filePath.replace(/\\/g, '/');
+            const base = normalized.split('/').pop() ?? '';
+            const dot = base.lastIndexOf('.');
+            const stem = (dot > 0 ? base.slice(0, dot) : base).toLowerCase();
+            const paths = index.get(stem);
+            if (paths)
+                paths.push(fileNode.filePath);
+            else
+                index.set(stem, [fileNode.filePath]);
+        }
+        cobolCopybookIndexes.set(context, index);
+    }
+    const candidates = index.get(member.toLowerCase());
+    if (!candidates || candidates.length === 0)
+        return null;
+    const fromDir = fromFile.replace(/\\/g, '/').split('/').slice(0, -1).join('/');
+    let best = null;
+    let bestScore = -1;
+    for (const candidate of candidates) {
+        const normalized = candidate.replace(/\\/g, '/');
+        const ext = normalized.slice(normalized.lastIndexOf('.')).toLowerCase();
+        let score = 0;
+        if (ext === '.cpy')
+            score += 4;
+        else if (ext === '.cbl' || ext === '.cob' || ext === '.cobol')
+            score += 2;
+        if (normalized.split('/').slice(0, -1).join('/') === fromDir)
+            score += 1;
+        if (score > bestScore) {
+            bestScore = score;
+            best = candidate;
+        }
+    }
+    return best;
+}
+/**
+ * C and C++ standard library header names (without delimiters).
+ * Used by isExternalImport to filter system includes from resolution.
+ */
+const C_CPP_STDLIB_HEADERS = new Set([
+    // C standard library headers
+    'assert.h', 'complex.h', 'ctype.h', 'errno.h', 'fenv.h', 'float.h',
+    'inttypes.h', 'iso646.h', 'limits.h', 'locale.h', 'math.h', 'setjmp.h',
+    'signal.h', 'stdalign.h', 'stdarg.h', 'stdatomic.h', 'stdbool.h',
+    'stddef.h', 'stdint.h', 'stdio.h', 'stdlib.h', 'stdnoreturn.h',
+    'string.h', 'tgmath.h', 'threads.h', 'time.h', 'uchar.h', 'wchar.h',
+    'wctype.h',
+    // C++ C-library wrappers (cname form)
+    'cassert', 'ccomplex', 'cctype', 'cerrno', 'cfenv', 'cfloat',
+    'cinttypes', 'ciso646', 'climits', 'clocale', 'cmath', 'csetjmp',
+    'csignal', 'cstdalign', 'cstdarg', 'cstdbool', 'cstddef', 'cstdint',
+    'cstdio', 'cstdlib', 'cstring', 'ctgmath', 'ctime', 'cuchar',
+    'cwchar', 'cwctype',
+    // C++ STL headers
+    'algorithm', 'any', 'array', 'atomic', 'barrier', 'bit', 'bitset',
+    'charconv', 'chrono', 'codecvt', 'compare', 'complex', 'concepts',
+    'condition_variable', 'coroutine', 'deque', 'exception', 'execution',
+    'expected', 'filesystem', 'format', 'forward_list', 'fstream',
+    'functional', 'future', 'generator', 'initializer_list', 'iomanip',
+    'ios', 'iosfwd', 'iostream', 'istream', 'iterator', 'latch',
+    'limits', 'list', 'locale', 'map', 'mdspan', 'memory', 'memory_resource',
+    'mutex', 'new', 'numbers', 'numeric', 'optional', 'ostream', 'print',
+    'queue', 'random', 'ranges', 'ratio', 'regex', 'scoped_allocator',
+    'semaphore', 'set', 'shared_mutex', 'source_location', 'span',
+    'spanstream', 'sstream', 'stack', 'stacktrace', 'stdexcept',
+    'stdfloat', 'stop_token', 'streambuf', 'string', 'string_view',
+    'strstream', 'syncstream', 'system_error', 'thread', 'tuple',
+    'type_traits', 'typeindex', 'typeinfo', 'unordered_map',
+    'unordered_set', 'utility', 'valarray', 'variant', 'vector',
+    'version',
+]);
 /**
  * Check if an import is external (npm package, etc.)
  *
@@ -94,8 +224,16 @@ function isExternalImport(importPath, language, context) {
     if (importPath.startsWith('.')) {
         return false;
     }
+    // Workspace-member imports (`@scope/ui`, `@scope/ui/widgets`) are LOCAL to
+    // a monorepo even though they look like bare npm specifiers. Consult the
+    // workspace map first so they aren't misclassified as external (#629). The
+    // map is null for single-package repos, so this is a no-op there.
+    const workspaces = context?.getWorkspacePackages?.();
+    if (workspaces && (0, workspace_packages_1.resolveWorkspaceImport)(importPath, workspaces)) {
+        return false;
+    }
     // Common external patterns
-    if (language === 'typescript' || language === 'javascript' || language === 'tsx' || language === 'jsx') {
+    if (language === 'typescript' || language === 'javascript' || language === 'tsx' || language === 'jsx' || language === 'arkts') {
         // Node built-ins
         if (['fs', 'path', 'os', 'crypto', 'http', 'https', 'url', 'util', 'events', 'stream', 'child_process', 'buffer'].includes(importPath)) {
             return true;
@@ -122,10 +260,35 @@ function isExternalImport(importPath, language, context) {
         }
     }
     if (language === 'go') {
-        // Standard library or external packages
-        if (!importPath.startsWith('.') && !importPath.includes('/internal/')) {
-            return true;
+        // Relative imports (rare in idiomatic Go but the grammar allows them).
+        if (importPath.startsWith('.')) {
+            return false;
+        }
+        // In-module imports look like `<module-path>/sub/pkg` — local to
+        // this project. Without the module-path check we'd flag every
+        // cross-package call in a Go monorepo as external (issue #388).
+        const mod = context?.getGoModule?.();
+        if (mod && (importPath === mod.modulePath || importPath.startsWith(mod.modulePath + '/'))) {
+            return false;
+        }
+        // `internal/` packages stay local even when go.mod is missing —
+        // preserves the pre-#388 escape hatch for repos without a parsed module path.
+        if (importPath.includes('/internal/')) {
+            return false;
         }
+        // Anything else is the Go standard library or a third-party module.
+        return true;
+    }
+    if (language === 'c' || language === 'cpp') {
+        // C/C++ standard library headers — both C-style (<stdio.h>) and
+        // C++-style (<cstdio>, <vector>) forms. Checked against the import
+        // path (which the extractor strips of <> or "" delimiters).
+        if (C_CPP_STDLIB_HEADERS.has(importPath))
+            return true;
+        // C++ headers without .h extension (e.g. "vector", "string")
+        const withoutExt = importPath.replace(/\.h$/, '');
+        if (C_CPP_STDLIB_HEADERS.has(withoutExt))
+            return true;
     }
     return false;
 }
@@ -135,6 +298,25 @@ function isExternalImport(importPath, language, context) {
 function resolveRelativeImport(importPath, fromDir, language, context) {
     const projectRoot = context.getProjectRoot();
     const extensions = EXTENSION_RESOLUTION[language] || [];
+    // Python dotted-relative imports (`from .certs import x`, `from ..pkg.mod
+    // import y`): leading dots are PACKAGE levels (1 = current package), and the
+    // remainder is a dotted submodule path. `path.resolve(dir, '.certs')` would
+    // treat `.certs` as a literal hidden filename, so translate the Python form
+    // to a real filesystem-relative path before resolving.
+    if (language === 'python' && importPath.startsWith('.')) {
+        const dots = importPath.length - importPath.replace(/^\.+/, '').length;
+        const up = '../'.repeat(Math.max(0, dots - 1)); // 1 dot = current dir
+        const rest = importPath.slice(dots).replace(/\./g, '/'); // 'sub.mod' -> 'sub/mod'
+        const pyBase = path.resolve(fromDir, up + rest);
+        const pyRel = path.relative(projectRoot, pyBase).replace(/\\/g, '/');
+        for (const ext of extensions) {
+            if (context.fileExists(pyRel + ext))
+                return pyRel + ext;
+        }
+        if (pyRel && context.fileExists(pyRel))
+            return pyRel;
+        return null;
+    }
     // Try the path as-is first
     const basePath = path.resolve(fromDir, importPath);
     const relativePath = path.relative(projectRoot, basePath).replace(/\\/g, '/');
@@ -184,6 +366,18 @@ function resolveAliasedImport(importPath, projectRoot, language, context) {
                 return hit;
         }
     }
+    // 1.5 Workspace packages (`@scope/ui/widgets` → `packages/ui/widgets`).
+    //     Resolves a monorepo member import to the member's directory; the
+    //     extension/index permutations below then find its barrel (#629).
+    const workspaces = context.getWorkspacePackages?.();
+    if (workspaces) {
+        const base = (0, workspace_packages_1.resolveWorkspaceImport)(importPath, workspaces);
+        if (base) {
+            const hit = tryWithExt(base);
+            if (hit)
+                return hit;
+        }
+    }
     // 2. Hard-coded fallback list. Kept for projects that use these
     //    conventional aliases without declaring them in tsconfig.
     const fallbackAliases = {
@@ -204,12 +398,276 @@ function resolveAliasedImport(importPath, projectRoot, language, context) {
     // 3. Direct path.
     return tryWithExt(importPath);
 }
+/**
+ * C/C++ include directory cache (keyed by project root).
+ * Loaded once per resolver instance, shared across calls.
+ */
+const cppIncludeDirCache = new Map();
+/**
+ * Clear the C/C++ include directory cache (call between indexing runs)
+ */
+function clearCppIncludeDirCache() {
+    cppIncludeDirCache.clear();
+}
+/**
+ * Discover C/C++ include search directories for a project.
+ *
+ * Strategy:
+ * 1. Look for compile_commands.json (Clang compilation database) in the
+ *    project root and common build subdirectories. Parse -I and -isystem
+ *    flags from compiler commands.
+ * 2. If no compilation database is found, probe for common convention
+ *    directories (include/, src/, lib/, api/) and top-level directories
+ *    containing .h/.hpp files.
+ *
+ * Returns paths relative to projectRoot.
+ */
+function loadCppIncludeDirs(projectRoot) {
+    const cached = cppIncludeDirCache.get(projectRoot);
+    if (cached !== undefined)
+        return cached;
+    const dirs = loadCppIncludeDirsFromCompileDB(projectRoot)
+        || loadCppIncludeDirsHeuristic(projectRoot);
+    cppIncludeDirCache.set(projectRoot, dirs);
+    return dirs;
+}
+/**
+ * Try to load include directories from compile_commands.json.
+ * Returns null if no compilation database is found (so the heuristic
+ * fallback can run). Returns an array (possibly empty) otherwise.
+ */
+function loadCppIncludeDirsFromCompileDB(projectRoot) {
+    const candidates = [
+        path.join(projectRoot, 'compile_commands.json'),
+        path.join(projectRoot, 'build', 'compile_commands.json'),
+        path.join(projectRoot, 'cmake-build-debug', 'compile_commands.json'),
+        path.join(projectRoot, 'cmake-build-release', 'compile_commands.json'),
+        path.join(projectRoot, 'out', 'compile_commands.json'),
+    ];
+    let dbPath;
+    for (const c of candidates) {
+        try {
+            if (fs.existsSync(c)) {
+                dbPath = c;
+                break;
+            }
+        }
+        catch {
+            // ignore
+        }
+    }
+    if (!dbPath)
+        return null;
+    try {
+        const content = fs.readFileSync(dbPath, 'utf-8');
+        const entries = JSON.parse(content);
+        if (!Array.isArray(entries))
+            return null;
+        const dirSet = new Set();
+        for (const entry of entries) {
+            const dir = entry.directory || projectRoot;
+            const args = entry.arguments || (entry.command ? shlexSplit(entry.command) : []);
+            for (let i = 0; i < args.length; i++) {
+                const arg = args[i];
+                let includeDir;
+                // -I<dir> (no space)
+                if (arg.startsWith('-I') && arg.length > 2) {
+                    includeDir = arg.substring(2);
+                }
+                // -isystem <dir> (space-separated)
+                else if ((arg === '-isystem' || arg === '-I') && i + 1 < args.length) {
+                    includeDir = args[i + 1];
+                    i++; // skip next arg
+                }
+                if (includeDir) {
+                    // Normalize: resolve relative to the compilation directory
+                    const absPath = path.isAbsolute(includeDir)
+                        ? includeDir
+                        : path.resolve(dir, includeDir);
+                    const relPath = path.relative(projectRoot, absPath).replace(/\\/g, '/');
+                    // Skip system directories and paths outside the project
+                    // (relative paths starting with .. or absolute paths like
+                    // /usr/include or C:\usr on Windows)
+                    if (!relPath.startsWith('..') && relPath.length > 0 && !path.isAbsolute(relPath)) {
+                        dirSet.add(relPath);
+                    }
+                }
+            }
+        }
+        return Array.from(dirSet);
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Minimal shlex-style split for compiler command strings.
+ * Handles double-quoted and single-quoted arguments.
+ */
+function shlexSplit(cmd) {
+    const result = [];
+    let i = 0;
+    while (i < cmd.length) {
+        // Skip whitespace
+        while (i < cmd.length && /\s/.test(cmd[i]))
+            i++;
+        if (i >= cmd.length)
+            break;
+        const ch = cmd[i];
+        if (ch === '"') {
+            i++;
+            let arg = '';
+            while (i < cmd.length && cmd[i] !== '"') {
+                if (cmd[i] === '\\' && i + 1 < cmd.length) {
+                    i++;
+                    arg += cmd[i];
+                }
+                else {
+                    arg += cmd[i];
+                }
+                i++;
+            }
+            i++; // closing quote
+            result.push(arg);
+        }
+        else if (ch === "'") {
+            i++;
+            let arg = '';
+            while (i < cmd.length && cmd[i] !== "'") {
+                arg += cmd[i];
+                i++;
+            }
+            i++; // closing quote
+            result.push(arg);
+        }
+        else {
+            let arg = '';
+            while (i < cmd.length && !/\s/.test(cmd[i])) {
+                arg += cmd[i];
+                i++;
+            }
+            result.push(arg);
+        }
+    }
+    return result;
+}
+/**
+ * Heuristic include directory discovery when no compile_commands.json exists.
+ * Checks common convention directories and scans top-level dirs for headers.
+ */
+function loadCppIncludeDirsHeuristic(projectRoot) {
+    const dirs = [];
+    const conventionDirs = ['include', 'src', 'lib', 'api', 'inc'];
+    try {
+        const entries = fs.readdirSync(projectRoot, { withFileTypes: true });
+        for (const entry of entries) {
+            if (!entry.isDirectory())
+                continue;
+            const name = entry.name;
+            // Convention directories
+            if (conventionDirs.includes(name.toLowerCase())) {
+                dirs.push(name);
+                continue;
+            }
+            // Any top-level directory containing .h or .hpp files
+            try {
+                const subFiles = fs.readdirSync(path.join(projectRoot, name));
+                if (subFiles.some(f => /\.(h|hpp|hxx|hh)$/i.test(f))) {
+                    dirs.push(name);
+                }
+            }
+            catch {
+                // ignore permission errors
+            }
+        }
+    }
+    catch {
+        // ignore
+    }
+    return dirs;
+}
+/**
+ * Resolve a C/C++ include path by searching include directories.
+ * Called as a fallback after relative and aliased resolution fail.
+ */
+function resolveCppIncludePath(importPath, language, context) {
+    const includeDirs = context.getCppIncludeDirs?.() ?? [];
+    const extensions = EXTENSION_RESOLUTION[language] ?? [];
+    for (const dir of includeDirs) {
+        const normalizedDir = dir.replace(/\\/g, '/');
+        for (const ext of extensions) {
+            const candidate = normalizedDir + '/' + importPath + ext;
+            if (context.fileExists(candidate))
+                return candidate;
+        }
+        // Try as-is (already has extension)
+        const candidate = normalizedDir + '/' + importPath;
+        if (context.fileExists(candidate))
+            return candidate;
+    }
+    return null;
+}
+/**
+ * Is this reference a PHP include/require PATH (vs a namespace `use` symbol)?
+ *
+ * include/require emit a file path ("lib.php", "inc/db.php", "../x.php"),
+ * whereas namespace use is an FQN (App\Foo\Bar) or a bare class symbol
+ * (Closure). PHP identifiers contain neither '/' nor '.', so a slash or dot
+ * marks a path-shaped include. Such references resolve to files only — never
+ * to a same-named symbol — so callers must not fall back to the name-matcher.
+ */
+function isPhpIncludePathRef(ref) {
+    return (ref.language === 'php' &&
+        ref.referenceKind === 'imports' &&
+        (ref.referenceName.includes('/') || ref.referenceName.includes('.')));
+}
+/**
+ * Is this a COBOL COPY / EXEC SQL INCLUDE copybook reference? These resolve
+ * to files only (or stay unresolved for compiler-supplied members) — never
+ * to a same-named symbol via the name-matcher.
+ */
+function isCobolCopybookRef(ref) {
+    return ref.language === 'cobol' && ref.referenceKind === 'imports';
+}
+/**
+ * Resolve a PHP include/require path to a project-relative file path.
+ *
+ * PHP resolves includes relative to the including file's directory (the
+ * common case for procedural codebases); php.ini `include_path` is not
+ * modeled. Callers pass an already-extracted static literal path.
+ */
+function resolvePhpIncludePath(includePath, fromFile, context) {
+    const projectRoot = context.getProjectRoot();
+    const fromDir = path.dirname(path.join(projectRoot, fromFile));
+    const basePath = path.resolve(fromDir, includePath);
+    const relativePath = path.relative(projectRoot, basePath).replace(/\\/g, '/');
+    if (context.fileExists(relativePath))
+        return relativePath;
+    // The literal may omit the .php extension (e.g. include "config").
+    for (const ext of EXTENSION_RESOLUTION.php ?? []) {
+        if (context.fileExists(relativePath + ext))
+            return relativePath + ext;
+    }
+    return null;
+}
 /**
  * Extract import mappings from a file
  */
 function extractImportMappings(_filePath, content, language) {
     const mappings = [];
-    if (language === 'typescript' || language === 'javascript' || language === 'tsx' || language === 'jsx') {
+    if (language === 'typescript' || language === 'javascript' || language === 'tsx' || language === 'jsx' || language === 'arkts') {
+        mappings.push(...extractJSImports(content));
+    }
+    else if (language === 'svelte' || language === 'vue' || language === 'astro') {
+        // Svelte/Vue single-file components import via plain ES6 inside their
+        // `<script>` block (Astro: the `---` frontmatter). Without this, a
+        // `.svelte`/`.vue`/`.astro` consumer produces
+        // zero import mappings, so `resolveViaImport` can't run and a barrel
+        // import (`import { Foo } from './lib'`) falls back to name-matching —
+        // which silently fails whenever the re-export alias differs from the
+        // component's real name, yielding a false 0 callers (#629). The ES6
+        // import regex only matches `import … from '…'`, so running it over the
+        // whole SFC (markup + styles included) is safe.
         mappings.push(...extractJSImports(content));
     }
     else if (language === 'python') {
@@ -218,9 +676,15 @@ function extractImportMappings(_filePath, content, language) {
     else if (language === 'go') {
         mappings.push(...extractGoImports(content));
     }
+    else if (language === 'java' || language === 'kotlin') {
+        mappings.push(...extractJavaImports(content));
+    }
     else if (language === 'php') {
         mappings.push(...extractPHPImports(content));
     }
+    else if (language === 'c' || language === 'cpp') {
+        mappings.push(...extractCppImports(content));
+    }
     return mappings;
 }
 /**
@@ -406,6 +870,50 @@ function extractGoImports(content) {
     }
     return mappings;
 }
+/**
+ * Extract Java / Kotlin import mappings.
+ *
+ * Java/Kotlin imports carry the full qualified name of the imported
+ * symbol — `import com.example.dao.converter.FooConverter;` — which is
+ * exactly the disambiguation signal we need when two packages both
+ * declare a `FooConverter`. Pre-#314 the resolver had no Java branch
+ * here at all, so this mapping was empty and cross-module name
+ * collisions were resolved by file-path proximity (often wrongly).
+ *
+ * `import static com.example.Foo.bar;` is parsed as a local-name `bar`
+ * pointing at FQN `com.example.Foo.bar` so static-method call sites
+ * (`bar(...)`) can resolve through the same import lookup.
+ */
+function extractJavaImports(content) {
+    const mappings = [];
+    // Strip line and block comments so `// import foo;` doesn't false-match.
+    const stripped = content
+        .replace(/\/\*[\s\S]*?\*\//g, '')
+        .replace(/\/\/[^\n]*/g, '');
+    // `import [static] <fqn>[.*];`
+    const re = /^\s*import\s+(static\s+)?([\w.]+(?:\.\*)?)\s*;/gm;
+    let match;
+    while ((match = re.exec(stripped)) !== null) {
+        const fqn = match[2];
+        // `import com.example.*;` — wildcard. We can't materialize a single
+        // local name; skip and let name-matching handle members reachable
+        // through the wildcard. (Future enhancement: enumerate package files.)
+        if (fqn.endsWith('.*'))
+            continue;
+        const parts = fqn.split('.');
+        const localName = parts[parts.length - 1];
+        if (!localName)
+            continue;
+        mappings.push({
+            localName,
+            exportedName: localName,
+            source: fqn,
+            isDefault: false,
+            isNamespace: false,
+        });
+    }
+    return mappings;
+}
 /**
  * Extract PHP import mappings (use statements)
  */
@@ -427,6 +935,34 @@ function extractPHPImports(content) {
     }
     return mappings;
 }
+/**
+ * Extract C/C++ import mappings from #include directives.
+ *
+ * #include brings all symbols from the included header into scope
+ * (namespace import), so each mapping uses isNamespace: true and
+ * exportedName: '*'. The localName is set to the header's basename
+ * without extension so that symbol references like `MyClass` can
+ * match against any include that might provide it.
+ */
+function extractCppImports(content) {
+    const mappings = [];
+    // Match both #include <...> and #include "..."
+    const includeRegex = /^\s*#\s*include\s+[<"]([^>"]+)[>"]/gm;
+    let match;
+    while ((match = includeRegex.exec(content)) !== null) {
+        const modulePath = match[1];
+        // Basename without extension for localName matching
+        const basename = modulePath.split('/').pop().replace(/\.(h|hpp|hxx|hh|inl|ipp|cxx|cc|cpp)$/, '');
+        mappings.push({
+            localName: basename || modulePath,
+            exportedName: '*',
+            source: modulePath,
+            isDefault: false,
+            isNamespace: true,
+        });
+    }
+    return mappings;
+}
 // Cache import mappings per file to avoid re-reading and re-parsing
 const importMappingCache = new Map();
 /**
@@ -434,6 +970,7 @@ const importMappingCache = new Map();
  */
 function clearImportMappingCache() {
     importMappingCache.clear();
+    cppIncludeDirCache.clear();
 }
 /**
  * Strip JS line + block comments from `content` while preserving
@@ -507,7 +1044,8 @@ function extractReExports(content, language) {
     if (language !== 'typescript' &&
         language !== 'javascript' &&
         language !== 'tsx' &&
-        language !== 'jsx') {
+        language !== 'jsx' &&
+        language !== 'arkts') {
         return [];
     }
     const out = [];
@@ -556,12 +1094,269 @@ function extractReExports(content, language) {
 /**
  * Resolve a reference using import mappings
  */
+/**
+ * JVM (Java / Kotlin) imports use fully-qualified names (`import
+ * com.example.foo.Bar`) decoupled from filenames, so the JS/Python
+ * style filesystem path lookup misses them whenever the file isn't
+ * named after its primary symbol (Kotlin `Utils.kt` exporting `Bar`,
+ * top-level fns, extension fns). Resolve them through the
+ * `qualifiedName` index instead — populated by the package_header /
+ * package_declaration namespace wrappers in the extractor.
+ */
+function resolveJvmImport(ref, context) {
+    if (ref.referenceKind !== 'imports')
+        return null;
+    if (ref.language !== 'java' && ref.language !== 'kotlin')
+        return null;
+    const fqn = ref.referenceName;
+    const lastDot = fqn.lastIndexOf('.');
+    if (lastDot <= 0)
+        return null;
+    const pkg = fqn.substring(0, lastDot);
+    const sym = fqn.substring(lastDot + 1);
+    // Wildcard imports (`com.example.*`) deliberately punt to name-matcher.
+    if (sym === '*')
+        return null;
+    const candidates = context.getNodesByQualifiedName(`${pkg}::${sym}`);
+    if (candidates.length === 0)
+        return null;
+    // Kotlin Multiplatform: an `expect` declaration and its `actual`s share one
+    // FQN across source sets (commonMain / androidMain / appleMain). Taking the
+    // first candidate let a single platform `actual` absorb every common-side
+    // import, so the `expect` (the canonical API a commonMain file imports)
+    // looked unused. Prefer the candidate CLOSEST to the importing file by
+    // directory proximity — a commonMain import resolves to the commonMain
+    // declaration — with the `expect` side as a tiebreak.
+    const best = candidates.length === 1 ? candidates[0] : pickClosestJvmCandidate(candidates, ref.filePath);
+    return {
+        original: ref,
+        targetNodeId: best.id,
+        confidence: 0.95,
+        resolvedBy: 'import',
+    };
+}
+/**
+ * Pick the same-FQN candidate closest to `fromPath` by shared directory
+ * prefix, preferring an `expect` declaration on a tie. Used to keep a Kotlin
+ * Multiplatform `expect`/`actual` import resolving within the importer's own
+ * source set instead of an arbitrary platform `actual`.
+ */
+function pickClosestJvmCandidate(candidates, fromPath) {
+    const fromDirs = fromPath.split('/').slice(0, -1);
+    const sharedPrefix = (p) => {
+        const d = p.split('/').slice(0, -1);
+        let shared = 0;
+        for (let i = 0; i < Math.min(fromDirs.length, d.length); i++) {
+            if (fromDirs[i] === d[i])
+                shared++;
+            else
+                break;
+        }
+        return shared;
+    };
+    const isExpect = (n) => Array.isArray(n.decorators) && n.decorators.includes('expect');
+    let best = candidates[0];
+    let bestProx = sharedPrefix(best.filePath);
+    for (let i = 1; i < candidates.length; i++) {
+        const c = candidates[i];
+        const prox = sharedPrefix(c.filePath);
+        if (prox > bestProx || (prox === bestProx && isExpect(c) && !isExpect(best))) {
+            best = c;
+            bestProx = prox;
+        }
+    }
+    return best;
+}
 function resolveViaImport(ref, context) {
+    // C/C++ #include references — resolve directly to the included file
+    // (file→file edge), bypassing symbol lookup. The extractor emits these
+    // with `referenceKind: 'imports'` and `referenceName: <include path>`
+    // (e.g. "uint256.h" or "common/args.h"). Without this branch the
+    // include-dir scan path inside resolveImportPath never produces an
+    // edge — resolveViaImport's symbol lookup below would search the
+    // resolved file for a symbol named like the file extension and fail.
+    if ((ref.language === 'c' || ref.language === 'cpp') && ref.referenceKind === 'imports') {
+        // C/C++ quoted includes (`#include "X.h"`) resolve relative to the
+        // INCLUDING file's own directory first (the C standard's quoted-include
+        // search order). Prefer a same-directory header over an -I directory or a
+        // same-named header on another platform (windows/code/RNCAsyncStorage.h vs
+        // apple/.../RNCAsyncStorage.h) — the include-dir heuristic below would
+        // otherwise pick an arbitrary same-named header, leaving the real local one
+        // with no dependents.
+        const slash = ref.filePath.lastIndexOf('/');
+        const fromDir = slash >= 0 ? ref.filePath.slice(0, slash) : '';
+        const siblingPath = path.posix.normalize(fromDir ? `${fromDir}/${ref.referenceName}` : ref.referenceName);
+        const siblingBase = siblingPath.split('/').pop();
+        const sibling = context
+            .getNodesByName(siblingBase)
+            .find((n) => n.kind === 'file' && n.filePath === siblingPath);
+        if (sibling) {
+            return { original: ref, targetNodeId: sibling.id, confidence: 0.92, resolvedBy: 'import' };
+        }
+        const resolvedPath = resolveImportPath(ref.referenceName, ref.filePath, ref.language, context);
+        if (!resolvedPath)
+            return null;
+        const basename = resolvedPath.split('/').pop();
+        const fileNodes = context.getNodesByName(basename).filter((n) => n.kind === 'file');
+        const fileNode = fileNodes.find((n) => n.filePath === resolvedPath);
+        if (fileNode) {
+            return {
+                original: ref,
+                targetNodeId: fileNode.id,
+                confidence: 0.9,
+                resolvedBy: 'import',
+            };
+        }
+        return null;
+    }
+    // COBOL COPY / EXEC SQL INCLUDE — resolve the copybook member to a
+    // file→file edge, mirroring the C/C++ include branch above. A member that
+    // matches no indexed file (compiler-supplied copybooks like SQLCA/DFHAID)
+    // stays unresolved — callers must not fall back to the symbol name-matcher,
+    // which would connect it to a same-named import symbol elsewhere.
+    if (isCobolCopybookRef(ref)) {
+        const resolvedPath = resolveImportPath(ref.referenceName, ref.filePath, ref.language, context);
+        if (!resolvedPath)
+            return null;
+        const basename = resolvedPath.split('/').pop();
+        const fileNode = context
+            .getNodesByName(basename)
+            .find((n) => n.kind === 'file' && n.filePath === resolvedPath);
+        if (fileNode) {
+            return {
+                original: ref,
+                targetNodeId: fileNode.id,
+                confidence: 0.9,
+                resolvedBy: 'import',
+            };
+        }
+        return null;
+    }
+    // PHP include/require — resolve the static string path to a file→file
+    // edge, mirroring the C/C++ branch above. Distinguish include PATHS from
+    // namespace `use` symbols by shape: an include path contains a slash or a
+    // file extension ("lib.php", "inc/db.php", "../x.php"), whereas a namespace
+    // use is an FQN (App\Foo\Bar) or a bare class symbol (Closure) — PHP
+    // identifiers contain neither '/' nor '.'. Only path-shaped references are
+    // includes; symbol references fall through to the namespace resolution.
+    if (isPhpIncludePathRef(ref)) {
+        const resolvedPath = resolvePhpIncludePath(ref.referenceName, ref.filePath, context);
+        if (resolvedPath) {
+            const basename = resolvedPath.split('/').pop();
+            const fileNode = context
+                .getNodesByName(basename)
+                .find((n) => n.kind === 'file' && n.filePath === resolvedPath);
+            if (fileNode) {
+                return {
+                    original: ref,
+                    targetNodeId: fileNode.id,
+                    confidence: 0.9,
+                    resolvedBy: 'import',
+                };
+            }
+        }
+        // A path-shaped include that doesn't resolve to a known project file is a
+        // dead end. Return unresolved rather than falling through to the symbol
+        // name-matcher, which would mis-connect e.g. "inc/db.php" to an unrelated
+        // db.php elsewhere in the tree — a wrong edge is worse than a missing one.
+        return null;
+    }
+    // Nix static project-path imports (`import ./x.nix`, `builtins.import ./dir`,
+    // `import ./x.nix {}`) resolve to file nodes only. Do not resolve
+    // angle-bracket channels, attribute expressions, variables, or other dynamic
+    // expressions as project files.
+    if (isNixPathImportRef(ref)) {
+        const resolvedPath = resolveImportPath(ref.referenceName, ref.filePath, ref.language, context);
+        if (!resolvedPath)
+            return null;
+        const basename = resolvedPath.split('/').pop();
+        const fileNode = context
+            .getNodesByName(basename)
+            .find((n) => n.kind === 'file' && n.filePath === resolvedPath);
+        if (fileNode) {
+            return {
+                original: ref,
+                targetNodeId: fileNode.id,
+                confidence: 0.9,
+                resolvedBy: 'import',
+            };
+        }
+        return null;
+    }
     // Use cached import mappings (avoids re-reading and re-parsing per ref)
     const imports = context.getImportMappings(ref.filePath, ref.language);
     if (imports.length === 0 && !context.readFile(ref.filePath)) {
         return null;
     }
+    // Go cross-package calls: `pkga.FuncX(...)` extracts to referenceName
+    // `pkga.FuncX` and the import `github.com/example/myproject/pkga`
+    // maps to a *package directory* containing one or more .go files.
+    // The generic file-based lookup below can't follow that — issue #388.
+    if (ref.language === 'go') {
+        const goResult = resolveGoCrossPackageReference(ref, imports, context);
+        if (goResult)
+            return goResult;
+    }
+    // Java / Kotlin: imports are FQNs (`import com.example.Foo;`) — no
+    // resolvable file path the JS/TS-style chain below could follow. Look
+    // up the symbol by name and filter to the candidate whose file path
+    // matches the imported FQN. This is the disambiguation signal that
+    // breaks the same-name class collision the path-proximity matcher
+    // can't resolve (issue #314).
+    if (ref.language === 'java' || ref.language === 'kotlin') {
+        const javaResult = resolveJavaImportedReference(ref, imports, context);
+        if (javaResult)
+            return javaResult;
+    }
+    // Python qualified access through an imported MODULE: `certs.where()` after
+    // `from . import certs`, `mod.func()` after `import mod`. The receiver names a
+    // submodule (a file), not a symbol, so the generic symbol lookup below would
+    // search the *package* for `certs` instead of looking inside the module.
+    if (ref.language === 'python') {
+        const pyResult = resolvePythonModuleMember(ref, imports, context);
+        if (pyResult)
+            return pyResult;
+        // Absolute dotted module import: `import conduit.apps.articles.signals`
+        // (the standard Django AppConfig.ready() signal-registration pattern, and
+        // any side-effect `import pkg.mod`). Map the dotted path to its file.
+        const pyModResult = resolvePythonAbsoluteModule(ref, context);
+        if (pyModResult)
+            return pyModResult;
+    }
+    // Rust qualified path: resolve the module prefix of `crate::m::Item` /
+    // `self::sub::Item` / `super::m::func` to a file, then find the leaf symbol in
+    // it. Disambiguates common-name `pub use self::read::read` re-exports that
+    // name-matching would land on the wrong same-named symbol.
+    if (ref.language === 'rust' && ref.referenceName.includes('::')) {
+        const rustResult = resolveRustPathReference(ref, context);
+        if (rustResult)
+            return rustResult;
+    }
+    // Lua / Luau `require(...)`: a dotted module path (`a.b.c` from
+    // `require("a.b.c")`) or an instance-path leaf (`Signal` from
+    // `require(script.Parent.Signal)`) — map it to a module file. There's no static
+    // import statement, so the generic path-matcher can't bridge the dot↔slash /
+    // leaf↔basename gap; resolve it explicitly to the module file.
+    if ((ref.language === 'lua' || ref.language === 'luau') && ref.referenceKind === 'imports') {
+        const luaResult = resolveLuaRequire(ref, context);
+        if (luaResult)
+            return luaResult;
+    }
+    // Whole-module / namespace imports → link the importing file to the module
+    // file. Python `from . import certs` / `import mod`, and TS/JS `import * as ns
+    // from './x'` (so a namespace touched only via a value-member read still
+    // records the dependency). A named TS/JS import returns null here and falls
+    // through to symbol resolution below.
+    if (ref.language === 'python' ||
+        ref.language === 'typescript' ||
+        ref.language === 'tsx' ||
+        ref.language === 'javascript' ||
+        ref.language === 'jsx' ||
+        ref.language === 'arkts') {
+        const moduleFile = resolveModuleImportToFile(ref, imports, context);
+        if (moduleFile)
+            return moduleFile;
+    }
     // Check if the reference name matches any import
     for (const imp of imports) {
         if (imp.localName === ref.referenceName || ref.referenceName.startsWith(imp.localName + '.')) {
@@ -574,6 +1369,24 @@ function resolveViaImport(ref, context) {
                     : null;
                 const targetNode = findExportedSymbol(resolvedPath, { isDefault: imp.isDefault, isNamespace: imp.isNamespace, exportedName, memberName }, ref.language, context, new Set());
                 if (targetNode) {
+                    // `Foo.bar()` / `Foo.CONST` — a NAMED (non-namespace) class import
+                    // accessed through a member. `findExportedSymbol` resolved `Foo` to
+                    // the class itself; descend into it so the reference links to the
+                    // member `bar`, not the class. Without this the edge points at the
+                    // class and `createEdges` then mis-promotes the call to an
+                    // `instantiates` edge, so the static method shows zero callers and a
+                    // hollow impact radius. (#825)
+                    if (!imp.isNamespace && ref.referenceName.startsWith(imp.localName + '.')) {
+                        const memberNode = resolveStaticMember(targetNode, ref, imp.localName, context);
+                        if (memberNode) {
+                            return {
+                                original: ref,
+                                targetNodeId: memberNode.id,
+                                confidence: 0.9,
+                                resolvedBy: 'import',
+                            };
+                        }
+                    }
                     return {
                         original: ref,
                         targetNodeId: targetNode.id,
@@ -586,6 +1399,459 @@ function resolveViaImport(ref, context) {
     }
     return null;
 }
+/**
+ * Resolve a Python qualified reference whose receiver is an imported MODULE:
+ * `certs.where()` after `from . import certs`, `mod.func()` after `import mod`
+ * or `from pkg import mod`. The receiver names a submodule (a file), not a
+ * symbol, so the generic symbol lookup in `resolveViaImport` can't follow it —
+ * it would search the *package* for `certs`/`mod` instead of looking inside the
+ * module. This is the Python half of the cross-package qualified-call problem
+ * (cf. `resolveGoCrossPackageReference` for Go's `pkg.Func`, issue #388).
+ *
+ * Builds the module's dotted import path from the binding — `from . import
+ * certs` → `.certs`; `from pkg import mod` → `pkg.mod`; `import mod` → `mod` —
+ * resolves it to the module file, and finds the member defined there. Returns
+ * null when no module file exists at that path, so attribute access on an
+ * imported *value* (`helper.attr` where `helper` is a function) falls through
+ * to the other strategies untouched.
+ */
+function resolvePythonModuleMember(ref, imports, context) {
+    const dotIdx = ref.referenceName.indexOf('.');
+    if (dotIdx <= 0)
+        return null;
+    const receiver = ref.referenceName.substring(0, dotIdx);
+    // The immediate member of the module (first segment after the receiver).
+    const member = ref.referenceName.substring(dotIdx + 1).split('.')[0];
+    if (!member)
+        return null;
+    for (const imp of imports) {
+        if (imp.localName !== receiver)
+            continue;
+        // `import mod` / `import numpy as np` bind the module at `source` itself;
+        // `from . import certs` / `from pkg import mod` bind a SUBMODULE whose
+        // dotted path is the source joined with the imported name.
+        const modulePath = imp.isNamespace
+            ? imp.source
+            : imp.source.endsWith('.')
+                ? imp.source + imp.localName
+                : imp.source + '.' + imp.localName;
+        // resolveImportPath only maps RELATIVE dotted paths (`.mod`, `..pkg.mod`); an
+        // ABSOLUTE package path (`pkg.module` from `from pkg import module`, or a bare
+        // `import pkg.mod`) resolves to null there, so fall back to the dotted-module
+        // file lookup — the same asymmetry resolveModuleImportToFile already handles
+        // for the file→file import edge. Without this, a `module.func()` call after
+        // `from pkg import module` dropped its `calls` edge even though the import
+        // edge resolved (#578).
+        let resolvedPath = resolveImportPath(modulePath, ref.filePath, ref.language, context);
+        if (!resolvedPath) {
+            resolvedPath = findPythonModuleFile(modulePath, context, ref.filePath)?.filePath ?? null;
+        }
+        if (!resolvedPath || resolvedPath === ref.filePath)
+            continue;
+        // Find the member as a top-level definition in the module file. Exclude
+        // `method` so `mod.foo` never lands on a same-named class method.
+        const target = context.getNodesInFile(resolvedPath).find((n) => n.name === member &&
+            (n.kind === 'function' ||
+                n.kind === 'class' ||
+                n.kind === 'variable' ||
+                n.kind === 'constant'));
+        if (target) {
+            return { original: ref, targetNodeId: target.id, confidence: 0.85, resolvedBy: 'import' };
+        }
+    }
+    return null;
+}
+/**
+ * Resolve a whole-MODULE import to that module's file (a file→file dependency).
+ * The imported name is a module, not a symbol, so there's nothing to resolve to
+ * — but importing a module IS a dependency on it. Covers:
+ *   - Python submodule imports — `from . import certs`, `from pkg import sub`;
+ *   - namespace imports — Python `import mod` / `import numpy as np`, and
+ *     TS/JS `import * as ns from './x'`.
+ *
+ * It is also the robust backstop for {@link resolvePythonModuleMember} and for
+ * TS namespace usage: it records the dependency even when the used member is
+ * re-exported elsewhere (requests' `certs.where`, re-exported from `certifi`),
+ * the usage is module-level code that isn't extracted as a call, or a TS
+ * namespace is touched only via a value-member read (`ns.SOME_CONST`).
+ *
+ * Only fires for dot-free `imports`-kind refs whose module path resolves to a
+ * real file. A NAMED TS/JS import (`import { widget }`) is not a module, so it
+ * returns null and normal symbol resolution handles it.
+ */
+/**
+ * Resolve a Lua/Luau `require(...)` to its module file. The reference name is
+ * either a dotted module path (`telescope.config` → `telescope/config.lua`) or a
+ * Roblox instance-path leaf (`Signal` from `require(script.Parent.Signal)` →
+ * `Signal.luau`). We try `<path>.lua|.luau` and `<path>/init.lua|.luau`, matched
+ * by path suffix (the module root — `lua/`, `src/`, … — is project-specific).
+ * Among suffix matches, the one sharing the longest directory prefix with the
+ * requiring file wins (instance-path requires resolve within the same package).
+ */
+function resolveLuaRequire(ref, context) {
+    const name = ref.referenceName;
+    if (!name)
+        return null;
+    const base = name.includes('.') ? name.replace(/\./g, '/') : name;
+    const suffixes = [`${base}.lua`, `${base}.luau`, `${base}/init.lua`, `${base}/init.luau`];
+    const files = context.getAllFiles();
+    const shared = (a, b) => {
+        let i = 0;
+        while (i < a.length && i < b.length && a[i] === b[i])
+            i++;
+        return i;
+    };
+    for (const suffix of suffixes) {
+        const matches = files.filter((f) => f === suffix || f.endsWith('/' + suffix));
+        if (matches.length === 0)
+            continue;
+        matches.sort((x, y) => shared(y, ref.filePath) - shared(x, ref.filePath));
+        const best = matches[0];
+        if (best === ref.filePath)
+            continue;
+        const fileNode = context.getNodesInFile(best).find((n) => n.kind === 'file');
+        if (fileNode) {
+            // Confidence ≥ 0.9 so this deterministic path/suffix match wins over
+            // name-matching, which otherwise resolves the require to the import node
+            // itself (a same-name self-match).
+            return { original: ref, targetNodeId: fileNode.id, confidence: 0.9, resolvedBy: 'import' };
+        }
+    }
+    return null;
+}
+function resolveModuleImportToFile(ref, imports, context) {
+    if (ref.referenceKind !== 'imports')
+        return null;
+    if (ref.referenceName.includes('.'))
+        return null;
+    for (const imp of imports) {
+        if (imp.localName !== ref.referenceName)
+            continue;
+        let modulePath;
+        if (imp.isNamespace || imp.isDefault) {
+            // `import * as ns from './x'` (namespace) or `import x from './x'`
+            // (default) — the dependency is on the MODULE FILE. A default import binds
+            // a (possibly renamed) local to whatever the module's default export is
+            // (`import articlesController from './article.controller'` ← `export
+            // default router`), so the binding name can't be found as a symbol — link
+            // the file the import resolves to instead. External modules don't resolve
+            // (no file), so `import React from 'react'` creates no edge.
+            modulePath = imp.source;
+        }
+        else if (ref.language === 'python') {
+            // `from . import certs` — the imported NAME is a submodule of the source.
+            modulePath = imp.source.endsWith('.')
+                ? imp.source + imp.localName
+                : imp.source + '.' + imp.localName;
+        }
+        else {
+            // A named TS/JS import binds a symbol, not a module — leave it alone.
+            continue;
+        }
+        const resolvedPath = resolveImportPath(modulePath, ref.filePath, ref.language, context);
+        if (resolvedPath && resolvedPath !== ref.filePath) {
+            const fileNode = context.getNodesInFile(resolvedPath).find((n) => n.kind === 'file');
+            if (fileNode) {
+                return { original: ref, targetNodeId: fileNode.id, confidence: 0.9, resolvedBy: 'import' };
+            }
+        }
+        // Python absolute `from a.b import submodule` (a FastAPI router aggregator's
+        // `from app.api.routes import authentication`): resolveImportPath only maps
+        // RELATIVE dotted paths to a file, so resolve the absolute dotted module
+        // directly to its file node.
+        if (ref.language === 'python') {
+            const modFile = findPythonModuleFile(modulePath, context, ref.filePath);
+            if (modFile) {
+                return { original: ref, targetNodeId: modFile.id, confidence: 0.9, resolvedBy: 'import' };
+            }
+        }
+    }
+    return null;
+}
+/**
+ * Find the file node for a Python dotted module path `a.b.c` — a module file
+ * ending in `a/b/c.py`, or a package `a/b/c/__init__.py` (suffix-matched, so a
+ * package rooted under `src/` etc. still resolves). Returns null for
+ * stdlib/external modules (no matching repo file node), so `import os` creates
+ * no edge. Shared by absolute `import a.b.c` and absolute `from a.b import c`
+ * (where `c` is a submodule) resolution.
+ */
+function findPythonModuleFile(mod, context, excludeFilePath) {
+    if (!mod || mod.startsWith('.'))
+        return null; // relative imports handled elsewhere
+    const rel = mod.replace(/\./g, '/');
+    const lastSeg = mod.split('.').pop();
+    const endsWith = (p, want) => p === want || p.endsWith('/' + want);
+    const moduleFile = context
+        .getNodesByName(`${lastSeg}.py`)
+        .find((n) => n.kind === 'file' && n.filePath !== excludeFilePath && endsWith(n.filePath, `${rel}.py`));
+    if (moduleFile)
+        return moduleFile;
+    const pkgFile = context
+        .getNodesByName('__init__.py')
+        .find((n) => n.kind === 'file' && n.filePath !== excludeFilePath && endsWith(n.filePath, `${rel}/__init__.py`));
+    return pkgFile ?? null;
+}
+/**
+ * Resolve a Python ABSOLUTE dotted module import (`import a.b.c`) to its file —
+ * the Django `AppConfig.ready(): import myapp.signals` pattern and any
+ * side-effect module import.
+ */
+function resolvePythonAbsoluteModule(ref, context) {
+    if (ref.referenceKind !== 'imports')
+        return null;
+    // Only a DOTTED `import a.b.c` ref carries its full module path. A bare leaf
+    // (`from app.api.routes import authentication`) is ambiguous on its own — three
+    // `authentication.py` files may exist — so leave it to resolveModuleImportToFile,
+    // which uses the import's source (`app.api.routes`) to build the full path.
+    if (!ref.referenceName.includes('.'))
+        return null;
+    const hit = findPythonModuleFile(ref.referenceName, context, ref.filePath);
+    return hit ? { original: ref, targetNodeId: hit.id, confidence: 0.9, resolvedBy: 'import' } : null;
+}
+/**
+ * Resolve a Rust qualified reference `A::B::C` by mapping the MODULE prefix
+ * (`A::B`) to a file and finding the leaf symbol (`C`) in it. This is the Rust
+ * analog of {@link resolvePythonModuleMember} / {@link resolveGoCrossPackageReference}
+ * and the precise answer to common-name re-exports (`pub use self::read::read`)
+ * that name-matching can't disambiguate. Returns null when the prefix isn't a
+ * real module path (e.g. `Widget::new` — `Widget` is a struct, not a module),
+ * so associated-function calls and enum-variant paths fall through untouched.
+ */
+function resolveRustPathReference(ref, context) {
+    const segments = ref.referenceName.split('::').filter((s) => s.length > 0);
+    if (segments.length < 2)
+        return null;
+    const leaf = segments[segments.length - 1];
+    const modSegs = segments.slice(0, -1);
+    const file = resolveRustModuleFile(modSegs, ref.filePath, context);
+    if (!file || file === ref.filePath)
+        return null;
+    const target = context.getNodesInFile(file).find((n) => n.name === leaf &&
+        (n.kind === 'function' ||
+            n.kind === 'struct' ||
+            n.kind === 'enum' ||
+            n.kind === 'trait' ||
+            n.kind === 'type_alias' ||
+            n.kind === 'constant' ||
+            n.kind === 'method' ||
+            n.kind === 'class' ||
+            n.kind === 'interface'));
+    if (target) {
+        return { original: ref, targetNodeId: target.id, confidence: 0.9, resolvedBy: 'import' };
+    }
+    return null;
+}
+/** The crate-root directory (holds `lib.rs`/`main.rs`), walking up from a file. */
+function rustCrateRootDir(fromFileAbs, context) {
+    const projectRoot = context.getProjectRoot();
+    const toRel = (p) => path.relative(projectRoot, p).replace(/\\/g, '/');
+    let dir = path.dirname(fromFileAbs);
+    for (let i = 0; i < 64; i++) {
+        if (context.fileExists(toRel(path.join(dir, 'lib.rs'))) ||
+            context.fileExists(toRel(path.join(dir, 'main.rs')))) {
+            return dir;
+        }
+        const parent = path.dirname(dir);
+        if (parent === dir)
+            return null;
+        dir = parent;
+    }
+    return null;
+}
+/** Directory under which the current file's module declares its SUBMODULES. */
+function rustSelfModuleDir(fromFileAbs) {
+    const base = path.basename(fromFileAbs);
+    const dir = path.dirname(fromFileAbs);
+    // mod.rs / lib.rs / main.rs own their directory; `foo.rs`'s submodules live in `foo/`.
+    if (base === 'mod.rs' || base === 'lib.rs' || base === 'main.rs')
+        return dir;
+    return path.join(dir, base.replace(/\.rs$/, ''));
+}
+/**
+ * Resolve a Rust module path (segments WITHOUT the leaf symbol) to the file of
+ * the last module segment — `crate::a::b` → `<crate>/a/b.rs` (or `.../b/mod.rs`).
+ * Anchors on `crate` / `self` / `super`; a bare path is tried crate-relative.
+ */
+function resolveRustModuleFile(segments, fromFile, context) {
+    if (segments.length === 0)
+        return null;
+    const projectRoot = context.getProjectRoot();
+    const fromAbs = path.join(projectRoot, fromFile);
+    const toRel = (p) => path.relative(projectRoot, p).replace(/\\/g, '/');
+    // Walk a sequence of module segments down from `startDir`, mapping each to a
+    // `<seg>.rs` or `<seg>/mod.rs` file. Returns the leaf module's file, or null
+    // if `startDir` is null or any segment has no file on disk.
+    const resolveUnder = (startDir, rest) => {
+        if (!startDir)
+            return null;
+        let dir = startDir;
+        let targetFile = null;
+        for (const seg of rest) {
+            if (seg === 'self' || seg === 'crate' || seg === 'super')
+                continue;
+            const asFile = toRel(path.join(dir, seg + '.rs'));
+            const asMod = toRel(path.join(dir, seg, 'mod.rs'));
+            if (context.fileExists(asFile))
+                targetFile = asFile;
+            else if (context.fileExists(asMod))
+                targetFile = asMod;
+            else
+                return null;
+            dir = path.join(dir, seg);
+        }
+        return targetFile;
+    };
+    const first = segments[0];
+    if (first === 'crate') {
+        return resolveUnder(rustCrateRootDir(fromAbs, context), segments.slice(1));
+    }
+    if (first === 'self') {
+        return resolveUnder(rustSelfModuleDir(fromAbs), segments.slice(1));
+    }
+    if (first === 'super') {
+        let supers = 0;
+        while (segments[supers] === 'super')
+            supers++;
+        let dir = rustSelfModuleDir(fromAbs);
+        for (let s = 0; s < supers && dir; s++)
+            dir = path.dirname(dir);
+        return resolveUnder(dir, segments.slice(supers));
+    }
+    // Bare path. In expression position (`submodule::item()` — the router-assembly
+    // and general cross-module-call pattern) the prefix is a SUBMODULE of the
+    // current module, i.e. 2018 `self::`-relative — so try self-relative FIRST.
+    // Fall back to crate-relative for 2015-edition / crate-root items. External
+    // crate paths (`serde::de::Error`) miss both and fall through to name-matching.
+    return (resolveUnder(rustSelfModuleDir(fromAbs), segments) ??
+        resolveUnder(rustCrateRootDir(fromAbs, context), segments));
+}
+/**
+ * Resolve a Java/Kotlin reference whose receiver is the simple name of
+ * an imported FQN: `Foo.bar(...)` where `import com.example.Foo;`. The
+ * imported FQN converts to a file-path suffix (`com/example/Foo.java`
+ * or `.kt`) which uniquely identifies the right symbol when multiple
+ * classes share the same simple name.
+ *
+ * Also handles bare references to the imported class itself
+ * (`new Foo()` extraction emits `Foo` as a `references`/`instantiates`
+ * ref) and `import static <Foo>.bar` style imports of a single member.
+ */
+function resolveJavaImportedReference(ref, imports, context) {
+    if (imports.length === 0)
+        return null;
+    const ext = ref.language === 'kotlin' ? '.kt' : '.java';
+    for (const imp of imports) {
+        const matchesBare = imp.localName === ref.referenceName;
+        const matchesQualified = ref.referenceName.startsWith(imp.localName + '.');
+        if (!matchesBare && !matchesQualified)
+            continue;
+        // Convert FQN to a file-path suffix. `com.example.Foo` ->
+        // `com/example/Foo.java` (or `.kt`). The actual file may live
+        // under any source root (`src/main/java/`, `src/`, etc.), so match
+        // by suffix rather than exact path.
+        const fqnPath = imp.source.replace(/\./g, '/') + ext;
+        // Which symbol name to look up: the class itself, or a member.
+        const memberName = matchesBare
+            ? imp.localName
+            : ref.referenceName.substring(imp.localName.length + 1);
+        const candidates = context.getNodesByName(memberName);
+        for (const node of candidates) {
+            if (node.language !== ref.language)
+                continue;
+            const fp = node.filePath.replace(/\\/g, '/');
+            if (fp.endsWith(fqnPath) || fp.endsWith('/' + fqnPath)) {
+                return {
+                    original: ref,
+                    targetNodeId: node.id,
+                    confidence: 0.9,
+                    resolvedBy: 'import',
+                };
+            }
+        }
+        // `import static com.example.Foo.bar;` — the FQN's tail is the
+        // member name, the part before is the owner class. Look up the
+        // member named `<imp.localName>` (e.g. `bar`) and prefer the
+        // candidate whose file matches the parent FQN's path.
+        if (matchesBare) {
+            const dot = imp.source.lastIndexOf('.');
+            if (dot > 0) {
+                const ownerFqn = imp.source.substring(0, dot);
+                const ownerPath = ownerFqn.replace(/\./g, '/') + ext;
+                for (const node of candidates) {
+                    if (node.language !== ref.language)
+                        continue;
+                    const fp = node.filePath.replace(/\\/g, '/');
+                    if (fp.endsWith(ownerPath) || fp.endsWith('/' + ownerPath)) {
+                        return {
+                            original: ref,
+                            targetNodeId: node.id,
+                            confidence: 0.9,
+                            resolvedBy: 'import',
+                        };
+                    }
+                }
+            }
+        }
+    }
+    return null;
+}
+/**
+ * Resolve a Go cross-package qualified reference (`pkga.FuncX`) by matching
+ * the package alias against an in-module import, stripping the module prefix
+ * to a project-relative directory, and locating the exported symbol in any
+ * `.go` file under that directory. Returns `null` for stdlib / third-party
+ * imports (no `go.mod`-relative match) so the rest of `resolveViaImport`
+ * can still try the file-based path.
+ */
+function resolveGoCrossPackageReference(ref, imports, context) {
+    const mod = context.getGoModule?.();
+    if (!mod)
+        return null;
+    // Qualified call: receiver before `.`, member after. A bare reference
+    // (no dot) is a same-file/in-package call — handled elsewhere.
+    const dotIdx = ref.referenceName.indexOf('.');
+    if (dotIdx <= 0)
+        return null;
+    const receiver = ref.referenceName.substring(0, dotIdx);
+    const memberName = ref.referenceName.substring(dotIdx + 1);
+    if (!memberName)
+        return null;
+    for (const imp of imports) {
+        if (imp.localName !== receiver)
+            continue;
+        // Only in-module imports map to a known directory.
+        if (imp.source !== mod.modulePath && !imp.source.startsWith(mod.modulePath + '/')) {
+            continue;
+        }
+        const pkgDir = imp.source === mod.modulePath
+            ? ''
+            : imp.source.substring(mod.modulePath.length + 1);
+        // Look up the member by name and pick the candidate whose file lives
+        // directly in the package directory. Match the immediate parent dir
+        // exactly so a call to `pkga.FuncX` doesn't accidentally land on a
+        // `FuncX` declared in `pkga/subpkg/`.
+        const candidates = context.getNodesByName(memberName);
+        for (const node of candidates) {
+            if (node.language !== 'go')
+                continue;
+            if (!node.isExported)
+                continue;
+            const fp = node.filePath.replace(/\\/g, '/');
+            const lastSlash = fp.lastIndexOf('/');
+            const fileDir = lastSlash >= 0 ? fp.substring(0, lastSlash) : '';
+            if (fileDir === pkgDir) {
+                return {
+                    original: ref,
+                    targetNodeId: node.id,
+                    confidence: 0.9,
+                    resolvedBy: 'import',
+                };
+            }
+        }
+    }
+    return null;
+}
 /** Recursive depth cap for re-export chain following. Real codebases
  *  rarely chain barrels more than 2–3 deep; 8 is a generous safety
  *  net that still bounds worst-case work. */
@@ -609,7 +1875,14 @@ function findExportedSymbol(filePath, want, language, context, visited, depth =
     const nodesInFile = context.getNodesInFile(filePath);
     // 1. Direct hit: the symbol is declared in this file.
     if (want.isDefault) {
-        const direct = nodesInFile.find((n) => n.isExported && (n.kind === 'function' || n.kind === 'class'));
+        // Svelte/Vue single-file components ARE the module's default export,
+        // but are extracted as kind 'component' (not function/class). Prefer
+        // the component node; fall back to an exported function/class for the
+        // `.ts`/`.tsx` `export default fn`/`class` case. Without the component
+        // branch, an `export { default as X } from './X.svelte'` barrel never
+        // resolves and the component shows a false 0 callers (#629).
+        const direct = nodesInFile.find((n) => n.isExported && n.kind === 'component') ??
+            nodesInFile.find((n) => n.isExported && (n.kind === 'function' || n.kind === 'class'));
         if (direct)
             return direct;
     }
@@ -660,4 +1933,42 @@ function findExportedSymbol(filePath, want, language, context, visited, depth =
     }
     return undefined;
 }
+/** Node kinds that own static members reachable as `Container.member`. */
+const STATIC_MEMBER_CONTAINERS = new Set([
+    'class', 'struct', 'interface', 'enum', 'trait', 'protocol',
+]);
+/**
+ * Resolve `Container.member` — a static method/property access on a NAMED class
+ * import (`import { Foo } …; Foo.bar()`) — to the member node, given the
+ * already-resolved container class.
+ *
+ * Members carry a `Container::member` qualifiedName, so we look up
+ * `${container.qualifiedName}::${member}` within the container's own file (the
+ * file filter disambiguates same-named classes in other modules). Returns
+ * undefined when the container isn't a member-owning kind or the member isn't
+ * found, so the caller falls back to the container itself (prior behavior) —
+ * languages whose members aren't `::`-qualified, and genuine class references,
+ * are unaffected. See #825.
+ */
+function resolveStaticMember(container, ref, localName, context) {
+    if (!STATIC_MEMBER_CONTAINERS.has(container.kind))
+        return undefined;
+    // First segment after the receiver: `Foo.bar.baz` → `bar`.
+    const member = ref.referenceName.slice(localName.length + 1).split('.')[0];
+    if (!member)
+        return undefined;
+    const candidates = context
+        .getNodesByQualifiedName(`${container.qualifiedName}::${member}`)
+        .filter((n) => n.filePath === container.filePath);
+    if (candidates.length === 0)
+        return undefined;
+    // When the reference is a call, prefer a callable member if several nodes
+    // share the qualifiedName (e.g. a static property and a method).
+    if (ref.referenceKind === 'calls') {
+        const callable = candidates.find((n) => n.kind === 'method' || n.kind === 'function');
+        if (callable)
+            return callable;
+    }
+    return candidates[0];
+}
 //# sourceMappingURL=import-resolver.js.map