redshift_one
plain-language theorem explainer
Names the master-plan evaluation redshift z = 1 as the real constant 1. Cosmology Track 4.C cites it when stating the RS linear w(z) placeholder and the rung-44 falsifier band at that slice. The body is a one-line real literal; no proof obligations.
Claim. The master-plan redshift point is the real number $z = 1$.
background
Track 4.C of the quantum-gravity master plan asks for a falsifiable dark-energy equation of state $w(z)$ that differs at sub-leading order from $\Lambda$CDM's strict $w = -1$. The module supplies a structural linear placeholder $w_{\mathrm{RS}}(z) := -1 + \varphi^{-44}, z$, where $\varphi^{-44}$ is the same rung-44 scale that appears in baryogenesis ($\eta_B = \varphi^{-44}$).
Named redshifts fix concrete evaluation slices for the discriminator and for the falsifier threshold $\varphi^{-44}, z$. The companion half-redshift $z = 1/2$ and this unit redshift $z = 1$ are the two bands called out by the master plan. At $z = 0$ the RS and $\Lambda$CDM values coincide; at any positive $z$ the RS value strictly exceeds $-1$.
proof idea
Pure definition: the real constant $1$. No lemmas, tactics, or algebraic reduction.
why it matters
Anchors every Track 4.C statement that evaluates at the master-plan unit redshift. Downstream uses include the positivity lemma, the explicit evaluation $w_{\mathrm{RS}}(1) = -1 + \varphi^{-44}$, the falsifier-threshold identity at $z = 1$, the bundled named-band theorem (half and unit redshifts), the one-statement Track 4.C theorem, the master cert structure, and the gravity handoff endpoint Track4DarkEnergyFalsifierEndpoint.
It does not invent new physics; it pins the $z = 1$ slice where the structural deviation from $\Lambda$CDM is exactly the rung-44 factor. The true FPT cosmic Z-aging $z$-dependence remains future work; this constant only supports the linear placeholder witness.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.