Registry · Theorem IV.T17 tau-effective formalized

IV.T17 — Emergence of Spin-1/2

Bi-rotation on T² constrained by CR-parity produces the SU(2) double cover of SO(3). Pure fiber modes carry integer spin s = (m+n)/2; mixed base-fiber modes carry half-integer spin.

Book IV Part 3 Ch. 16

Dependency Graph

Depends on (3)

IV.D54 IV.T16 IV.D50

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.EmergenceOfSpin12