Repository navigation

The required-lane axis was a hardcoded pair; make it a roster, with the emitted YAML byte-identical - #10036

Merged

gunbai-bot[bot] merged 4 commits into

mainfrom

session/sunny-gull-270-lane-list

Sep 2, 2026

Commits on Sep 2, 2026
- The required-lane axis was a hardcoded pair; make it a roster, with the emitted YAML byte-identical
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4da0eff
- State the boundary the non-empty guarantee holds at, measured rather than asserted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c80c9d8
- Give floor-record-construction-wall the executed RED specimen, and cite it rather than restate it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ad38818
- Merge remote-tracking branch 'origin/main' into session/sunny-gull-270-lane-list
  gunbc-ci-auto-heal
  committed
  f6010d0