{"abstract":"Early bird flat rate returns a wrong result when saturday is treated as a weekday.","category":"Toll and parking fee computation","checks":8,"contract":"Input {entry: [day, minute], exit: [day, minute], hourly, daily_max, early}; day % 7 == 0 is Monday. Regular fee = min(started hours*hourly, started 24h periods (at least 1)*daily_max). Early bird applies on weekdays when entry is 06:00-09:00 inclusive and exit is the same day 15:00-19:00 inclusive; the customer pays min(regular, early). Negative durations are 'invalid'.","evaluation_group":"w2-toll_and_parking_fee_computation-early-bird","failed_approach":"Assuming Sunday is day zero excludes Monday and admits Saturday.","family":"w2-toll_and_parking_fee_computation-early-bird-weekday","id":"FA-68396","implementations":{"attempt":{"sha256":"6984e2a6ff410f0d0fb2baba7441ced29d94321695d0260e39473c8e1ce2af13","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    ed, em = x['entry']\n    xd, xm = x['exit']\n    dur = (xd - ed) * 1440 + xm - em\n    if dur < 0:\n        return 'invalid'\n    hours = -(-dur // 60)\n    days = max(1, -(-dur // 1440))\n    regular = min(hours * x['hourly'], days * x['daily_max'])\n    eligible = ed % 7 > 0 and 360 <= em <= 540 and xd == ed and 900 <= xm <= 1140\n    if eligible:\n        return min(regular, x['early'])\n    return regular\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'entry': [5, 540], 'exit': [5, 900], 'hourly': 400, 'daily_max': 1800, 'early': 900}, 1800), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 400], 'exit': [5, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [0, 541], 'exit': [0, 1141], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [1, 360], 'exit': [1, 1140], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1000), ({'entry': [12, 498], 'exit': [12, 891], 'hourly': 300, 'daily_max': 2500, 'early': 1400}, 2100), ({'entry': [6, 360], 'exit': [6, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800)], [({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 360], 'exit': [5, 980], 'hourly': 400, 'daily_max': 1200, 'early': 900}, 1200), ({'entry': [12, 360], 'exit': [12, 1140], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [7, 361], 'exit': [7, 923], 'hourly': 400, 'daily_max': 2500, 'early': 1000}, 1000), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [7, 359], 'exit': [7, 899], 'hourly': 400, 'daily_max': 1200, 'early': 1000}, 1200), ({'entry': [1, 360], 'exit': [1, 1140], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1000), ({'entry': [5, 540], 'exit': [5, 900], 'hourly': 200, 'daily_max': 1200, 'early': 900}, 1200)], [({'entry': [12, 489], 'exit': [12, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [11, 360], 'exit': [11, 900], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 900), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [1, 0], 'exit': [2, 0], 'hourly': 300, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [5, 449], 'exit': [5, 1088], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [8, 541], 'exit': [8, 1141], 'hourly': 200, 'daily_max': 1200, 'early': 900}, 1200), ({'entry': [7, 718], 'exit': [7, 1157], 'hourly': 300, 'daily_max': 1200, 'early': 1400}, 1200)], [({'entry': [6, 360], 'exit': [6, 900], 'hourly': 200, 'daily_max': 1800, 'early': 1400}, 1800), ({'entry': [12, 360], 'exit': [12, 900], 'hourly': 200, 'daily_max': 2500, 'early': 900}, 1800), ({'entry': [12, 540], 'exit': [12, 900], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2400), ({'entry': [3, 400], 'exit': [3, 1000], 'hourly': 300, 'daily_max': 800, 'early': 1000}, 800), ({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [13, 360], 'exit': [13, 1069], 'hourly': 400, 'daily_max': 1800, 'early': 900}, 1800), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [12, 540], 'exit': [12, 1140], 'hourly': 300, 'daily_max': 1800, 'early': 1400}, 1800)], [({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [1, 359], 'exit': [2, 900], 'hourly': 300, 'daily_max': 1800, 'early': 1400}, 3600), ({'entry': [13, 540], 'exit': [13, 1140], 'hourly': 400, 'daily_max': 1200, 'early': 1000}, 1200), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 360], 'exit': [5, 900], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [2, 541], 'exit': [2, 899], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1200), ({'entry': [12, 360], 'exit': [12, 900], 'hourly': 300, 'daily_max': 1200, 'early': 1000}, 1200)]]\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":"a55f4c7e8f10a6d3f7b5a8b95be0af87e14c5f64571b5923cd47370316fbdf50","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    ed, em = x['entry']\n    xd, xm = x['exit']\n    dur = (xd - ed) * 1440 + xm - em\n    if dur < 0:\n        return 'invalid'\n    hours = -(-dur // 60)\n    days = max(1, -(-dur // 1440))\n    regular = min(hours * x['hourly'], days * x['daily_max'])\n    eligible = ed % 7 <= 5 and 360 <= em <= 540 and xd == ed and 900 <= xm <= 1140\n    if eligible:\n        return min(regular, x['early'])\n    return regular\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'entry': [5, 540], 'exit': [5, 900], 'hourly': 400, 'daily_max': 1800, 'early': 900}, 1800), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 400], 'exit': [5, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [0, 541], 'exit': [0, 1141], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [1, 360], 'exit': [1, 1140], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1000), ({'entry': [12, 498], 'exit': [12, 891], 'hourly': 300, 'daily_max': 2500, 'early': 1400}, 2100), ({'entry': [6, 360], 'exit': [6, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800)], [({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 360], 'exit': [5, 980], 'hourly': 400, 'daily_max': 1200, 'early': 900}, 1200), ({'entry': [12, 360], 'exit': [12, 1140], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [7, 361], 'exit': [7, 923], 'hourly': 400, 'daily_max': 2500, 'early': 1000}, 1000), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [7, 359], 'exit': [7, 899], 'hourly': 400, 'daily_max': 1200, 'early': 1000}, 1200), ({'entry': [1, 360], 'exit': [1, 1140], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1000), ({'entry': [5, 540], 'exit': [5, 900], 'hourly': 200, 'daily_max': 1200, 'early': 900}, 1200)], [({'entry': [12, 489], 'exit': [12, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [11, 360], 'exit': [11, 900], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 900), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [1, 0], 'exit': [2, 0], 'hourly': 300, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [5, 449], 'exit': [5, 1088], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [8, 541], 'exit': [8, 1141], 'hourly': 200, 'daily_max': 1200, 'early': 900}, 1200), ({'entry': [7, 718], 'exit': [7, 1157], 'hourly': 300, 'daily_max': 1200, 'early': 1400}, 1200)], [({'entry': [6, 360], 'exit': [6, 900], 'hourly': 200, 'daily_max': 1800, 'early': 1400}, 1800), ({'entry': [12, 360], 'exit': [12, 900], 'hourly': 200, 'daily_max': 2500, 'early': 900}, 1800), ({'entry': [12, 540], 'exit': [12, 900], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2400), ({'entry': [3, 400], 'exit': [3, 1000], 'hourly': 300, 'daily_max': 800, 'early': 1000}, 800), ({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [13, 360], 'exit': [13, 1069], 'hourly': 400, 'daily_max': 1800, 'early': 900}, 1800), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [12, 540], 'exit': [12, 1140], 'hourly': 300, 'daily_max': 1800, 'early': 1400}, 1800)], [({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [1, 359], 'exit': [2, 900], 'hourly': 300, 'daily_max': 1800, 'early': 1400}, 3600), ({'entry': [13, 540], 'exit': [13, 1140], 'hourly': 400, 'daily_max': 1200, 'early': 1000}, 1200), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 360], 'exit': [5, 900], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [2, 541], 'exit': [2, 899], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1200), ({'entry': [12, 360], 'exit': [12, 900], 'hourly': 300, 'daily_max': 1200, 'early': 1000}, 1200)]]\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":"4cd0650a57eb4e765f27d402bc6c10810f42cab2d02e918f0ff6eae50f2ed5cc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    ed, em = x['entry']\n    xd, xm = x['exit']\n    dur = (xd - ed) * 1440 + xm - em\n    if dur < 0:\n        return 'invalid'\n    hours = -(-dur // 60)\n    days = max(1, -(-dur // 1440))\n    regular = min(hours * x['hourly'], days * x['daily_max'])\n    eligible = ed % 7 < 5 and 360 <= em <= 540 and xd == ed and 900 <= xm <= 1140\n    if eligible:\n        return min(regular, x['early'])\n    return regular\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'entry': [5, 540], 'exit': [5, 900], 'hourly': 400, 'daily_max': 1800, 'early': 900}, 1800), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 400], 'exit': [5, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [0, 541], 'exit': [0, 1141], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [1, 360], 'exit': [1, 1140], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1000), ({'entry': [12, 498], 'exit': [12, 891], 'hourly': 300, 'daily_max': 2500, 'early': 1400}, 2100), ({'entry': [6, 360], 'exit': [6, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800)], [({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 360], 'exit': [5, 980], 'hourly': 400, 'daily_max': 1200, 'early': 900}, 1200), ({'entry': [12, 360], 'exit': [12, 1140], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [7, 361], 'exit': [7, 923], 'hourly': 400, 'daily_max': 2500, 'early': 1000}, 1000), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [7, 359], 'exit': [7, 899], 'hourly': 400, 'daily_max': 1200, 'early': 1000}, 1200), ({'entry': [1, 360], 'exit': [1, 1140], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1000), ({'entry': [5, 540], 'exit': [5, 900], 'hourly': 200, 'daily_max': 1200, 'early': 900}, 1200)], [({'entry': [12, 489], 'exit': [12, 1140], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [11, 360], 'exit': [11, 900], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 900), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [1, 0], 'exit': [2, 0], 'hourly': 300, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [5, 449], 'exit': [5, 1088], 'hourly': 400, 'daily_max': 1800, 'early': 1000}, 1800), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [8, 541], 'exit': [8, 1141], 'hourly': 200, 'daily_max': 1200, 'early': 900}, 1200), ({'entry': [7, 718], 'exit': [7, 1157], 'hourly': 300, 'daily_max': 1200, 'early': 1400}, 1200)], [({'entry': [6, 360], 'exit': [6, 900], 'hourly': 200, 'daily_max': 1800, 'early': 1400}, 1800), ({'entry': [12, 360], 'exit': [12, 900], 'hourly': 200, 'daily_max': 2500, 'early': 900}, 1800), ({'entry': [12, 540], 'exit': [12, 900], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2400), ({'entry': [3, 400], 'exit': [3, 1000], 'hourly': 300, 'daily_max': 800, 'early': 1000}, 800), ({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [13, 360], 'exit': [13, 1069], 'hourly': 400, 'daily_max': 1800, 'early': 900}, 1800), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [12, 540], 'exit': [12, 1140], 'hourly': 300, 'daily_max': 1800, 'early': 1400}, 1800)], [({'entry': [0, 480], 'exit': [0, 1300], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [1, 359], 'exit': [2, 900], 'hourly': 300, 'daily_max': 1800, 'early': 1400}, 3600), ({'entry': [13, 540], 'exit': [13, 1140], 'hourly': 400, 'daily_max': 1200, 'early': 1000}, 1200), ({'entry': [3, 420], 'exit': [4, 960], 'hourly': 300, 'daily_max': 1800, 'early': 900}, 3600), ({'entry': [5, 400], 'exit': [5, 1000], 'hourly': 300, 'daily_max': 2500, 'early': 1000}, 2500), ({'entry': [5, 360], 'exit': [5, 900], 'hourly': 400, 'daily_max': 2500, 'early': 1400}, 2500), ({'entry': [2, 541], 'exit': [2, 899], 'hourly': 200, 'daily_max': 1800, 'early': 1000}, 1200), ({'entry': [12, 360], 'exit': [12, 900], 'hourly': 300, 'daily_max': 1200, 'early': 1000}, 1200)]]\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-early-bird-weekday","generated_at":"2026-09-29T14:48:01.798072+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 weekday eligibility rule so that the step reads `ed % 7 < 5`.","root_cause":"The inclusive comparison admits day index 5 (Saturday) to the weekday-only early bird.","sha256":"30e74671aa01830db9347c79a81908bb143dbebcd636802f4871d5b4918a1594","title":"Early bird flat rate: Saturday is treated as a weekday · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.425,"exit_code":1,"observations":[{"actual":900,"check":"fee oracle 0","expected":1800,"passed":false},{"actual":1000,"check":"fee oracle 1","expected":2500,"passed":false},{"actual":1000,"check":"fee oracle 2","expected":1800,"passed":false},{"actual":2500,"check":"fee oracle 3","expected":2500,"passed":true},{"actual":3600,"check":"fee oracle 4","expected":3600,"passed":true},{"actual":1000,"check":"fee oracle 5","expected":1000,"passed":true},{"actual":2100,"check":"fee oracle 6","expected":2100,"passed":true},{"actual":1000,"check":"fee oracle 7","expected":1800,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 900, \"expected\": 1800, \"passed\": false}, {\"check\": \"fee oracle 1\", \"actual\": 1000, \"expected\": 2500, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": 1000, \"expected\": 1800, \"passed\": false}, {\"check\": \"fee oracle 3\", \"actual\": 2500, \"expected\": 2500, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 3600, \"expected\": 3600, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 1000, \"expected\": 1000, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 2100, \"expected\": 2100, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 1000, \"expected\": 1800, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.8,"exit_code":1,"observations":[{"actual":900,"check":"fee oracle 0","expected":1800,"passed":false},{"actual":1000,"check":"fee oracle 1","expected":2500,"passed":false},{"actual":1000,"check":"fee oracle 2","expected":1800,"passed":false},{"actual":2500,"check":"fee oracle 3","expected":2500,"passed":true},{"actual":3600,"check":"fee oracle 4","expected":3600,"passed":true},{"actual":1000,"check":"fee oracle 5","expected":1000,"passed":true},{"actual":2100,"check":"fee oracle 6","expected":2100,"passed":true},{"actual":1800,"check":"fee oracle 7","expected":1800,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 900, \"expected\": 1800, \"passed\": false}, {\"check\": \"fee oracle 1\", \"actual\": 1000, \"expected\": 2500, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": 1000, \"expected\": 1800, \"passed\": false}, {\"check\": \"fee oracle 3\", \"actual\": 2500, \"expected\": 2500, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 3600, \"expected\": 3600, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 1000, \"expected\": 1000, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 2100, \"expected\": 2100, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.895,"exit_code":0,"observations":[{"actual":1800,"check":"fee oracle 0","expected":1800,"passed":true},{"actual":2500,"check":"fee oracle 1","expected":2500,"passed":true},{"actual":1800,"check":"fee oracle 2","expected":1800,"passed":true},{"actual":2500,"check":"fee oracle 3","expected":2500,"passed":true},{"actual":3600,"check":"fee oracle 4","expected":3600,"passed":true},{"actual":1000,"check":"fee oracle 5","expected":1000,"passed":true},{"actual":2100,"check":"fee oracle 6","expected":2100,"passed":true},{"actual":1800,"check":"fee oracle 7","expected":1800,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 2500, \"expected\": 2500, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 2500, \"expected\": 2500, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 3600, \"expected\": 3600, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 1000, \"expected\": 1000, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 2100, \"expected\": 2100, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}