Registry · Definition IV.D270 tau-effective formalized

IV.D270 — Five primary invariants

The five primary invariants of E1 physics: (1) Entropy (carrier: Crossing) -- coherence defect novelty; (2) Time (carrier: Base tau^1) -- rho-iteration depth; (3) Energy (carrier: Fiber T^2) -- coherence cost of maintaining a defect; (4) Mass (carrier: Fiber T^2) -- fiber stiffness; (5) Gravity (carrier: Base tau^1) -- kappa(D;1) = 1 - iota_tau.

Book IV Part 1 Ch. 7

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.FivePrimaryInvariants