A.2.6:19 - Annexes (informative)

A.2.6:19.1 - Source wording -> USM dictionary

(Use these source terms only in explanatory notes; not in guards or conformance text.)

A.2.6:19.2 - Minimal data model hints

ContextSlice tuple (suggested keys): effectiveReferenceScheme, one exact declaredSelectorSchema, the values of every selector in that schema, and optional selector families such as exactLocalSenseRefs, standardOrInterfaceEditions, environmentOrPlatformSelectors, cohortOrJurisdictionSelectors, and gammaTime when that selector belongs to the declared schema. A scope predicate declares which projection it inspects; it does not define the tuple’s identity.

Claim-scope predicate block: assumptions, cohorts, platformOrStandardEditions, environmentSelectors, exactLocalSenseRefs?, and gammaTime? when time changes membership.

Work-scope predicate block: environmentSelectors, platformOrStandardEditions, resourceRegimeSelectors, exactLocalSenseRefs?, and gammaTime? when time changes membership.

Publication-scope predicate block: the exact audience, interface, availability, and other selectors that restrict publication use, always as a subset of the underlying claim or work scopes.

Separate use-time guard: work-measure targets, qualification windows, evidence freshness, and any decision threshold. These are not fields of the scope value. (These are informative; the spec does not mandate a concrete serialization.)

A.2.6:19.3 - Pseudocode membership evaluation (illustrative)

def evaluate_membership(scope, target_slice, interpretation_basis):
    required = scope.required_inputs(target_slice)
    if not interpretation_basis.resolves_all(required):
        return UNKNOWN
    resolved_inputs = interpretation_basis.resolve(required)
    return TRUE if scope.predicate(target_slice, resolved_inputs) else FALSE

required_inputs identifies the selector resolutions and any translation inputs needed by this scope predicate under the bound interpretationBasis. resolves_all requires resolved values, not merely available keys or selector tokens; a present but unresolved rig token therefore yields UNKNOWN. The full slice remains bound as targetSlice; only the needed resolutions are supplied to predicate evaluation. UNKNOWN belongs to the evaluation result because a required input is unavailable. The underlying membership predicate remains bivalent for an exact, fully interpreted scope and slice.