IndisputableMonolith.Cosmology.ReionizationHistoryFromRS
Module supplies RS-derived definitions for reionization epochs, boundary redshifts, and certification structures using the base time quantum. Cosmologists building early-universe models from Recognition Science would reference it to fix epoch counts and redshift ratios. Content consists entirely of definitions and supporting functions with no theorems or proofs.
claimReionizationEpoch (structure over redshift intervals), boundaryRedshift : \mathbb{R} \to \mathbb{R}, redshift_ratio, ReionizationCert (certifying structure), reionizationEpoch_count, reionizationCert.
background
The module sits in the cosmology domain and imports only IndisputableMonolith.Constants, whose sole documented content is the fundamental RS time quantum \tau_0 = 1 tick. It introduces sibling definitions ReionizationEpoch, boundaryRedshift, redshift_pos, ReionizationCert and the associated count and ratio functions. These objects encode reionization history directly from the RS time unit and the phi-ladder conventions already fixed in Constants.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
Provides the reionization-history layer that any later RS cosmology theorem would import to constrain epoch boundaries and certification. No downstream theorems are listed; the module therefore stands as an interface definition feeding future derivations that combine the time quantum with standard cosmological observables.
scope and limits
- Does not compute numerical redshift values or compare them to observations.
- Does not prove any relation to the forcing chain T0-T8 or the Recognition Composition Law.
- Does not discharge any hypothesis or close a scaffolding stub.
- Does not export any theorem that could be cited as proved.