Your machine isn't turing complete, so why are you mentioning the halting problem?
2023 May 01 #rantSometimes I will be part of exchanges such as:
Me: It would be cool if you could prove the lack of stack overflows in code!
Someone: Proving that code will not stack overflow is the same as solving the halting problem though.
Which is very much true, if you demand no false positives. But rather pointless. It’s being overly pedantic as a way of (intentionally or otherwise) being dismissive about useful feature ideas.