//! Shared weighted measurement row for the estimation substrate.
//!
//! Every reference strategy ultimately reduces a set of weighted linear rows:
//! SPP feeds `sqrt(w)·(P_meas - P_hat)` residual rows to the trust-region solver,
//! PPP assembles dense `AᵀWA x = AᵀWy` from undifferenced rows, and the RTK
//! filter folds double-difference rows into the information system. The design
//! vector / prefit residual / diagonal weight triple is identical across all
//! three; only the covariance *structure* differs (RTK rows in one block share a
//! reference single difference, see [`super::normal::CovarianceBlock`]).
//!
//! [`ResidualRow`] is that shared triple. The PPP solver row is exactly this
//! type (re-exported as its `Row`); the RTK scratch row additionally carries the
//! single-difference variances the correlated covariance needs, but its design
//! and prefit columns are this same row.
/// One weighted measurement row: design coefficients `h` (length
/// [`super::parameters::ParameterLayout::dim`]), prefit residual `y`, and the
/// diagonal information weight (inverse variance).
pub