60. Discovering and transporting repair

A residual records disagreement between a prediction and an observation, between a proposed operation and a required invariant, or between two routes of translation. It is evidence against a conjunction of assumptions. It does not uniquely identify which assumption failed.