Function proof_statuses 

fn proof_statuses(
    genv: GlobalEnv<'_, '_>,
    def_ids: &[DefId],
    diagnostics: Vec<LakeDiagnostic>,
) -> Vec<Result<(), Vec<String>>>

Determines the status of the external proof of each of the def_ids with a single pass over the diagnostics, dispatching each one to the proof whose checking or proof file it is reported in. Returns the results in the same order as def_ids.