A.2.6:7.8 - Empty & Partial Scopes
- Empty scope (
∅). No slice satisfies the declared predicate. A receiving guard stops. - Partial scope. Publishers SHOULD avoid “global” language when actual scope is thin; instead, publish explicit slices and (informatively) coverage hints to guide R assessment.