feat(analyzers): syntactic IMPORTS + derived OVERRIDES + tree-sitter resolver name→def fix

[DvirDukhan]

What

Three graph-quality improvements on top of the T18 tree-sitter resolver (#691):

1. Syntactic IMPORTS edges (File→File). Python import resolution with no LSP — dotted-module-parts matching against an exact+suffix file index. Base build_import_index/resolve_imports hooks added to the analyzer base class; source_analyzer.link_imports wires them after first_pass (once every file has a graph id).
2. Derived OVERRIDES edges. graph.derive_overrides(max_depth=3) derives OVERRIDES from EXTENDS + DEFINES via Cypher MERGE, run after second_pass.
3. Tree-sitter resolver name→def pairing fix (CALLS precision). ts_resolver.py::_index_file built the per-module symbol table by zip-ing two independently-grouped QueryCursor.captures() lists (@name, @def). Decorated defs shift @def positions, mis-pairing names with defs, so imported-call resolution attached CALLS edges to the wrong target (phantom edges whose token never appears at the call site). Fixed via per-match iteration using a _matches() helper wrapping QueryCursor.matches(), applied across all four indexing loops (top-level funcs, classes, assigns, class methods). Adds 2 regression tests (10 top-level funcs, 8 classes) asserting each imported call resolves to the def whose name matches exactly; 16/16 resolver tests pass.

Why

IMPORTS/OVERRIDES edges improve coverage for all consumers and feed search_code hybrid-ranker centrality (cross-file in-degree). The resolver fix corrects CALLS-edge accuracy — the graph's core "who calls X" capability.

Impact (CALLS resolver fix)

Deterministic graph-vs-jedi-oracle caller-accuracy bench, n=40, paired (identical harness, only the resolver differs):

repo	broken macro-F1	fixed macro-F1	median F1	exact-match
uxarray	0.178	0.713	0.0 → 0.94	0.09 → 0.50
arkouda	0.031	0.262	0.0 → 0.12	0.0 → 0.04

Stack

• Base: feat(analyzers): tree-sitter Python symbol resolver (T18 #689) #691 (T18 tree-sitter Python resolver)
• Additive on top of feat(analyzers): tree-sitter Python symbol resolver (T18 #689) #691 (IMPORTS/OVERRIDES +201/-0; resolver fix +97/-26 incl. tests).

Notes

Lineage note: the IMPORTS/OVERRIDES content was authored on the pre-T18 mcp-smoke-combined branch and cherry-picked here. The old jedi-era resolve_path/resolve_type artifacts from that lineage were intentionally dropped during the cherry-pick (T18 removed them); only the 5 new import-resolution methods + base hooks + _extract_type_target (from #691) remain.

Co-authored-by: Copilot 223556219+Copilot@users.noreply.github.com

[coderabbitai]

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 8e7b692f-4a7c-410e-9c8a-7e5907c2bd8d

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch dvirdukhan/analyzer-import-override-edges

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}