[mathgeek]

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...

[n_plus_1_acc]

Does that mean the judge must solve the halting Problem?

[rightbyte]

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