Cosmology Dark Energy Scale Affinity Derivation No Hidden Forces Canonical Devia

The canonical deviation

Dark energy is the name cosmologists give to the observed acceleration of cosmic expansion. In the standard model it is represented by an equation of state, a number usually written w that relates pressure to energy density. The simplest possibility, a cosmological constant, has w exactly equal to -1 at all times. Observations allow small deviations, and a central question is what form those deviations take as the universe ages. The Recognition Science framework addresses that question with a theorem about what it calls the canonical deviation.

In the framework, the cosmic expansion is tracked through a normalized quantity called the Z-fraction, a discrete ledger of recognition events that records how much cosmic structure has accumulated between the early universe and today. The endpoints are fixed: zero at the start, one at the present. The framework's no-hidden-coordinate condition states that the ledger may not insert an extra preferred moment between those two endpoints. That single restriction forces the Z-fraction to be the scale factor itself, a straight line from zero to one.

From that identity, the framework's machine-checked library of formal theorems derives the redshift history and the equation of state. The theorem named noHidden_forces_canonical_deviation establishes that the deviation of w from -1 must fall off as 1/(1+z), where z is redshift. In symbols, the deviation δw(z) equals δw0 divided by (1+z), with δw0 the value today. The full equation of state becomes w(z) = -1 + δw0/(1+z). This is the canonical shape: a deviation that halves when redshift doubles, approaching zero in the distant past.

The result is a conditional theorem. It holds given the no-hidden-coordinate admissibility gate, a stated assumption about what the recognition ledger may and may not do. The proof itself is complete, with zero gaps and zero new axioms in the machine-checked library, but the gate is an input, not a derivation. The framework's own documentation marks the deeper problem as open: deriving that admissibility condition from the universal forcing layer rather than stating it as the cosmic-Z gate.

What the theorem does not claim is broader. It does not claim that dark energy is a recognition effect in any observable sense, nor that the no-hidden-coordinate condition is physically required. It does not fix the value of δw0, which remains a free parameter to be measured. The theorem constrains the shape of the deviation, not its size. It also does not assert that the canonical form matches current observations; that comparison is an empirical check outside the theorem's scope.

/-- The no-hidden-scale-coordinate condition forces the canonical dark-energy deviation. -/
theorem noHidden_forces_canonical_deviation (dw0 Zt : ℝ)
    (H : NoHiddenScaleCoordinate) (z : ℝ)
    (hZt : Zt ≠ 0) (hz : (1 : ℝ) + z ≠ 0) :
    CosmicZHistory.bitDeviation dw0 Zt
        (CosmicZScaleLaw.ZfromScaleLaw Zt (noHidden_to_scaleAffine H)) z =
      dw0 / (1 + z) :=
  CosmicZScaleLaw.scaleAffine_forces_canonical_deviation
    dw0 Zt (noHidden_to_scaleAffine H) z hZt hz

/-- The no-hidden-scale-coordinate condition forces the canonical equation of state. -/
theorem noHidden_forces_canonical_kernel (dw0 Zt : ℝ)
    (H : NoHiddenScaleCoordinate) (z : ℝ)
    (hZt : Zt ≠ 0) (hz : (1 : ℝ) + z ≠ 0) :
    CosmicZHistory.bitKernel dw0 Zt
        (CosmicZScaleLaw.ZfromScaleLaw Zt (noHidden_to_scaleAffine H)) z =
      -1 + dw0 / (1 + z) :=
  CosmicZScaleLaw.scaleAffine_forces_canonical_kernel
    dw0 Zt (noHidden_to_scaleAffine H) z hZt hz

/-- The no-hidden-scale-coordinate condition forces normalized Z-fraction to be the scale
factor itself. -/
theorem noHidden_forces_identity (H : NoHiddenScaleCoordinate) (a : ℝ) :
    H.Zfrac a = a := by
  exact CosmicZScaleLaw.scaleAffine_forces_identity (noHidden_to_scaleAffine H) a

/-- The no-hidden-scale-coordinate condition forces the canonical dark-energy deviation. -/
theorem noHidden_forces_canonical_deviation (dw0 Zt : ℝ)
    (H : NoHiddenScaleCoordinate) (z : ℝ)
    (hZt : Zt ≠ 0) (hz : (1 : ℝ) + z ≠ 0) :
    CosmicZHistory.bitDeviation dw0 Zt
        (CosmicZScaleLaw.ZfromScaleLaw Zt (noHidden_to_scaleAffine H)) z =
      dw0 / (1 + z) :=
  CosmicZScaleLaw.scaleAffine_forces_canonical_deviation
    dw0 Zt (noHidden_to_scaleAffine H) z hZt hz

What this page does not claim

The theorem does not claim that dark energy is a recognition effect in any observable sense. The theorem does not fix the value of δw0, which remains a free parameter. The theorem does not assert that the canonical form matches current observations.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Cosmology/DarkEnergyScaleAffinityDerivation.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: