Registry · Definition V.D293 conjectural formalized

V.D293 — Defect Fraction Function

Defect fraction f_def(z) = S_def(z)/(S_def(z)+S_ref(z)). At z→∞: f_def→1 (defect-dominated). At z=0: f_def→ι_τ³≈0.040 (refinement-dominated). Controls effective equation of state via w(z) = −1 + (2/3)·f_def/(1−f_def).

Book V Part 3 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.DefectFractionEoS