Registry · Definition IV.D271 tau-effective formalized

IV.D271 — Mass as fiber stiffness

The mass of an ontic defect bundle d is m(d) = inf{||delta||_{H_partial} : delta produces a unit base-shift of d}, the minimal coherence cost of translating the bundle by one unit in the base direction tau^1. Mass is fiber stiffness against base-direction translation, not a Casimir invariant.

Book IV Part 1 Ch. 7

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.MassAsFiberStiffness