Prove a color-cut obstruction for a source-consuming productive helper - #5373

Prove a color-cut obstruction for a source-consuming productive helper#5373

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

flyingviper:research/productive-capture-rank-20261023flyingviper/integer-mult-bounds:research/productive-capture-rank-20261023Copy head branch name to clipboard