Trace Viewer

Read the reasoning behind a commit. The interactive viewer zooms from intent-named steps down to atomic actions, with the lineage DAG, the decisions, the policy results, and the residual surface (the declared gaps). Pick a trace from the dropdown — including formally-verified examples with machine-checked proofs and counterexamples. Locally, run ponens trace view <file> on any trace.