[threePointFive]

I might be misunderstanding the ruling, but I believe if your play involves an infinite loop that cannot resolve, you tie the game. Combine that with the fact the game is Turing complete, and this makes it such that you could force a game state where you must solve the halting problem in order to determine if you draw or not.

[c22]

If the game state is "meaningfully changed" each iteration then it is considered a non-deterministic loop and it cannot be shortcut.