Text this: A quadratically convergent semismooth Newton method for nonlinear semidefinite programming without generalized Jacobian regularity.