research: #4436 direct-flow leaf walk — exact √G regime to depth 60, predicted saturation keeps the refined-induction cap below s* (no new κ) - #4467

research: #4436 direct-flow leaf walk — exact √G regime to depth 60, predicted saturation keeps the refined-induction cap below s* (no new κ)#4467

Mister-Meeseeks merged 5 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:direct-flow-leaf-walkpinterbanget/integer-mult-bounds:direct-flow-leaf-walkCopy head branch name to clipboard