Round-six lemma `coreBU_runs`