skeleton
Visualize a function's sink map as a pseudo-function: show every sink with its size expression, destination capacity, and guard dominance, alongside the branch and loop structures controlling it, making closure a local read.
Instructions
Render a function's sink map as a pseudo-function: every catalogued sink (all families -- memory, os, file, ...) shown in place, each annotated with its size expression, destination-capacity status, and guard dominance (fall-through | guarded-region | none-observed), plus the branch/loop structure that scopes them, with everything else elided. A sink is not adjudicable alone -- the guard that dominates it decides it -- so co-locating each sink with its controlling branches and loops makes closure a local read. Every obligation on a line is shown, highest-rank first; operand provenance is a drill-down (candidate_detail / sources_of). Pass function (a name or node id) for the whole enclosing function, or candidate_id to focus its enclosing function.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| format | No | text (compact, default) | json (structured result page) | |
| function | No | function name or node id | |
| candidate_id | No | candidate id; renders its enclosing function |