integrated projection onto constraint manifold into irreducible gradient descent