Registry · Definition V.D327 conjectural formalized

V.D327 — Phase-Shift Exponent Analysis

Phase-shift n-exponent α=0.82 analysis. Key findings: (1) ℓ₂ is α-insensitive (δφ₂=δφ₀·1^α=δφ₀ ∀α), (2) ℓ₃ has moderate sensitivity (619 ppm in [0.80,0.84]), (3) best-fit α=1.176 has no structural match. Closest to 0.82: 1−ι_τ/2≈0.829 (+1.1%).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.PhaseShiftAlpha