Refined recovery at depth 27: exact minimum zero fiber (1+12ρ₂²⁵+3ρ₂²⁶)·F²⁷, realized by explicit frames; floors for all t≥27 (no κ) - #6828

Refined recovery at depth 27: exact minimum zero fiber (1+12ρ₂²⁵+3ρ₂²⁶)·F²⁷, realized by explicit frames; floors for all t≥27 (no κ)#6828

Mister-Meeseeks merged 5 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

apoursh:research/refined-recovery-overlap-floorapoursh/integer-mult-bounds:research/refined-recovery-overlap-floorCopy head branch name to clipboard