Registry · Proposition V.P139 tau-effective formalized

V.P139 — Reionization Optical Depth from z_reion = 8

Wave 11: upgraded from skeleton to formalized. z_reion = a₃ − W₃(4) = 13 − 5 = 8. τ_reion ≈ 0.059. Planck: 0.054±0.007. Within 1σ. Structural: reionization epoch from CF partial quotients.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.reionization_structural