Topological isomorphism of procountable groups is universal analytic

We prove that topological isomorphism of procountable groups is a universal analytic equivalence relation, answering a question of Gao, Nies, and Paolini. The same conclusion follows for non-Archimedean Polish groups. More strongly, there is one countable group $H$ for which universality already holds among inverse limits of sequences of surjective endomorphisms of $H$. Thus all the classification complexity can be carried by the bonding maps. We encode permutative equivalence of unconditional basic sequences by integer weights with prescribed symmetries. An extension of Gao, Nies, and Paolini's tree construction recovers bounded weight differences from uniform continuity while allowing these symmetries to act. Przeździecki's almost-full functor transfers the resulting inverse graph systems to groups. Identifying the stage graphs with a single graph makes the passage from weights to bonding endomorphisms continuous.