[Strilanc]

These are easily fixed by dove tailing through the programs and using an increasing-over-time cutoff. Not fixed in the "made practical" sense, but in the "made non-contradictory" sense.

[goldenkey]

You can't use cutoffs. Timeouts deliver no guarantees within the universe of complexity.