IV.R260 — The value of being wrong

Recording the correction of the 1st Edition wrong formula alpha = (iota_tau/2)^4 demonstrates internal falsifiability. Lean proves wrong_alpha_refuted: (iota_tau/2)^4 < 0.001, incompatible with 0.007 < alpha < 0.008. The framework detected its own error through formalization.