Números negativos, redondeos y monedas

Validar que un campo sea un número entero es validación sintáctica: comprueba la forma. La validación semántica comprueba que el valor tenga sentido para el negocio: una cantidad va de 1 a un tope razonable, un descuento de 0 al subtotal, un monto lleva su moneda. MITRE describe el caso de las cantidades como CWE-1284, validación incorrecta de una cantidad indicada en la entrada, y la guía de pruebas web de OWASP abre su capítulo de lógica de negocio con la validación de los datos según las reglas del negocio y no solo según su tipo.

Los números negativos son el ejemplo clásico: una línea con cantidad -4 resta del total en vez de sumar, y nada en el código lo impide si solo se pidió un entero.

Abre el laboratorio y lee CarritoController.php en la carpeta mecato-numeros. El precio sale del catálogo, que es correcto, pero la cantidad solo se valida como entero. Luego revisa pedidos-lineas.txt.

Redondear una vez cuesta poco. Redondear en cada línea, siempre hacia el mismo lado, convierte una fracción de peso en una ganancia que crece con el número de líneas. Compara regla-cashback.txt con CashbackService.php: la regla calcula sobre el total y redondea hacia abajo; el código calcula por línea y redondea hacia arriba. Calcula lo que debió acreditarse en cada pedido de cashback-noviembre.txt según la regla y compáralo con lo acreditado.

Un monto sin su moneda y su unidad es un número suelto. Lee billeteras.txt: en Colombia el saldo se guarda en pesos y en Ecuador en centavos de dólar. Después lee TransferenciaService.php, que resta y suma el mismo número, y transferencias.txt. Con la tasa interna del día, mira qué transferencia hizo aparecer en el destino mucho más valor del que salió del origen.

Los tres hallazgos tienen arreglo puntual (un mínimo en la cantidad, redondear una vez según la regla, convertir en la transferencia), pero comparten una causa de diseño: el dinero se maneja como un número suelto.