34.6. Carriers, adequacy and uncertainty🔗

Three rubrics separate the specification from the thing that runs.

• M17 — Two carriers, and the bridge. The specification carrier and the executable carrier are distinguished, and the bridge between them is named.

• M18 — Numerical adequacy. The deployed representation is shown numerically adequate: it loses no information at the scale of the input uncertainties. That is a claim about the model's own numbers rather than a general preference for wider floats.

• M19 — The uncertainty rung and its coverage. Uncertainty names the rung of the method ladder it was computed at and the coverage its recorded variance certifies; an uncertainty reported without either is a number without an interpretation.