Round-six lemma `recs_gates`