{ "summary": { "generated_at": "2025-10-20T04:27:10.896327863Z", "total_vectors": 1, "vectors_passed": 0, "total_assertions": 1, "assertions_passed": 0, "property_checks": 4, "property_succeeded": 4 }, "vectors": [ { "name": "default_formatted", "description": "Default formatted test vectors for MEV Bot math validation", "exchange": "uniswap_v2", "passed": false, "tests": [ { "name": "default_amount_out_test", "type": "amount_out", "passed": false, "delta_bps": 9990.009995065288, "expected": "0.000001994006985", "actual": "0.000000001992013962", "details": "delta 9990.0100 bps exceeds tolerance 500.0000", "annotations": [ "tolerance 500.0000 bps" ] } ] } ], "property_checks": [ { "name": "price_conversion_round_trip", "type": "property", "passed": true, "delta_bps": 0, "expected": "", "actual": "", "details": "all samples within 0.1% tolerance" }, { "name": "tick_conversion_round_trip", "type": "property", "passed": true, "delta_bps": 0, "expected": "", "actual": "", "details": "ticks round-trip within ±1" }, { "name": "price_monotonicity", "type": "property", "passed": true, "delta_bps": 0, "expected": "", "actual": "", "details": "higher ticks produced higher prices" }, { "name": "price_symmetry", "type": "property", "passed": true, "delta_bps": 0, "expected": "", "actual": "", "details": "price * inverse remained within 0.1%" } ] }