Round-six lemma `swStau_runs`