def definition def or abbrev

`planckMeasurements`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 208def planckMeasurements : String :=

proof body

Definition body.

 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 -/

depends on (8)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
CL in IndisputableMonolith.NavierStokes.FourierExtraction decl_use