A complete walkthrough of my computer-assisted proof lowering the ceiling on Λ from 0.2 to 0.1787854 — interactive labs, figures, and every certified margin.