Explicit Wigner Function of Prime-Comb GKP States and Rigidity Analysis of Phase-Space Grids | Synapse