I have searched very much on line, both in this site and elsewhere, but found no proof of whether the normal force is conservative or is not, in general.
Clearly, if the force is orthogonal to the velocity, $\mathbf{F}\cdot d\mathbf{r}=\mathbf{F}\cdot\mathbf{v}dt=0$, and the force does no work, as explained for example here, so it is conservative in that sense in that case.
But what happens if the normal force does work, as it can happen to do? And how can what happens be mathematically proved? I heartily thank you for any answer!