Registry · Remark V.R136 tau-effective formalized

V.R136 — Testability

Testability: w_eff(z) should vary with redshift -- w > -1/3 at high z (defect-dominated epoch), w approx -1 at low z (refinement-dominated); the transition redshift z_acc ~ 0.7 corresponds to S_def/S_ref = 1/3. Future surveys (DESI, Euclid, Roman) can test at percent-level.

Book V Part 3 Ch. 26

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.Testability