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)

 189def predictions : List String := [

proof body

Definition body.

 190  "Page curve exactly triangular (piecewise linear)",
 191  "Scrambling involves τ₀ discretization",
 192  "Hawking spectrum may have φ-modulation",
 193  "Ledger provides physical meaning of 'islands'"
 194]
 195
 196/-! ## Falsification Criteria -/
 197
 198/-- The derivation would be falsified if:
 199    1. Page curve is not observed (difficult to test!)
 200    2. Information loss is confirmed
 201    3. Ledger conservation violated -/

depends on (10)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization 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
is in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
triangular in IndisputableMonolith.Gap45.PhysicalMotivation decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use