def definition def or abbrev

`implications`

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

formal statement (Lean)

 230def implications : List String := [

proof body

Definition body.

 231  "Dark energy required for Ω = 1 (adds ~70% of critical density)",
 232  "Dark matter required (adds ~25% of critical density)",
 233  "Eternal expansion (no Big Crunch)",
 234  "Geometry is fundamental, not emergent"
 235]
 236
 237/-! ## Falsification Criteria -/
 238
 239/-- The RS explanation would be falsified if:
 240    1. Ω ≠ 1 is definitively measured
 241    2. No J-cost minimum at Ω = 1
 242    3. φ-relations to cosmological parameters fail -/

depends on (14)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
required in IndisputableMonolith.Foundation.DomainBootstrap decl_use
cost in IndisputableMonolith.Foundation.MultiplicativeRecognizerL4 decl_use
cost in IndisputableMonolith.Foundation.ObserverForcing decl_use
is in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
is in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
is in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use
density in IndisputableMonolith.Physics.NeutronStarCrustalRegimesFromRS decl_use