Round-six lemma `chirp_sigma`