inspect_tape
Query a recorded tape with one engine-grammar request to get a text answer and parsed header, enabling inspection of stats, leaves, branches, source lines, value origins, uses, and dependency cones.
Instructions
Ask the tape one question in the engine's own grammar and get its text answer plus the parsed header. Verbs: 'stats' | 'leaves [kind=input|constant] [by=leaf] [limit=N]' | 'branches order=margin [limit=N]' | 'sites [file=NAME] [limit=N]' | 'at FILE:LINE [context=N]' (source with the recorded values; hash=ok means the file shown is the one compiled) | 'find value=X' (where a printed number was computed) | 'origin #N' (the formula behind a value) | 'uses #N' | 'cone #N' (which leaves can move a value, by derivative or only by a branch) | 'source root=COMPILED=LOCAL' (map compiled paths to a local source tree) | 'replay ...' (prefer the replay tool). Ids are #N from earlier answers. A malformed request answers status=error in the header, never an exception.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| request | Yes | ||
| tape_id | Yes | ||
| max_lines | No |