list recorded traces. One line per trace, oldest first: run id, exit, event count, the command; a refocus rerun names its original and its verdict.

summarize one trace. Recorder, language, the capabilities the trace declares, what was recorded and what was not, focus, the redaction stamp; read it before any other question on a run.

call-tree slice. Parentage derived from the event stream; --around centres the slice on an event id, --root on a frame id; nested dict contents are elided, frame prints them.

one activation in full. Arguments, return or raise, and the per-line locals timeline when the run was recorded with --focus; frame ids fN come from exceptions, tree and grep.

search events by name or value. Every CALL, RETURN, RAISE, HANDLED or LINE event whose name or rendered value contains the pattern; --after resumes from an event id a previous answer showed.

raises, handles, swallows. Every raise classified swallowed, uncaught, re-raised, propagated or ambiguous, with the reason; SWALLOWED is claimed only when the recording proves it.

provenance of a value or an object. --value follows a literal by equality through captured arguments, locals and returns; --object follows one identity from the event that captured it; one of the two is required, and each refuses by name what the recording did not capture.

predicate over captured state. A gdb-style watchpoint evaluated after the fact at every recorded site of one function; needs a --focus recording, and NOTHING WAS CHECKED is a refusal, never a pass.

first causal divergence between two runs. Aligns the two causal streams and names the first event where they part, with drill-in commands; MATCH or DIVERGED, or REFUSED when no verdict exists.