A Theoretical Framework for Grokking: Interpolation followed by Riemannian Norm Minimisation | Synapse