A.6.3:5.4 - Normalized publication card

X and Y are separately identified epistemes about exact morphism f. Y reorders claims and normalizes names without changing their interpretation. NormalizeTechCard : X -> Y is a direct viewing. For a repeat claim under the same scheme and normalization rules, identify the next normalization arrow n_Y : Y -> Z; establish Z = Y under C.2.1 and compose(n_Y, NormalizeTechCard) ≃ NormalizeTechCard under the substrate’s declared arrow equivalence, with a fixture or proof. A later publication occurrence makes Y available through a TechCard form. Y is called U.View only if it conforms to the exact publication viewpoint; the form and carrier remain separate.