Registry · Remark IV.R187 tau-effective formalized

IV.R187 — Open vs wrong problems

Five open problems (sphaleron question, readout functor, dark matter, cosmological constant, closing identity correction c_1 = 3/pi) are explicitly distinguished from errors. Only two items in the entire book were found wrong (1st Edition alpha formula and substrate assumption), and both were corrected.

Book IV Part 8 Ch. 56

Lean Formalization

Module: TauLib.BookIV.Coda.CompleteLedger

Symbol: Tau.BookIV.Coda.OpenVsWrongProblems