Round-six lemma `chunk_facts`