Registry · Remark V.R442 tau-effective not_applicable

V.R442 — 5=|gen|+dim(T²) Interpretation

The 5 in -5/3 counts 3 generation modes (from H₁(τ³;ℤ)≅ℤ³) plus 2 fiber directions on T². Structural, not dimensional coincidence.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

Lean Formalization

Module: