compare_graph_to_scip
Compare tree-sitter call graph edges to SCIP compiler verdicts to reveal where the resolver disagrees with the compiler. Debug resolution mismatches by identifying disputed callee edges.
Instructions
Cross-check the tree-sitter graph against the SCIP compiler oracle — report the edges where they DISAGREE on a callee's resolution (the compiler contradicts tree-sitter). A resolver-debugging diagnostic; requires rag-rat oracle run first to populate compiler verdicts. Reports nothing when no oracle data exists for this checkout.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| worktree | No | Absolute path of the checkout to scope reads to — pass a linked worktree to read its branch overlay. Defaults to the server's working directory. A path that is not a linked worktree of this repo is silently ignored: results then come from the indexed checkout, with no error. |