Round-six lemma `dOut_run`