pub fn row_certificate(
atom: &SaeManifoldAtom,
evaluator: &dyn SaeBasisEvaluator,
t0: ArrayView1<'_, f64>,
x: ArrayView1<'_, f64>,
amplitude: f64,
lipschitz: f64,
ridge: f64,
) -> Result<(RowCertificate, Array1<f64>), String>Expand description
Compute the per-row Kantorovich certificate for encoding target row x
against atom atom at start coordinate t₀, with fixed amplitude z and
the chart’s closed-form Lipschitz constant lipschitz. Returns the
certificate AND the Newton step δ = −H⁻¹ g so the caller can advance.