{"abstract":"One-way bridge toll with frequent-user discount returns a wrong result when carpools of exactly the minimum occupancy are charged.","category":"Toll and parking fee computation","checks":8,"contract":"Input {trips: [[month index, direction, occupancy]], toll_dir, base, threshold, discount_pct, carpool_min}. Only trips in toll_dir are tolled. Carpools (occupancy >= carpool_min) are free and do not count. Paid trips are counted per month index (no carry-over between months); trips beyond threshold in a month pay floor(base*(100-discount)/100).","evaluation_group":"w2-toll_and_parking_fee_computation-bridge-frequent","failed_approach":"A hard-coded three ignores two-person carpool rules.","family":"w2-toll_and_parking_fee_computation-bridge-frequent-carpool","id":"FA-68646","implementations":{"attempt":{"sha256":"253b65447f3c93b916dd1b337ef6e0af692fb9a25ecbc47553aa252172601dae","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    counts = {}\n    total = 0\n    for month, d, occ in x['trips']:\n        if d != x['toll_dir']:\n            continue\n        if occ >= 3:\n            continue\n        k = counts.get(month, 0) + 1\n        counts[month] = k\n        if k > x['threshold']:\n            total += x['base'] * (100 - x['discount_pct']) // 100\n        else:\n            total += x['base']\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'trips': [[2, 'E', 1], [1, 'E', 4], [1, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 4, 'discount_pct': 40, 'carpool_min': 2}, 0), ({'trips': [[2, 'W', 1], [13, 'E', 2], [13, 'E', 1], [1, 'E', 2], [1, 'W', 3], [1, 'E', 1], [1, 'E', 3], [1, 'W', 2], [13, 'E', 2], [2, 'W', 1], [1, 'E', 4], [1, 'W', 1], [2, 'W', 1], [2, 'E', 3]], 'toll_dir': 'E', 'base': 600, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1200), ({'trips': [[1, 'E', 4], [1, 'W', 2], [1, 'E', 3], [2, 'E', 3], [1, 'W', 2], [1, 'E', 4], [13, 'W', 1], [1, 'W', 4], [1, 'E', 1]], 'toll_dir': 'E', 'base': 850, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 2}, 850), ({'trips': [[2, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'E', 1], [1, 'E', 1], [1, 'W', 2], [1, 'W', 2]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 3}, 2610), ({'trips': [[1, 'W', 1], [1, 'W', 3], [2, 'E', 1], [1, 'E', 4], [1, 'E', 3], [2, 'E', 4], [1, 'E', 4], [1, 'E', 4], [13, 'E', 3], [1, 'W', 1], [2, 'E', 3]], 'toll_dir': 'W', 'base': 600, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 1200), ({'trips': [[13, 'W', 1], [1, 'E', 3], [1, 'E', 2], [13, 'W', 2], [1, 'E', 3], [13, 'W', 1], [13, 'W', 1], [13, 'W', 1], [1, 'W', 1], [2, 'W', 2], [1, 'E', 1], [13, 'E', 3], [1, 'W', 2]], 'toll_dir': 'W', 'base': 600, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 2}, 2700), ({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'W', 1], [13, 'E', 1], [1, 'E', 1], [1, 'W', 1], [13, 'W', 3], [2, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 2}, 1450)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'W', 2], [13, 'E', 4], [13, 'E', 4], [13, 'E', 2], [13, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 3}, 850), ({'trips': [[1, 'E', 1], [1, 'E', 1], [2, 'W', 3]], 'toll_dir': 'E', 'base': 850, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1487), ({'trips': [[13, 'W', 2], [13, 'W', 1], [13, 'W', 1], [13, 'W', 4], [1, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 4, 'discount_pct': 33, 'carpool_min': 2}, 0), ({'trips': [[1, 'E', 1], [1, 'W', 1], [1, 'E', 1], [2, 'E', 2], [2, 'W', 2], [1, 'W', 1]], 'toll_dir': 'W', 'base': 600, 'threshold': 1, 'discount_pct': 33, 'carpool_min': 2}, 1002), ({'trips': [[13, 'W', 2], [1, 'E', 2], [2, 'W', 1], [13, 'W', 4], [1, 'E', 3], [1, 'W', 3], [1, 'E', 1], [2, 'E', 2]], 'toll_dir': 'W', 'base': 850, 'threshold': 1, 'discount_pct': 33, 'carpool_min': 2}, 850), ({'trips': [[13, 'W', 1], [1, 'E', 2], [13, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'E', 2], [1, 'E', 3], [2, 'E', 1], [1, 'W', 2], [1, 'W', 1], [1, 'E', 1], [2, 'W', 1], [1, 'W', 1], [2, 'E', 1], [1, 'E', 3], [1, 'E', 2]], 'toll_dir': 'W', 'base': 850, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 5610), ({'trips': [[1, 'W', 2], [1, 'W', 1], [13, 'W', 1], [2, 'W', 1]], 'toll_dir': 'E', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 2}, 0)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[1, 'W', 1], [2, 'W', 4], [1, 'E', 3], [1, 'E', 3], [1, 'W', 1], [13, 'E', 1], [1, 'E', 4], [2, 'E', 1], [1, 'W', 2], [2, 'E', 1], [2, 'E', 3]], 'toll_dir': 'E', 'base': 850, 'threshold': 3, 'discount_pct': 25, 'carpool_min': 2}, 2550), ({'trips': [[13, 'E', 1], [1, 'W', 1], [13, 'E', 2], [1, 'E', 1], [1, 'W', 1], [1, 'W', 2], [1, 'W', 4], [1, 'W', 1], [2, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 3}, 1650), ({'trips': [[1, 'W', 2], [1, 'W', 4], [1, 'E', 1], [13, 'E', 1], [1, 'E', 1], [2, 'E', 1], [2, 'W', 1], [2, 'W', 1], [2, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 2}, 1700), ({'trips': [[13, 'E', 1], [13, 'E', 2], [1, 'W', 2], [1, 'E', 3], [2, 'W', 4], [1, 'W', 2]], 'toll_dir': 'W', 'base': 725, 'threshold': 4, 'discount_pct': 40, 'carpool_min': 2}, 0), ({'trips': [[13, 'E', 3], [1, 'E', 3], [1, 'E', 3], [1, 'E', 1], [1, 'E', 1], [1, 'W', 4]], 'toll_dir': 'W', 'base': 600, 'threshold': 5, 'discount_pct': 25, 'carpool_min': 2}, 0), ({'trips': [[1, 'E', 2], [1, 'W', 1], [1, 'W', 1], [1, 'W', 1], [13, 'W', 3], [13, 'E', 4], [1, 'W', 3], [1, 'E', 3], [1, 'E', 1], [1, 'W', 1], [1, 'E', 3]], 'toll_dir': 'W', 'base': 725, 'threshold': 3, 'discount_pct': 25, 'carpool_min': 2}, 2718), ({'trips': [[2, 'E', 3], [2, 'W', 1], [1, 'E', 2], [1, 'E', 2], [2, 'W', 1], [1, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 3, 'discount_pct': 33, 'carpool_min': 2}, 1700)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'E', 3], [1, 'E', 1], [1, 'W', 1], [2, 'E', 1], [1, 'E', 1], [13, 'W', 1], [13, 'E', 1], [13, 'E', 3]], 'toll_dir': 'W', 'base': 850, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 3}, 1700), ({'trips': [[2, 'E', 2], [2, 'E', 4], [13, 'E', 2], [1, 'W', 2], [2, 'W', 3], [2, 'E', 1], [2, 'W', 1], [2, 'E', 1], [2, 'E', 2], [1, 'W', 2], [13, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 2760), ({'trips': [[13, 'W', 1], [2, 'W', 1], [1, 'W', 2], [1, 'W', 1], [13, 'W', 1], [1, 'E', 1], [1, 'W', 1], [1, 'W', 4], [1, 'W', 1], [2, 'E', 1]], 'toll_dir': 'E', 'base': 725, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1450), ({'trips': [[1, 'E', 1], [13, 'W', 1], [1, 'E', 2], [1, 'W', 3], [1, 'W', 1], [2, 'W', 3], [1, 'E', 1], [1, 'E', 1], [2, 'E', 2]], 'toll_dir': 'E', 'base': 725, 'threshold': 3, 'discount_pct': 33, 'carpool_min': 2}, 2175), ({'trips': [[1, 'E', 1], [2, 'W', 2], [2, 'E', 1], [2, 'W', 1], [1, 'E', 2], [13, 'E', 1], [1, 'W', 2], [1, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 3}, 2400), ({'trips': [[1, 'E', 1], [13, 'E', 4], [2, 'E', 1], [13, 'W', 4], [1, 'W', 1], [1, 'W', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 3}, 1360), ({'trips': [[13, 'E', 4], [1, 'E', 4], [1, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'W', 2], [13, 'E', 1], [1, 'E', 3], [1, 'W', 3], [1, 'W', 2], [13, 'E', 1]], 'toll_dir': 'W', 'base': 600, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 2}, 1200)], [({'trips': [[13, 'E', 4], [13, 'W', 1], [1, 'W', 1], [1, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 3}, 1450), ({'trips': [[1, 'W', 1], [13, 'E', 1], [1, 'E', 1], [2, 'W', 1], [1, 'E', 1], [1, 'E', 2], [2, 'E', 2], [1, 'W', 1], [1, 'E', 2]], 'toll_dir': 'E', 'base': 600, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 2}, 1800), ({'trips': [[2, 'E', 4], [2, 'W', 1], [2, 'E', 1], [1, 'E', 3], [1, 'W', 2], [13, 'W', 1], [2, 'W', 4], [1, 'E', 1], [1, 'E', 1], [2, 'W', 1], [13, 'W', 2], [1, 'E', 2], [2, 'E', 2], [1, 'W', 1], [1, 'W', 3]], 'toll_dir': 'E', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 3}, 3335), ({'trips': [[1, 'E', 2], [2, 'W', 3], [1, 'W', 1], [2, 'E', 3], [13, 'E', 1], [1, 'E', 3], [1, 'W', 2], [1, 'W', 1], [1, 'E', 3], [1, 'W', 3], [13, 'E', 1], [13, 'E', 3], [1, 'W', 1], [1, 'W', 1], [1, 'W', 4]], 'toll_dir': 'W', 'base': 600, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 3}, 2040), ({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[1, 'E', 2], [1, 'W', 1], [1, 'E', 3], [2, 'W', 2], [1, 'W', 1], [1, 'E', 1], [2, 'W', 4], [1, 'W', 3], [1, 'E', 3], [2, 'E', 3], [2, 'E', 1], [2, 'E', 2], [13, 'E', 1], [1, 'W', 1], [1, 'E', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 4, 'discount_pct': 25, 'carpool_min': 2}, 2400), ({'trips': [[13, 'E', 1], [1, 'E', 3], [1, 'W', 1], [1, 'W', 3], [1, 'E', 3], [1, 'E', 1], [2, 'E', 2], [1, 'E', 3], [13, 'W', 1], [13, 'W', 3]], 'toll_dir': 'W', 'base': 600, 'threshold': 4, 'discount_pct': 33, 'carpool_min': 2}, 1200), ({'trips': [[2, 'W', 4], [1, 'E', 1], [1, 'E', 1], [13, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 5, 'discount_pct': 33, 'carpool_min': 3}, 0)]]\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":"93ce345ee84c1af0700f3d1cf7a4fbe907e2a021043dbf4d1a8e5242557f7523","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    counts = {}\n    total = 0\n    for month, d, occ in x['trips']:\n        if d != x['toll_dir']:\n            continue\n        if occ > x['carpool_min']:\n            continue\n        k = counts.get(month, 0) + 1\n        counts[month] = k\n        if k > x['threshold']:\n            total += x['base'] * (100 - x['discount_pct']) // 100\n        else:\n            total += x['base']\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'trips': [[2, 'E', 1], [1, 'E', 4], [1, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 4, 'discount_pct': 40, 'carpool_min': 2}, 0), ({'trips': [[2, 'W', 1], [13, 'E', 2], [13, 'E', 1], [1, 'E', 2], [1, 'W', 3], [1, 'E', 1], [1, 'E', 3], [1, 'W', 2], [13, 'E', 2], [2, 'W', 1], [1, 'E', 4], [1, 'W', 1], [2, 'W', 1], [2, 'E', 3]], 'toll_dir': 'E', 'base': 600, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1200), ({'trips': [[1, 'E', 4], [1, 'W', 2], [1, 'E', 3], [2, 'E', 3], [1, 'W', 2], [1, 'E', 4], [13, 'W', 1], [1, 'W', 4], [1, 'E', 1]], 'toll_dir': 'E', 'base': 850, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 2}, 850), ({'trips': [[2, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'E', 1], [1, 'E', 1], [1, 'W', 2], [1, 'W', 2]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 3}, 2610), ({'trips': [[1, 'W', 1], [1, 'W', 3], [2, 'E', 1], [1, 'E', 4], [1, 'E', 3], [2, 'E', 4], [1, 'E', 4], [1, 'E', 4], [13, 'E', 3], [1, 'W', 1], [2, 'E', 3]], 'toll_dir': 'W', 'base': 600, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 1200), ({'trips': [[13, 'W', 1], [1, 'E', 3], [1, 'E', 2], [13, 'W', 2], [1, 'E', 3], [13, 'W', 1], [13, 'W', 1], [13, 'W', 1], [1, 'W', 1], [2, 'W', 2], [1, 'E', 1], [13, 'E', 3], [1, 'W', 2]], 'toll_dir': 'W', 'base': 600, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 2}, 2700), ({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'W', 1], [13, 'E', 1], [1, 'E', 1], [1, 'W', 1], [13, 'W', 3], [2, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 2}, 1450)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'W', 2], [13, 'E', 4], [13, 'E', 4], [13, 'E', 2], [13, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 3}, 850), ({'trips': [[1, 'E', 1], [1, 'E', 1], [2, 'W', 3]], 'toll_dir': 'E', 'base': 850, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1487), ({'trips': [[13, 'W', 2], [13, 'W', 1], [13, 'W', 1], [13, 'W', 4], [1, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 4, 'discount_pct': 33, 'carpool_min': 2}, 0), ({'trips': [[1, 'E', 1], [1, 'W', 1], [1, 'E', 1], [2, 'E', 2], [2, 'W', 2], [1, 'W', 1]], 'toll_dir': 'W', 'base': 600, 'threshold': 1, 'discount_pct': 33, 'carpool_min': 2}, 1002), ({'trips': [[13, 'W', 2], [1, 'E', 2], [2, 'W', 1], [13, 'W', 4], [1, 'E', 3], [1, 'W', 3], [1, 'E', 1], [2, 'E', 2]], 'toll_dir': 'W', 'base': 850, 'threshold': 1, 'discount_pct': 33, 'carpool_min': 2}, 850), ({'trips': [[13, 'W', 1], [1, 'E', 2], [13, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'E', 2], [1, 'E', 3], [2, 'E', 1], [1, 'W', 2], [1, 'W', 1], [1, 'E', 1], [2, 'W', 1], [1, 'W', 1], [2, 'E', 1], [1, 'E', 3], [1, 'E', 2]], 'toll_dir': 'W', 'base': 850, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 5610), ({'trips': [[1, 'W', 2], [1, 'W', 1], [13, 'W', 1], [2, 'W', 1]], 'toll_dir': 'E', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 2}, 0)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[1, 'W', 1], [2, 'W', 4], [1, 'E', 3], [1, 'E', 3], [1, 'W', 1], [13, 'E', 1], [1, 'E', 4], [2, 'E', 1], [1, 'W', 2], [2, 'E', 1], [2, 'E', 3]], 'toll_dir': 'E', 'base': 850, 'threshold': 3, 'discount_pct': 25, 'carpool_min': 2}, 2550), ({'trips': [[13, 'E', 1], [1, 'W', 1], [13, 'E', 2], [1, 'E', 1], [1, 'W', 1], [1, 'W', 2], [1, 'W', 4], [1, 'W', 1], [2, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 3}, 1650), ({'trips': [[1, 'W', 2], [1, 'W', 4], [1, 'E', 1], [13, 'E', 1], [1, 'E', 1], [2, 'E', 1], [2, 'W', 1], [2, 'W', 1], [2, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 2}, 1700), ({'trips': [[13, 'E', 1], [13, 'E', 2], [1, 'W', 2], [1, 'E', 3], [2, 'W', 4], [1, 'W', 2]], 'toll_dir': 'W', 'base': 725, 'threshold': 4, 'discount_pct': 40, 'carpool_min': 2}, 0), ({'trips': [[13, 'E', 3], [1, 'E', 3], [1, 'E', 3], [1, 'E', 1], [1, 'E', 1], [1, 'W', 4]], 'toll_dir': 'W', 'base': 600, 'threshold': 5, 'discount_pct': 25, 'carpool_min': 2}, 0), ({'trips': [[1, 'E', 2], [1, 'W', 1], [1, 'W', 1], [1, 'W', 1], [13, 'W', 3], [13, 'E', 4], [1, 'W', 3], [1, 'E', 3], [1, 'E', 1], [1, 'W', 1], [1, 'E', 3]], 'toll_dir': 'W', 'base': 725, 'threshold': 3, 'discount_pct': 25, 'carpool_min': 2}, 2718), ({'trips': [[2, 'E', 3], [2, 'W', 1], [1, 'E', 2], [1, 'E', 2], [2, 'W', 1], [1, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 3, 'discount_pct': 33, 'carpool_min': 2}, 1700)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'E', 3], [1, 'E', 1], [1, 'W', 1], [2, 'E', 1], [1, 'E', 1], [13, 'W', 1], [13, 'E', 1], [13, 'E', 3]], 'toll_dir': 'W', 'base': 850, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 3}, 1700), ({'trips': [[2, 'E', 2], [2, 'E', 4], [13, 'E', 2], [1, 'W', 2], [2, 'W', 3], [2, 'E', 1], [2, 'W', 1], [2, 'E', 1], [2, 'E', 2], [1, 'W', 2], [13, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 2760), ({'trips': [[13, 'W', 1], [2, 'W', 1], [1, 'W', 2], [1, 'W', 1], [13, 'W', 1], [1, 'E', 1], [1, 'W', 1], [1, 'W', 4], [1, 'W', 1], [2, 'E', 1]], 'toll_dir': 'E', 'base': 725, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1450), ({'trips': [[1, 'E', 1], [13, 'W', 1], [1, 'E', 2], [1, 'W', 3], [1, 'W', 1], [2, 'W', 3], [1, 'E', 1], [1, 'E', 1], [2, 'E', 2]], 'toll_dir': 'E', 'base': 725, 'threshold': 3, 'discount_pct': 33, 'carpool_min': 2}, 2175), ({'trips': [[1, 'E', 1], [2, 'W', 2], [2, 'E', 1], [2, 'W', 1], [1, 'E', 2], [13, 'E', 1], [1, 'W', 2], [1, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 3}, 2400), ({'trips': [[1, 'E', 1], [13, 'E', 4], [2, 'E', 1], [13, 'W', 4], [1, 'W', 1], [1, 'W', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 3}, 1360), ({'trips': [[13, 'E', 4], [1, 'E', 4], [1, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'W', 2], [13, 'E', 1], [1, 'E', 3], [1, 'W', 3], [1, 'W', 2], [13, 'E', 1]], 'toll_dir': 'W', 'base': 600, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 2}, 1200)], [({'trips': [[13, 'E', 4], [13, 'W', 1], [1, 'W', 1], [1, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 3}, 1450), ({'trips': [[1, 'W', 1], [13, 'E', 1], [1, 'E', 1], [2, 'W', 1], [1, 'E', 1], [1, 'E', 2], [2, 'E', 2], [1, 'W', 1], [1, 'E', 2]], 'toll_dir': 'E', 'base': 600, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 2}, 1800), ({'trips': [[2, 'E', 4], [2, 'W', 1], [2, 'E', 1], [1, 'E', 3], [1, 'W', 2], [13, 'W', 1], [2, 'W', 4], [1, 'E', 1], [1, 'E', 1], [2, 'W', 1], [13, 'W', 2], [1, 'E', 2], [2, 'E', 2], [1, 'W', 1], [1, 'W', 3]], 'toll_dir': 'E', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 3}, 3335), ({'trips': [[1, 'E', 2], [2, 'W', 3], [1, 'W', 1], [2, 'E', 3], [13, 'E', 1], [1, 'E', 3], [1, 'W', 2], [1, 'W', 1], [1, 'E', 3], [1, 'W', 3], [13, 'E', 1], [13, 'E', 3], [1, 'W', 1], [1, 'W', 1], [1, 'W', 4]], 'toll_dir': 'W', 'base': 600, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 3}, 2040), ({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[1, 'E', 2], [1, 'W', 1], [1, 'E', 3], [2, 'W', 2], [1, 'W', 1], [1, 'E', 1], [2, 'W', 4], [1, 'W', 3], [1, 'E', 3], [2, 'E', 3], [2, 'E', 1], [2, 'E', 2], [13, 'E', 1], [1, 'W', 1], [1, 'E', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 4, 'discount_pct': 25, 'carpool_min': 2}, 2400), ({'trips': [[13, 'E', 1], [1, 'E', 3], [1, 'W', 1], [1, 'W', 3], [1, 'E', 3], [1, 'E', 1], [2, 'E', 2], [1, 'E', 3], [13, 'W', 1], [13, 'W', 3]], 'toll_dir': 'W', 'base': 600, 'threshold': 4, 'discount_pct': 33, 'carpool_min': 2}, 1200), ({'trips': [[2, 'W', 4], [1, 'E', 1], [1, 'E', 1], [13, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 5, 'discount_pct': 33, 'carpool_min': 3}, 0)]]\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"},"fixed":{"sha256":"9bd71e8623b224f340db9a8cc0999f72b40511eeb988f47d7025f9d5a00aa55b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    counts = {}\n    total = 0\n    for month, d, occ in x['trips']:\n        if d != x['toll_dir']:\n            continue\n        if occ >= x['carpool_min']:\n            continue\n        k = counts.get(month, 0) + 1\n        counts[month] = k\n        if k > x['threshold']:\n            total += x['base'] * (100 - x['discount_pct']) // 100\n        else:\n            total += x['base']\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'trips': [[2, 'E', 1], [1, 'E', 4], [1, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 4, 'discount_pct': 40, 'carpool_min': 2}, 0), ({'trips': [[2, 'W', 1], [13, 'E', 2], [13, 'E', 1], [1, 'E', 2], [1, 'W', 3], [1, 'E', 1], [1, 'E', 3], [1, 'W', 2], [13, 'E', 2], [2, 'W', 1], [1, 'E', 4], [1, 'W', 1], [2, 'W', 1], [2, 'E', 3]], 'toll_dir': 'E', 'base': 600, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1200), ({'trips': [[1, 'E', 4], [1, 'W', 2], [1, 'E', 3], [2, 'E', 3], [1, 'W', 2], [1, 'E', 4], [13, 'W', 1], [1, 'W', 4], [1, 'E', 1]], 'toll_dir': 'E', 'base': 850, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 2}, 850), ({'trips': [[2, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'E', 1], [1, 'E', 1], [1, 'W', 2], [1, 'W', 2]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 3}, 2610), ({'trips': [[1, 'W', 1], [1, 'W', 3], [2, 'E', 1], [1, 'E', 4], [1, 'E', 3], [2, 'E', 4], [1, 'E', 4], [1, 'E', 4], [13, 'E', 3], [1, 'W', 1], [2, 'E', 3]], 'toll_dir': 'W', 'base': 600, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 1200), ({'trips': [[13, 'W', 1], [1, 'E', 3], [1, 'E', 2], [13, 'W', 2], [1, 'E', 3], [13, 'W', 1], [13, 'W', 1], [13, 'W', 1], [1, 'W', 1], [2, 'W', 2], [1, 'E', 1], [13, 'E', 3], [1, 'W', 2]], 'toll_dir': 'W', 'base': 600, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 2}, 2700), ({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'W', 1], [13, 'E', 1], [1, 'E', 1], [1, 'W', 1], [13, 'W', 3], [2, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 2}, 1450)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'W', 2], [13, 'E', 4], [13, 'E', 4], [13, 'E', 2], [13, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 3}, 850), ({'trips': [[1, 'E', 1], [1, 'E', 1], [2, 'W', 3]], 'toll_dir': 'E', 'base': 850, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1487), ({'trips': [[13, 'W', 2], [13, 'W', 1], [13, 'W', 1], [13, 'W', 4], [1, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 4, 'discount_pct': 33, 'carpool_min': 2}, 0), ({'trips': [[1, 'E', 1], [1, 'W', 1], [1, 'E', 1], [2, 'E', 2], [2, 'W', 2], [1, 'W', 1]], 'toll_dir': 'W', 'base': 600, 'threshold': 1, 'discount_pct': 33, 'carpool_min': 2}, 1002), ({'trips': [[13, 'W', 2], [1, 'E', 2], [2, 'W', 1], [13, 'W', 4], [1, 'E', 3], [1, 'W', 3], [1, 'E', 1], [2, 'E', 2]], 'toll_dir': 'W', 'base': 850, 'threshold': 1, 'discount_pct': 33, 'carpool_min': 2}, 850), ({'trips': [[13, 'W', 1], [1, 'E', 2], [13, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'E', 2], [1, 'E', 3], [2, 'E', 1], [1, 'W', 2], [1, 'W', 1], [1, 'E', 1], [2, 'W', 1], [1, 'W', 1], [2, 'E', 1], [1, 'E', 3], [1, 'E', 2]], 'toll_dir': 'W', 'base': 850, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 5610), ({'trips': [[1, 'W', 2], [1, 'W', 1], [13, 'W', 1], [2, 'W', 1]], 'toll_dir': 'E', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 2}, 0)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[1, 'W', 1], [2, 'W', 4], [1, 'E', 3], [1, 'E', 3], [1, 'W', 1], [13, 'E', 1], [1, 'E', 4], [2, 'E', 1], [1, 'W', 2], [2, 'E', 1], [2, 'E', 3]], 'toll_dir': 'E', 'base': 850, 'threshold': 3, 'discount_pct': 25, 'carpool_min': 2}, 2550), ({'trips': [[13, 'E', 1], [1, 'W', 1], [13, 'E', 2], [1, 'E', 1], [1, 'W', 1], [1, 'W', 2], [1, 'W', 4], [1, 'W', 1], [2, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 3}, 1650), ({'trips': [[1, 'W', 2], [1, 'W', 4], [1, 'E', 1], [13, 'E', 1], [1, 'E', 1], [2, 'E', 1], [2, 'W', 1], [2, 'W', 1], [2, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 2}, 1700), ({'trips': [[13, 'E', 1], [13, 'E', 2], [1, 'W', 2], [1, 'E', 3], [2, 'W', 4], [1, 'W', 2]], 'toll_dir': 'W', 'base': 725, 'threshold': 4, 'discount_pct': 40, 'carpool_min': 2}, 0), ({'trips': [[13, 'E', 3], [1, 'E', 3], [1, 'E', 3], [1, 'E', 1], [1, 'E', 1], [1, 'W', 4]], 'toll_dir': 'W', 'base': 600, 'threshold': 5, 'discount_pct': 25, 'carpool_min': 2}, 0), ({'trips': [[1, 'E', 2], [1, 'W', 1], [1, 'W', 1], [1, 'W', 1], [13, 'W', 3], [13, 'E', 4], [1, 'W', 3], [1, 'E', 3], [1, 'E', 1], [1, 'W', 1], [1, 'E', 3]], 'toll_dir': 'W', 'base': 725, 'threshold': 3, 'discount_pct': 25, 'carpool_min': 2}, 2718), ({'trips': [[2, 'E', 3], [2, 'W', 1], [1, 'E', 2], [1, 'E', 2], [2, 'W', 1], [1, 'E', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 3, 'discount_pct': 33, 'carpool_min': 2}, 1700)], [({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[13, 'E', 3], [1, 'E', 1], [1, 'W', 1], [2, 'E', 1], [1, 'E', 1], [13, 'W', 1], [13, 'E', 1], [13, 'E', 3]], 'toll_dir': 'W', 'base': 850, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 3}, 1700), ({'trips': [[2, 'E', 2], [2, 'E', 4], [13, 'E', 2], [1, 'W', 2], [2, 'W', 3], [2, 'E', 1], [2, 'W', 1], [2, 'E', 1], [2, 'E', 2], [1, 'W', 2], [13, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 3, 'discount_pct': 40, 'carpool_min': 3}, 2760), ({'trips': [[13, 'W', 1], [2, 'W', 1], [1, 'W', 2], [1, 'W', 1], [13, 'W', 1], [1, 'E', 1], [1, 'W', 1], [1, 'W', 4], [1, 'W', 1], [2, 'E', 1]], 'toll_dir': 'E', 'base': 725, 'threshold': 1, 'discount_pct': 25, 'carpool_min': 2}, 1450), ({'trips': [[1, 'E', 1], [13, 'W', 1], [1, 'E', 2], [1, 'W', 3], [1, 'W', 1], [2, 'W', 3], [1, 'E', 1], [1, 'E', 1], [2, 'E', 2]], 'toll_dir': 'E', 'base': 725, 'threshold': 3, 'discount_pct': 33, 'carpool_min': 2}, 2175), ({'trips': [[1, 'E', 1], [2, 'W', 2], [2, 'E', 1], [2, 'W', 1], [1, 'E', 2], [13, 'E', 1], [1, 'W', 2], [1, 'W', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 3}, 2400), ({'trips': [[1, 'E', 1], [13, 'E', 4], [2, 'E', 1], [13, 'W', 4], [1, 'W', 1], [1, 'W', 1]], 'toll_dir': 'W', 'base': 850, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 3}, 1360), ({'trips': [[13, 'E', 4], [1, 'E', 4], [1, 'W', 1], [1, 'W', 1], [1, 'E', 1], [1, 'W', 2], [13, 'E', 1], [1, 'E', 3], [1, 'W', 3], [1, 'W', 2], [13, 'E', 1]], 'toll_dir': 'W', 'base': 600, 'threshold': 5, 'discount_pct': 40, 'carpool_min': 2}, 1200)], [({'trips': [[13, 'E', 4], [13, 'W', 1], [1, 'W', 1], [1, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 25, 'carpool_min': 3}, 1450), ({'trips': [[1, 'W', 1], [13, 'E', 1], [1, 'E', 1], [2, 'W', 1], [1, 'E', 1], [1, 'E', 2], [2, 'E', 2], [1, 'W', 1], [1, 'E', 2]], 'toll_dir': 'E', 'base': 600, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 2}, 1800), ({'trips': [[2, 'E', 4], [2, 'W', 1], [2, 'E', 1], [1, 'E', 3], [1, 'W', 2], [13, 'W', 1], [2, 'W', 4], [1, 'E', 1], [1, 'E', 1], [2, 'W', 1], [13, 'W', 2], [1, 'E', 2], [2, 'E', 2], [1, 'W', 1], [1, 'W', 3]], 'toll_dir': 'E', 'base': 725, 'threshold': 2, 'discount_pct': 40, 'carpool_min': 3}, 3335), ({'trips': [[1, 'E', 2], [2, 'W', 3], [1, 'W', 1], [2, 'E', 3], [13, 'E', 1], [1, 'E', 3], [1, 'W', 2], [1, 'W', 1], [1, 'E', 3], [1, 'W', 3], [13, 'E', 1], [13, 'E', 3], [1, 'W', 1], [1, 'W', 1], [1, 'W', 4]], 'toll_dir': 'W', 'base': 600, 'threshold': 1, 'discount_pct': 40, 'carpool_min': 3}, 2040), ({'trips': [[1, 'W', 1], [1, 'W', 1], [1, 'W', 3], [1, 'W', 1], [13, 'W', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 2, 'discount_pct': 33, 'carpool_min': 3}, 2660), ({'trips': [[1, 'E', 2], [1, 'W', 1], [1, 'E', 3], [2, 'W', 2], [1, 'W', 1], [1, 'E', 1], [2, 'W', 4], [1, 'W', 3], [1, 'E', 3], [2, 'E', 3], [2, 'E', 1], [2, 'E', 2], [13, 'E', 1], [1, 'W', 1], [1, 'E', 1]], 'toll_dir': 'E', 'base': 600, 'threshold': 4, 'discount_pct': 25, 'carpool_min': 2}, 2400), ({'trips': [[13, 'E', 1], [1, 'E', 3], [1, 'W', 1], [1, 'W', 3], [1, 'E', 3], [1, 'E', 1], [2, 'E', 2], [1, 'E', 3], [13, 'W', 1], [13, 'W', 3]], 'toll_dir': 'W', 'base': 600, 'threshold': 4, 'discount_pct': 33, 'carpool_min': 2}, 1200), ({'trips': [[2, 'W', 4], [1, 'E', 1], [1, 'E', 1], [13, 'E', 1]], 'toll_dir': 'W', 'base': 725, 'threshold': 5, 'discount_pct': 33, 'carpool_min': 3}, 0)]]\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-bridge-frequent-carpool","generated_at":"2026-09-29T14:48:04.186675+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.","repair":"Restore the carpool threshold rule so that the step reads `if occ >= x['carpool_min']:`.","root_cause":"Vehicles at exactly the carpool minimum pay the toll.","sha256":"cd5e11a9f2b66cd578ad064878f3f91363602c1a9e22298ff3aac30fecc5a9b2","title":"One-way bridge toll with frequent-user discount: carpools of exactly the minimum occupancy are charged · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.904,"exit_code":1,"observations":[{"actual":0,"check":"fee oracle 0","expected":0,"passed":true},{"actual":2550,"check":"fee oracle 1","expected":1200,"passed":false},{"actual":850,"check":"fee oracle 2","expected":850,"passed":true},{"actual":2610,"check":"fee oracle 3","expected":2610,"passed":true},{"actual":1200,"check":"fee oracle 4","expected":1200,"passed":true},{"actual":4350,"check":"fee oracle 5","expected":2700,"passed":false},{"actual":2660,"check":"fee oracle 6","expected":2660,"passed":true},{"actual":1450,"check":"fee oracle 7","expected":1450,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 2550, \"expected\": 1200, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": 850, \"expected\": 850, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 2610, \"expected\": 2610, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1200, \"expected\": 1200, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 4350, \"expected\": 2700, \"passed\": false}, {\"check\": \"fee oracle 6\", \"actual\": 2660, \"expected\": 2660, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 1450, \"expected\": 1450, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.685,"exit_code":1,"observations":[{"actual":0,"check":"fee oracle 0","expected":0,"passed":true},{"actual":2550,"check":"fee oracle 1","expected":1200,"passed":false},{"actual":850,"check":"fee oracle 2","expected":850,"passed":true},{"actual":2610,"check":"fee oracle 3","expected":2610,"passed":true},{"actual":1800,"check":"fee oracle 4","expected":1200,"passed":false},{"actual":4350,"check":"fee oracle 5","expected":2700,"passed":false},{"actual":3145,"check":"fee oracle 6","expected":2660,"passed":false},{"actual":1450,"check":"fee oracle 7","expected":1450,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 2550, \"expected\": 1200, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": 850, \"expected\": 850, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 2610, \"expected\": 2610, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1800, \"expected\": 1200, \"passed\": false}, {\"check\": \"fee oracle 5\", \"actual\": 4350, \"expected\": 2700, \"passed\": false}, {\"check\": \"fee oracle 6\", \"actual\": 3145, \"expected\": 2660, \"passed\": false}, {\"check\": \"fee oracle 7\", \"actual\": 1450, \"expected\": 1450, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.597,"exit_code":0,"observations":[{"actual":0,"check":"fee oracle 0","expected":0,"passed":true},{"actual":1200,"check":"fee oracle 1","expected":1200,"passed":true},{"actual":850,"check":"fee oracle 2","expected":850,"passed":true},{"actual":2610,"check":"fee oracle 3","expected":2610,"passed":true},{"actual":1200,"check":"fee oracle 4","expected":1200,"passed":true},{"actual":2700,"check":"fee oracle 5","expected":2700,"passed":true},{"actual":2660,"check":"fee oracle 6","expected":2660,"passed":true},{"actual":1450,"check":"fee oracle 7","expected":1450,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 1200, \"expected\": 1200, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 850, \"expected\": 850, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 2610, \"expected\": 2610, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1200, \"expected\": 1200, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 2700, \"expected\": 2700, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 2660, \"expected\": 2660, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 1450, \"expected\": 1450, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}