Registry · Remark V.R157 tau-effective formalized

V.R157 — The glass transition is not a phase transition

The glass transition is not a phase transition in either framework: in the tau-framework it is an inequality crossing mu -> 0 at fixed theta = 0 -- a kinetic arrest in defect-tuple space, not a thermodynamic phase boundary with latent heat or entropy discontinuity.

Book V Part 4 Ch. 33

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.TheGlassTransitionIsNotAPhaseTransition