ME.6.MC:4.2 - Represent the operations and the distinctions the receiver uses

Use C.29 to say what the mathematical objects represent. Define the relevant inputs, state, operations, outputs and conditions. For a sequential contribution, a function or partial function may suffice. For a changing document, state can include its revision and which revision a result concerns. For a shared resource, include its occupancy and availability.

Choose what the receiver can observe. Retain an intermediate answer if another step uses it, even when it disappears from the final store. Retain case identity or version when using the wrong case or version changes the result. If probability, timing or cost matters, represent that quantity and the assumptions supporting it; a plain set of possible outputs does not supply its distribution or duration.

Distinguish what is known from what the model assumes. A measured duration, a proposed upper bound and a convenient constant have different grounds. A human or automated performer can be represented by a transition rule for this calculation, but the rule needs a correspondence to the capability and conditions of that performer.

When alternatives use different representations, interpret both through the selected receiving quantities. MATH.18 supplies preservation and recovery across mathematical accounts. If a summary sends two cases to the same value but their required answers differ, that summary cannot support the comparison without recovering the lost distinction.