Repository navigation

XL-2 carrier: occurrence projection progress, match arms 3+ delivered, silent-drop arms outstanding - #12584

Merged

gunbai-bot[bot] merged 7 commits into

mainfrom

session/lively-deer-269

Sep 29, 2026

Merged

XL-2 carrier: occurrence projection progress, match arms 3+ delivered, silent-drop arms outstanding#12584
gunbai-bot[bot] merged 7 commits into
mainfrom
session/lively-deer-269

Commits on Sep 29, 2026
- XL-2 carrier: occurrence projection progress, match arms 3+ delivered, three silent-drop arms outstanding
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  39a018a
- Merge remote-tracking branch 'origin/main' into session/lively-deer-269
  gunbc-ci-auto-heal
  committed
  03aa7ad
- XL-2 carrier: #12510 delivers data-initializer scrutinee and match-arm statement body; partition 14/9
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  761b07f
- Merge remote-tracking branch 'origin/main' into session/lively-deer-269
  gunbc-ci-auto-heal
  committed
  f92d435
- XL-2 carrier: #12436 delivers EnclosingExpressionLoweredWhole; partition 15/8
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9cdaebb
- XL-2 carrier: narrow the locus_erased sentence to role-read productions (binders under NameRoleNotYetRead still count there)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  21f6ac9
- Merge remote-tracking branch 'origin/main' into session/lively-deer-269
  gunbc-ci-auto-heal
  committed
  a1121bb