def coverage_summary(results): """ Aggregate-only coverage summary. No tracking, no per-user analytics. """ counts = {} for r in results: agency = r.get("agency", "Unknown") counts[agency] = counts.get(agency, 0) + 1 return [ { "Agency": agency, "Result Count": count } for agency, count in sorted(counts.items()) ]