Normalize eight center chains and construct a conditional two-call consumer (no new K) - #4698

Normalize eight center chains and construct a conditional two-call consumer (no new K)#4698

Mister-Meeseeks merged 10 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

1337isnot1337:research/center-helper-normal-form-202610221337isnot1337/integer-mult-bounds:research/center-helper-normal-form-20261022Copy head branch name to clipboard