{"abstract":"Parking tax and fee composition returns a wrong result when parking tax is truncated.","category":"Toll and parking fee computation","checks":8,"contract":"Input {base, resident, resident_pct, tax_bp (basis points), surcharge, app, app_fee}. Residents get resident_pct off (discount floored). Parking tax on the discounted base is rounded half up per transaction. The surcharge is untaxed. App payments add app_fee plus its own tax rounded half up. Return {base, tax, total}.","contract_signature":"x","evaluation_group":"w2-toll_and_parking_fee_computation-parking-tax","failed_approach":"Rounding up over-collects whenever the fraction is below one half.","family":"w2-toll_and_parking_fee_computation-parking-tax-tax-rounding","id":"FA-68826","implementations":{"attempt":{"sha256":"80a85b6ecb570a913fec2b9e9bed37a9fddf9be1f499267f204ca89ad1ede81d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    base = x['base']\n    if x['resident']:\n        base -= base * x['resident_pct'] // 100\n    tax = -(-base * x['tax_bp'] // 10000)\n    total = base + tax + x['surcharge']\n    if x['app']:\n        total += x['app_fee'] + (x['app_fee'] * x['tax_bp'] + 5000) // 10000\n    return {'base': base, 'tax': tax, 'total': total}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'base': 4607, 'resident': True, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 3456, 'tax': 216, 'total': 3749}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 340, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 0, 'app': False, 'app_fee': 25}, {'base': 340, 'tax': 34, 'total': 374}), ({'base': 775, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 388, 'tax': 39, 'total': 466}), ({'base': 2257, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 45}, {'base': 1693, 'tax': 313, 'total': 2056}), ({'base': 1884, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 45}, {'base': 1413, 'tax': 261, 'total': 1724}), ({'base': 3965, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 3965, 'tax': 248, 'total': 4411}), ({'base': 3730, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 0, 'app': False, 'app_fee': 45}, {'base': 3730, 'tax': 373, 'total': 4103})], [({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 3820, 'resident': False, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 3820, 'tax': 382, 'total': 4230}), ({'base': 3488, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': False, 'app_fee': 35}, {'base': 3488, 'tax': 785, 'total': 4273}), ({'base': 1584, 'resident': False, 'resident_pct': 50, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 35}, {'base': 1584, 'tax': 99, 'total': 1733}), ({'base': 1360, 'resident': False, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 1360, 'tax': 136, 'total': 1574}), ({'base': 3857, 'resident': False, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 25}, {'base': 3857, 'tax': 241, 'total': 4148}), ({'base': 146, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 146, 'tax': 27, 'total': 203}), ({'base': 4289, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 4289, 'tax': 429, 'total': 4896})], [({'base': 1490, 'resident': False, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 1490, 'tax': 149, 'total': 1817}), ({'base': 4064, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 4064, 'tax': 254, 'total': 4495}), ({'base': 4016, 'resident': False, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 4016, 'tax': 251, 'total': 4454}), ({'base': 1390, 'resident': False, 'resident_pct': 50, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 25}, {'base': 1390, 'tax': 87, 'total': 1527}), ({'base': 1783, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 50, 'app': True, 'app_fee': 45}, {'base': 1783, 'tax': 401, 'total': 2289}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 4398, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 35}, {'base': 4398, 'tax': 814, 'total': 5262}), ({'base': 2093, 'resident': True, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 150, 'app': False, 'app_fee': 45}, {'base': 1570, 'tax': 98, 'total': 1818})], [({'base': 2840, 'resident': False, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 50, 'app': True, 'app_fee': 45}, {'base': 2840, 'tax': 284, 'total': 3224}), ({'base': 2280, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 2280, 'tax': 513, 'total': 2874}), ({'base': 689, 'resident': False, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 150, 'app': False, 'app_fee': 35}, {'base': 689, 'tax': 43, 'total': 882}), ({'base': 900, 'resident': True, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 50, 'app': True, 'app_fee': 45}, {'base': 720, 'tax': 162, 'total': 987}), ({'base': 1018, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 1018, 'tax': 229, 'total': 1290}), ({'base': 3121, 'resident': True, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 1561, 'tax': 289, 'total': 2000}), ({'base': 923, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 0, 'app': True, 'app_fee': 45}, {'base': 923, 'tax': 171, 'total': 1147}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080})], [({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 4242, 'resident': False, 'resident_pct': 50, 'tax_bp': 625, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 4242, 'tax': 265, 'total': 4705}), ({'base': 2612, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 0, 'app': False, 'app_fee': 45}, {'base': 2612, 'tax': 483, 'total': 3095}), ({'base': 4896, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 0, 'app': True, 'app_fee': 45}, {'base': 4896, 'tax': 306, 'total': 5250}), ({'base': 3293, 'resident': True, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 2635, 'tax': 264, 'total': 2977}), ({'base': 2690, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 2690, 'tax': 269, 'total': 3159}), ({'base': 4760, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 4760, 'tax': 1071, 'total': 6036}), ({'base': 115, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 150, 'app': False, 'app_fee': 45}, {'base': 115, 'tax': 26, 'total': 291})]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('fee oracle' + ' %d' % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"20153ed30c351af6dbca64a3fcfcc50eccc3e1019edaf103b35450a5e488e81e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    base = x['base']\n    if x['resident']:\n        base -= base * x['resident_pct'] // 100\n    tax = base * x['tax_bp'] // 10000\n    total = base + tax + x['surcharge']\n    if x['app']:\n        total += x['app_fee'] + (x['app_fee'] * x['tax_bp'] + 5000) // 10000\n    return {'base': base, 'tax': tax, 'total': total}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'base': 4607, 'resident': True, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 3456, 'tax': 216, 'total': 3749}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 340, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 0, 'app': False, 'app_fee': 25}, {'base': 340, 'tax': 34, 'total': 374}), ({'base': 775, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 388, 'tax': 39, 'total': 466}), ({'base': 2257, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 45}, {'base': 1693, 'tax': 313, 'total': 2056}), ({'base': 1884, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 45}, {'base': 1413, 'tax': 261, 'total': 1724}), ({'base': 3965, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 3965, 'tax': 248, 'total': 4411}), ({'base': 3730, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 0, 'app': False, 'app_fee': 45}, {'base': 3730, 'tax': 373, 'total': 4103})], [({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 3820, 'resident': False, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 3820, 'tax': 382, 'total': 4230}), ({'base': 3488, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': False, 'app_fee': 35}, {'base': 3488, 'tax': 785, 'total': 4273}), ({'base': 1584, 'resident': False, 'resident_pct': 50, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 35}, {'base': 1584, 'tax': 99, 'total': 1733}), ({'base': 1360, 'resident': False, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 1360, 'tax': 136, 'total': 1574}), ({'base': 3857, 'resident': False, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 25}, {'base': 3857, 'tax': 241, 'total': 4148}), ({'base': 146, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 146, 'tax': 27, 'total': 203}), ({'base': 4289, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 4289, 'tax': 429, 'total': 4896})], [({'base': 1490, 'resident': False, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 1490, 'tax': 149, 'total': 1817}), ({'base': 4064, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 4064, 'tax': 254, 'total': 4495}), ({'base': 4016, 'resident': False, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 4016, 'tax': 251, 'total': 4454}), ({'base': 1390, 'resident': False, 'resident_pct': 50, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 25}, {'base': 1390, 'tax': 87, 'total': 1527}), ({'base': 1783, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 50, 'app': True, 'app_fee': 45}, {'base': 1783, 'tax': 401, 'total': 2289}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 4398, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 35}, {'base': 4398, 'tax': 814, 'total': 5262}), ({'base': 2093, 'resident': True, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 150, 'app': False, 'app_fee': 45}, {'base': 1570, 'tax': 98, 'total': 1818})], [({'base': 2840, 'resident': False, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 50, 'app': True, 'app_fee': 45}, {'base': 2840, 'tax': 284, 'total': 3224}), ({'base': 2280, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 2280, 'tax': 513, 'total': 2874}), ({'base': 689, 'resident': False, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 150, 'app': False, 'app_fee': 35}, {'base': 689, 'tax': 43, 'total': 882}), ({'base': 900, 'resident': True, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 50, 'app': True, 'app_fee': 45}, {'base': 720, 'tax': 162, 'total': 987}), ({'base': 1018, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 1018, 'tax': 229, 'total': 1290}), ({'base': 3121, 'resident': True, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 1561, 'tax': 289, 'total': 2000}), ({'base': 923, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 0, 'app': True, 'app_fee': 45}, {'base': 923, 'tax': 171, 'total': 1147}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080})], [({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 4242, 'resident': False, 'resident_pct': 50, 'tax_bp': 625, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 4242, 'tax': 265, 'total': 4705}), ({'base': 2612, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 0, 'app': False, 'app_fee': 45}, {'base': 2612, 'tax': 483, 'total': 3095}), ({'base': 4896, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 0, 'app': True, 'app_fee': 45}, {'base': 4896, 'tax': 306, 'total': 5250}), ({'base': 3293, 'resident': True, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 2635, 'tax': 264, 'total': 2977}), ({'base': 2690, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 2690, 'tax': 269, 'total': 3159}), ({'base': 4760, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 4760, 'tax': 1071, 'total': 6036}), ({'base': 115, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 150, 'app': False, 'app_fee': 45}, {'base': 115, 'tax': 26, 'total': 291})]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('fee oracle' + ' %d' % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic, bounded toy model with a stipulated contract; it makes no claim of conformance to any agency manual or standard. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-toll_and_parking_fee_computation-parking-tax-tax-rounding","generated_at":"2026-09-29T14:48:05.850265+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Fee engines bill customers in integer cents; a wrong boundary, rounding stage or cap scope silently over- or under-charges.","root_cause":"Truncation under-collects up to one cent of tax.","sha256":"0e1f84f887fd4065df558c079d5eabb73b5c5c7f6cd372987ae2d17eb5efa43f","title":"Parking tax and fee composition: parking tax is truncated · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":39.07,"exit_code":1,"observations":[{"actual":{"base":3456,"tax":216,"total":3749},"check":"fee oracle 0","expected":{"base":3456,"tax":216,"total":3749},"passed":true},{"actual":{"base":750,"tax":139,"total":1080},"check":"fee oracle 1","expected":{"base":750,"tax":139,"total":1080},"passed":true},{"actual":{"base":340,"tax":34,"total":374},"check":"fee oracle 2","expected":{"base":340,"tax":34,"total":374},"passed":true},{"actual":{"base":388,"tax":39,"total":466},"check":"fee oracle 3","expected":{"base":388,"tax":39,"total":466},"passed":true},{"actual":{"base":1693,"tax":314,"total":2057},"check":"fee oracle 4","expected":{"base":1693,"tax":313,"total":2056},"passed":false},{"actual":{"base":1413,"tax":262,"total":1725},"check":"fee oracle 5","expected":{"base":1413,"tax":261,"total":1724},"passed":false},{"actual":{"base":3965,"tax":248,"total":4411},"check":"fee oracle 6","expected":{"base":3965,"tax":248,"total":4411},"passed":true},{"actual":{"base":3730,"tax":373,"total":4103},"check":"fee oracle 7","expected":{"base":3730,"tax":373,"total":4103},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": {\"base\": 3456, \"tax\": 216, \"total\": 3749}, \"expected\": {\"base\": 3456, \"tax\": 216, \"total\": 3749}, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": {\"base\": 750, \"tax\": 139, \"total\": 1080}, \"expected\": {\"base\": 750, \"tax\": 139, \"total\": 1080}, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": {\"base\": 340, \"tax\": 34, \"total\": 374}, \"expected\": {\"base\": 340, \"tax\": 34, \"total\": 374}, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": {\"base\": 388, \"tax\": 39, \"total\": 466}, \"expected\": {\"base\": 388, \"tax\": 39, \"total\": 466}, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": {\"base\": 1693, \"tax\": 314, \"total\": 2057}, \"expected\": {\"base\": 1693, \"tax\": 313, \"total\": 2056}, \"passed\": false}, {\"check\": \"fee oracle 5\", \"actual\": {\"base\": 1413, \"tax\": 262, \"total\": 1725}, \"expected\": {\"base\": 1413, \"tax\": 261, \"total\": 1724}, \"passed\": false}, {\"check\": \"fee oracle 6\", \"actual\": {\"base\": 3965, \"tax\": 248, \"total\": 4411}, \"expected\": {\"base\": 3965, \"tax\": 248, \"total\": 4411}, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": {\"base\": 3730, \"tax\": 373, \"total\": 4103}, \"expected\": {\"base\": 3730, \"tax\": 373, \"total\": 4103}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.304,"exit_code":1,"observations":[{"actual":{"base":3456,"tax":216,"total":3749},"check":"fee oracle 0","expected":{"base":3456,"tax":216,"total":3749},"passed":true},{"actual":{"base":750,"tax":138,"total":1079},"check":"fee oracle 1","expected":{"base":750,"tax":139,"total":1080},"passed":false},{"actual":{"base":340,"tax":34,"total":374},"check":"fee oracle 2","expected":{"base":340,"tax":34,"total":374},"passed":true},{"actual":{"base":388,"tax":38,"total":465},"check":"fee oracle 3","expected":{"base":388,"tax":39,"total":466},"passed":false},{"actual":{"base":1693,"tax":313,"total":2056},"check":"fee oracle 4","expected":{"base":1693,"tax":313,"total":2056},"passed":true},{"actual":{"base":1413,"tax":261,"total":1724},"check":"fee oracle 5","expected":{"base":1413,"tax":261,"total":1724},"passed":true},{"actual":{"base":3965,"tax":247,"total":4410},"check":"fee oracle 6","expected":{"base":3965,"tax":248,"total":4411},"passed":false},{"actual":{"base":3730,"tax":373,"total":4103},"check":"fee oracle 7","expected":{"base":3730,"tax":373,"total":4103},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": {\"base\": 3456, \"tax\": 216, \"total\": 3749}, \"expected\": {\"base\": 3456, \"tax\": 216, \"total\": 3749}, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": {\"base\": 750, \"tax\": 138, \"total\": 1079}, \"expected\": {\"base\": 750, \"tax\": 139, \"total\": 1080}, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": {\"base\": 340, \"tax\": 34, \"total\": 374}, \"expected\": {\"base\": 340, \"tax\": 34, \"total\": 374}, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": {\"base\": 388, \"tax\": 38, \"total\": 465}, \"expected\": {\"base\": 388, \"tax\": 39, \"total\": 466}, \"passed\": false}, {\"check\": \"fee oracle 4\", \"actual\": {\"base\": 1693, \"tax\": 313, \"total\": 2056}, \"expected\": {\"base\": 1693, \"tax\": 313, \"total\": 2056}, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": {\"base\": 1413, \"tax\": 261, \"total\": 1724}, \"expected\": {\"base\": 1413, \"tax\": 261, \"total\": 1724}, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": {\"base\": 3965, \"tax\": 247, \"total\": 4410}, \"expected\": {\"base\": 3965, \"tax\": 248, \"total\": 4411}, \"passed\": false}, {\"check\": \"fee oracle 7\", \"actual\": {\"base\": 3730, \"tax\": 373, \"total\": 4103}, \"expected\": {\"base\": 3730, \"tax\": 373, \"total\": 4103}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}