unknowns
Identify unresolved calls, dynamic behavior, and parser diagnostics in source code analysis. Distinguishes proven-absent from couldn't-cross gaps to prevent false negatives.
Instructions
Explicit comprehension frontiers: unresolved calls, dynamic runtime behavior, and parser/compiler diagnostics. Distinguishes proven-absent from couldn't-cross instead of silently treating missing graph facts as none.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | ||
| format | No | text (compact, default) | json (structured result page) | |
| offset | No | ||
| function | No | optional function name or node id |