The carrier-to-record boundary

Landmark I supplies finite destructive measurement semantics within its declared class CheungI. It does not define a missing characteristic product. Even after a coefficient is admitted in its stated output space, a later measurement claim would still need a representation, a finite encoding, a specified instrument, an input class, an approximation topology, and an error allowance. Equality of outcome effects alone is weaker than equality of the complete selective instrument.

In the supplied catalogue terminology, O.1 remains NOT_CLOSED. This is a documentary status label: no independent O.1 construction is asserted or discharged by this paper.