Registry · Theorem IV.T29 tau-effective formalized

IV.T29 — Energy Duality

E_k = m_k c²_τ = ℏ_τ ω_k: one eigenvalue of H_∞, two readings. Mass (fiber stiffness) and frequency (base circulation) compute the same spectral invariant.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (3)

IV.D78 IV.D79 IV.T28

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.EnergyDuality