Registry · Remark IV.R294 tau-effective formalized

IV.R294 — Spin-frac1

Spin-1/2 is derived rather than postulated: the bi-rotation of T^2 constrained by CR-compatibility necessarily produces the double cover SU(2) -> SO(3), with the sign flip chi -> -chi as the unique nontrivial deck transformation, so 4pi rotation for return is the natural geometry of CR-constrained torus configurations.

Book IV Part 3 Ch. 16

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.Spinfrac1