Statistical Inference of Constrained Stochastic Optimization via Sketched Sequential Quadratic Programming (JMLR, 2026)