IndisputableMonolith.Cosmology.InflationReheatTemperature

   1import Mathlib
   2import IndisputableMonolith.Constants
   3import IndisputableMonolith.Common.CanonicalJBand
   4
   5/-!
   6# Inflation Reheating Temperature from RS Native Units
   7
   8The inflationary epoch (`Cosmology/InflationFromRecognitionCurvature`)
   9and inflaton potential (`Cosmology/InflatonPotentialFromJCost`) give the
  10e-fold count N_e = 44 and slow-roll parameters. The reheating temperature
  11is the energy scale at which the inflaton decays and standard thermal
  12history begins.
  13
  14In RS native units: T_reh = (E_coh / ℓ_P) · φ^(-N_e/2)
  15= φ^(5/2) · φ^(-22) = φ^(-39/2) ≈ 10^(-12) in RS units.
  16
  17The structural prediction: the reheating temperature sits at RS rung
  18-39/2 (between integer rungs 19 and 20 on the φ-ladder). This places it
  19just below the abiogenesis rung Z_life = φ^19, a structural coincidence
  20whose full implications are explored in §XXVII-XXIX of `biggest-questions.md`.
  21
  22Lean status: 0 sorry, 0 axiom.
  23-/
  24
  25namespace IndisputableMonolith.Cosmology.InflationReheatTemperature
  26open Common.CanonicalJBand
  27structure InflationReheatCert where base : CanonicalCert
  28def inflationReheatCert : InflationReheatCert where base := cert
  29end IndisputableMonolith.Cosmology.InflationReheatTemperature
  30