C.29.1:4.6 - Return a sufficient result or repair the failed correspondence
Return the conclusion together with the assumptions that change its use. A short calculation can contain the complete transfer. When another person or later use needs to recover the reasoning, preserve the source result, correspondence, comparison and conclusion in the smallest adequate form. C.29:4.4 supplies recording options when a receiving use calls for them.
If the comparison fails, use the failure to choose the next construction.
| What the comparison reveals | Useful next move |
|---|---|
| An omitted variable changes the needed answer | Retain that variable, or retain a derived quantity sufficient for the question. |
| The receiving operation admits a step unavailable in the source | Retain its enabling condition, restrict the receiving operation, or use the enlarged problem only for the bound it supports. |
| Two representatives give different values | Change the representation or ask for a class property, such as a minimum or interval, and establish that new property’s use. |
| Agreement holds only on part of the domain | State and use that restriction if it includes the intended cases; otherwise seek another correspondence. |
| A missing source premise prevents the comparison | Recover or establish that premise before repairing the receiving calculation. |
| A sound bound is too broad for the decision | Find which retained uncertainty spans the threshold and obtain a discriminating premise or observation. |
After a repair, repeat the affected comparison and the later steps that depend on it. Keep conclusions whose premises and correspondences remain applicable.
Stop when the exact consequence or bound answers the working question. A located failure can also settle the immediate question: “This summary cannot determine availability; retain reserved stock or use available stock.” If the missing contribution is a physical model, a measurement relation, a numerical method or a new proof, name that contribution and return to its practice. B.5.MPC handles the wider coordination when several of those contributions must agree.