Registry · Remark III.R40 tau-effective not_applicable

III.R40 — Temporal-Spatial Decomposition

The five generators split into a temporal pair (α,π on τ¹ → Gravity,Weak = directed temporal flow) and a spatial triad (γ,η,ω on T² → EM,Strong,Higgs = three geometric primitives: points, distances, volumes). Mass = spatial volume. Generator-carrier correspondence is categorical; physical identification is E₁-level.

Book III Part 8 Ch. 77

Dependency Graph

Depends on (5)

Depended on by (2)

Lean Formalization

Module:

Symbol: