Каждая машина непротиворечива сама по себе
Старая версия не сломана, она просто старая. Она каждый раз превращает один и тот же вход в один и тот же выход и ни о чём не предупреждает. Инженер на своём экране не видит ничего неправильного — потому что неправильного нет, есть другое.