{"abstract":"Tiered parking rate table returns a wrong result when the maximum caps only the additional blocks.","category":"Toll and parking fee computation","checks":8,"contract":"Input {minutes, tiers: [[upto minutes, cumulative price]] in any order, extra_per: [block minutes, cents], max}. A stay of 0 minutes is free. Tiers are applied in ascending upto order and a stay of exactly upto minutes belongs to that tier (price capped at max). Beyond the last tier each started block after its upto adds the block price; the whole fee is capped at max.","evaluation_group":"w2-toll_and_parking_fee_computation-tiered-rate","failed_approach":"Capping the base tier then adding blocks uncapped still exceeds the maximum.","family":"w2-toll_and_parking_fee_computation-tiered-rate-overall-cap","id":"FA-68391","implementations":{"attempt":{"sha256":"8cf5d689d852d1d323300344534f0fecab7bfb4b45c98d37138baf28c6baeec7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['minutes']\n    tiers = sorted(x['tiers'])\n    if m <= 0:\n        return 0\n    for upto, price in tiers:\n        if m <= upto:\n            return min(price, x['max'])\n    last_upto, last_price = tiers[-1]\n    blk, add = x['extra_per']\n    extra = -(-(m - last_upto) // blk)\n    return min(last_price, x['max']) + extra * add\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'minutes': 207, 'tiers': [[210, 400], [270, 950]], 'extra_per': [30, 50], 'max': 4000}, 400), ({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 553, 'tiers': [[180, 800], [240, 1350], [120, 600]], 'extra_per': [15, 150], 'max': 1500}, 1500), ({'minutes': 171, 'tiers': [[150, 700], [270, 1150], [360, 1250], [210, 800]], 'extra_per': [30, 100], 'max': 4000}, 800), ({'minutes': 151, 'tiers': [[60, 1200], [120, 1750], [150, 1900]], 'extra_per': [20, 50], 'max': 1500}, 1500), ({'minutes': 0, 'tiers': [[60, 300]], 'extra_per': [30, 100], 'max': 1500}, 0), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 259, 'tiers': [[30, 200]], 'extra_per': [15, 150], 'max': 2500}, 2500)], [({'minutes': 241, 'tiers': [[60, 300], [240, 1150]], 'extra_per': [60, 50], 'max': 1500}, 1200), ({'minutes': 180, 'tiers': [[180, 150], [360, 1900]], 'extra_per': [20, 50], 'max': 1500}, 150), ({'minutes': 677, 'tiers': [[210, 1400]], 'extra_per': [20, 150], 'max': 4000}, 4000), ({'minutes': 61, 'tiers': [[240, 550], [210, 300], [60, 250], [330, 750]], 'extra_per': [60, 100], 'max': 2500}, 300), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 802, 'tiers': [[300, 1950]], 'extra_per': [20, 50], 'max': 2500}, 2500), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300)], [({'minutes': 328, 'tiers': [[30, 100], [360, 1450]], 'extra_per': [20, 150], 'max': 2500}, 1450), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 782, 'tiers': [[180, 250], [30, 100]], 'extra_per': [60, 100], 'max': 4000}, 1350), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 601, 'tiers': [[60, 900], [270, 1350]], 'extra_per': [30, 50], 'max': 1500}, 1500), ({'minutes': 555, 'tiers': [[210, 500], [240, 850], [300, 1500], [270, 950]], 'extra_per': [60, 100], 'max': 1500}, 1500), ({'minutes': 180, 'tiers': [[180, 750], [30, 600], [240, 1600]], 'extra_per': [20, 100], 'max': 1500}, 750)], [({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 308, 'tiers': [[210, 650], [180, 150], [300, 1050], [330, 1300]], 'extra_per': [60, 150], 'max': 4000}, 1300), ({'minutes': 762, 'tiers': [[300, 1900]], 'extra_per': [30, 100], 'max': 1500}, 1500), ({'minutes': 91, 'tiers': [[300, 1000], [90, 200]], 'extra_per': [60, 150], 'max': 1500}, 1000), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 361, 'tiers': [[90, 600], [360, 1350]], 'extra_per': [15, 50], 'max': 2500}, 1400), ({'minutes': 241, 'tiers': [[150, 1300], [240, 1700]], 'extra_per': [30, 100], 'max': 1500}, 1500)], [({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 50, 'tiers': [[60, 200], [210, 850], [270, 900], [300, 1850]], 'extra_per': [30, 150], 'max': 1500}, 200), ({'minutes': 241, 'tiers': [[90, 900], [120, 1350], [240, 1800]], 'extra_per': [30, 150], 'max': 1500}, 1500), ({'minutes': 120, 'tiers': [[180, 950], [150, 500], [120, 300], [300, 1500]], 'extra_per': [15, 50], 'max': 1500}, 300), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 658, 'tiers': [[150, 850]], 'extra_per': [20, 150], 'max': 1500}, 1500), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 151, 'tiers': [[150, 600]], 'extra_per': [20, 100], 'max': 1500}, 700)]]\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":"5bf02e13580ea68f7507b15b1142304156179dfcddc1daa48223fd8c5db78219","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['minutes']\n    tiers = sorted(x['tiers'])\n    if m <= 0:\n        return 0\n    for upto, price in tiers:\n        if m <= upto:\n            return min(price, x['max'])\n    last_upto, last_price = tiers[-1]\n    blk, add = x['extra_per']\n    extra = -(-(m - last_upto) // blk)\n    return last_price + min(extra * add, x['max'])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'minutes': 207, 'tiers': [[210, 400], [270, 950]], 'extra_per': [30, 50], 'max': 4000}, 400), ({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 553, 'tiers': [[180, 800], [240, 1350], [120, 600]], 'extra_per': [15, 150], 'max': 1500}, 1500), ({'minutes': 171, 'tiers': [[150, 700], [270, 1150], [360, 1250], [210, 800]], 'extra_per': [30, 100], 'max': 4000}, 800), ({'minutes': 151, 'tiers': [[60, 1200], [120, 1750], [150, 1900]], 'extra_per': [20, 50], 'max': 1500}, 1500), ({'minutes': 0, 'tiers': [[60, 300]], 'extra_per': [30, 100], 'max': 1500}, 0), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 259, 'tiers': [[30, 200]], 'extra_per': [15, 150], 'max': 2500}, 2500)], [({'minutes': 241, 'tiers': [[60, 300], [240, 1150]], 'extra_per': [60, 50], 'max': 1500}, 1200), ({'minutes': 180, 'tiers': [[180, 150], [360, 1900]], 'extra_per': [20, 50], 'max': 1500}, 150), ({'minutes': 677, 'tiers': [[210, 1400]], 'extra_per': [20, 150], 'max': 4000}, 4000), ({'minutes': 61, 'tiers': [[240, 550], [210, 300], [60, 250], [330, 750]], 'extra_per': [60, 100], 'max': 2500}, 300), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 802, 'tiers': [[300, 1950]], 'extra_per': [20, 50], 'max': 2500}, 2500), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300)], [({'minutes': 328, 'tiers': [[30, 100], [360, 1450]], 'extra_per': [20, 150], 'max': 2500}, 1450), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 782, 'tiers': [[180, 250], [30, 100]], 'extra_per': [60, 100], 'max': 4000}, 1350), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 601, 'tiers': [[60, 900], [270, 1350]], 'extra_per': [30, 50], 'max': 1500}, 1500), ({'minutes': 555, 'tiers': [[210, 500], [240, 850], [300, 1500], [270, 950]], 'extra_per': [60, 100], 'max': 1500}, 1500), ({'minutes': 180, 'tiers': [[180, 750], [30, 600], [240, 1600]], 'extra_per': [20, 100], 'max': 1500}, 750)], [({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 308, 'tiers': [[210, 650], [180, 150], [300, 1050], [330, 1300]], 'extra_per': [60, 150], 'max': 4000}, 1300), ({'minutes': 762, 'tiers': [[300, 1900]], 'extra_per': [30, 100], 'max': 1500}, 1500), ({'minutes': 91, 'tiers': [[300, 1000], [90, 200]], 'extra_per': [60, 150], 'max': 1500}, 1000), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 361, 'tiers': [[90, 600], [360, 1350]], 'extra_per': [15, 50], 'max': 2500}, 1400), ({'minutes': 241, 'tiers': [[150, 1300], [240, 1700]], 'extra_per': [30, 100], 'max': 1500}, 1500)], [({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 50, 'tiers': [[60, 200], [210, 850], [270, 900], [300, 1850]], 'extra_per': [30, 150], 'max': 1500}, 200), ({'minutes': 241, 'tiers': [[90, 900], [120, 1350], [240, 1800]], 'extra_per': [30, 150], 'max': 1500}, 1500), ({'minutes': 120, 'tiers': [[180, 950], [150, 500], [120, 300], [300, 1500]], 'extra_per': [15, 50], 'max': 1500}, 300), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 658, 'tiers': [[150, 850]], 'extra_per': [20, 150], 'max': 1500}, 1500), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 151, 'tiers': [[150, 600]], 'extra_per': [20, 100], 'max': 1500}, 700)]]\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":"19fb4e9d7165ef4a07e160af832e479044110e252537b7903913aa0b15a7c51c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['minutes']\n    tiers = sorted(x['tiers'])\n    if m <= 0:\n        return 0\n    for upto, price in tiers:\n        if m <= upto:\n            return min(price, x['max'])\n    last_upto, last_price = tiers[-1]\n    blk, add = x['extra_per']\n    extra = -(-(m - last_upto) // blk)\n    return min(last_price + extra * add, x['max'])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'minutes': 207, 'tiers': [[210, 400], [270, 950]], 'extra_per': [30, 50], 'max': 4000}, 400), ({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 553, 'tiers': [[180, 800], [240, 1350], [120, 600]], 'extra_per': [15, 150], 'max': 1500}, 1500), ({'minutes': 171, 'tiers': [[150, 700], [270, 1150], [360, 1250], [210, 800]], 'extra_per': [30, 100], 'max': 4000}, 800), ({'minutes': 151, 'tiers': [[60, 1200], [120, 1750], [150, 1900]], 'extra_per': [20, 50], 'max': 1500}, 1500), ({'minutes': 0, 'tiers': [[60, 300]], 'extra_per': [30, 100], 'max': 1500}, 0), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 259, 'tiers': [[30, 200]], 'extra_per': [15, 150], 'max': 2500}, 2500)], [({'minutes': 241, 'tiers': [[60, 300], [240, 1150]], 'extra_per': [60, 50], 'max': 1500}, 1200), ({'minutes': 180, 'tiers': [[180, 150], [360, 1900]], 'extra_per': [20, 50], 'max': 1500}, 150), ({'minutes': 677, 'tiers': [[210, 1400]], 'extra_per': [20, 150], 'max': 4000}, 4000), ({'minutes': 61, 'tiers': [[240, 550], [210, 300], [60, 250], [330, 750]], 'extra_per': [60, 100], 'max': 2500}, 300), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 802, 'tiers': [[300, 1950]], 'extra_per': [20, 50], 'max': 2500}, 2500), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300)], [({'minutes': 328, 'tiers': [[30, 100], [360, 1450]], 'extra_per': [20, 150], 'max': 2500}, 1450), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 250, 'tiers': [[240, 800], [60, 300], [120, 500]], 'extra_per': [60, 200], 'max': 2000}, 1000), ({'minutes': 782, 'tiers': [[180, 250], [30, 100]], 'extra_per': [60, 100], 'max': 4000}, 1350), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 601, 'tiers': [[60, 900], [270, 1350]], 'extra_per': [30, 50], 'max': 1500}, 1500), ({'minutes': 555, 'tiers': [[210, 500], [240, 850], [300, 1500], [270, 950]], 'extra_per': [60, 100], 'max': 1500}, 1500), ({'minutes': 180, 'tiers': [[180, 750], [30, 600], [240, 1600]], 'extra_per': [20, 100], 'max': 1500}, 750)], [({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 308, 'tiers': [[210, 650], [180, 150], [300, 1050], [330, 1300]], 'extra_per': [60, 150], 'max': 4000}, 1300), ({'minutes': 762, 'tiers': [[300, 1900]], 'extra_per': [30, 100], 'max': 1500}, 1500), ({'minutes': 91, 'tiers': [[300, 1000], [90, 200]], 'extra_per': [60, 150], 'max': 1500}, 1000), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 361, 'tiers': [[90, 600], [360, 1350]], 'extra_per': [15, 50], 'max': 2500}, 1400), ({'minutes': 241, 'tiers': [[150, 1300], [240, 1700]], 'extra_per': [30, 100], 'max': 1500}, 1500)], [({'minutes': 1, 'tiers': [[30, 150], [60, 300]], 'extra_per': [30, 100], 'max': 1500}, 150), ({'minutes': 50, 'tiers': [[60, 200], [210, 850], [270, 900], [300, 1850]], 'extra_per': [30, 150], 'max': 1500}, 200), ({'minutes': 241, 'tiers': [[90, 900], [120, 1350], [240, 1800]], 'extra_per': [30, 150], 'max': 1500}, 1500), ({'minutes': 120, 'tiers': [[180, 950], [150, 500], [120, 300], [300, 1500]], 'extra_per': [15, 50], 'max': 1500}, 300), ({'minutes': 1000, 'tiers': [[90, 400], [180, 700]], 'extra_per': [45, 150], 'max': 2500}, 2500), ({'minutes': 658, 'tiers': [[150, 850]], 'extra_per': [20, 150], 'max': 1500}, 1500), ({'minutes': 60, 'tiers': [[60, 300], [120, 500], [240, 800]], 'extra_per': [60, 200], 'max': 2000}, 300), ({'minutes': 151, 'tiers': [[150, 600]], 'extra_per': [20, 100], 'max': 1500}, 700)]]\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-tiered-rate-overall-cap","generated_at":"2026-09-29T14:48:01.798686+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 overall maximum rule so that the step reads `min(last_price + extra * add, x['max'])`.","root_cause":"The maximum limits only the add-on charge, so long stays exceed the posted maximum.","sha256":"80128c283ac22eacf2810f3b37ee26771313837e26c42d8bbfd90750ce0ba838","title":"Tiered parking rate table: the maximum caps only the additional blocks · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.131,"exit_code":1,"observations":[{"actual":400,"check":"fee oracle 0","expected":400,"passed":true},{"actual":150,"check":"fee oracle 1","expected":150,"passed":true},{"actual":4500,"check":"fee oracle 2","expected":1500,"passed":false},{"actual":800,"check":"fee oracle 3","expected":800,"passed":true},{"actual":1550,"check":"fee oracle 4","expected":1500,"passed":false},{"actual":0,"check":"fee oracle 5","expected":0,"passed":true},{"actual":1000,"check":"fee oracle 6","expected":1000,"passed":true},{"actual":2600,"check":"fee oracle 7","expected":2500,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 150, \"expected\": 150, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 4500, \"expected\": 1500, \"passed\": false}, {\"check\": \"fee oracle 3\", \"actual\": 800, \"expected\": 800, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1550, \"expected\": 1500, \"passed\": false}, {\"check\": \"fee oracle 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 1000, \"expected\": 1000, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 2600, \"expected\": 2500, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.443,"exit_code":1,"observations":[{"actual":400,"check":"fee oracle 0","expected":400,"passed":true},{"actual":150,"check":"fee oracle 1","expected":150,"passed":true},{"actual":2850,"check":"fee oracle 2","expected":1500,"passed":false},{"actual":800,"check":"fee oracle 3","expected":800,"passed":true},{"actual":1950,"check":"fee oracle 4","expected":1500,"passed":false},{"actual":0,"check":"fee oracle 5","expected":0,"passed":true},{"actual":1000,"check":"fee oracle 6","expected":1000,"passed":true},{"actual":2600,"check":"fee oracle 7","expected":2500,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 150, \"expected\": 150, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 2850, \"expected\": 1500, \"passed\": false}, {\"check\": \"fee oracle 3\", \"actual\": 800, \"expected\": 800, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1950, \"expected\": 1500, \"passed\": false}, {\"check\": \"fee oracle 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 1000, \"expected\": 1000, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 2600, \"expected\": 2500, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.679,"exit_code":0,"observations":[{"actual":400,"check":"fee oracle 0","expected":400,"passed":true},{"actual":150,"check":"fee oracle 1","expected":150,"passed":true},{"actual":1500,"check":"fee oracle 2","expected":1500,"passed":true},{"actual":800,"check":"fee oracle 3","expected":800,"passed":true},{"actual":1500,"check":"fee oracle 4","expected":1500,"passed":true},{"actual":0,"check":"fee oracle 5","expected":0,"passed":true},{"actual":1000,"check":"fee oracle 6","expected":1000,"passed":true},{"actual":2500,"check":"fee oracle 7","expected":2500,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 150, \"expected\": 150, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 1500, \"expected\": 1500, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 800, \"expected\": 800, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1500, \"expected\": 1500, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 1000, \"expected\": 1000, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 2500, \"expected\": 2500, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}