@aeva @morten_skaaning @lritter The Halting Problem is oversold.
1. It's not actually generally hard to prove whether any particular invocation will halt. (Just hard to give a single approach that works on everything.)
2. The HP is not even theoretically hard if you expand the set of valid answers to be { yes, no, not sure }
3. practically speaking, the answer is always yes because at some point there will be a sufficiently long power outage or, more likely, forced OS update