Function consolidate_report 

pub(super) fn consolidate_report(
    incomplete: bool,
    defs: i64,
    instances: i64,
    agents: i64,
) -> VerifyOutcome

Formats the verdict consolidate_looks_incomplete reached, with the counts as evidence. Formatting only — the rule lives in one place.