Интересно, с какой стати по мысли создателя является матом сценарий 1. Лh1 Крh5 2.g4# Это шах, король бьет пешку - автор забыл, что она уже не защищена ладьей (ее передвинули с g на первом ходу). Зря потратил время, т.к. в два хода мат тут не поставить (только в три).

Уточню, что продолжение Крh5 2.Крg3# является матом, мат в два хода есть, однако вариант Лh1 Крh5 2.g4# все равно остается ошибочным, это и видно, и программа дает есть пешку королем, хотя все время, и после (второго) хода с шахом g4, пишет, что это и есть решение.