"Check" не загорается, если датчик врёт. Он загорается, только если он совсем сдох - показывает либо нереально низкую, либо нереально высокую температуру.
При этом МИКАС может, естественно, заводиться, как ему вздумается - то хорошо на горячую и плохо на холодную, то наоборот. В зависимости от показаний ДТОЖ (которые ложные). Описанный тобой алгоритм верен лишь в аврийном режиме - именно когда горит "Check".
Ситуация с ложными показаниями ДТОЖ встречается довольно часто.