Statistical Inference of Constrained Stochastic Optimization via Sketched Sequential Quadratic Programming (Journal of Machine Learning Research, 2026)