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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Sectors.FineStructure

Symbol: Tau.BookIV.Sectors.wrong_formula_refutation