Prove one crossing path keeps the proper-terminal rank-bill maximum and four break it (no κ) - #7331

Prove one crossing path keeps the proper-terminal rank-bill maximum and four break it (no κ)#7331

petalas wants to merge 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w7-1111f-20261111-frontierpetalas/integer-mult-bounds:research/w7-1111f-20261111-frontierCopy head branch name to clipboard