documented error construction, likely_new_err ==> likely_erratum