Round-six lemma `swGUP_spec`