Use “Claim scope (G) covers TargetSlice” and “Work scope covers JobSlice” in guards.
When time changes membership, name exact gammaTime and its membership boundary; never say “latest.” A time-independent predicate need not inspect gammaTime, but keep every selector already declared in the slice.
To compose, say: “intersection along dependency paths; SpanUnion across independent support lines.”
When exact local-sense translation is current, say: “through an obtaining F.9 Bridge and a separate affirmative C.2.1 claim for this direction, rule, and tolerance; rely on it only through the current A.10 or B.3 branch, then evaluate membership on the returned scope.”
When widening/narrowing, write “ΔG+ / ΔG−” and log the support change; use “Refit” for unit/param normalization.