pub fn not_modeled() -> Vec<(String, String)>
What the model does NOT cover yet, named with the reason — the honest boundary printed in the report.