pub fn check(input: &str) -> CheckReport
Run all three diagnostic layers (parse, validate, lint) over input.
input