pub fn format_summary( phases: &[TodoPhase], errors: &[String], read_only: bool, ) -> String
Render a human-readable summary of the todo list for display.