Cross-Fitting Under Nonregularity: Normality and Inference via Locality · Briflio