E.18:5.4 - S4 - Assurance‑operations on U.Transfer (counterfactual admissibility)

On U.Transfer relations, an operation is interpreted as a declarative assurance-operation iff it is one of ConstrainTo(rule), CalibrateTo(calibrationReference), CiteEvidence(evidenceRef), or AttributeTo(provenanceReference); otherwise this explanation does not apply. Under this interpretation, CtxState⟨L,P,E⃗,D⟩ is preserved. If a claimed assurance operation would change plane or units, this assurance-operation explanation does not apply. Use a GateCrossing only after the exact plane or units declaration and applicable conversion rule are cited. Return missing-governor only if no current conversion predicate or rule can state the crossing, and missing-information if the declaration or case values needed to apply it are unavailable; otherwise state the rule’s positive, negative, or inapplicable result.

If one exact current policy applies and its rule application supports a penalty, cite the policy and PolicyIdRef and publish the penalty only in the assurance lane specified by that policy. When the claim also depends on an issuing or enforcing authority, cite the separately obtaining direct authority relation and its actual participants. Otherwise no penalty claim appears here.