Catalogue and Ward comparisons

The supplied Family 271 record is documentary. Its reported Lean scope names 271-04 only, and VI is not 271-04 Catalogue271. No catalogue attribution, proof correctness, or Lean execution is authenticated by this manuscript.

Oai282-B and Oai069-A retain their own local Ward, finite-defect, and local-system comparison domains CheungOai282B,CheungOai069A. They are not a gravitational dictionary, a matter clock, or a conical evolution law. In particular, a categorical equivalence on a fixed curve is not a channel on the incidence register merely because both use finite labels.