Registry · Theorem V.T67 tau-effective formalized

V.T67 — H_partial[omega

The ground state of H_partial[omega] is the unique vacuum: satisfying S_def = 0 (zero defect entropy), E = E_bdry <= E[psi] for all configurations psi (minimal energy), dbar_b omega_0 = 0 on all of tau^3 (full coherence), and stability under perturbation.

Book V Part 3 Ch. 25

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.VacuumNoVoid

Symbol: Tau.BookV.Thermodynamics.Hpartialomega