compare_graph_to_scip
Cross-check tree-sitter call graph against SCIP compiler to identify callee resolution disagreements. Debug resolver by comparing compiler and tree-sitter inferences.
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 |
|---|---|---|---|
No arguments | |||