{"abstract":"Merchant parking validations returns a wrong result when percentage validations are summed.","category":"Toll and parking fee computation","checks":8,"contract":"Input {minutes (single day), validations: [[free_min|pct|flat, value]], hourly, daily_max, max_free_min}. Free minutes from all validations are summed, capped at max_free_min and deducted from the stay before rating. The fee is started hours * hourly capped at daily_max. Only the largest percentage validation applies (discount floored to cents), then all flat validations are subtracted, never below zero.","evaluation_group":"w2-toll_and_parking_fee_computation-merchant-validation","failed_approach":"Using the last presented validation ignores a larger one presented earlier.","family":"w2-toll_and_parking_fee_computation-merchant-validation-pct-stacking","id":"FA-68676","implementations":{"attempt":{"sha256":"34a29836c785d2f4dcf96cb7b08943a1ec8b68bc30e29362a57742df9cd62a72","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    free = min(x['max_free_min'], sum(v for k, v in x['validations'] if k == 'free_min'))\n    bill = max(0, x['minutes'] - free)\n    fee = min(x['daily_max'], -(-bill // 60) * x['hourly'])\n    pcts = [v for k, v in x['validations'] if k == 'pct']\n    if pcts:\n        fee -= fee * pcts[-1] // 100\n    flat = sum(v for k, v in x['validations'] if k == 'flat')\n    return max(0, fee - flat)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'minutes': 846, 'validations': [['pct', 10], ['pct', 25], ['free_min', 120], ['free_min', 120]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 1800), ({'minutes': 1263, 'validations': [['pct', 25], ['flat', 250], ['pct', 50]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 120}, 650), ({'minutes': 881, 'validations': [['free_min', 120]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 120}, 1800), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 1001, 'validations': [['flat', 250], ['free_min', 15], ['free_min', 90]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 2150), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1217, 'validations': [['pct', 50], ['pct', 10], ['flat', 500]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 120}, 1000)], [({'minutes': 257, 'validations': [['pct', 10], ['pct', 25], ['free_min', 120]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 675), ({'minutes': 17, 'validations': [['free_min', 60], ['free_min', 90]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 0), ({'minutes': 605, 'validations': [['pct', 50], ['pct', 25]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 180}, 900), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1047, 'validations': [], 'hourly': 200, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550), ({'minutes': 230, 'validations': [['flat', 250], ['free_min', 120]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 180}, 150), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700)], [({'minutes': 1076, 'validations': [], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 1191, 'validations': [['pct', 25], ['pct', 25], ['flat', 500]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 120}, 1300), ({'minutes': 5, 'validations': [['flat', 100], ['free_min', 15], ['free_min', 120]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 180}, 0), ({'minutes': 740, 'validations': [['free_min', 90]], 'hourly': 300, 'daily_max': 1800, 'max_free_min': 60}, 1800), ({'minutes': 1071, 'validations': [['pct', 50], ['free_min', 60], ['pct', 10], ['free_min', 60]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 60}, 1200), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)], [({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 297, 'validations': [['pct', 10], ['free_min', 60], ['pct', 25]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 120}, 900), ({'minutes': 516, 'validations': [['free_min', 30], ['free_min', 60], ['free_min', 30], ['pct', 25]], 'hourly': 300, 'daily_max': 1800, 'max_free_min': 120}, 1350), ({'minutes': 936, 'validations': [['pct', 50], ['free_min', 120], ['pct', 25], ['flat', 500]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 700), ({'minutes': 814, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 120}, 1800), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1039, 'validations': [['free_min', 90], ['free_min', 90], ['flat', 250], ['free_min', 60]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 2150), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)], [({'minutes': 1392, 'validations': [], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 2400), ({'minutes': 1332, 'validations': [['flat', 500], ['pct', 50], ['pct', 25]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 700), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 195, 'validations': [['free_min', 60], ['free_min', 30], ['pct', 10]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 60}, 540), ({'minutes': 899, 'validations': [['free_min', 120]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 1058, 'validations': [['pct', 50], ['pct', 25], ['free_min', 60]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 180}, 900), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)]]\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":"0a87cf7ea0f316f083a4ed0d8277f58957d7f6f9a49072dd4f5ba6a3353b1c37","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    free = min(x['max_free_min'], sum(v for k, v in x['validations'] if k == 'free_min'))\n    bill = max(0, x['minutes'] - free)\n    fee = min(x['daily_max'], -(-bill // 60) * x['hourly'])\n    pcts = [v for k, v in x['validations'] if k == 'pct']\n    if pcts:\n        fee -= fee * sum(pcts) // 100\n    flat = sum(v for k, v in x['validations'] if k == 'flat')\n    return max(0, fee - flat)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'minutes': 846, 'validations': [['pct', 10], ['pct', 25], ['free_min', 120], ['free_min', 120]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 1800), ({'minutes': 1263, 'validations': [['pct', 25], ['flat', 250], ['pct', 50]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 120}, 650), ({'minutes': 881, 'validations': [['free_min', 120]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 120}, 1800), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 1001, 'validations': [['flat', 250], ['free_min', 15], ['free_min', 90]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 2150), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1217, 'validations': [['pct', 50], ['pct', 10], ['flat', 500]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 120}, 1000)], [({'minutes': 257, 'validations': [['pct', 10], ['pct', 25], ['free_min', 120]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 675), ({'minutes': 17, 'validations': [['free_min', 60], ['free_min', 90]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 0), ({'minutes': 605, 'validations': [['pct', 50], ['pct', 25]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 180}, 900), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1047, 'validations': [], 'hourly': 200, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550), ({'minutes': 230, 'validations': [['flat', 250], ['free_min', 120]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 180}, 150), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700)], [({'minutes': 1076, 'validations': [], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 1191, 'validations': [['pct', 25], ['pct', 25], ['flat', 500]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 120}, 1300), ({'minutes': 5, 'validations': [['flat', 100], ['free_min', 15], ['free_min', 120]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 180}, 0), ({'minutes': 740, 'validations': [['free_min', 90]], 'hourly': 300, 'daily_max': 1800, 'max_free_min': 60}, 1800), ({'minutes': 1071, 'validations': [['pct', 50], ['free_min', 60], ['pct', 10], ['free_min', 60]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 60}, 1200), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)], [({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 297, 'validations': [['pct', 10], ['free_min', 60], ['pct', 25]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 120}, 900), ({'minutes': 516, 'validations': [['free_min', 30], ['free_min', 60], ['free_min', 30], ['pct', 25]], 'hourly': 300, 'daily_max': 1800, 'max_free_min': 120}, 1350), ({'minutes': 936, 'validations': [['pct', 50], ['free_min', 120], ['pct', 25], ['flat', 500]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 700), ({'minutes': 814, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 120}, 1800), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1039, 'validations': [['free_min', 90], ['free_min', 90], ['flat', 250], ['free_min', 60]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 2150), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)], [({'minutes': 1392, 'validations': [], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 2400), ({'minutes': 1332, 'validations': [['flat', 500], ['pct', 50], ['pct', 25]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 700), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 195, 'validations': [['free_min', 60], ['free_min', 30], ['pct', 10]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 60}, 540), ({'minutes': 899, 'validations': [['free_min', 120]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 1058, 'validations': [['pct', 50], ['pct', 25], ['free_min', 60]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 180}, 900), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)]]\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":"f28cbe7fae2c80a405791cb6fd6aba1a12c4f55c65e38d1a97f816a25185db7a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    free = min(x['max_free_min'], sum(v for k, v in x['validations'] if k == 'free_min'))\n    bill = max(0, x['minutes'] - free)\n    fee = min(x['daily_max'], -(-bill // 60) * x['hourly'])\n    pcts = [v for k, v in x['validations'] if k == 'pct']\n    if pcts:\n        fee -= fee * max(pcts) // 100\n    flat = sum(v for k, v in x['validations'] if k == 'flat')\n    return max(0, fee - flat)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'minutes': 846, 'validations': [['pct', 10], ['pct', 25], ['free_min', 120], ['free_min', 120]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 1800), ({'minutes': 1263, 'validations': [['pct', 25], ['flat', 250], ['pct', 50]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 120}, 650), ({'minutes': 881, 'validations': [['free_min', 120]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 120}, 1800), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 1001, 'validations': [['flat', 250], ['free_min', 15], ['free_min', 90]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 2150), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1217, 'validations': [['pct', 50], ['pct', 10], ['flat', 500]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 120}, 1000)], [({'minutes': 257, 'validations': [['pct', 10], ['pct', 25], ['free_min', 120]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 675), ({'minutes': 17, 'validations': [['free_min', 60], ['free_min', 90]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 0), ({'minutes': 605, 'validations': [['pct', 50], ['pct', 25]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 180}, 900), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1047, 'validations': [], 'hourly': 200, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550), ({'minutes': 230, 'validations': [['flat', 250], ['free_min', 120]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 180}, 150), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700)], [({'minutes': 1076, 'validations': [], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 1191, 'validations': [['pct', 25], ['pct', 25], ['flat', 500]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 120}, 1300), ({'minutes': 5, 'validations': [['flat', 100], ['free_min', 15], ['free_min', 120]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 180}, 0), ({'minutes': 740, 'validations': [['free_min', 90]], 'hourly': 300, 'daily_max': 1800, 'max_free_min': 60}, 1800), ({'minutes': 1071, 'validations': [['pct', 50], ['free_min', 60], ['pct', 10], ['free_min', 60]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 60}, 1200), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)], [({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 297, 'validations': [['pct', 10], ['free_min', 60], ['pct', 25]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 120}, 900), ({'minutes': 516, 'validations': [['free_min', 30], ['free_min', 60], ['free_min', 30], ['pct', 25]], 'hourly': 300, 'daily_max': 1800, 'max_free_min': 120}, 1350), ({'minutes': 936, 'validations': [['pct', 50], ['free_min', 120], ['pct', 25], ['flat', 500]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 700), ({'minutes': 814, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 1800, 'max_free_min': 120}, 1800), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 1039, 'validations': [['free_min', 90], ['free_min', 90], ['flat', 250], ['free_min', 60]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 2150), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)], [({'minutes': 1392, 'validations': [], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 2400), ({'minutes': 1332, 'validations': [['flat', 500], ['pct', 50], ['pct', 25]], 'hourly': 200, 'daily_max': 2400, 'max_free_min': 60}, 700), ({'minutes': 150, 'validations': [['free_min', 60], ['free_min', 60], ['free_min', 60]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 300), ({'minutes': 195, 'validations': [['free_min', 60], ['free_min', 30], ['pct', 10]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 60}, 540), ({'minutes': 899, 'validations': [['free_min', 120]], 'hourly': 300, 'daily_max': 3000, 'max_free_min': 180}, 3000), ({'minutes': 1058, 'validations': [['pct', 50], ['pct', 25], ['free_min', 60]], 'hourly': 200, 'daily_max': 1800, 'max_free_min': 180}, 900), ({'minutes': 95, 'validations': [['free_min', 30]], 'hourly': 350, 'daily_max': 2400, 'max_free_min': 120}, 700), ({'minutes': 200, 'validations': [['pct', 25], ['pct', 10], ['flat', 100], ['flat', 250]], 'hourly': 300, 'daily_max': 2400, 'max_free_min': 120}, 550)]]\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-merchant-validation-pct-stacking","generated_at":"2026-09-29T14:48:04.450046+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 percentage stacking rule so that the step reads `fee * max(pcts) // 100`.","root_cause":"Several percentage validations stack, possibly making parking free.","sha256":"a0a586f058b571084a07aedf94702b13fafe47f1825f169dce2d9f6db08687a0","title":"Merchant parking validations: percentage validations are summed · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.937,"exit_code":1,"observations":[{"actual":1800,"check":"fee oracle 0","expected":1800,"passed":true},{"actual":650,"check":"fee oracle 1","expected":650,"passed":true},{"actual":1800,"check":"fee oracle 2","expected":1800,"passed":true},{"actual":700,"check":"fee oracle 3","expected":700,"passed":true},{"actual":2150,"check":"fee oracle 4","expected":2150,"passed":true},{"actual":730,"check":"fee oracle 5","expected":550,"passed":false},{"actual":300,"check":"fee oracle 6","expected":300,"passed":true},{"actual":2200,"check":"fee oracle 7","expected":1000,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 650, \"expected\": 650, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 700, \"expected\": 700, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 2150, \"expected\": 2150, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 730, \"expected\": 550, \"passed\": false}, {\"check\": \"fee oracle 6\", \"actual\": 300, \"expected\": 300, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 2200, \"expected\": 1000, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.165,"exit_code":1,"observations":[{"actual":1560,"check":"fee oracle 0","expected":1800,"passed":false},{"actual":200,"check":"fee oracle 1","expected":650,"passed":false},{"actual":1800,"check":"fee oracle 2","expected":1800,"passed":true},{"actual":700,"check":"fee oracle 3","expected":700,"passed":true},{"actual":2150,"check":"fee oracle 4","expected":2150,"passed":true},{"actual":430,"check":"fee oracle 5","expected":550,"passed":false},{"actual":300,"check":"fee oracle 6","expected":300,"passed":true},{"actual":700,"check":"fee oracle 7","expected":1000,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 1560, \"expected\": 1800, \"passed\": false}, {\"check\": \"fee oracle 1\", \"actual\": 200, \"expected\": 650, \"passed\": false}, {\"check\": \"fee oracle 2\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 700, \"expected\": 700, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 2150, \"expected\": 2150, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 430, \"expected\": 550, \"passed\": false}, {\"check\": \"fee oracle 6\", \"actual\": 300, \"expected\": 300, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 700, \"expected\": 1000, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.025,"exit_code":0,"observations":[{"actual":1800,"check":"fee oracle 0","expected":1800,"passed":true},{"actual":650,"check":"fee oracle 1","expected":650,"passed":true},{"actual":1800,"check":"fee oracle 2","expected":1800,"passed":true},{"actual":700,"check":"fee oracle 3","expected":700,"passed":true},{"actual":2150,"check":"fee oracle 4","expected":2150,"passed":true},{"actual":550,"check":"fee oracle 5","expected":550,"passed":true},{"actual":300,"check":"fee oracle 6","expected":300,"passed":true},{"actual":1000,"check":"fee oracle 7","expected":1000,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fee oracle 0\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}, {\"check\": \"fee oracle 1\", \"actual\": 650, \"expected\": 650, \"passed\": true}, {\"check\": \"fee oracle 2\", \"actual\": 1800, \"expected\": 1800, \"passed\": true}, {\"check\": \"fee oracle 3\", \"actual\": 700, \"expected\": 700, \"passed\": true}, {\"check\": \"fee oracle 4\", \"actual\": 2150, \"expected\": 2150, \"passed\": true}, {\"check\": \"fee oracle 5\", \"actual\": 550, \"expected\": 550, \"passed\": true}, {\"check\": \"fee oracle 6\", \"actual\": 300, \"expected\": 300, \"passed\": true}, {\"check\": \"fee oracle 7\", \"actual\": 1000, \"expected\": 1000, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}