 192    2. r ≈ 8/N² ≈ 0.002 (below current bounds)
 193    3. Negligible non-Gaussianity (f_NL ~ 0)
 194    4. Running of spectral index: dn_s/dlnk ≈ -1/N² ≈ -0.0003 -/
 195structure InflationPredictions where
 196  n_s : ℝ  -- Scalar spectral index
 197  r : ℝ    -- Tensor-to-scalar ratio
 198  f_NL : ℝ -- Non-Gaussianity parameter
 199
 200/-- RS predictions for N = 60 e-foldings. -/
 201noncomputable def rsPredictions : InflationPredictions := {
 202  n_s := 1 - 2/60,  -- ≈ 0.967
 203  r := 8/60^2,      -- ≈ 0.002
 204  f_NL := 0         -- Negligible
 205}
 206
 207/-- Planck satellite measurements (2018). -/
 208def planckMeasurements : String :=
 209  "n_s = 0.9649 ± 0.0042, r < 0.06 (95% CL), f_NL = 0.9 ± 5.1"
 210
 211/-! ## Falsification Criteria -/
 212
 213/-- RS inflation would be falsified by:
 214    1. n_s significantly different from 0.96-0.97
 215    2. Detection of large r (> 0.01)
 216    3. Detection of significant non-Gaussianity
 217    4. Evidence for non-slow-roll dynamics -/
 218structure InflationFalsifier where
 219  /-- Type of potential falsification. -/
 220  falsifier : String
 221  /-- Current experimental status. -/
 222  status : String
 223
 224/-- Current observations are consistent with RS inflation. -/
 225def experimentalStatus : List InflationFalsifier := [

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.