Scope corrections that matter mathematically

and residual. Record compatibility is an effect identity. Instrument compatibility is a selective-map identity. The one-qubit witness and the two-step example exhibit the difference on fully specified ideal targets.

quantifiers. Branch closure gives a universal history theorem. It is stronger than agreement of one terminal marginal. No necessity assertion for accidental equality on a single prepared input is made.

and spectators. Channel equalities are reference stable. Comparison of two different extended inputs requires their agreement on the appropriate reference-extended observation space. Spectator consistency compares an extension with its restriction and requires a blind complete controller.

and dimension. The four-face construction is a transverse marking in a regular patch. Its compact $3+1$ lift was proved rather than inferred by dimensional relabeling. Its local junction, and the axial extension of that junction, are not $\mathcal{W}$. The fixed ambient conical metric is not generated by the marking's intrinsic angle defect.

data and guards. The branch certificate is a finite specimen of a declared family. It is not a classification of all conical transitions. Finite numerical reports do not measure arbitrary exact real parameters. The discrete event guard remains exact on its declared finite code domain.

and observable preservation. An informative record excludes exact recovery of every unknown quantum input on the full matrix algebra. It does not exclude a named effect, a classical sector, or an appropriately specified code from being preserved. The finite radiation decoder of En02-C is a separate task, not an input to this obstruction CheungComparisons.