Every case with label.needs_relabel = TRUE, ordered by coverage risk
(types with fewest remaining valid cases first), then difficulty (hard
first), then labelling method (human first). The candidate shortlist is
recomputed from the CURRENT ontology, not reused from the case.