research: #4436 boundary exits — exact mirror identity, rigorous share bound 0.321, and a correction (leaf exits dominate) - #4459

research: #4436 boundary exits — exact mirror identity, rigorous share bound 0.321, and a correction (leaf exits dominate)#4459

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:direct-flow-boundary-sharepinterbanget/integer-mult-bounds:direct-flow-boundary-shareCopy head branch name to clipboard