Certify uncovered-pivot roots and 90 enlarged-mask costs (no new κ) - #6874

Certify uncovered-pivot roots and 90 enlarged-mask costs (no new κ)#6874

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

CubeJerry:research/uncovered-pivot-cost-20261108CubeJerry/integer-mult-bounds:research/uncovered-pivot-cost-20261108Copy head branch name to clipboard