def definition def or abbrev

`arrowOfTime`

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

formal statement (Lean)

 159def arrowOfTime : String :=

proof body

Definition body.

 160  "J-cost minimization selects a direction"
 161
 162/-! ## Black Hole Unitarity -/
 163
 164/-- The black hole information paradox tests unitarity:
 165
 166    Does information escape from black holes?
 167
 168    RS answer: YES, via ledger conservation.
 169    The ledger extends across the horizon.
 170    Information is never truly lost. -/

depends on (10)

Lean names referenced from this declaration's body.

via in IndisputableMonolith.Derivations.MassToLight decl_use
cost in IndisputableMonolith.Foundation.MultiplicativeRecognizerL4 decl_use
cost in IndisputableMonolith.Foundation.ObserverForcing decl_use
is in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
is in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
is in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
tests in IndisputableMonolith.ILG.CPMInstance decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use
escape in IndisputableMonolith.URCAdapters.Audit decl_use