Registry · Remark IV.R292 tau-effective formalized

IV.R292 — CR-type (1,1) and three-dimensionality

A CR-manifold of type (1,1) has 2*1+1 = 3 real dimensions, matching the effective dimensionality of tau^3 when one fixes the base point: two complex (fiber) and one real (base) direction, with the fourth coordinate entering through the fibration projection governing macroscopic physics (Book V).

Book IV Part 3 Ch. 16

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.Crtype11AndThreedimensionality