Rank-metric separation in irreducible representations of finite groups | Synapse