def definition def or abbrev

`predictions`

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

formal statement (Lean)

 222def predictions : List String := [

proof body

Definition body.

 223  "n_s ≈ 0.970 from φ-structure",
 224  "r ≈ 0.02 from (φ-1)⁴",
 225  "Running of n_s ~ 0",
 226  "Non-Gaussianity f_NL ~ 0"
 227]
 228
 229/-! ## Falsification Criteria -/
 230
 231/-- The derivation would be falsified if:
 232    1. n_s has no φ-connection
 233    2. r contradicts (φ-1)⁴ prediction
 234    3. Large non-Gaussianity found -/

depends on (7)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
has in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy 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
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use