Hi,
just a quick update:
A discussed in the SLOGAN blog post 162, the difference in the  is generally not the gradient, but a projection onto x_hat. Thus it would seem to be more prudent to use a one-sided penalty in this formulation.
Best regards
Thomas