> to cut off the space of inputs at a point by enforcing a constant time bound That is literally the problem statement you gave. I was pointing out that it is

> to cut off the space of inputs at a point by enforcing a constant time bound That is literally the problem statement you gave. I was pointing out that it is very much not undecidable. It might be (almost certainly is, in this case) computationally intractable both in the general case and in practice, but it's still decidable.