{"abstract":"Garage hourly fee with grace and daily maximum returns a wrong result when full day blocks are billed at 24 hourly charges.","category":"Toll and parking fee computation","checks":8,"contract":"Input {entry, exit (absolute minutes), grace, hourly, daily_max, lost_ticket, lost_fee}; cents. Exit before entry is 'invalid'. A stay no longer than grace is free (grace is not deducted from longer stays). Otherwise each full 1440-minute block costs daily_max and the remainder costs hourly per started hour, capped at daily_max. A lost ticket pays the greater of the computed fee and lost_fee.","evaluation_group":"w2-toll_and_parking_fee_computation-garage-grace-daily","failed_approach":"Skipping the first full day undercharges every multi-day stay.","family":"w2-toll_and_parking_fee_computation-garage-grace-daily-full-days","id":"FA-68356","implementations":{"attempt":{"sha256":"ab184112dd3e124bc9945e0f29b6bb23e6bfd9cec371a1f5ef687c4efa35e13c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    if x['exit'] < x['entry']:\n        return 'invalid'\n    dur = x['exit'] - x['entry']\n    if dur <= x['grace']:\n        fee = 0\n    else:\n        days, rem = divmod(dur, 1440)\n        fee = max(0, days - 1) * x['daily_max'] + min(x['daily_max'], -(-rem // 60) * x['hourly'])\n    if x['lost_ticket']:\n        fee = max(fee, x['lost_fee'])\n    return fee\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'entry': 2887, 'exit': 5767, 'grace': 10, 'hourly': 300, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 3000), ({'entry': 1112, 'exit': 1101, 'grace': 0, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 'invalid'), ({'entry': 558, 'exit': 4878, 'grace': 10, 'hourly': 450, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 6000), ({'entry': 2883, 'exit': 2887, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 0), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 100, 'exit': 115, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 0), ({'entry': 1964, 'exit': 3429, 'grace': 15, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2700)], [({'entry': 633, 'exit': 4953, 'grace': 10, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 7200), ({'entry': 2832, 'exit': 4032, 'grace': 10, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2400), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 491, 'exit': 518, 'grace': 15, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 300), ({'entry': 2071, 'exit': 3511, 'grace': 15, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 1163, 'exit': 5200, 'grace': 0, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 7200)], [({'entry': 333, 'exit': 633, 'grace': 10, 'hourly': 450, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 1500), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 2127, 'exit': 2128, 'grace': 10, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 140, 'exit': 1640, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 2300), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 703, 'exit': 3465, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 3000}, 4800), ({'entry': 2181, 'exit': 6501, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 6000)], [({'entry': 1596, 'exit': 5916, 'grace': 10, 'hourly': 200, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 6000), ({'entry': 162, 'exit': 942, 'grace': 0, 'hourly': 450, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 2000), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 2284, 'exit': 5992, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 7200), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 1031, 'exit': 2171, 'grace': 20, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 2400), ({'entry': 371, 'exit': 905, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2400)], [({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 2834, 'exit': 2808, 'grace': 0, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 3000}, 'invalid'), ({'entry': 228, 'exit': 211, 'grace': 20, 'hourly': 200, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 'invalid'), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 728, 'exit': 3608, 'grace': 20, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 4800), ({'entry': 2865, 'exit': 2837, 'grace': 15, 'hourly': 300, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 3000}, 'invalid'), ({'entry': 1658, 'exit': 4538, 'grace': 20, 'hourly': 200, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 4000), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600)]]\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":"622f43f64469737c29c7d4ae6fe188fdc586b28ca09ab1cc0058892b3076683c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    if x['exit'] < x['entry']:\n        return 'invalid'\n    dur = x['exit'] - x['entry']\n    if dur <= x['grace']:\n        fee = 0\n    else:\n        days, rem = divmod(dur, 1440)\n        fee = days * 24 * x['hourly'] + min(x['daily_max'], -(-rem // 60) * x['hourly'])\n    if x['lost_ticket']:\n        fee = max(fee, x['lost_fee'])\n    return fee\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'entry': 2887, 'exit': 5767, 'grace': 10, 'hourly': 300, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 3000), ({'entry': 1112, 'exit': 1101, 'grace': 0, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 'invalid'), ({'entry': 558, 'exit': 4878, 'grace': 10, 'hourly': 450, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 6000), ({'entry': 2883, 'exit': 2887, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 0), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 100, 'exit': 115, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 0), ({'entry': 1964, 'exit': 3429, 'grace': 15, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2700)], [({'entry': 633, 'exit': 4953, 'grace': 10, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 7200), ({'entry': 2832, 'exit': 4032, 'grace': 10, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2400), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 491, 'exit': 518, 'grace': 15, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 300), ({'entry': 2071, 'exit': 3511, 'grace': 15, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 1163, 'exit': 5200, 'grace': 0, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 7200)], [({'entry': 333, 'exit': 633, 'grace': 10, 'hourly': 450, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 1500), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 2127, 'exit': 2128, 'grace': 10, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 140, 'exit': 1640, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 2300), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 703, 'exit': 3465, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 3000}, 4800), ({'entry': 2181, 'exit': 6501, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 6000)], [({'entry': 1596, 'exit': 5916, 'grace': 10, 'hourly': 200, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 6000), ({'entry': 162, 'exit': 942, 'grace': 0, 'hourly': 450, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 2000), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 2284, 'exit': 5992, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 7200), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 1031, 'exit': 2171, 'grace': 20, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 2400), ({'entry': 371, 'exit': 905, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2400)], [({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 2834, 'exit': 2808, 'grace': 0, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 3000}, 'invalid'), ({'entry': 228, 'exit': 211, 'grace': 20, 'hourly': 200, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 'invalid'), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 728, 'exit': 3608, 'grace': 20, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 4800), ({'entry': 2865, 'exit': 2837, 'grace': 15, 'hourly': 300, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 3000}, 'invalid'), ({'entry': 1658, 'exit': 4538, 'grace': 20, 'hourly': 200, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 4000), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600)]]\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":"d0830e1f4dd1011e407fb18fce09e8257bf67ccfe589e4153a58d7078d236a11","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    if x['exit'] < x['entry']:\n        return 'invalid'\n    dur = x['exit'] - x['entry']\n    if dur <= x['grace']:\n        fee = 0\n    else:\n        days, rem = divmod(dur, 1440)\n        fee = days * x['daily_max'] + min(x['daily_max'], -(-rem // 60) * x['hourly'])\n    if x['lost_ticket']:\n        fee = max(fee, x['lost_fee'])\n    return fee\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'entry': 2887, 'exit': 5767, 'grace': 10, 'hourly': 300, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 3000), ({'entry': 1112, 'exit': 1101, 'grace': 0, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 'invalid'), ({'entry': 558, 'exit': 4878, 'grace': 10, 'hourly': 450, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 6000), ({'entry': 2883, 'exit': 2887, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 0), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 100, 'exit': 115, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 0), ({'entry': 1964, 'exit': 3429, 'grace': 15, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2700)], [({'entry': 633, 'exit': 4953, 'grace': 10, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 7200), ({'entry': 2832, 'exit': 4032, 'grace': 10, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2400), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 491, 'exit': 518, 'grace': 15, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 300), ({'entry': 2071, 'exit': 3511, 'grace': 15, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 1163, 'exit': 5200, 'grace': 0, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 7200)], [({'entry': 333, 'exit': 633, 'grace': 10, 'hourly': 450, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 1500), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 2127, 'exit': 2128, 'grace': 10, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 140, 'exit': 1640, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 2300), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 703, 'exit': 3465, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 3000}, 4800), ({'entry': 2181, 'exit': 6501, 'grace': 15, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 6000)], [({'entry': 1596, 'exit': 5916, 'grace': 10, 'hourly': 200, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 6000), ({'entry': 162, 'exit': 942, 'grace': 0, 'hourly': 450, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 3000}, 2000), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600), ({'entry': 2284, 'exit': 5992, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 7200), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 1031, 'exit': 2171, 'grace': 20, 'hourly': 200, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 2400), ({'entry': 371, 'exit': 905, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 2400)], [({'entry': 500, 'exit': 500, 'grace': 0, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': True, 'lost_fee': 2500}, 2500), ({'entry': 2834, 'exit': 2808, 'grace': 0, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': True, 'lost_fee': 3000}, 'invalid'), ({'entry': 228, 'exit': 211, 'grace': 20, 'hourly': 200, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 2500}, 'invalid'), ({'entry': 60, 'exit': 240, 'grace': 15, 'hourly': 450, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 3000}, 1350), ({'entry': 728, 'exit': 3608, 'grace': 20, 'hourly': 300, 'daily_max': 2400, 'lost_ticket': False, 'lost_fee': 2500}, 4800), ({'entry': 2865, 'exit': 2837, 'grace': 15, 'hourly': 300, 'daily_max': 1500, 'lost_ticket': False, 'lost_fee': 3000}, 'invalid'), ({'entry': 1658, 'exit': 4538, 'grace': 20, 'hourly': 200, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 4000), ({'entry': 0, 'exit': 1560, 'grace': 10, 'hourly': 300, 'daily_max': 2000, 'lost_ticket': False, 'lost_fee': 2500}, 2600)]]\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-garage-grace-daily-full-days","generated_at":"2026-09-29T14:48:01.501053+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 full day blocks rule so that the step reads `days * x['daily_max']`.","root_cause":"Each complete day is billed as 24 hours instead of the daily maximum.","sha256":"b12951cd95b5ba06b7056c0d72fb0742b7c8e96e91c37dd6a1ee75da45564fd4","title":"Garage hourly fee with grace and daily maximum: full day blocks are billed at 24 hourly charges · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.643,"exit_code":1,"observations":[{"actual":1500,"check":"fee oracle 0","expected":3000,"passed":false},{"actual":"invalid","check":"fee oracle 1","expected":"invalid","passed":true},{"actual":4000,"check":"fee oracle 2","expected":6000,"passed":false},{"actual":0,"check":"fee oracle 3","expected":0,"passed":true},{"actual":600,"check":"fee oracle 4","expected":2600,"passed":false},{"actual":1350,"check":"fee oracle 5","expected":1350,"passed":true},{"actual":0,"check":"fee oracle 6","expected":0,"passed":true},{"actual":300,"check":"fee oracle 7","expected":2700,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 1500, \"expected\": 3000, \"passed\": false}, {\"check\": \"fee oracle 1\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 4000, \"expected\": 6000, \"passed\": false}, {\"check\": \"fee oracle 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 600, \"expected\": 2600, \"passed\": false}, {\"check\": \"fee oracle 5\", \"actual\": 1350, \"expected\": 1350, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 300, \"expected\": 2700, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.785,"exit_code":1,"observations":[{"actual":14400,"check":"fee oracle 0","expected":3000,"passed":false},{"actual":"invalid","check":"fee oracle 1","expected":"invalid","passed":true},{"actual":32400,"check":"fee oracle 2","expected":6000,"passed":false},{"actual":0,"check":"fee oracle 3","expected":0,"passed":true},{"actual":7800,"check":"fee oracle 4","expected":2600,"passed":false},{"actual":1350,"check":"fee oracle 5","expected":1350,"passed":true},{"actual":0,"check":"fee oracle 6","expected":0,"passed":true},{"actual":7500,"check":"fee oracle 7","expected":2700,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 14400, \"expected\": 3000, \"passed\": false}, {\"check\": \"fee oracle 1\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 32400, \"expected\": 6000, \"passed\": false}, {\"check\": \"fee oracle 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 7800, \"expected\": 2600, \"passed\": false}, {\"check\": \"fee oracle 5\", \"actual\": 1350, \"expected\": 1350, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 7500, \"expected\": 2700, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.315,"exit_code":0,"observations":[{"actual":3000,"check":"fee oracle 0","expected":3000,"passed":true},{"actual":"invalid","check":"fee oracle 1","expected":"invalid","passed":true},{"actual":6000,"check":"fee oracle 2","expected":6000,"passed":true},{"actual":0,"check":"fee oracle 3","expected":0,"passed":true},{"actual":2600,"check":"fee oracle 4","expected":2600,"passed":true},{"actual":1350,"check":"fee oracle 5","expected":1350,"passed":true},{"actual":0,"check":"fee oracle 6","expected":0,"passed":true},{"actual":2700,"check":"fee oracle 7","expected":2700,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 3000, \"expected\": 3000, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 6000, \"expected\": 6000, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 2600, \"expected\": 2600, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 1350, \"expected\": 1350, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 2700, \"expected\": 2700, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}