//! Problem-family contracts.
//!
//! Mathematical shape for LP / QP / SOCP / first-order structured problems. Contracts only — no modeling DSL, no expression parsing.
//!
//! Defined by the external design §2.7 (a dedicated problem-family RFC is pending). Lands in Milestone 1+; this Phase 0 placeholder declares no public
//! items yet.
