Repository navigation

XL-2: if-arms lower through the statement authority; a statement followed by another refuses located - #12221

Merged

gunbai-bot[bot] merged 4 commits into

mainfrom

session/zesty-dove-429

Sep 24, 2026

Commits on Sep 24, 2026
- XL-2: if-arms lower through the statement authority; a statement followed by another refuses located
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  60fc7cb
- Witness header: name both neighbours main already held
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  77eae63
- Witness comment names the arm reader that exists: body_lower_if_arm_lowered
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8dfa610
- Merge remote-tracking branch 'origin/main' into session/zesty-dove-429
  gunbc-ci-auto-heal
  committed
  c351015