G.5:4.1 - G.Core linkage (normative)

Builds on: G.Core (Part‑G core invariants; Default Governing Definition Index citation)

GCoreLinkageManifest (normative; size-controlled via profiles and sets). For the operation in use, expand the applicable profile and set ids by union with its explicit deltas (per G.Core:4.2.1). The activation conditions below select those ids before expansion; Nil‑elision does not waive an activated obligation. Select retains its exact task, row editions and DRR/SCR-addressable audit result. DeclareSetResult instead consumes its exact result family, identified members, inclusion basis, ordering and named use where required; it acquires no TaskSignature, Method or registry row merely by declaring that set.

Select profile activation before expanding the G.Core sets. RegisterFamily always retains S1’s immutable row edition, exact admitted members, grouping criterion and applicable eligibility/comparison basis. A project-local row without a CG-Frame activates neither AuthoringBase nor AuthoringMinimal; it still satisfies those S1 obligations. Intentional public registration adds EligibilityStandardRef, AssuranceProfileRef and UTS obligations even when no CG gate is in use. When a real CG-Frame registry or Select use is current, both authoring sets apply in full; omitting their required CN/CG pins is a failure, not nil-elision.

For crossing-aware selection, CorePinsRequired below lists the crossing pins individually. Each conditional pin is mandatory when its stated condition holds. When consuming G.7 calibration records or a named B.3 assurance account, retain all pins, editions, and evidence required by that account, including CC‑G7‑SCRLinkage‑1 for cited calibration evidence.

• CoreConformanceProfileIds :=

  • GCoreConformanceProfileId.PartG.AuthoringBase (when the current operation authors a registry in an actually selected CG-Frame or performs G.5-3 Select within that frame)
  • GCoreConformanceProfileId.PartG.TriStateGuard (when evaluating eligibility or acceptance predicates)
  • GCoreConformanceProfileId.PartG.UTSWhenPublicIdsMinted (when public identities are minted or evolved, including intentional public registration under S1/S1′ and CC-G5.6; a reusable project-local row alone does not activate this profile)
  • GCoreConformanceProfileId.PartG.ShippingBoundary (when an output is shipped)

• CorePinSetIds :=

  • GCorePinSetId.PartG.AuthoringMinimal (for the same actual CG-Frame registry-authoring or G.5-3 Select use; local registration or a set declaration alone does not activate it)

• CorePinsRequired := (delta over PinSets; pins and refs are id-only; prefer strengthening optional-to-required over restating pins already covered by PinSets)

  • TaskSignatureRef (the C.22 TaskSignature edition for Select; see G.5:4.2, S2)

  • TaskMapRef? (exact G.4 map edition, only when this selection uses G.4 CAL gates)

  • MethodFamilyRowRef[] (exact <MethodFamilyId, rowEdition> values when method-family rows are consumed or registered)

  • MethodRef[] (exact A.3.1 Methods resolved from every method-bearing registry row consumed or registered)

  • SelectedStructureRef[]? (exact independently selected A.22 Structures consumed only when their organization changes this selector use)

  • GeneratorFamilyRowRef[]? (exact <GeneratorFamilyId, rowEdition> values when generator families are in scope)

  • PathId[]?, PathSliceId[]? (when audit or evidence citations use a G.6 graph, or an independently applicable gate or shipping contract requires those citations)

  • UTSRowId[]? (when the operation mints, evolves or consumes a public identity; intentional public registration activates S1/S1′ and CC-G5.6 obligations)

  • FailureBehaviorPolicyId? (only when degrade or abstain behavior is explicitly policy‑bound)

  • SoSLogBranchId? (only when degrade or abstain behavior is explicitly policy‑bound)

  • BridgeId/BridgeCardId? (the obtaining Bridge actually used by this selection; a Bridge Card is cited only when that Card is relied on)

  • BridgeMatrixId? (when this selection uses a BridgeMatrix)

  • CL/CL^k/CL^plane? (the applicable values when cited or required by the consumed calibration or named assurance account)

  • Φ/Ψ/Φ_plane policy-ids? (the applicable policy ids and editions when required by the consumed calibration or named assurance account, or when crossing or plane penalties are applied)

  • CrossingBundleId? (when the selector cites a CrossingBundle or its named downstream use requires one under E.18 or CC‑G5.27)

• DefaultsConsumed :=

  • DefaultId.GammaFoldForR_eff
  • DefaultId.PortfolioMode
  • DefaultId.DominanceRegime

• RSCRTriggerSetIds :=

  • GCoreTriggerSetId.RefreshOrchestration (payload: exact changed source and affected-use scope; SCRId, DRRId; TaskSignatureRef, MethodFamilyRowRef[], CGSpecRef.edition and CNSpecRef.edition for a Select result; and the actually applicable TaskMapRef?, GeneratorFamilyRowRef[]?, AcceptanceClauseId[]?, SoSLogBranchId?, FailureBehaviorPolicyId?, DescriptorMapRef.edition?, DistanceDefRef.edition?, TransferRulesRef.edition?, InsertionPolicyRef?, PathId[]?, PathSliceId[]?, RSCRTestId[]?. Nongraph scope uses the existing G.Core PatternScopeId branch.)