A globally convergent SQP-type method with least constraint violation for nonlinear semidefinite programming | Synapse