Registry · Remark
IV.R02
tau-effective
formalized
IV.R02 — Wrong Formula Correction
The 1st Edition reference sheet formula α = (ι_τ/2)⁴ is INCORRECT. It gives α ≈ 0.000849 (off by factor ~8.5). The correct spectral formula is (8/15)·ι_τ⁴. Ratio: correct/wrong = 128/15 ≈ 8.533. Lean-verified refutation.
Book IV
Part 1
Ch. 2