//! Module: contracts::rules
//! Responsibility: shared first-violation rule evaluation helper.
//! Does not own: domain-specific rule definitions.
//! Boundary: generic ordered rule traversal used by validation/planner modules.
/// Return the first violated rule error in rule declaration order.
pub