Registry · Remark V.R160 tau-effective formalized

V.R160 — Universality is structural, not accidental

Universality is structural, not accidental: critical exponents are independent of microscopic details because the critical surface is determined by defect-functional geometry depending only on axioms K0-K6; different materials are different initial conditions, but the critical surface is universal.

Book V Part 4 Ch. 33

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.UniversalityIsStructuralNotAccidental