Registry · Definition V.D276 tau-effective formalized

V.D276 — Readout Gibbs State

Boundary Hilbert space H_∂[ω] admits thermal (Gibbs) state at T_H. Encodes boundary information, not energy flux. Maximum-entropy state of linking boundary.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (2)

V.T40 V.T41

Depended on by (3)

V.P148 V.T217 V.T272

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.ReadoutGibbsState