Registry · Remark IV.R154 tau-effective formalized

IV.R154 — Temperature is not fundamental

Temperature is not fundamental in Category tau but a readout: the gradient of the defect functional with respect to the entropy component; Part VII will use the defect functional as organizing variable with temperature as derived quantity, mirroring Part III's reversal from wave function as fundamental to character distribution as readout.

Book IV Part 6 Ch. 51

Lean Formalization

Module: TauLib.BookIV.Particles.SpectrumComplete

Symbol: Tau.BookIV.Particles.TemperatureIsNotFundamental