Function ladder_provenance 

fn ladder_provenance(
    dq: &[Vec<f64>],
    rungs: &[Rung],
    engine: JacobianEngine,
) -> Result<Provenance, CalibrationError>

∂q/∂z inverted into the ladder a curve carries: ∂z/∂q row-major with one entry per rung.