Round-six lemma `globU_runs`