{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > keeps a referenced record OUT of scope without a label-carried ref"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > keeps a referenced record OUT of scope without a label-carried ref"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > fires a referenced record's rule on the ref's home clause only"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > fires a referenced record's rule on the ref's home clause only"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > refuses the CT-1874 laundering trace: a policy referenced in clause 0 never rewrites sibling clause 1"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > never lets a policy referenced in clause 0 rewrite its sibling clause 1"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > selects a ref whose subject crossed spaces in commitment form (inv-12)"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > selects a ref whose subject crossed spaces in commitment form (inv-12)"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > selects by Context refs exactly like Policy refs"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > selects by Context refs exactly like Policy refs"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > fails closed on unbound, mismatched, or cross-wired refs (§4.4.3)"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > fails closed on unbound, mismatched, or cross-wired refs (§4.4.3)"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > skips non-record alternatives while locating the home clause"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > skips non-record alternatives while locating the home clause"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > never selects a hand-built record with an empty digest (§4.4.2 belt)"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > never selects a hand-built record with an empty digest (§4.4.2 belt)"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > brings a rule-added ref into scope for the next batch (§4.4.5 recompute)"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > brings a rule-added ref into scope for the next batch (§4.4.5 recompute)"}}
{"date":"2026-09-12","from":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection (B2b, CT-1874) > tracks home clauses across a drop-splice (indices shift mid-evaluation)"},"to":{"k":"unit","s":"runner","n":"CFC exchange-rule evaluation (B4) > label-carried selection > tracks home clauses across a drop-splice (indices shift mid-evaluation)"}}