Repository navigation

XL-2: a match arm keeps its own refusal cause in every arm position; the value reader carries the fold's refusal - #12321

Closed

gunbai-bot[bot] wants to merge 6 commits into

mainfrom

session/bright-boar-848

Commits on Sep 25, 2026
- WIP: body lowering carries a value or arm refusal instead of re-reading it as navigation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7692619
- Witness: a match arm's own refusal cause survives in every arm position; share its front end
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1e19a69
- Witness claims are relational: arm position must not change the cause (survives #12208 deleting the list-literal cause)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5e2eb7e
- Merge remote-tracking branch 'origin/main' into session/bright-boar-848
  gunbc-ci-auto-heal
  committed
  8af19cb
Commits on Sep 26, 2026
- Witness: a refused arm is located at its own offending value, not its enclosing arm
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8d33883
- Locus witness: drop the not-at-arm claims (fooled by the comma layout under the mutation they named); share marl_outcomes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d14dc35