Registry · Proposition V.P148 tau-effective formalized

V.P148 — Readout Spectrum is Planckian

Readout Gibbs state on linking boundary L = S¹∨S¹ is Planckian: B(ν,T_H) = (2hν³/c²)/(exp(hν/k_BT_H)−1). Derived from KMS condition on bosonic boundary algebra.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (2)

V.D276 V.T217

Depended on by (4)

V.P202 V.T327 V.T328 V.T329

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.readout_is_planckian