It seems to me in the final position that it is not possible for white to mate even with black's help. I guess that a mate is only possible if the black pawn is on h7, with the black king on h8, the white king on f8 or f7.
So should the correct result be a draw?