Registry · Remark IV.R222 tau-effective formalized

IV.R222 — Why 2 + 2 gives 1+

The raw dimension count 2+2 (two base, two fiber) becomes the Lorentzian signature 1+3 via the CRT structure: the temporal direction (progression direction of rho) contributes 1, while the three spatial directions (two fiber + one radial base) contribute 3. Signature follows from kernel structure.

Book IV Part 1 Ch. 5

Lean Formalization

Module: TauLib.BookIV.Arena.BoundaryHolonomy

Symbol: Tau.BookIV.Arena.Why22Gives1