A.19:12.1 - C.29 mathematical-lens use relation

If topology, order, distance, product, subspace, or embedding is only a CharacteristicSpace overlay or operation, stay in A.19. If that mathematical structure is used to explain, predict, assure, compare across reference schemes or planes, relate independently governed values, or carry a reusable explanation, add the applicable C.29 lens-use result. C.29 does not replace the A.19 space or predicate declaration.