Registry · Definition IV.D09 tau-effective formalized

IV.D09 — Primary Invariant

The 5 primary physical invariants: Entropy, Time, Energy, Mass, Gravity. These exhaust the independent physical degrees of freedom; all derived from ι_τ via sector lifts.

Book IV Part 2 Ch. 3

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Physics.QuantityFramework

Symbol: Tau.BookIV.Physics.PrimaryInvariant