On Local Population-Risk Certificates

We develop finite-sample certificates for local population-risk increments P delta v=R(theta 0+v)-R(theta 0), v in D. The primitive object is an expected-valid upper endpoint D satisfying E v in D P delta v- U D(v) 0. This uniform criterion certifies any measurable update selected from the same sample and allows penalties to depend on empirical geometry. The main construction is a cross-fitted ridge calibration for linear feature classes. A pilot fold learns the ridge metric, the complementary fold calibrates the squared mean error in that metric, and complete split averaging recovers the full empirical covariance in the directional quadratic form q X, lambda. The optimized diagnostic scale is q X, lambda(h) r X,n p, lambda cf/n 1/2, and the calibrated trace factor r X,n p, lambda cf is compared with the ordinary ridge effective dimension r X, lambda. For nonsmooth losses, an exact fixed-mask decomposition delta v=J v 0+R v+C v separates frozen Taylor fluctuations, good-path remainders, and interface crossings. Applying the linear and composite certificates componentwise yields endpoints for same-sample expected local search and concentrated release rules.