E.17.1:12 - Relations
- Builds on:
C.2.1for library and member-episteme identity;E.17.0for exact P membership, reference resolution, singular use selection, and sole E/P view-membership rule;C.13for explicit imported collections;A.22for any separately selected organization;A.6.2-A.6.4for optional episteme-construction histories;A.7,E.7, andE.10for carrier, authoring, and naming discipline;E.24.PUBfor publication; andC.29for representation. - Constrains: E.17.0 consumers whenever they import a reusable family; an import narrows eligible references but neither selects one P for a use nor proves conformance.
- Coordinates with:
C.2.2a,A.16.0,E.17,E.17.2,E.18:5.12,F.9,F.9.1, and domain-specific families requiring stable reuse. - Protects: exact separation among catalogue triple
<G_L, K_L, R_L>, catalogue episteme L, local declaration claim block, ordinary family designator,U.ViewpointRef, P designator, P, candidate/View E, any A.22 structure, form, carrier, publication occurrence, and C.29 representation.
E.17.1:12.1 - Resolvable annex references for thin bundles
An ordinary project family designator may be accompanied by references that resolve under the applicable source or reference scheme to exact annex assets. Each reference states its local role—such as lexical, bridge, movePublication, examples, optional sota, or optional pilotTrace. Neither the field spelling nor the role value creates a new reference kind, manifest entity, or typed annex asset. This keeps the declaration claim block thin while allowing A.16 move-publication notes, lexical material, Bridge material, and examples to remain explicit rather than folded into the core family claim.