SAGA's Cape of Good Hope: The One Cent That Cohomology Caught

TL;DR This is the sequel to the SAGA theorem article. Last time, I gave the "locally correct, globally broken" phenomenon a theorem, proved in Lean 4. This time I took that theorem out into the real