Repository navigation

Stream the census fill: 9.54 -> 8.57 GiB on a 16-file --entry compile - #11072

Merged

briansrls merged 4 commits into

mainfrom

session/bright-bear-236

Sep 11, 2026

Merged

Stream the census fill: 9.54 -> 8.57 GiB on a 16-file --entry compile#11072
briansrls merged 4 commits into
mainfrom
session/bright-bear-236

Commits on Sep 11, 2026
- Stream the census fill instead of materialising the whole pool's tokens
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f913e5e
- Merge origin/main into session/bright-bear-236
  gunbc-ci-auto-heal
  committed
  5c440ac
- Name the instrument instead of transcribing its output (DESIGN §6)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c7ab67d
- Install the generated stage0 mirror instead of a hand-written one
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ee314e1