pub fn run_summary(trace_path: &Path, output: Option<&Path>) -> Result<()>
summary — emit provenance, health, gaps, and graph summary JSON.
summary