Degeneracy Pressure

Degeneracy Pressure (V.D124) is the τ-categorical Degeneracy-Pressure Character: the τ-pressure quantity arising from defect-bundle exclusion (no two fermion bundles share the same τ-mode), with τ-derivation independent of conventional Pauli-statistics axioms. It is the relevant pressure quantity for white-dwarf and neutron-star τ-equilibria.

Categorical invariant. DegeneracyPressure(B_collection) := τ-pressure character induced by mode-exclusion among the bundles in B_collection; an E2 invariant.

Primary registry anchor: V.D124

Supporting items: IV.T17, IV.D466, IV.D76

1. I.K0 — Universe Postulate establishes τ
2. IV.T17 — Emergence of Spin-1/2 — fermion bundles have half-integer character
3. IV.D466 — Entropy mode-count gives the available modes per fermion
4. V.D124 — Degeneracy Pressure Character := τ-pressure from mode-exclusion
5. IV.D76 — Energy as CR-Tension supplies the cost-per-mode integrand

Lean modules referenced: TauLib.BookV.GravityField.TOVStarBuilder, TauLib.BookV.GravityField.TOVPhaseBoundary

Calibration anchor: PG-P01-neutron

Calibration chain:

1. m_n (anchor)
2. ℏ via IV.D294 → momentum scale
3. P_deg ≈ (ℏ²/m) · n^(5/3) for non-relativistic Fermi gas

Manuscript reference: manuscript-sources/book-05/part06-stellar/ch-degeneracy-pressure.tex

Status: Formalized

Module: TauLib.BookV.GravityField.TOVStarBuilder

Lean kind: def

Related glossary entries

• PG-P01-neutron τ-Neutron
• PG-Q04-entropy Entropy
• PG-Q17-force-as-boundary-mode Force as Boundary Mode