Registry · Definition IV.D236 tau-effective formalized

IV.D236 — Glass regime

A tau-admissible configuration is in the glass regime if mu approx 0 (locked), nu approx 0 (locked), kappa > 0 (compression unfrozen, local density variations persist), and theta is fixed but aperiodic (no repeating topological charge pattern).

Book IV Part 7 Ch. 53

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.GlassRegime