pub async fn run_trace(
config: &TraceConfig,
roots: &[Utf8PathBuf],
writer: &mut TraceWriter,
) -> Result<TraceSummary>Expand description
Capture provenance, run Lean over every file under roots, and stream
records to writer.
Files are discovered per root (honoring config.recursive), de-duplicated,
and filtered by config.exclude. Non-passing files are always written;
passing files are written only when config.include_passes is set.