I don’t understand. The halting problem says you can’t tell if an algorithm halts without running it - you can’t be sure any program will run to completion in a specific time. It applies to any non trivial program.

And it’s well established that a rewrite is dangerous. The second system effect suggests that rewrites will always take much longer.