Prove a marked-residual stock floor and bind its reflection escape - #4056

Prove a marked-residual stock floor and bind its reflection escape#4056

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

RossRichardson:ross/caller-marked-20261019RossRichardson/integer-mult-bounds:ross/caller-marked-20261019Copy head branch name to clipboard