E.17.1:4.4 - Import discipline into MultiViewDescribing

When a describing use names a family designator, it resolves exact catalogue edition L and its effective R_L, retrieves the declaration claim block designated inside G_L, and then names the exact imported reference subset Sigma. If exact L or the declaration is not already recoverable, use §4.2 to establish <G_L, K_L, R_L> before import:

• Sigma is a subset of that declaration’s viewpointRefs in exact L;
• every member is an exact U.ViewpointRef resolving to one admitted viewpoint episteme edition P;
• every candidate episteme E used under a member is independently identified under C.2.1 and is a U.View only when EpistemeViewpointConformanceRelation(E,P) obtains; and
• every actual one-viewpoint selection for one describing use carries one singular viewpointRef; importing the family neither selects P for that use nor establishes conformance.

A local subset names exact catalogue edition L, the source family designator, and the member references actually used, while keeping omitted members visible as unused or intentionally excluded. A multi-library use preserves each exact <editionDesignator(L), familyDesignator> source and member provenance rather than flattening everything into one unnamed family. If one use selects several viewpoints, it constructs their C.13 collection with exact membership; it does not overload one reference or infer a new family from adjacency.

Construction, identity viewing, transformation, declaration membership, selection, naming, rendering, or publication grants neither U.Viewpoint nor U.View membership. A local overlay may add didactic or publication material without changing exact L. Changing a member viewpoint’s meaning, the reference target, membership set, or family meaning requires a new local catalogue edition carrying the revised or new family declaration rather than silent mutation under the inherited family designator.