Аудиты находят существующие ошибки. Утверждения предотвращают состояния, которые не должны быть. Одно является реактивным. Одно является проактивным.