Independent verification (no κ): PR3605's span(429,30) entrance residual passes a separate-kernel native check - #3713

Independent verification (no κ): PR3605's span(429,30) entrance residual passes a separate-kernel native check#3713

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Mainzu:research/staged-644-660-native-binding-auditMainzu/integer-mult-bounds:research/staged-644-660-native-binding-auditCopy head branch name to clipboard