Registry · Theorem
IV.T83
tau-effective
formalized
IV.T83 — Exactly three generations
The lemniscate L = S^1 v S^1 supports exactly three topologically distinct mode classes (crossing-point, single-lobe, full-lemniscate) and no fourth class exists, because L has exactly three structurally distinct regions: the crossing point, a single lobe, and the full figure.