III.T60 — Topological Faithfulness

Topo_tr preserves tower structure: cylinders map to open balls, restriction maps are continuous. Fiber over x at stage k has exactly p_{k+1} preimages at stage k+1. Verified at bound 6, depth 2.