{"abstract":"Unpaid toll violation escalation returns a wrong result when the first-offender waiver applies at any age.","category":"Toll and parking fee computation","checks":8,"contract":"Input {toll, issued_day, paid_day (or null), today, first_fee, second_fee, stage1_days, stage2_days, cap, waiver_first}. Age is measured to the payment day if paid, else today. Age above stage1 adds first_fee; first-time offenders (waiver_first) who actually paid within stage2 have it waived. Age above stage2 adds second_fee. Penalties (not the toll) are capped at cap. Return amount due.","evaluation_group":"w2-toll_and_parking_fee_computation-violation-escalation","failed_approach":"The strict comparison denies the waiver on the last day of stage 2.","family":"w2-toll_and_parking_fee_computation-violation-escalation-waiver-window","id":"FA-68806","implementations":{"attempt":{"sha256":"e30557996f7629f538c169ff3b45806158eea5fae9929ca194e011e7240fb163","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    ev = x['paid_day'] if x['paid_day'] is not None else x['today']\n    age = ev - x['issued_day']\n    pen = 0\n    if age > x['stage1_days']:\n        pen += x['first_fee']\n        if x['waiver_first'] and x['paid_day'] is not None and age < x['stage2_days']:\n            pen -= x['first_fee']\n    if age > x['stage2_days']:\n        pen += x['second_fee']\n    return x['toll'] + min(pen, x['cap'])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'toll': 875, 'issued_day': 85, 'paid_day': None, 'today': 115, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 875), ({'toll': 250, 'issued_day': 18, 'paid_day': 91, 'today': 132, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3750), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 41, 'paid_day': 72, 'today': 102, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 1375), ({'toll': 875, 'issued_day': 65, 'paid_day': 96, 'today': 96, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 1375), ({'toll': 400, 'issued_day': 52, 'paid_day': 112, 'today': 113, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875)], [({'toll': 400, 'issued_day': 41, 'paid_day': 102, 'today': 126, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3400), ({'toll': 250, 'issued_day': 29, 'paid_day': 89, 'today': 89, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 250), ({'toll': 875, 'issued_day': 45, 'paid_day': 106, 'today': 106, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3875), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 2, 'paid_day': 63, 'today': 120, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 4375), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875), ({'toll': 400, 'issued_day': 0, 'paid_day': None, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 1400), ({'toll': 250, 'issued_day': 16, 'paid_day': 76, 'today': 76, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 250)], [({'toll': 400, 'issued_day': 0, 'paid_day': None, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 1400), ({'toll': 875, 'issued_day': 33, 'paid_day': 94, 'today': 94, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 4375), ({'toll': 400, 'issued_day': 59, 'paid_day': 120, 'today': 120, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3400), ({'toll': 250, 'issued_day': 56, 'paid_day': 116, 'today': 116, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 250), ({'toll': 250, 'issued_day': 31, 'paid_day': 92, 'today': 92, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3250), ({'toll': 400, 'issued_day': 40, 'paid_day': 100, 'today': 100, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875)], [({'toll': 400, 'issued_day': 10, 'paid_day': 40, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 34, 'paid_day': 95, 'today': 95, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 68, 'paid_day': 129, 'today': 129, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875), ({'toll': 400, 'issued_day': 54, 'paid_day': 126, 'today': 162, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 79, 'paid_day': None, 'today': 109, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 42, 'paid_day': 102, 'today': 102, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 400)], [({'toll': 250, 'issued_day': 65, 'paid_day': None, 'today': 126, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3250), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 40, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 34, 'paid_day': 94, 'today': 94, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 400), ({'toll': 875, 'issued_day': 33, 'paid_day': 94, 'today': 94, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3875), ({'toll': 400, 'issued_day': 15, 'paid_day': 76, 'today': 76, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 58, 'paid_day': 119, 'today': 119, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3900)]]\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":"078867957116ea6f7d898669abd6873543f129820e9072b1a85e62778d78f9ff","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    ev = x['paid_day'] if x['paid_day'] is not None else x['today']\n    age = ev - x['issued_day']\n    pen = 0\n    if age > x['stage1_days']:\n        pen += x['first_fee']\n        if x['waiver_first'] and x['paid_day'] is not None :\n            pen -= x['first_fee']\n    if age > x['stage2_days']:\n        pen += x['second_fee']\n    return x['toll'] + min(pen, x['cap'])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'toll': 875, 'issued_day': 85, 'paid_day': None, 'today': 115, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 875), ({'toll': 250, 'issued_day': 18, 'paid_day': 91, 'today': 132, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3750), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 41, 'paid_day': 72, 'today': 102, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 1375), ({'toll': 875, 'issued_day': 65, 'paid_day': 96, 'today': 96, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 1375), ({'toll': 400, 'issued_day': 52, 'paid_day': 112, 'today': 113, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875)], [({'toll': 400, 'issued_day': 41, 'paid_day': 102, 'today': 126, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3400), ({'toll': 250, 'issued_day': 29, 'paid_day': 89, 'today': 89, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 250), ({'toll': 875, 'issued_day': 45, 'paid_day': 106, 'today': 106, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3875), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 2, 'paid_day': 63, 'today': 120, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 4375), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875), ({'toll': 400, 'issued_day': 0, 'paid_day': None, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 1400), ({'toll': 250, 'issued_day': 16, 'paid_day': 76, 'today': 76, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 250)], [({'toll': 400, 'issued_day': 0, 'paid_day': None, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 1400), ({'toll': 875, 'issued_day': 33, 'paid_day': 94, 'today': 94, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 4375), ({'toll': 400, 'issued_day': 59, 'paid_day': 120, 'today': 120, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3400), ({'toll': 250, 'issued_day': 56, 'paid_day': 116, 'today': 116, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 250), ({'toll': 250, 'issued_day': 31, 'paid_day': 92, 'today': 92, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3250), ({'toll': 400, 'issued_day': 40, 'paid_day': 100, 'today': 100, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875)], [({'toll': 400, 'issued_day': 10, 'paid_day': 40, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 34, 'paid_day': 95, 'today': 95, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 68, 'paid_day': 129, 'today': 129, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875), ({'toll': 400, 'issued_day': 54, 'paid_day': 126, 'today': 162, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 79, 'paid_day': None, 'today': 109, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 42, 'paid_day': 102, 'today': 102, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 400)], [({'toll': 250, 'issued_day': 65, 'paid_day': None, 'today': 126, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3250), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 40, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 34, 'paid_day': 94, 'today': 94, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 400), ({'toll': 875, 'issued_day': 33, 'paid_day': 94, 'today': 94, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3875), ({'toll': 400, 'issued_day': 15, 'paid_day': 76, 'today': 76, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 58, 'paid_day': 119, 'today': 119, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3900)]]\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":"b4e6bca03ca06ecc0eef4343dc00780f3f86cbc60eb80bbd2f4f692b0accae90","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    ev = x['paid_day'] if x['paid_day'] is not None else x['today']\n    age = ev - x['issued_day']\n    pen = 0\n    if age > x['stage1_days']:\n        pen += x['first_fee']\n        if x['waiver_first'] and x['paid_day'] is not None and age <= x['stage2_days']:\n            pen -= x['first_fee']\n    if age > x['stage2_days']:\n        pen += x['second_fee']\n    return x['toll'] + min(pen, x['cap'])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'toll': 875, 'issued_day': 85, 'paid_day': None, 'today': 115, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 875), ({'toll': 250, 'issued_day': 18, 'paid_day': 91, 'today': 132, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3750), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 41, 'paid_day': 72, 'today': 102, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 1375), ({'toll': 875, 'issued_day': 65, 'paid_day': 96, 'today': 96, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 1375), ({'toll': 400, 'issued_day': 52, 'paid_day': 112, 'today': 113, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875)], [({'toll': 400, 'issued_day': 41, 'paid_day': 102, 'today': 126, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3400), ({'toll': 250, 'issued_day': 29, 'paid_day': 89, 'today': 89, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 250), ({'toll': 875, 'issued_day': 45, 'paid_day': 106, 'today': 106, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3875), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 2, 'paid_day': 63, 'today': 120, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 4375), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875), ({'toll': 400, 'issued_day': 0, 'paid_day': None, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 1400), ({'toll': 250, 'issued_day': 16, 'paid_day': 76, 'today': 76, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 250)], [({'toll': 400, 'issued_day': 0, 'paid_day': None, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 1400), ({'toll': 875, 'issued_day': 33, 'paid_day': 94, 'today': 94, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 4375), ({'toll': 400, 'issued_day': 59, 'paid_day': 120, 'today': 120, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3400), ({'toll': 250, 'issued_day': 56, 'paid_day': 116, 'today': 116, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 250), ({'toll': 250, 'issued_day': 31, 'paid_day': 92, 'today': 92, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3250), ({'toll': 400, 'issued_day': 40, 'paid_day': 100, 'today': 100, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875)], [({'toll': 400, 'issued_day': 10, 'paid_day': 40, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 34, 'paid_day': 95, 'today': 95, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 68, 'paid_day': 129, 'today': 129, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3400), ({'toll': 875, 'issued_day': 0, 'paid_day': None, 'today': 100, 'first_fee': 1000, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': False}, 3875), ({'toll': 400, 'issued_day': 54, 'paid_day': 126, 'today': 162, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 79, 'paid_day': None, 'today': 109, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 42, 'paid_day': 102, 'today': 102, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 400)], [({'toll': 250, 'issued_day': 65, 'paid_day': None, 'today': 126, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3250), ({'toll': 400, 'issued_day': 0, 'paid_day': 0, 'today': 45, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 40, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': False}, 400), ({'toll': 400, 'issued_day': 10, 'paid_day': 70, 'today': 90, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 400), ({'toll': 400, 'issued_day': 34, 'paid_day': 94, 'today': 94, 'first_fee': 500, 'second_fee': 5000, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 400), ({'toll': 875, 'issued_day': 33, 'paid_day': 94, 'today': 94, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 5000, 'waiver_first': True}, 3875), ({'toll': 400, 'issued_day': 15, 'paid_day': 76, 'today': 76, 'first_fee': 500, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 3000, 'waiver_first': True}, 3400), ({'toll': 400, 'issued_day': 58, 'paid_day': 119, 'today': 119, 'first_fee': 1000, 'second_fee': 2500, 'stage1_days': 30, 'stage2_days': 60, 'cap': 7500, 'waiver_first': True}, 3900)]]\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-violation-escalation-waiver-window","generated_at":"2026-09-29T14:48:05.635729+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 waiver window rule so that the step reads `and age <= x['stage2_days']`.","root_cause":"First-time offenders paying after stage 2 still get the first fee waived.","sha256":"e60b97e40f4453b73643f60a0f5fce4fa908af10d781e41fecad080a4b27710c","title":"Unpaid toll violation escalation: the first-offender waiver applies at any age · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.415,"exit_code":1,"observations":[{"actual":875,"check":"fee oracle 0","expected":875,"passed":true},{"actual":3750,"check":"fee oracle 1","expected":3750,"passed":true},{"actual":400,"check":"fee oracle 2","expected":400,"passed":true},{"actual":1375,"check":"fee oracle 3","expected":1375,"passed":true},{"actual":1375,"check":"fee oracle 4","expected":1375,"passed":true},{"actual":900,"check":"fee oracle 5","expected":400,"passed":false},{"actual":1400,"check":"fee oracle 6","expected":400,"passed":false},{"actual":3875,"check":"fee oracle 7","expected":3875,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 875, \"expected\": 875, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 3750, \"expected\": 3750, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 1375, \"expected\": 1375, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1375, \"expected\": 1375, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 900, \"expected\": 400, \"passed\": false}, {\"check\": \"fee oracle 6\", \"actual\": 1400, \"expected\": 400, \"passed\": false}, {\"check\": \"fee oracle 7\", \"actual\": 3875, \"expected\": 3875, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.672,"exit_code":1,"observations":[{"actual":875,"check":"fee oracle 0","expected":875,"passed":true},{"actual":2750,"check":"fee oracle 1","expected":3750,"passed":false},{"actual":400,"check":"fee oracle 2","expected":400,"passed":true},{"actual":1375,"check":"fee oracle 3","expected":1375,"passed":true},{"actual":1375,"check":"fee oracle 4","expected":1375,"passed":true},{"actual":400,"check":"fee oracle 5","expected":400,"passed":true},{"actual":400,"check":"fee oracle 6","expected":400,"passed":true},{"actual":3875,"check":"fee oracle 7","expected":3875,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 875, \"expected\": 875, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 2750, \"expected\": 3750, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 1375, \"expected\": 1375, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1375, \"expected\": 1375, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 3875, \"expected\": 3875, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.516,"exit_code":0,"observations":[{"actual":875,"check":"fee oracle 0","expected":875,"passed":true},{"actual":3750,"check":"fee oracle 1","expected":3750,"passed":true},{"actual":400,"check":"fee oracle 2","expected":400,"passed":true},{"actual":1375,"check":"fee oracle 3","expected":1375,"passed":true},{"actual":1375,"check":"fee oracle 4","expected":1375,"passed":true},{"actual":400,"check":"fee oracle 5","expected":400,"passed":true},{"actual":400,"check":"fee oracle 6","expected":400,"passed":true},{"actual":3875,"check":"fee oracle 7","expected":3875,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 875, \"expected\": 875, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 3750, \"expected\": 3750, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 1375, \"expected\": 1375, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 1375, \"expected\": 1375, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 400, \"expected\": 400, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 3875, \"expected\": 3875, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}