-
Notifications
You must be signed in to change notification settings - Fork 2.1k
task: Graph queries & trace_path resolution #594
Copy link
Copy link
Open
Labels
bugSomething isn't workingSomething isn't workingparsing/qualityGraph extraction bugs, false positives, missing edgesGraph extraction bugs, false positives, missing edgespriority/normalStandard review queue; useful PR with ordinary maintainer urgency.Standard review queue; useful PR with ordinary maintainer urgency.taskUmbrella task grouping multiple related issuesUmbrella task grouping multiple related issues
Description
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't workingparsing/qualityGraph extraction bugs, false positives, missing edgesGraph extraction bugs, false positives, missing edgespriority/normalStandard review queue; useful PR with ordinary maintainer urgency.Standard review queue; useful PR with ordinary maintainer urgency.taskUmbrella task grouping multiple related issuesUmbrella task grouping multiple related issues
Scope
Umbrella tracker for graph query &
trace_pathresolution — cases where the graph contains the right nodes/edges but the query-side traversal returns empty or incomplete caller/callee sets. The edges exist; the answer is wrong.Sub-issues
trace_pathreturns empty for all functions despite traversable CALLS edges (v0.8.1, macOS arm64)trace_pathdata_flow mode doesn't surface arg expressions; NestJS DI patterns defeat ~70% of caller resolution.d.tsdeclaration (callers silently split by import style) #546 —trace_path/ reverse-dependency returns an INCOMPLETE caller set when a symbol is duplicated by an ambient.d.tsdeclaration (callers silently split by import style)Acceptance
Per item: a reproduce-first test on a public fixture showing the expected caller/callee set, then the traversal returns it. #480 in particular needs a root-cause test (edges present, traversal yields nothing) before any fix.
Why one task
These all live in the traversal/query layer (BFS over CALLS, symbol identity / dedup, data-flow arg resolution) rather than extraction. Grouping keeps the query-correctness work coherent.
Added 2026-06-29 (triage)
project not foundwhilelist_projectssees the DBquery_graphcrash on Windowsquery_graphhangs on whole-graphOPTIONAL MATCH(no execution timeout / degradation) on large graphs #601 — unboundedOPTIONAL MATCHcan hang without an execution timeoutAdded 2026-06-30 (triage)
list_projectssees populated DB; likely path-normalized shadow DBget_architecturehotspotfan_inaggregates same-name symbols instead of node-level in-degree