Tighten conditional critical-root transfer to kappa = 0.0030201659769 (exact arithmetic) - #4707

Tighten conditional critical-root transfer to kappa = 0.0030201659769 (exact arithmetic)#4707

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Chrisbryan17:research/p16-tight-transfer-upstream-clean-20261022Chrisbryan17/integer-mult-bounds:research/p16-tight-transfer-upstream-clean-20261022Copy head branch name to clipboard