Causal graph
Control-flow DAG (ASCII) — same view as varly verify --show-dag.
Run timeline
Ordered steps — not a graph, just what happened in sequence.
Violations
Run
varly view --trace … --contract … or load a JSON file above.