Repository navigation

DO NOT MERGE: probe #12436 spark wet reds - #12470

Closed

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

mainfrom

bright-boar-848/probe-12436-wet

Commits on Sep 27, 2026
- WIP: a control form is taken only when it is the expression
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7fba2a2
- WIP: an operator operand the fold leaves unlowered is read by the one value reader
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7bcafca
- A primary whose capture the fold already lowered is that node; the operand-reader detour is reverted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a088c93
- Enclosing-expression pinned drops flip to conservation controls; RFM row climbs
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  784e3ab
- Witness: an expression containing a block lowers to itself over every part (producer boundary)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  69e407f
- Structural witness covers both routes: the one value reader and the body walker
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7e68ca6
- Label the value-reader call claim as a control; share the four producers
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  364e33c
- Anchor the share rows away from #12383's append point
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5114e2c
- DO NOT MERGE: probe the spark wet reds on #12436's head
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ebd9755