Because that will fail to detect a program that halts in X+1 time. The problem isn’t to detect if a program that halts halts, the problem is to generally create an algorithm that will guarantee that the analyzed program will always halt given an infinite time running on an infinite computer.

Check out programming.dev for a Comp Sci focused community.

This is my concern. I typically replace my iPhone with a newer model before I need to replace the battery, but the newer waterproof ratings all of my devices are coming with are nice in case I accidentally drop my device in the tub. I understand why people want to be able to replace batteries and I support options for that, but I’m not sure if you could achieve the level of rating newer devices are with this added requirement.