Registry · Definition IV.D380 tau-effective formalized

IV.D380 — Top–Up Exponent Duality on T²

β_u + β_t = 1/|lobes| = 1/2. Top (β_t=-5) and up (β_u=11/2) quarks related by reflection plus topological shift 1/|lobes|. Midpoint (β_u+β_t)/2 = 1/4 encodes lemniscate self-intersection parity.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

IV.T190 IV.D379

Depended on by (2)

IV.R432 IV.T197

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.top_up_duality