Macroscopic Compression

The τ-macroscopic-compression κ_macro(C) is the bulk compression observable for an N-defect configuration C: the average single-defect compression plus an interaction term. Defined as κ_macro(C) = (1/N) Σ_i κ(d_i) + κ_int(C). Formalized as MacroscopicCompression in TauLib; the τ-native foundation for bulk modulus, equation of state, and macroscopic phase regimes.

Categorical invariant. Bulk-scale dimensional load on an N-defect configuration; the categorical seed for SI bulk modulus.

Primary registry anchor: IV.D213

Supporting items: IV.D11, IV.D213, IV.D235

1. I.K0 — Universe Postulate
2. IV.D11 — Physical Quantity Template (compression as dimensional load)
3. IV.D12 — Particle Kind on T² fiber (defect bundle)
4. IV.D213 — Macroscopic compression: κ_macro(C) = (1/N) Σ κ(d_i) + κ_int(C)
5. IV.D235 — Crystal regime exemplifies a locked-μ macroscopic phase

Lean modules referenced: TauLib.BookIV.ManyBody.DefectFunctionalExt

Calibration anchor: PG-P01-neutron

Calibration chain:

1. Single-defect compression κ(d) (categorical)
2. Interaction term κ_int(C) (configuration-dependent)
3. Configuration size N
4. Bulk modulus K = -V (∂P/∂V) recovered in SI via m_n cascade

Manuscript reference: manuscript-sources/book-04/part07/ch62-crystals-glass-phases.tex

Status: Formalized

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Lean kind: structure

Lean symbol: MacroscopicCompression

Related glossary entries

• PG-P01-neutron τ-Neutron
• PG-Q01-mass Mass
• PG-O08-crystal-regime Crystal Regime (τ-Lattice)

Referenced by

• PG-O13-macro-tau-crystal Macro τ-Crystal