> The person who specified this most likely was aware that this is turing complete and it's the rules author's responsibility not to write infinite loops Softw

> The person who specified this most likely was aware that this is turing complete and it's the rules author's responsibility not to write infinite loops Software developer’s job description: prove that this instance of the halting problem you’re being paid to work on today is decidable