compare_graph_to_scip
Cross-check the tree-sitter graph against the SCIP compiler to find disagreements on callee resolution, helping debug the resolver.
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 | |||