Function si_constraint_check 

#[unsafe(no_mangle)]
pub extern "C" fn si_constraint_check(
    vals: *const f64,
    bounds: *const f64,
    n: usize,
) -> u8

Count how many constraint bounds are violated. vals[i] must be <= bounds[i] for satisfaction. Returns count of violations.