A.6.2:5.2 - Internal normalisation of a View (species of EFEM, entityOfConcernChangeMode = preserve)

Context. In MVPK you compute an engineering view V of a system description; you then normalise the view (sort, factor, put equations into normal form) without changing what it says.

Let X = V_raw, Y = V_norm. For this example, assume each episteme independently satisfies E.17.0’s U.View membership condition. The two views have the same:

• entityOfConcernRef(X) = entityOfConcernRef(Y) (same system);
• when grounding is current, the same exact grounding occurrence and grounding holon are found on both sides; this is an endpoint comparison, not a change made by NormalizeView;
• any viewpoint selected by the named normalization use is the same exact P for X and Y; this selection is outside episteme identity;
• representationSchemeRef(X) = representationSchemeRef(Y) (same notation).

The EFEM NormalizeView : X→Y:

• has entityOfConcernChangeMode(NormalizeView) = preserve;
• has a source-to-receiving ClaimGraph difference consisting only of the declared normalization. If an exact EpistemeEditionRelation or another neighboring relation matters, name its predicate and participants on each side and compare the endpoint facts; NormalizeView does not change that occurrence. An assertion such as “normalised at edition E” is part of Y’s ClaimGraph and must pass P2;
• is effect-free. A repeat check uses the next normalization arrow n_Y : Y -> Z under the fixed scheme and normalization rules. It must establish Z = Y under C.2.1 and compose(n_Y, NormalizeView) ≃ NormalizeView under the substrate’s declared arrow equivalence, with a fixture or proof. In the identity fixture, the rule leaves already normalized Y unchanged and uses n_Y = id_Y; P3 then gives compose(n_Y, NormalizeView) = NormalizeView. The exact NormalizeView : X -> Y is self-composable only when X = Y (P3-P4);
• is conservative (P2): no new claims, only re‑expression.

MVPK can reuse the EFEM laws for these normalization arrows. Claim the relevant category and functor only when their mappings, identity laws and composition conditions are established under P3 and the selected MVPK profile.