Expand description
Trace-run orchestration.
This module owns the per-run pipeline so the CLI stays thin: capture provenance once, discover files under each root, run Lean over each, filter, and stream records to a writer.
Structs§
- Trace
Summary - Outcome counts from a single trace run.
Functions§
- run_
trace - Capture provenance, run Lean over every file under
roots, and stream records towriter.