MMP.15:4.6 - Return the sufficient result and propagate consequential changes

Return the target and the assumptions under which its identifying expression, bound or ambiguity result holds. Make the data factors recoverable for estimation and uncertainty under MMP.13. Numerical evaluation belongs to an appropriate computational method; a completed optimization or simulation is not an identification proof.

Check the derivation as needed: verify a finite case, inspect a disputed graph condition, or calculate a countermodel’s observational and intervention laws. These checks establish the mathematical consequence of assumptions. Assurance that the assumptions describe the subject requires relevant subject evidence; successful fitting or self-consistent simulation does not provide it by itself.

When an actual change admits a direct pathway, changes an intervention’s version, alters selection, or changes the target population, propagate it through the affected derivation and calculation. Compare an alternative assumption when that comparison can change the intended use. Do not invent a sensitivity exercise for an already sufficient result under unchanged conditions.

C.11.DUA selects whether remaining uncertainty warrants more evidence, an explicitly conditional answer, a narrower agreed question or no further work. MMP.16 can design an observation if that further work is chosen. A mathematical identification result does not authorize or physically carry out the intervention.