Enthalpy

Enthalpy (IV.D465) is the τ-categorical Energy Index plus the work-conjugate term carried by the τ-pressure on the bundle's volume mode. It is the natural energy quantity on a defect bundle held at fixed pressure — equal to E + PV in the τ-internal pairing.

Categorical invariant. Enthalpy(B) := Energy Index(B) + ⟨τ-Pressure, Volume mode⟩(B); the natural total energy under fixed-pressure τ-boundary.

Primary registry anchor: IV.D465

Supporting items: IV.D21, IV.D466, IV.D482

1. I.K0 — Universe Postulate establishes τ
2. IV.D11 — Physical Quantity Template — dimensional invariants
3. IV.D21 — Energy Index
4. IV.D465 — Enthalpy = E + PV under fixed-pressure τ-boundary
5. IV.D482 — Gibbs Free Energy = H - TS extends to the entropy-pressure conjugate pair

Lean modules referenced: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Calibration anchor: PG-P01-neutron

Calibration chain:

1. m_n (anchor)
2. c² via IV.D23
3. PV term via τ-pressure conjugate pairing

Manuscript reference: manuscript-sources/book-04/part04-quantum-mechanics/ch-energy-entropy.tex

Status: Planned

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Lean kind: def

Related glossary entries

• PG-P01-neutron τ-Neutron
• PG-Q02-energy Energy
• PG-Q04-entropy Entropy