Registry · Theorem V.T19 conjectural formalized

V.T19 — Dark Energy Artifact --- First Pass

If the distance readout functor R_d has positive readout curvature kappa_R(n) > 0 in the late temporal epoch, then the FLRW projection of the SN Ia Hubble diagram yields an apparent cosmological constant Lambda_app = 3 * kappa_R(n_now) * H_0^2 + O(kappa_R^2). Dark energy is a readout artifact, not an energy component. Scope: conjectural.

Book V Part 1 Ch. 8

Dependency Graph

Depends on (5)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Temporal.DistanceLadder

Symbol: Tau.BookV.Temporal.DarkEnergyArtifactFirstPass