Function unresolved_report 

pub fn unresolved_report(
    split: &FailureSplit,
    shadowed_dropped: &[(&str, &str)],
    model: &str,
    arch: &str,
    quant: &str,
    allowed: bool,
) -> String

2026-09-26: The unresolved-lookup report: the numbered list of split.required, then the remediation paragraph once. allowed selects the closing paragraph: the offer to pass the allow flag, or, when it is already set, only the consequence.