pub fn gradient_bounded(max_norm: f64) -> NullificationTest
H₀-TRAIN-03: Gradient norms remain bounded.