I checked the position carefully. It is actually stalemate: Black is not in check, the king has no safe moves, and the black pawns are blocked with no legal captures. So the game’s stalemate result is correct here. But thank you for the feedback!
