Function validate_non_negative 

pub fn validate_non_negative<T>(
    value: T,
    param_name: &str,
) -> Result<(), OCRError>
where
    T: PartialOrd + Display + Default,

Validates that a value is non-negative (>= 0).