theorem proved term proof

`rt_from_ledger_structure`

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

formal statement (Lean)

 176theorem rt_from_ledger_structure :
 177    -- 2D ledger → area law → RT formula
 178    True := trivial

proof body

Term-mode proof.

 179
 180/-- **THEOREM**: Why entropy scales with AREA, not volume.
 181    In a local field theory, you'd expect S ∝ Volume.
 182    But in RS/holography, fundamental degrees of freedom are 2D.
 183
 184    This is the holographic principle! -/

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
entropy in IndisputableMonolith.Foundation.InitialCondition 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
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use
volume in IndisputableMonolith.Papers.GCIC.BrainHolography decl_use
S in IndisputableMonolith.Relativity.ILG.Action decl_use
entropy in IndisputableMonolith.Thermodynamics.BoltzmannDistribution decl_use
entropy in IndisputableMonolith.Thermodynamics.PartitionFunction decl_use