Pith. sign in
def

redshift_half

definition
show as:
module
IndisputableMonolith.Cosmology.DarkEnergyWofZStructural
domain
Cosmology
line
201 · github
papers citing
none yet

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.