| CC-USM-1 Exact values. | Name one exact scope and one exact U.ContextSlice; do not substitute a context label, domain phrase, table, or selected structure. |
| CC-USM-2 Sole delimitation predicate. | member(slice, scope) is the primitive delimitation semantics. ScopeDelimitationRelation, ScopeDelimitationMode, and ScopeDelimitationInterval are absent. |
| CC-USM-3 Included, excluded, unknown. | True admits the scope condition, false stops it, and unknown reports an undecided evaluation rather than exclusion. |
| CC-USM-4 Evaluation separation. | The acting system, method, dated evaluation work, direct relation or A.6.1 binding, optional C.2.1 result episteme, and evidence use remain separate from predicate truth. An unknown result binding does not require that episteme; A.15.PROD applies only to a separately current identity-inception claim. |
| CC-USM-5 No membership occurrence by default. | A membership relation kind is admitted only after A.2.6 declares exact participant meanings, obtaining, recurrence, and a non-optional occurrence-identity rule under A.6.REL for a named receiving use. |
| CC-USM-6 Structure separation. | A bare scope, slice, membership outcome, or displayed boundary never enters A.22 identity. An exact U.ClaimScope remains a participant of its independently governed ModelApplicabilityRelation; selecting that exact occurrence contributes through the relation-occurrence discriminator. Separately, an exact applied constraint claim may refer to that scope and contribute through the applied-constraint discriminator. Neither path makes the scope a constituent, a membership occurrence, or a second delimiter. |
| CC-USM-7 Applicability interval. | One exact U.ClaimScope participates in ModelApplicabilityRelation; a declared interval stays in assertion or occurrence-description content, while the actual occurrence extent is derived from maximal continuous obtaining. |
| CC-USM-8 Set algebra. | Intersection, independently supported spanUnion, widen, narrow, and refit operate on exact scope values; refit preserves membership. |
| CC-USM-9 Translation boundary. | translate uses an exact obtaining F.9 Bridge plus a separate affirmative C.2.1 claim naming the use, direction, rule, and tolerance. A receiving guard requires A.10 pass for ordinary reliance or, when an actual named assurance claim is current, a B.3 AssuranceResult for the same use with disposition=supported-for-use; scheme or label difference, a profile, or a card supplies none of these. |
| CC-USM-10 Representation boundary. | A set expression, query, table, graph, or diagram is a C.29 representation of an independently identified scope or evaluation result. |
| CC-USM-11 Time only when material. | Name gammaTime and its membership boundary when time changes membership; never use implicit “latest.” A time-independent predicate need not inspect gammaTime; retain every selector already declared in the slice, and do not invent one merely to complete a new declaration. |
| CC-USM-12 Separate reliance. | Evaluate any required freshness, formality-threshold, time-currentness and assurance conditions separately from membership. The gate decision remains under A.21. A.10 governs ordinary reliance on a cross-scheme translation claim; B.3 applies only to an actual named assurance claim. Either result supports only its named use; neither authorizes that use. unknown remains an evaluation result used by the receiving guard; it does not change the scope. |
| CC-USM-13 Publication and capability specializations. | U.WorkScope and U.PublicationScope reuse the same value and membership boundary; their measures, qualification, publication, and carrier relations remain separately governed. |