/**
 * Arithmetic Verification Tests — safeEvalArithmetic, classification, and checkArithmeticCorrectness.
 *
 * Tests ported from Aria's safe_eval (aria/domains/math_verify/primitives.py)
 * plus classification and integration tests for the 8th formal check type.
 */
export {};