pub fn l2_diff(a: &[f32], b: &[f32]) -> Option<f64>
Compare two f32 slices and return L2 norm of difference.
Returns None if lengths differ or data contains NaN/Inf.