Research (no κ claim): b = ZQY needs ≥ 112 paid jobs per FULL; #5415's exit is optimal; structural-lever obstructions - #5469

Research (no κ claim): b = ZQY needs ≥ 112 paid jobs per FULL; #5415's exit is optimal; structural-lever obstructions#5469

GamingPuzzled wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

GamingPuzzled:research/encoded-exit-obstructionsGamingPuzzled/integer-mult-bounds:research/encoded-exit-obstructionsCopy head branch name to clipboard