Registry · Remark V.R58 tau-effective not_applicable

V.R58 — Not a postulate

The Lorentz group is derived, not postulated. No principle of relativity or constancy of light speed is assumed. The (1,3) signature emerges from the 1+2+omega structure of tau^3 = tau^1 x_f T^2: one base dimension, two fiber dimensions, plus the crossing-point contribution.

Book V Part 2 Ch. 12

Lean Formalization

Module: