Repository navigation

Index roadmap accepted/withheld membership instead of nested any() scans - #11365

Merged

briansrls merged 9 commits into

mainfrom

session/crisp-crab-128

Sep 18, 2026

Merged

Index roadmap accepted/withheld membership instead of nested any() scans#11365
briansrls merged 9 commits into
mainfrom
session/crisp-crab-128

Commits on Sep 14, 2026
- Index accepted and withheld once in roadmap active-set membership.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  eaa36a3
- Put the four consuming witnesses in the changed-witness closure.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  adf6da5
- Include the receipt-continuity witnesses in the changed-witness closure.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d3e7ec7
- Attribute the four budget identities by editing their test-fn bodies.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  bb66d0f
- Revert the inert true-&& plan steering; restore consumption annotations.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5a00ebf
- Merge origin/main into session/crisp-crab-128
  gunbc-ci-auto-heal
  committed
  07b5d98
- Index accepted/withheld as Set membership, not Map<_, Bool>.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  81931f3
- Drop the map-backed parenthetical from the two consumption annotations.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0b2831d
- Delete the three consumption annotations (review 66394)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8d0e187