leads
Retrieve cached shape-matcher findings from a prior flow pass, filter by pattern, function, or source position, and get a summary or structured results.
Instructions
Query the flow pass's LEADS in memory -- the shape-matcher findings the 3rd pass already computed and cached, not a fresh cold run. This is the warm counterpart to re-deriving leads by hand every question: the pass is materialized once (via flow_pass), then this filters the held result. No arg: a by-pattern summary plus the honesty fields (whether the run timed out, which functions were truncated) -- an empty result over a partial run is never 'clean'. pattern filters to one bug shape; function to one enclosing function; at locates by source position file, file:line, or file:lo-hi (a lead carries only its function + line, so the file is resolved through the symbol index; a basename or path suffix is enough). Leads are leads, not verdicts -- adjudicate with sources_of/reaches. Calls against one session are serialized; results are bounded and paged.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| at | No | locate by source position: file | file:line | file:lo-hi | |
| limit | No | ||
| format | No | text (compact, default) | json (structured result page) | |
| offset | No | ||
| pattern | No | keep only this bug-shape pattern | |
| function | No | keep only leads in this function |