Registry · Remark V.R461 tau-effective not_applicable

V.R461 — Boltzmann Solver Roadmap

Roadmap for τ-native Boltzmann solver: coupled hierarchy, T² neutrino boundary, holonomy Thomson scattering, lensing reconstruction. Divergence concentrated at k~k_eq where ω_m excess shifts turnover.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: