Function check_files 

pub fn check_files(paths: &[String]) -> Vec<(String, Diag)>

decl check: load each entry (following imports), report load diagnostics and every module’s static findings, tagged with their file