Round-six lemma `coreF_runs`