So you’ll approach 100% of this program lying to you that the other program halts.

This isn’t any different from running a program for 30 seconds and checking whether it halted or not.

You are simply sampling it differently.