It doesn't appear to be a general-case fix (which makes sense, because that would be impossible), but a method for certifying a subset of algorithms against halting problems in finite time (while giving no information for all other algorithms). We have a number of those.