IV.R315 — Why clopen, not just open?

On compact S^1_gamma, address localization uses profinite topology: the tower of finite quotients S^1_gamma -> S^1_gamma/(2pi/N) gives progressively finer clopen localization regions, matching Book I's profinite boundary ring Z-hat_tau and Book II's refinement tower.