E.17.1:4.3 - Local bundle declaration and its ordinary family designator
A bundle declaration is a bounded claim block inside exact G_L. It states one finite, non-empty recurring family of exact U.ViewpointRef values resolving to members of exact catalogue subject K_L. Every reference resolves under R_L to one exact viewpoint episteme edition P that has already gained U.Viewpoint membership under E.17.0. The declaration neither admits P nor changes P’s C.2.1 identity.
Its minimum claim content is:
- one ordinary
familyDesignator, unique within exactG_LunderR_L; - one exact target-kind compatibility condition: either the by-value criterion actually used for this family or a reference that resolves to the exact ClaimGraph defining or constraining the admitted target kind; if member viewpoints use different fixed target-kind criteria, the declaration states the exact compatibility rule rather than inventing a common superclass token;
viewpointRefs, one finite non-empty set of exactU.ViewpointRefvalues;- optional references that resolve under their applicable schemes to exact archetypal-grounding examples or sections, with their intended recognition use stated;
- optional alignment claims naming the exact source and relation when a real correspondence is asserted; and
- optional references that resolve under their applicable schemes to exact annex assets, each with its local role such as lexical note, Bridge material, A.16 move-publication note, example, or SoTA companion.
The family designator retrieves the declaration claim block inside exact L. A member U.ViewpointRef resolves exact P, and any reader-facing viewpoint token is only P’s designator. The family designator, declaration claim block, reference, viewpoint designator, P, and L are distinct; no token, list position, prefix, alias, or member spelling substitutes for an exact episteme or reference.
The compatibility condition neither selects an actual EntityOfConcern for a describing use nor supplies or changes any member P’s fixed target-kind criterion. Those claims remain in exact P and E.17.0 conformance. A bundle is not a bundle of views, files, forms, carriers, or publication occurrences. If a receiving use needs an A.22 structure among the member viewpoints, it separately recovers exact obtaining relations and selects that structure; declaration adjacency or order is not structure.
Changing the member-reference set, family meaning, compatibility condition, or the interpretation supplied by R_L changes G_L or the effective scheme and therefore identifies another catalogue episteme. Repackaging, annex layout, publication form, carrier, or audience does not reidentify unchanged L or any unchanged member viewpoint episteme.