Registry · Remark V.R131 tau-effective formalized

V.R131 — Comparison with normal ordering

Normal ordering comparison: QFT normal ordering :H: = H - E_0 removes the divergence without physical justification; the tau-framework explains why the subtraction is correct -- the zero-point contribution is refinement entropy, not physical energy. Normal ordering is accidentally correct for the wrong reason.

Book V Part 3 Ch. 25

Lean Formalization

Module: TauLib.BookV.Thermodynamics.VacuumNoVoid

Symbol: Tau.BookV.Thermodynamics.ComparisonWithNormalOrdering