Not looking at the bug, only at the position:
The game is a draw. Certainly !
The game is a draw as Black must take the rook.
No, not really.
Imagine a team match, last game, trailing a whole point - you must win otherwise the match is lost.
Here I would avoid the direct stalemate draw with BxR, instead I would play on with 1. ...Kd4 hoping for 2. Ra2 c4, perhaps a swindle against a weaker
player might still be possible.
Of course the position even after 1. ...Kd4 is still a forced draw, a stronger player would aim for 2. Re6 Bb7 3. Rb6 Bc8 4. Rc6 Bb7 and he has
the choice to go for a threefold repetition or even 5. Rxc5 draws as the white king goes to the a1-corner and black can't win as he has a bishop of the wrong colour.
At least a try...maybe Maia/Lc0 thinks in a similar way...I'm not going full throttle...whom do I play...a patzer ??
Regards
Hans-Jürgen