Quadratic convergence to the optimal solution of second-order conic optimization without strict complementarity. (3rd September 2019)