skeleton
Renders a function's sink map as pseudo-function: sinks annotated with size, capacity status, guard dominance, and controlling branches/loops. Use it to inspect sink obligations in guard context.
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 |