Round-six lemma `chirpA_err`