Cosmology Cosmic Zscale Law Scale Affine Forces Canonical Kernel

The scale-affine ledger law

In cosmology, the equation of state of dark energy, written w(z), describes how the pressure of this mysterious substance changes as the universe expands. A constant w = -1 corresponds to a simple cosmological constant. Observations, however, allow for a small variation. The Recognition Science framework asks what happens if this variation is not arbitrary but is forced by a deeper principle about how the universe keeps track of its own history.

The framework imagines a ledger, a discrete record of cosmic events, accumulating a quantity called cosmic Z as the universe expands. The key question is how this accumulated Z should be distributed across different scale factors, where the scale factor a(z) = 1/(1+z) measures the size of the universe relative to today. The framework proposes a specific, named admissibility condition: the scale-affine ledger law. This law states that equal fractions of the scale factor carry equal fractions of the accumulated ledger. In other words, the ledger does not preferentially select any intermediate cosmic epoch before new physics is introduced; it is uniform in the scale-factor coordinate.

This single condition is not a curve fit. It is a sharp statement about what the ledger is allowed to do. The machine-checked library of formal theorems proves that this law uniquely forces the normalized cosmic-Z history to be exactly the scale factor itself. From this, the framework derives the dark-energy equation of state to be w(z) = -1 + δw₀/(1+z), a form known as the canonical kernel. This is the central result of the declaration scaleAffine_forces_canonical_kernel: it establishes that the scale-affine ledger law is a sufficient condition to force the canonical dark-energy shape.

It is important to state what this theorem does not claim. It does not prove that the scale-affine ledger law is true. The law is an assumption, a named admissibility condition. The theorem is conditional: if the law holds, then the canonical kernel follows. The framework does not derive the value of δw₀, the amplitude of the deviation from -1. That remains a free parameter to be measured. The result also does not claim that the canonical kernel is the only possible dark-energy equation of state, only that it is the unique one forced by this particular, precisely stated law.

The consequence of this result is that it gives a concrete, falsifiable prediction. If future observations of the dark-energy equation of state show a deviation from w = -1 that does not follow the 1/(1+z) form, then the scale-affine ledger law would be falsified. This turns a philosophical principle about the universe's ledger into a testable statement about cosmology, a rare and valuable property for a foundational assumption.

/-- The scale-affine ledger law uniquely forces the normalized Z-fraction to be the identity
map on scale factor. -/
theorem scaleAffine_forces_identity (law : ScaleAffineZLaw) (a : ℝ) :
    law.Zfrac a = a := by
  have h := law.scale_affine_from_early_to_today a
  simpa [law.early_zero, law.today_one] using h

/-- The induced equation of state is the canonical kernel
`w(z)=-1+δw₀/(1+z)`. -/
theorem scaleAffine_forces_canonical_kernel (dw0 Zt : ℝ) (law : ScaleAffineZLaw)
    (z : ℝ) (hZt : Zt ≠ 0) (hz : (1 : ℝ) + z ≠ 0) :
    CosmicZHistory.bitKernel dw0 Zt (ZfromScaleLaw Zt law) z = -1 + dw0 / (1 + z) := by
  have h := scaleAffine_forces_canonical_deviation dw0 Zt law z hZt hz
  unfold CosmicZHistory.bitDeviation at h
  linarith [h]

/-- The induced equation of state is the canonical kernel
`w(z)=-1+δw₀/(1+z)`. -/
theorem scaleAffine_forces_canonical_kernel (dw0 Zt : ℝ) (law : ScaleAffineZLaw)
    (z : ℝ) (hZt : Zt ≠ 0) (hz : (1 : ℝ) + z ≠ 0) :
    CosmicZHistory.bitKernel dw0 Zt (ZfromScaleLaw Zt law) z = -1 + dw0 / (1 + z) := by
  have h := scaleAffine_forces_canonical_deviation dw0 Zt law z hZt hz
  unfold CosmicZHistory.bitDeviation at h
  linarith [h]

What this page does not claim

This answer does not claim the scale-affine ledger law is physically true; it is a named assumption. This answer does not claim the framework derives the value of δw₀. This answer does not claim the canonical kernel is the only possible dark-energy equation of state.

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/CosmicZScaleLaw.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: