Results Glossary Entry Canonical physics The τ-Joule is the natural unit of energy in the τ-framework: a structural energy scale derived from the master constant ι_τ and the dimensional bookkeeping of the calibration cascade. SI joules are recovered by multiplying the τ-Joule by a…
Results · Physics Glossary · Unit PG-U04-tau-joule J_τ Draft Lean · formalized

τ-Joule

The τ-Joule is the natural unit of energy in the τ-framework: a structural energy scale derived from the master constant ι_τ and the dimensional bookkeeping of the calibration cascade. SI joules are recovered by multiplying the τ-Joule by a dimensionless ι_τ-chain factor and the m_n-anchored energy scale m_n c_τ².

Physics Glossary Primary: IV.D255 natural unit calibration cascade iota tau energy

τ-Definition

The τ-Joule is the natural unit of energy in the τ-framework: a structural energy scale derived from the master constant ι_τ and the dimensional bookkeeping of the calibration cascade. SI joules are recovered by multiplying the τ-Joule by a dimensionless ι_τ-chain factor and the m_n-anchored energy scale m_n c_τ².

Categorical invariant. Natural-unit energy J_τ = m_n c_τ²; mass-energy equivalence applied to the calibration anchor.

Primary registry anchor: IV.D255

Supporting items: I.D34, V.D231, V.T157

τ-Derivation Chain

  1. I.K0 — Universe Postulate establishes τ
  2. I.D34 — Master constant ι_τ ≈ 0.341304 emerges from the categorical kernel
  3. IV.D255 — ι_τ at the E₁ physics layer governs the dimensional cascade
  4. V.D231 — The ι_τ-chain assembles c_τ and ℏ_τ from ι_τ
  5. V.T157 — Calibration Sufficiency: m_n c_τ² fixes the SI energy scale

Lean modules referenced: TauLib.BookV.Coda.CalibrationChain

SI Translation

Calibration anchor: PG-P01-neutron

Calibration chain:

  1. m_n (anchor)
  2. c_τ via ι_τ chain (Established tier; algebraic identity)
  3. natural energy scale E_τ = m_n c_τ²

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

Lean Coverage

Status: Formalized

Module: TauLib.BookV.Coda.CalibrationChain

Lean kind: def

Cross-domain bridges

This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.

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