> or, most likely, just not invite you back

Paper magic works with infinite combos on the basis that if you can prove them, you can "fast forward".

And someone with a draw infinite combo would definitely be welcome in some player circles (see the Jhonny definition).

Yeah you demonstrate the loop once and show that other whatever the output of the loop is (damage, mana, creature tokens, mill for your opponents) your board is in the same initial state so it can be repeated an arbitrary number of times (or it's forced to repeat in which case you're in a forced infinite loop).

The tournament rules, section 4.4, differ from the comprehensive rules and take precedence in tournaments:

https://media.wizards.com/2023/wpn/marketing_materials/wpn/M...

Does that mean the judge must solve the halting Problem?

The judge can solve the halting problem by ruling the outcome.

Seems somewhat analogous to draw by repetition in Chess