Registry · Theorem V.T193 conjectural formalized

V.T193 — Holonomy Matter NLO Correction Scan

Multiplicative NLO scan on ch45 holonomy ratio ω_m/ω_b = (1+κ_D/κ_B)×(1−δ). Best candidate: δ = ι_τ³ = ι_τ^{dim(τ³)} at −386 ppm from observed ratio 6.393. Structural meaning: τ³ volume element reduces holonomy mass. However, full Friedmann pipeline gives ℓ₁ = 221.9 (+8655 ppm), worse than uncorrected M3h (220.6, +2840 ppm) due to error cancellation between high ω_m and low ω_b. Additive best: δ = 2κ_B at +4557 ppm.

Book V Part 5 Ch. 45

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.holonomy_nlo_scan