-record(check_violation, {constraint :: binary(), detail :: binary()}).