Да, если в коде, который проверяет договор, будет ошибка, пункт может оказаться недействительным. Алгоритм начнёт систематически склоняться в пользу одной стороны, что подрывает справедливость, на которой основано право.