Certify fixed-profile helper-split first-crossing ceilings for #7000 (no κ) - #7175

Certify fixed-profile helper-split first-crossing ceilings for #7000 (no κ)#7175

petalas wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w13-1110b-split-headroom-ladderpetalas/integer-mult-bounds:research/w13-1110b-split-headroom-ladderCopy head branch name to clipboard