common/monoid: make `fold` a balanced reduction - #1548

Merged

sergey-shandar merged 6 commits into

mainfrom

claude/epic-fermi-u09hzj

Aug 14, 2026

Commits on Aug 14, 2026

common/monoid: make `fold` a balanced reduction
claude
committed
e94f79c
CHANGELOG: balanced monoid fold (#1548)
claude
committed
fcfe134
Address review: document the lazy-list exit, correct the CHANGELOG
claude
committed
8ece666
Restore the early exit: foldAbsorbing for monoids with an absorbing element
claude
committed
ada2e03
Review nits: make the tryFold signal unambiguous, share the run seed
claude
committed
6fafb91
Merge origin/main into claude/epic-fermi-u09hzj
claude
committed
5d7d026