pub fn validate_order_value(v: f64) -> Result<f64, ValueRejectReason>Expand description
校验 order_value 数值合法性(v1.4.106 codex 0538 F1 P1 SECURITY)
防御 NaN / inf / negative 三类异常输入。所有走 limit 引擎的 order_value 必须先过这层,否则:
- NaN:
x > cap + EPSILON总 false → bypass 单笔 cap; daily countertotal + NaN = NaN→ 后续 compare 全 false → 永远 allow. - +inf / -inf:算术 saturate → daily counter inf → 任何后续 add 仍 inf → reject 但 lose precision;负 inf 让 daily 立即变 -inf → 永远 allow.
- negative:daily total + (-100) = total - 100 → daily counter 倒退 → 让后续大单通过 cap.
三类全 fail-closed (Err(ValueRejectReason::*))。