Results Glossary Entry Canonical physics Vacuum permeability μ₀ is, in the τ-framework, a Tier-I (Established) unit-conversion entry of the constants ledger — the dimensional factor M L / Q² that, together with ε₀ and c, satisfies c² = 1/(ε₀ μ₀). It is exact in the τ-cascade at La…
Results · Physics Glossary · Constant PG-C08-vacuum-permeability μ₀ Canonical Lean · formalized

Vacuum permeability μ₀

Vacuum permeability μ₀ is, in the τ-framework, a Tier-I (Established) unit-conversion entry of the constants ledger — the dimensional factor M L / Q² that, together with ε₀ and c, satisfies c² = 1/(ε₀ μ₀). It is exact in the τ-cascade at Layer 3.

Physics Glossary Primary: IV.D37 fundamental constant unit conversion em sector tier 1 established iota tau derived

τ-Definition

Vacuum permeability μ₀ is, in the τ-framework, a Tier-I (Established) unit-conversion entry of the constants ledger — the dimensional factor M L / Q² that, together with ε₀ and c, satisfies c² = 1/(ε₀ μ₀). It is exact in the τ-cascade at Layer 3.

Categorical invariant. μ₀ = M L / Q² — the magnetic-sector dimensional readout that closes the EM projection at E₁.

Primary registry anchor: IV.D37

Supporting items: IV.D255, V.T142

τ-Derivation Chain

  1. I.K0 — Universe Postulate
  2. IV.D255 — Master constant ι_τ
  3. IV.D37 — Vacuum Permeability — dimensional factor M L / Q²
  4. V.T142 — E₁ Completeness — μ₀ is one of six Tier-I unit conversions; c² ε₀ μ₀ = 1

Lean modules referenced: TauLib.BookIV.Calibration.SIReference, TauLib.BookV.Coda.ConstantsLedger

SI Translation

Numerical value: 1.25663706212e-6 ± 1.9e-16 N A⁻²

Calibration anchor: PG-P01-neutron

Calibration chain:

  1. Layer 0: ι_τ = 2/(π + e_math)
  2. Layer 1: α = (11/15)² ι_τ⁴
  3. Layer 3: μ₀ = 1/(ε₀ c²) — exact within the cascade
  4. Pre-2019 SI: μ₀ = 4π × 10⁻⁷ N A⁻² exact; post-2019 SI: μ₀ inherits tiny uncertainty from α

Manuscript reference: manuscript-sources/book-05/part07-closure/ch-closure-constants.tex

Lean Coverage

Status: Formalized

Module: TauLib.BookIV.Calibration.SIReference

Lean kind: def

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert