Registry · Proposition V.P159 conjectural formalized

V.P159 — w₀ from Defect Dynamics

w₀ = ι_τ³ − 1 ≈ −0.960 from defect-refinement splitting. Quintessence-like (w₀ > −1): defect-to-refinement transition not yet complete. w(z) = −1 + (2/3)·f_def(z)/(1−f_def(z)).

Book V Part 3 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.DefectFractionEoS