Repository navigation

Wave 3: fast certificate data builders (#177), release follow-ups (#187), and the Census windows as width-100 pieces (#168) - #191

Merged

afflom merged 10 commits into

mainfrom

claude/v0.4-wave3

Oct 18, 2026

Merged

Wave 3: fast certificate data builders (#177), release follow-ups (#187), and the Census windows as width-100 pieces (#168)#191
afflom merged 10 commits into
mainfrom
claude/v0.4-wave3

Commits on Oct 18, 2026
- Atlas: prove CensusCert4 and CensusCert10 from width-100 pieces (#168)
  
  humuhumu33
  and
  claude
  committed
  ad8e346
- Atlas: expected/verify and hints for the split census windows (#168)
  
  humuhumu33
  and
  claude
  committed
  1761e93
- VERIFICATION.md: CensusCert10 peaks in GiB, not MiB/1000 (#168)
  
  humuhumu33
  and
  claude
  committed
  a83fb56
- Merge remote-tracking branch 'origin/main' into claude/atlas-cert4-split
  humuhumu33
  committed
  af9f263
- Complete #167 release follow-ups: generation bounds, env audit, text, and coverage (#187)
  Alexander Flom
  committed
  1e1a375
- Make kernel-term certificate data builders linear in match arms (#177)
  Alexander Flom
  committed
  838b47c
- Merge commit '838b47c6b' into claude/v0.4-wave3
  claude
  committed
  05e0d68
- Merge commit '1e1a375d3' into claude/v0.4-wave3
  claude
  committed
  02276eb
- Merge commit 'af9f2638e' into claude/v0.4-wave3
  claude
  committed
  9c9ae54
- ci: the host matrix's limit is twice the slowest time observed with BS-02 beside the stress arithmetic
  claude
  committed
  7f2a00d