{"date":"2026-09-20","from":{"k":"unit","s":"runner","n":"CFC grant records (§8.12.7 route 2a) > policyState guard evaluation (pure evaluator) > grant on clause k leaves independent clause j untouched (CT-1874 / inv-11)"},"to":{"k":"unit","s":"runner","n":"CFC grant records (§8.12.7 route 2a) > policyState guard evaluation (pure evaluator) > grant on clause k leaves independent clause j untouched (inv-11)"}}
{"date":"2026-09-20","from":{"k":"unit","s":"runner","n":"CFC grant records (§8.12.7 route 2a) > policyState guard evaluation (pure evaluator) > grant on clause k leaves independent clause j untouched (inv-11)"},"to":{"k":"unit","s":"runner","n":"CFC grant records (§8.12.7 route 2a) > policyState guard evaluation (pure evaluator) > leaves independent clause j untouched when a grant lands on clause k (inv-11)"}}