It's a bit strange, as I've tested with a few easy king and pawn positions against myself, and in those positions it does seem to correctly account for who is to move.
However, I played out the game in question starting with Kxf6, and it does indeed offer white the chance to claim threefold after the final Rd5.
I'll do some more testing to see if I can recreate this in other positions.
However, I played out the game in question starting with Kxf6, and it does indeed offer white the chance to claim threefold after the final Rd5.
I'll do some more testing to see if I can recreate this in other positions.