//! Internal helpers shared by the dynamic storage adapters.
use SolverError;
/// The dimension error for a mismatch between `lhs` and `rhs`, applying the
/// checked `u32` payload-fallback rule (RFC 007 ยง3.2, Correction 2): if both
/// values fit `u32`, `DimensionMismatch { lhs, rhs }`; otherwise the non-payload
/// `InvalidDimension`. Never truncates.
pub