scan
Returns ranked leads for code investigation, with lenses for guard-diff or flow. Paginated, time-bound results include coverage info.
Instructions
Return ranked leads from the whole taxonomy by default (lens=all): questions to investigate, never verdicts. Use lens=guard-diff for the entrypoint-to-effect guard view or lens=flow for native object-lifetime leads. Results are bounded and paged; the response includes coverage and whether the requested temporal work completed. Calls against one session are serialized; the native runtime is selected internally.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| lens | No | lead view; all is the broad default | all |
| limit | No | ||
| format | No | text (compact, default) | json (structured result page) | |
| offset | No | lead offset for the next page | |
| min_rank | No | ||
| hard_stop | No | temporal budget in seconds; 0 = unbounded | |
| entrypoints | No | scan only the first N entrypoints (0 = all) | |
| include_suppressions | No |