Registry · Definition IV.D378 tau-effective formalized

IV.D378 — Winding Transition Matrix on T² Primitive Modes

3×3 symmetric matrix on primitive winding classes {(1,0),(0,1),(1,1)}: diagonal = T² Laplacian eigenvalues, off-diagonal = confinement couplings κ(C;n). Provides algebraic framework for deriving quark mass exponents.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (6)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.winding_transition_matrix