Audit #6129's nearest-even Walsh-stage bound: no error; independent engines reproduce a_J, the odd-output split and #6119's 3h/4 (no new κ) - #6140

Audit #6129's nearest-even Walsh-stage bound: no error; independent engines reproduce a_J, the odd-output split and #6119's 3h/4 (no new κ)#6140

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:s51-audit-pr6129JosieElliston/integer-mult-bounds:s51-audit-pr6129Copy head branch name to clipboard