Function unresolved_report 

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

The unresolved-lookup report: the enumerated list FIRST, then the remediation block ONCE at the end.

allowed selects the closing paragraph — the offer to pass the flag when the boot is about to fail, and the bare consequence when the flag is already set. There is no third mode: a flag that MUTES the warning would recreate exactly the bug this gate exists to catch.