Сначала сравнивают вычисления на двух ядрах, затем сравнивают вычисления трех таких систем, консенсусом считается полная идентичность, в случае несовпадения система возвращается к предыдущей команде, которая считается корректной.