IV.R24 — Charge Balance |Q_p| = |Q_e|

Exact equality |Q_p| = |Q_e| is immediate in tau: both are opposite winding classes (+1 and -1) on the same T^2, so |+1| = |-1| is an identity of integers.