Registry · Remark IV.R331 tau-effective not_applicable

IV.R331 — Mixed configurations

A particle at rest has all energy as mc_tau^2 (fiber stiffness), a massless excitation has all energy as hbar_tau*omega (base circulation), and a moving particle has a mixture; the decomposition is frame-dependent but the total eigenvalue E_k is not, mirroring E^2 = (mc^2)^2 + (pc)^2.

Book IV Part 3 Ch. 22

Lean Formalization

Module: