pub fn annotate_source( source: &str, filename: &str, ) -> Result<String, Vec<Diagnostic>>
Parse, type-check, and produce per-line cost-annotated source output.