Round-six lemma `entry_runs`