Repository navigation

Atlas: prove CensusCert4 and CensusCert10 from width-100 pieces (#168) - #175

Merged

4 commits merged into

mainfrom

claude/atlas-cert4-split

Oct 18, 2026

Merged

Atlas: prove CensusCert4 and CensusCert10 from width-100 pieces (#168)#175
4 commits merged into
mainfrom
claude/atlas-cert4-split

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