G.5:4.4 - Selector Relation Fields
| Selector relation | Consumes | Produces |
|---|---|---|
| G.5-1 RegisterFamily | declared local or public registry-identity contract; continuing MethodFamilyId and new immutable row edition; nonempty exact admitted A.3.1 MethodRef[]; obtaining grouping relation or explicit grouping criterion; eligibility/comparison basis; selection-changing source, policy and CHR/CAL/CN/CG pins as applicable; public-continuation fields when selected | One immutable MethodFamilyRowRef = <MethodFamilyId, rowEdition>, resolving the members, grouping, eligibility/comparison basis and applicable pins. Public registration additionally fixes EligibilityStandardRef, AssuranceProfileRef and UTSRowId under S1/CC-G5.6. A local row retains conditional assurance expectations without requiring a public UTS entry. Neither branch creates Methods or grouping facts. |
| G.5-2 RegisterGeneratorFamily | declared local or public registry-identity contract; continuing GeneratorFamilyId and immutable row edition; nonempty exact generator refs under their subject patterns; grouping basis; GeneratorSignatureRef; applicable eligibility/comparison, source and policy pins, including TransferRulesRef.edition when required | One immutable GeneratorFamilyRowRef = <GeneratorFamilyId, rowEdition>, resolving those members, basis, signature and applicable pins. Intentional public registration additionally meets S1′/CC-G5.6 naming, continuity and UTS requirements. Local reuse retains the same replayable member/basis core; neither branch creates generator identity or membership. |
| G.5-3 Select | TaskSignatureRef; exact matching TaskMapRef when G.4 CAL gates are current; exact MethodFamilyRowRef[] in scope whose immutable editions resolve to non-empty exact A.3.1 MethodRef[] and exact grouping bases; optional exact GeneratorFamilyRowRef[]; pinned CNSpecRef and CGSpecRef editions; policy refs if any; sufficient audit basis refs, with PathId or PathSliceId only for actual graph citations or an independently applicable gate or shipping contract | CandidateSet (set-returning), declared selector result with PortfolioMode recorded, exact row refs and any current TaskMapRef among the result basis pins, and DRR and SCR pins; if no admissible candidate exists: return CandidateSet = EMPTY plus an escalation hint (ActionHint) and the pins required to plan next steps (P2W split applies) |
| G.5-4 Compose | CandidateSet, composition template refs, pinned admissibility constraints | Composite strategy template (template-level; admissibility-checked; pinned) |
| G.5-5 Telemetry | run outcomes, citations, and policy or edition pins | refresh cues (typed RSCR causes and payload pins), parity deltas (if parity harness is in use), telemetry pins (selector-side; orchestration governing definition is G.11) |
| G.5-6 DeclareSetResult | one exact SetResultFamily; exact already identified memberRef[]; namedUse for JointUseSet; ordering; inclusion or selection conditions; and sufficient basisPins to the already current choice, pool treatment, accepted decision, or other governed inclusion basis | one SelectorOutcome with SelectorOutcomeKind = SetResultOutcome and the exact membership form required by that family. For JointUseSet, it emits keyed unique memberEntries, ordering = unordered, the named use, inclusion conditions, and basis pins without a method-family row or Select pass. |
RegisterFamily produces only the local or public registry row selected under S1. It does not produce any A.3.1 Method or independently governed membership fact. Select may address candidates through those rows only after their exact Methods and grouping bases resolve; its returned candidate or selected-set value does not retroactively ground a row member.
Compose produces only the pinned template named in its output column. It neither qualifies one composite Method under B.1.5 nor selects one A.22 Structure. When a later selector use consumes either governed object, the exact Method or Structure reference is an independently grounded input rather than a result inferred from this template.
DeclareSetResult begins only after its exact members and inclusion or selection basis are current. An upstream C.11 ChoiceResult, C.19 pool treatment, accepted decision, or another governed basis may appear among basisPins; the G.5 branch does not repeat or perform that decision. It declares the selector-facing set-result content and stops. It creates no member identity or relation, method-family row, Select application, dated selection Work, persisted C.2.1 result episteme, assurance or authority claim, or E.24.PUB availability occurrence.