redshift_half
plain-language theorem explainer
Names the master-plan reference redshift z = 1/2 used throughout Track 4.C dark-energy w(z) falsifiers. Cosmologists citing the RS structural discriminator against ΛCDM evaluate the linear placeholder and the rung-44 threshold at this point. The body is the literal real 1/2.
Claim. The master-plan reference redshift is the real number $z = 1/2$.
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 ΛCDM's strict w = −1. Recognition Science supplies the algebraic scale φ^{−44} (the same rung that appears in baryogenesis η_B), and this module ships the structural linear placeholder w_RS_linear(z) := −1 + φ^{−44} · z as a non-vacuous witness.
Named redshifts anchor the concrete falsifier bands. The constant here is the plan's z = 0.5 checkpoint; a sibling constant covers z = 1. At these points the deviation from −1 is exactly φ^{−44}/2 and φ^{−44} respectively, so observational comparisons have fixed numerical targets rather than a free functional form.
The full FPT cosmic Z-aging dynamics that would fix the true z-dependence remain future work; only the structural discriminator and its evaluation points are closed here.
proof idea
Pure definition: the real constant one-half. No lemmas, no tactics. Downstream positivity and evaluation theorems unfold this name and finish by norm_num or ring.
why it matters
Gives a single named point for every Track 4.C evaluation at intermediate redshift. Downstream, redshift_half_pos records positivity; w_RS_linear_at_redshift_half evaluates the structural prediction to −1 + φ^{−44}/2; falsifierThreshold_at_redshift_half sets the threshold to φ^{−44}/2; named_redshift_falsifier_bands packages both z = 0.5 and z = 1 bands; dark_energy_w_of_z_one_statement and DarkEnergyWofZStructuralCert bundle the whole structural claim; Track4DarkEnergyFalsifierEndpoint re-exports the handoff.
Without this name the master-plan bands would be anonymous literals. It does not settle the true RS z-dependence, only the structural witness scale at the plan's half-redshift checkpoint.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.