pith. sign in
module module high

IndisputableMonolith.Cosmology.ReionizationHistoryFromRS

show as:
view Lean formalization →

This module defines the reionization history derived from Recognition Science constants, supplying epoch structures, boundary redshifts, and certification objects for the ionization transition period. Cosmologists building RS-based early-universe models cite it to anchor reionization timelines to the native time quantum. The module consists entirely of definitions and auxiliary functions with no theorems or proofs.

claimThe module introduces ReionizationEpoch as the cosmic interval of reionization together with ReionizationCert as its RS-derived certificate, plus supporting maps boundaryRedshift, redshift_ratio, and redshift_pos expressed in units of the base time quantum τ₀.

background

The module sits in the cosmology domain and imports the RS time quantum from Constants, where τ₀ is defined as the fundamental tick. It builds reionization structures on top of this unit so that all redshifts and epoch counts remain dimensionally consistent with the Recognition Science forcing chain and phi-ladder. The upstream Constants module states: “The fundamental RS time quantum (RS-native). τ₀ = 1 tick.”

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The definitions supply the reionization epoch and certificate objects required by any larger Recognition Science cosmology construction that extends the T0–T8 chain to observable ionization history. They close the step from abstract RS time quanta to concrete redshift boundaries without introducing new hypotheses.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)