{"abstract":"Parking tax and fee composition returns a wrong result when the resident percentage is kept instead of removed.","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":"Subtracting the percentage as cents gives residents almost no discount.","family":"w2-toll_and_parking_fee_computation-parking-tax-resident-discount","id":"FA-68836","implementations":{"attempt":{"sha256":"456f28ca6f03989de8a954d43c1335842cb2b80fdd208278413478a3e195145c","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 -= x['resident_pct']\n    tax = (base * x['tax_bp'] + 5000) // 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': 2437, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 150, 'app': False, 'app_fee': 35}, {'base': 1219, 'tax': 122, 'total': 1491}), ({'base': 122, 'resident': True, 'resident_pct': 20, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 98, 'tax': 18, 'total': 266}), ({'base': 4927, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 0, 'app': False, 'app_fee': 35}, {'base': 4927, 'tax': 911, 'total': 5838}), ({'base': 2805, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 2805, 'tax': 281, 'total': 3125}), ({'base': 1795, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 1795, 'tax': 332, 'total': 2157}), ({'base': 2304, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 0, 'app': True, 'app_fee': 45}, {'base': 2304, 'tax': 144, 'total': 2496}), ({'base': 622, 'resident': True, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 498, 'tax': 31, 'total': 556}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080})], [({'base': 4756, 'resident': True, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 35}, {'base': 3567, 'tax': 223, 'total': 3840}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 4135, 'resident': False, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 50, 'app': True, 'app_fee': 45}, {'base': 4135, 'tax': 258, 'total': 4491}), ({'base': 4117, 'resident': False, 'resident_pct': 20, 'tax_bp': 1850, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 4117, 'tax': 762, 'total': 4920}), ({'base': 1189, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 150, 'app': False, 'app_fee': 45}, {'base': 1189, 'tax': 268, 'total': 1607}), ({'base': 815, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 35}, {'base': 815, 'tax': 151, 'total': 1116}), ({'base': 816, 'resident': False, 'resident_pct': 20, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 35}, {'base': 816, 'tax': 151, 'total': 1017}), ({'base': 4473, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 2237, 'tax': 224, 'total': 2639})], [({'base': 3532, 'resident': False, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 3532, 'tax': 353, 'total': 3924}), ({'base': 4127, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 35}, {'base': 4127, 'tax': 763, 'total': 5040}), ({'base': 4285, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 4285, 'tax': 793, 'total': 5228}), ({'base': 2775, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': True, 'app_fee': 35}, {'base': 2775, 'tax': 513, 'total': 3379}), ({'base': 3543, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 1772, 'tax': 177, 'total': 2099}), ({'base': 4552, 'resident': True, 'resident_pct': 50, 'tax_bp': 625, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 2276, 'tax': 142, 'total': 2455}), ({'base': 2846, 'resident': True, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 2277, 'tax': 512, 'total': 2994}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080})], [({'base': 4467, 'resident': True, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 50, 'app': False, 'app_fee': 25}, {'base': 3574, 'tax': 357, 'total': 3981}), ({'base': 3746, 'resident': False, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 150, 'app': False, 'app_fee': 45}, {'base': 3746, 'tax': 375, 'total': 4271}), ({'base': 3485, 'resident': True, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 2788, 'tax': 627, 'total': 3446}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 4961, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 4961, 'tax': 1116, 'total': 6270}), ({'base': 3383, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 3383, 'tax': 761, 'total': 4325}), ({'base': 2453, 'resident': True, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 0, 'app': False, 'app_fee': 35}, {'base': 1840, 'tax': 184, 'total': 2024}), ({'base': 1002, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 45}, {'base': 1002, 'tax': 63, 'total': 1115})], [({'base': 1986, 'resident': False, 'resident_pct': 25, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 1986, 'tax': 447, 'total': 2614}), ({'base': 781, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 781, 'tax': 78, 'total': 937}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 2384, 'resident': True, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 0, 'app': False, 'app_fee': 45}, {'base': 1788, 'tax': 179, 'total': 1967}), ({'base': 1756, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 1756, 'tax': 395, 'total': 2182}), ({'base': 2491, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 45}, {'base': 1869, 'tax': 346, 'total': 2265}), ({'base': 3567, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 3567, 'tax': 803, 'total': 4413}), ({'base': 3650, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 1825, 'tax': 183, 'total': 2158})]]\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":"4a1d928f2a049697190c56a69119b7c828a567736122f06ff05734ecdd48c2e2","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'] + 5000) // 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': 2437, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 150, 'app': False, 'app_fee': 35}, {'base': 1219, 'tax': 122, 'total': 1491}), ({'base': 122, 'resident': True, 'resident_pct': 20, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 98, 'tax': 18, 'total': 266}), ({'base': 4927, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 0, 'app': False, 'app_fee': 35}, {'base': 4927, 'tax': 911, 'total': 5838}), ({'base': 2805, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 2805, 'tax': 281, 'total': 3125}), ({'base': 1795, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 1795, 'tax': 332, 'total': 2157}), ({'base': 2304, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 0, 'app': True, 'app_fee': 45}, {'base': 2304, 'tax': 144, 'total': 2496}), ({'base': 622, 'resident': True, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 498, 'tax': 31, 'total': 556}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080})], [({'base': 4756, 'resident': True, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 35}, {'base': 3567, 'tax': 223, 'total': 3840}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 4135, 'resident': False, 'resident_pct': 25, 'tax_bp': 625, 'surcharge': 50, 'app': True, 'app_fee': 45}, {'base': 4135, 'tax': 258, 'total': 4491}), ({'base': 4117, 'resident': False, 'resident_pct': 20, 'tax_bp': 1850, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 4117, 'tax': 762, 'total': 4920}), ({'base': 1189, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 150, 'app': False, 'app_fee': 45}, {'base': 1189, 'tax': 268, 'total': 1607}), ({'base': 815, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 35}, {'base': 815, 'tax': 151, 'total': 1116}), ({'base': 816, 'resident': False, 'resident_pct': 20, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 35}, {'base': 816, 'tax': 151, 'total': 1017}), ({'base': 4473, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 2237, 'tax': 224, 'total': 2639})], [({'base': 3532, 'resident': False, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 3532, 'tax': 353, 'total': 3924}), ({'base': 4127, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 35}, {'base': 4127, 'tax': 763, 'total': 5040}), ({'base': 4285, 'resident': False, 'resident_pct': 50, 'tax_bp': 1850, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 4285, 'tax': 793, 'total': 5228}), ({'base': 2775, 'resident': False, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': True, 'app_fee': 35}, {'base': 2775, 'tax': 513, 'total': 3379}), ({'base': 3543, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 1772, 'tax': 177, 'total': 2099}), ({'base': 4552, 'resident': True, 'resident_pct': 50, 'tax_bp': 625, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 2276, 'tax': 142, 'total': 2455}), ({'base': 2846, 'resident': True, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 45}, {'base': 2277, 'tax': 512, 'total': 2994}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080})], [({'base': 4467, 'resident': True, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 50, 'app': False, 'app_fee': 25}, {'base': 3574, 'tax': 357, 'total': 3981}), ({'base': 3746, 'resident': False, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 150, 'app': False, 'app_fee': 45}, {'base': 3746, 'tax': 375, 'total': 4271}), ({'base': 3485, 'resident': True, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 2788, 'tax': 627, 'total': 3446}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 4961, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 4961, 'tax': 1116, 'total': 6270}), ({'base': 3383, 'resident': False, 'resident_pct': 50, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 3383, 'tax': 761, 'total': 4325}), ({'base': 2453, 'resident': True, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 0, 'app': False, 'app_fee': 35}, {'base': 1840, 'tax': 184, 'total': 2024}), ({'base': 1002, 'resident': False, 'resident_pct': 20, 'tax_bp': 625, 'surcharge': 50, 'app': False, 'app_fee': 45}, {'base': 1002, 'tax': 63, 'total': 1115})], [({'base': 1986, 'resident': False, 'resident_pct': 25, 'tax_bp': 2250, 'surcharge': 150, 'app': True, 'app_fee': 25}, {'base': 1986, 'tax': 447, 'total': 2614}), ({'base': 781, 'resident': False, 'resident_pct': 20, 'tax_bp': 1000, 'surcharge': 50, 'app': True, 'app_fee': 25}, {'base': 781, 'tax': 78, 'total': 937}), ({'base': 1000, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 150, 'app': True, 'app_fee': 35}, {'base': 750, 'tax': 139, 'total': 1080}), ({'base': 2384, 'resident': True, 'resident_pct': 25, 'tax_bp': 1000, 'surcharge': 0, 'app': False, 'app_fee': 45}, {'base': 1788, 'tax': 179, 'total': 1967}), ({'base': 1756, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': True, 'app_fee': 25}, {'base': 1756, 'tax': 395, 'total': 2182}), ({'base': 2491, 'resident': True, 'resident_pct': 25, 'tax_bp': 1850, 'surcharge': 50, 'app': False, 'app_fee': 45}, {'base': 1869, 'tax': 346, 'total': 2265}), ({'base': 3567, 'resident': False, 'resident_pct': 20, 'tax_bp': 2250, 'surcharge': 0, 'app': True, 'app_fee': 35}, {'base': 3567, 'tax': 803, 'total': 4413}), ({'base': 3650, 'resident': True, 'resident_pct': 50, 'tax_bp': 1000, 'surcharge': 150, 'app': False, 'app_fee': 25}, {'base': 1825, 'tax': 183, 'total': 2158})]]\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-resident-discount","generated_at":"2026-09-29T14:48:05.980992+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":"Residents are charged the discount percentage rather than the discounted price.","sha256":"3fd629b4f3cbfce7b63ea403d3de6975a1c0c7d531cd5a1abf6e6ec30fc471f8","title":"Parking tax and fee composition: the resident percentage is kept instead of removed · 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.077,"exit_code":1,"observations":[{"actual":{"base":2387,"tax":239,"total":2776},"check":"fee oracle 0","expected":{"base":1219,"tax":122,"total":1491},"passed":false},{"actual":{"base":102,"tax":19,"total":271},"check":"fee oracle 1","expected":{"base":98,"tax":18,"total":266},"passed":false},{"actual":{"base":4927,"tax":911,"total":5838},"check":"fee oracle 2","expected":{"base":4927,"tax":911,"total":5838},"passed":true},{"actual":{"base":2805,"tax":281,"total":3125},"check":"fee oracle 3","expected":{"base":2805,"tax":281,"total":3125},"passed":true},{"actual":{"base":1795,"tax":332,"total":2157},"check":"fee oracle 4","expected":{"base":1795,"tax":332,"total":2157},"passed":true},{"actual":{"base":2304,"tax":144,"total":2496},"check":"fee oracle 5","expected":{"base":2304,"tax":144,"total":2496},"passed":true},{"actual":{"base":602,"tax":38,"total":667},"check":"fee oracle 6","expected":{"base":498,"tax":31,"total":556},"passed":false},{"actual":{"base":975,"tax":180,"total":1346},"check":"fee oracle 7","expected":{"base":750,"tax":139,"total":1080},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": {\"base\": 2387, \"tax\": 239, \"total\": 2776}, \"expected\": {\"base\": 1219, \"tax\": 122, \"total\": 1491}, \"passed\": false}, {\"check\": \"fee oracle 1\", \"actual\": {\"base\": 102, \"tax\": 19, \"total\": 271}, \"expected\": {\"base\": 98, \"tax\": 18, \"total\": 266}, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": {\"base\": 4927, \"tax\": 911, \"total\": 5838}, \"expected\": {\"base\": 4927, \"tax\": 911, \"total\": 5838}, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": {\"base\": 2805, \"tax\": 281, \"total\": 3125}, \"expected\": {\"base\": 2805, \"tax\": 281, \"total\": 3125}, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": {\"base\": 1795, \"tax\": 332, \"total\": 2157}, \"expected\": {\"base\": 1795, \"tax\": 332, \"total\": 2157}, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": {\"base\": 2304, \"tax\": 144, \"total\": 2496}, \"expected\": {\"base\": 2304, \"tax\": 144, \"total\": 2496}, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": {\"base\": 602, \"tax\": 38, \"total\": 667}, \"expected\": {\"base\": 498, \"tax\": 31, \"total\": 556}, \"passed\": false}, {\"check\": \"fee oracle 7\", \"actual\": {\"base\": 975, \"tax\": 180, \"total\": 1346}, \"expected\": {\"base\": 750, \"tax\": 139, \"total\": 1080}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.823,"exit_code":1,"observations":[{"actual":{"base":1218,"tax":122,"total":1490},"check":"fee oracle 0","expected":{"base":1219,"tax":122,"total":1491},"passed":false},{"actual":{"base":24,"tax":4,"total":178},"check":"fee oracle 1","expected":{"base":98,"tax":18,"total":266},"passed":false},{"actual":{"base":4927,"tax":911,"total":5838},"check":"fee oracle 2","expected":{"base":4927,"tax":911,"total":5838},"passed":true},{"actual":{"base":2805,"tax":281,"total":3125},"check":"fee oracle 3","expected":{"base":2805,"tax":281,"total":3125},"passed":true},{"actual":{"base":1795,"tax":332,"total":2157},"check":"fee oracle 4","expected":{"base":1795,"tax":332,"total":2157},"passed":true},{"actual":{"base":2304,"tax":144,"total":2496},"check":"fee oracle 5","expected":{"base":2304,"tax":144,"total":2496},"passed":true},{"actual":{"base":124,"tax":8,"total":159},"check":"fee oracle 6","expected":{"base":498,"tax":31,"total":556},"passed":false},{"actual":{"base":250,"tax":46,"total":487},"check":"fee oracle 7","expected":{"base":750,"tax":139,"total":1080},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": {\"base\": 1218, \"tax\": 122, \"total\": 1490}, \"expected\": {\"base\": 1219, \"tax\": 122, \"total\": 1491}, \"passed\": false}, {\"check\": \"fee oracle 1\", \"actual\": {\"base\": 24, \"tax\": 4, \"total\": 178}, \"expected\": {\"base\": 98, \"tax\": 18, \"total\": 266}, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": {\"base\": 4927, \"tax\": 911, \"total\": 5838}, \"expected\": {\"base\": 4927, \"tax\": 911, \"total\": 5838}, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": {\"base\": 2805, \"tax\": 281, \"total\": 3125}, \"expected\": {\"base\": 2805, \"tax\": 281, \"total\": 3125}, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": {\"base\": 1795, \"tax\": 332, \"total\": 2157}, \"expected\": {\"base\": 1795, \"tax\": 332, \"total\": 2157}, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": {\"base\": 2304, \"tax\": 144, \"total\": 2496}, \"expected\": {\"base\": 2304, \"tax\": 144, \"total\": 2496}, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": {\"base\": 124, \"tax\": 8, \"total\": 159}, \"expected\": {\"base\": 498, \"tax\": 31, \"total\": 556}, \"passed\": false}, {\"check\": \"fee oracle 7\", \"actual\": {\"base\": 250, \"tax\": 46, \"total\": 487}, \"expected\": {\"base\": 750, \"tax\": 139, \"total\": 1080}, \"passed\": false}], \"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."}}