E.17.1:4.2 - Reuse an admitted catalogue; open full constitution only when needed

Existing-catalogue route. Resolve the already admitted catalogue edition L, retrieve the local declaration by its family designator under L’s effective R_L, and resolve only the member references needed now. Do not reconstruct L’s complete C.2.1 constitution merely to import an admitted edition.

Open the complete constitution below for the affected catalogue edition when authoring or admitting a new L, when L or edition identity or reference resolution is disputed, or when a named later use needs the catalogue’s ClaimGraph, subject, or scheme as inspectable premises. Reuse an existing check while that edition, its effective scheme, and the relied-on premises stay unchanged:

G_L is the exact U.ClaimGraph that states the catalogue scope, the local family declarations, the referenced viewpoint editions, their target-kind compatibility conditions, and the edition-change rule;
K_L is the exact catalogue subject: the independently identified finite C.13 collection of already admitted viewpoint episteme editions whose recurring reuse groupings L describes. Its collection identity, exact members, obtaining membership relations, and identity rule are established before L; neither the catalogue nor a declaration creates them; and
R_L : U.ReferenceScheme is the exact effective scheme under which the catalogue’s ordinary library, edition, and family designators resolve; each U.ViewpointRef resolves to exact P; target-kind criteria and compatibility claims are interpreted; and reference, omission, provenance, and edition-change rules are read.

EpistemeConstitutionRelation(G_L, K_L, R_L) must obtain. The participant-determined triple <G_L, K_L, R_L> identifies exact catalogue episteme L. If a proposed catalogue has only a file, label, list, or card but no truthful exact K_L or effective R_L, stop: L has not yet been constituted.

G_L makes at least these claims recoverable:

one ordinary library designator and one ordinary edition designator interpreted under R_L;
a finite set of local family-declaration claim blocks, each retrievable inside G_L by one ordinary family designator interpreted under R_L;
the exact U.ViewpointRef members and target-kind compatibility claim for each declaration; and
only maintenance claims currently needed, using the branch that matches the present claim:
- for a current maintenance-System claim, cite the admitted maintenance U.System; cite an exact local system-role kind and its independently evaluated classification only when that classification is current;
- for actual maintenance Work, recover the exact actual performer through A.13 and let A.15.1 independently admit the dated U.Work; add F.6 only when the catalogue claim or receiving use expressly consumes precise assignment-bound attribution through the same obtaining A.13 assignment. F.6 identifies neither assignment nor performer, missing or failed F.6 leaves the Work intact, and a short catalogue claim may omit identifiers its bounded use does not need;
- for current maintenance responsibility, cite its direct admitted predicate and actual participants or return the exact missing governor; assignment establishes no responsibility; and
- for prospective maintenance guidance, retain only the change-control note, intended maintenance condition or U.WorkPlan, and scope tag; this content asserts no performed Work, current assignment, or responsibility.

The catalogue entry only cites these values, which are defined or constrained elsewhere, and creates none of them.

Library, edition, and family designators are lexical values under R_L, not local ValueKinds, public U-kinds, episteme identity discriminators, or entities by spelling. A local family declaration is claim content in G_L, not automatically a separate entity or episteme. Its compact locator <editionDesignator(L), familyDesignator> is a retrieval aid under R_L; it does not replace L’s C.2.1 identity. If a receiving use truly needs one declaration as a separately identified episteme, constitute that new episteme independently under C.2.1 rather than inferring it from a row.

Normative constraints:

Within one exact G_L, every family designator SHALL retrieve exactly one local declaration claim block under R_L.
A catalogue SHALL NOT define new kernel episteme kinds, id kinds, reference kinds, or publication-face/form kinds merely to type its fields.
A catalogue MAY be a core FPF catalogue or an organization-local extension when the same constitution, resolution, and family-declaration discipline remains recoverable.