Audit #6097's five-call diagonal-pair floor: no error, two independent engines agree; the same six-call minimum holds over F3 (no new κ) - #6137

Audit #6097's five-call diagonal-pair floor: no error, two independent engines agree; the same six-call minimum holds over F3 (no new κ)#6137

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:s47-diag-pair-audit-f3JosieElliston/integer-mult-bounds:s47-diag-pair-audit-f3Copy head branch name to clipboard