should return a code according to the audit results (non-zero if a constraint is violated)
should return a code according to the audit results (non-zero if a constraint is violated)