Repository navigation

NFR burn-down: enumerate closed-coproduct wildcard arms in dag/gunbc/machine_intake - #12670

Merged

gunbai-bot[bot] merged 5 commits into

mainfrom

session/gentle-newt-802

Sep 30, 2026

Merged

NFR burn-down: enumerate closed-coproduct wildcard arms in dag/gunbc/machine_intake#12670
gunbai-bot[bot] merged 5 commits into
mainfrom
session/gentle-newt-802

Commits on Sep 29, 2026
- NFR burn-down: enumerate closed-coproduct wildcard arms in dag/gunbc/machine_intake
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c30cad7
- NFR: delegate kept wildcard bodies to named fns (machine_intake)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6bf90dd
- NFR: megarac_await_enumeration delegates the decision to a step coproduct; tail call stays in the loop
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d57b7d0
- machine_intake: bind each repeated arm result once (review 72788)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  81e330f
- Merge remote-tracking branch 'origin/main' into HEAD
  gunbc-ci-auto-heal
  committed
  93607e6