{"abstract":"Officers near the cap lose their overtime exclusion.","category":"Insurance premium rating","checks":9,"contract":"Input rates {class: cents per $100 of payroll}, employees [[class, payroll cents incl. overtime, overtime cents, officer]], officer_min, officer_max. Unknown class -> 'unknown class <code>'. Remove the overtime premium portion (one third of overtime pay), then clamp officer payroll to [officer_min, officer_max]. Sum payroll by class; class premium = payroll*rate/10000 rounded half-up per class; return the total.","evaluation_group":"w2-insurance_premium_rating-payroll-audit","failed_approach":"Subtracting overtime after clamping lets capped officers fall below the maximum.","family":"w2-insurance_premium_rating-payroll-audit-officer-clamp-source","id":"FA-63146","implementations":{"attempt":{"sha256":"49825fa6d8dd70119d5aa476f05b33c6daa2bd40e9b7a6812f18601adf7b40e4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    by={}\n    for cls,pay,ot,officer in x['employees']:\n        if cls not in x['rates']: return 'unknown class '+cls\n        base=pay-Fraction(ot,3)\n        if officer: base=max(x['officer_min'],min(x['officer_max'],pay)-Fraction(ot,3))\n        by[cls]=by.get(cls,0)+base\n    tot=0\n    for cls in sorted(by):\n        tot+=math.floor(by[cls]*x['rates'][cls]/10000+Fraction(1,2))\n    return tot\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['construction crew with overtime', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 3806909, 440206, False], ['5403', 5169784, 475047, False], ['5403', 4327308, 875628, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1724345], ['high-paid officer capped', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8810', 20000001, 0, True], ['8810', 7473841, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 42842], ['officer with overtime near cap', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 12200001, 900000, True], ['5183', 2895447, 604577, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 221988], ['part-time officer raised to minimum', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 8392399, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 54684], ['mixed classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 4370481, 231136, False], ['8742', 6099309, 257334, False], ['5183', 8272641, 294990, False], ['8810', 4489688, 191785, False], ['8742', 8245285, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1161066], ['unknown class code', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['9999', 7459474, 453667, False], ['8810', 4658471, 375443, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5183', 612208, 50444, False], ['5183', 642893, 43214, False], ['5183', 509283, 67193, False], ['5183', 482245, 69768, False], ['5183', 387181, 38625, False], ['5183', 624757, 46096, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 192991], ['no employees', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 2704921, 47898, False], ['5403', 1854859, 1323, False], ['5403', 2209353, 699, False], ['5403', 1645713, 34941, False], ['8742', 1964735, 0, False], ['8742', 1444407, 0, False], ['8742', 1185321, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1160109]], [['construction crew with overtime', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 5589785, 749739, False], ['5403', 3004512, 755944, False], ['5403', 8028563, 494683, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2176408], ['high-paid officer capped', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8810', 20000002, 0, True], ['8810', 4938763, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 38959], ['officer with overtime near cap', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 12200002, 900000, True], ['5183', 7556209, 751524, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 504229], ['part-time officer raised to minimum', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 3240624, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 29955], ['mixed classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 2948197, 551768, False], ['5403', 2964789, 498187, False], ['8810', 6667557, 0, False], ['8810', 2940792, 0, False], ['8810', 7643712, 449698, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 434350], ['unknown class code', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['9999', 2603447, 0, False], ['8810', 6041352, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5183', 597562, 61292, False], ['5183', 587325, 8597, False], ['5183', 364731, 61505, False], ['5183', 500399, 11567, False], ['5183', 326057, 33389, False], ['5183', 634518, 31090, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 180016], ['no employees', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 2905651, 11823, False], ['5403', 2371235, 56064, False], ['5403', 2934717, 85428, False], ['5403', 2781211, 64023, False], ['8742', 1361139, 0, False], ['8742', 2833115, 0, False], ['8742', 1273671, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1515784]], [['construction crew with overtime', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 4509048, 724931, False], ['5403', 6366252, 824599, False], ['5403', 8964442, 347528, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2633333], ['high-paid officer capped', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 20000003, 0, True], ['8810', 2634381, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 35123], ['officer with overtime near cap', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 12200003, 900000, True], ['5183', 7287070, 735091, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 488093], ['part-time officer raised to minimum', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 4603792, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 36498], ['mixed classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 8750822, 0, False], ['8810', 6128102, 0, False], ['5183', 6246828, 0, False], ['5403', 5909616, 322654, False], ['8810', 6168033, 540676, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1227849], ['unknown class code', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['9999', 7327480, 551873, False], ['8810', 3024985, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5183', 329254, 7253, False], ['5183', 626764, 42759, False], ['5183', 659916, 20264, False], ['5183', 519469, 35559, False], ['5183', 389886, 75669, False], ['5183', 507542, 41718, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 181056], ['no employees', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 2659221, 68400, False], ['5403', 2971143, 68046, False], ['5403', 2774867, 10245, False], ['5403', 2815711, 38499, False], ['8742', 2701865, 0, False], ['8742', 1164649, 0, False], ['8742', 1162777, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1554069]], [['construction crew with overtime', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 5006217, 551722, False], ['5403', 3676711, 858245, False], ['5403', 7410036, 662511, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2122415], ['high-paid officer capped', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8810', 20000004, 0, True], ['8810', 5669566, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 44174], ['officer with overtime near cap', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 12200004, 900000, True], ['5183', 4588140, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 337914], ['part-time officer raised to minimum', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 6091797, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 43641], ['mixed classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 8534301, 165838, False], ['8742', 5684815, 239232, False], ['5403', 8412792, 134991, False], ['8742', 4205248, 0, False], ['8742', 4460925, 281462, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2389543], ['unknown class code', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['9999', 4685853, 0, False], ['8810', 8884824, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5183', 528372, 84144, False], ['5183', 611261, 67360, False], ['5183', 530047, 86400, False], ['5183', 594062, 70397, False], ['5183', 692753, 26987, False], ['5183', 474056, 25708, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 202585], ['no employees', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 2422889, 9399, False], ['5403', 2602627, 61761, False], ['5403', 2502883, 72387, False], ['5403', 1907625, 52560, False], ['8742', 2723881, 0, False], ['8742', 2789151, 0, False], ['8742', 1671629, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1325762]], [['construction crew with overtime', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 4325810, 386365, False], ['5403', 8069112, 702120, False], ['5403', 8542896, 764368, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2814348], ['high-paid officer capped', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8810', 20000005, 0, True], ['8810', 3023598, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 39061], ['officer with overtime near cap', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 12200005, 900000, True], ['5183', 6746427, 347672, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 462909], ['part-time officer raised to minimum', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 2883302, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 28240], ['mixed classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 6265553, 0, False], ['5403', 8393440, 217802, False], ['5403', 6148670, 0, False], ['5183', 3719409, 873745, False], ['8742', 6249488, 662920, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2626219], ['unknown class code', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['9999', 2588874, 0, False], ['8810', 4808227, 215758, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 607059, 78097, False], ['5183', 557045, 41904, False], ['5183', 398784, 78900, False], ['5183', 578083, 69965, False], ['5183', 306975, 36499, False], ['5183', 592062, 59356, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 178608], ['no employees', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 2366515, 69267, False], ['5403', 2032839, 11376, False], ['5403', 1111359, 84174, False], ['5403', 1758487, 71022, False], ['8742', 1374745, 0, False], ['8742', 2478437, 0, False], ['8742', 1307151, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1020666]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"377e6c166f95777162bcbdfb0057415a48e564710c45c254da34879db44f4d3e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    by={}\n    for cls,pay,ot,officer in x['employees']:\n        if cls not in x['rates']: return 'unknown class '+cls\n        base=pay-Fraction(ot,3)\n        if officer: base=max(x['officer_min'],min(x['officer_max'],pay))\n        by[cls]=by.get(cls,0)+base\n    tot=0\n    for cls in sorted(by):\n        tot+=math.floor(by[cls]*x['rates'][cls]/10000+Fraction(1,2))\n    return tot\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['construction crew with overtime', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 3806909, 440206, False], ['5403', 5169784, 475047, False], ['5403', 4327308, 875628, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1724345], ['high-paid officer capped', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8810', 20000001, 0, True], ['8810', 7473841, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 42842], ['officer with overtime near cap', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 12200001, 900000, True], ['5183', 2895447, 604577, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 221988], ['part-time officer raised to minimum', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 8392399, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 54684], ['mixed classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 4370481, 231136, False], ['8742', 6099309, 257334, False], ['5183', 8272641, 294990, False], ['8810', 4489688, 191785, False], ['8742', 8245285, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1161066], ['unknown class code', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['9999', 7459474, 453667, False], ['8810', 4658471, 375443, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5183', 612208, 50444, False], ['5183', 642893, 43214, False], ['5183', 509283, 67193, False], ['5183', 482245, 69768, False], ['5183', 387181, 38625, False], ['5183', 624757, 46096, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 192991], ['no employees', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 2704921, 47898, False], ['5403', 1854859, 1323, False], ['5403', 2209353, 699, False], ['5403', 1645713, 34941, False], ['8742', 1964735, 0, False], ['8742', 1444407, 0, False], ['8742', 1185321, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1160109]], [['construction crew with overtime', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 5589785, 749739, False], ['5403', 3004512, 755944, False], ['5403', 8028563, 494683, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2176408], ['high-paid officer capped', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8810', 20000002, 0, True], ['8810', 4938763, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 38959], ['officer with overtime near cap', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 12200002, 900000, True], ['5183', 7556209, 751524, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 504229], ['part-time officer raised to minimum', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 3240624, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 29955], ['mixed classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 2948197, 551768, False], ['5403', 2964789, 498187, False], ['8810', 6667557, 0, False], ['8810', 2940792, 0, False], ['8810', 7643712, 449698, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 434350], ['unknown class code', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['9999', 2603447, 0, False], ['8810', 6041352, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5183', 597562, 61292, False], ['5183', 587325, 8597, False], ['5183', 364731, 61505, False], ['5183', 500399, 11567, False], ['5183', 326057, 33389, False], ['5183', 634518, 31090, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 180016], ['no employees', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 2905651, 11823, False], ['5403', 2371235, 56064, False], ['5403', 2934717, 85428, False], ['5403', 2781211, 64023, False], ['8742', 1361139, 0, False], ['8742', 2833115, 0, False], ['8742', 1273671, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1515784]], [['construction crew with overtime', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 4509048, 724931, False], ['5403', 6366252, 824599, False], ['5403', 8964442, 347528, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2633333], ['high-paid officer capped', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 20000003, 0, True], ['8810', 2634381, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 35123], ['officer with overtime near cap', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 12200003, 900000, True], ['5183', 7287070, 735091, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 488093], ['part-time officer raised to minimum', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 4603792, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 36498], ['mixed classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 8750822, 0, False], ['8810', 6128102, 0, False], ['5183', 6246828, 0, False], ['5403', 5909616, 322654, False], ['8810', 6168033, 540676, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1227849], ['unknown class code', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['9999', 7327480, 551873, False], ['8810', 3024985, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5183', 329254, 7253, False], ['5183', 626764, 42759, False], ['5183', 659916, 20264, False], ['5183', 519469, 35559, False], ['5183', 389886, 75669, False], ['5183', 507542, 41718, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 181056], ['no employees', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 2659221, 68400, False], ['5403', 2971143, 68046, False], ['5403', 2774867, 10245, False], ['5403', 2815711, 38499, False], ['8742', 2701865, 0, False], ['8742', 1164649, 0, False], ['8742', 1162777, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1554069]], [['construction crew with overtime', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 5006217, 551722, False], ['5403', 3676711, 858245, False], ['5403', 7410036, 662511, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2122415], ['high-paid officer capped', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8810', 20000004, 0, True], ['8810', 5669566, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 44174], ['officer with overtime near cap', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 12200004, 900000, True], ['5183', 4588140, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 337914], ['part-time officer raised to minimum', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 6091797, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 43641], ['mixed classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 8534301, 165838, False], ['8742', 5684815, 239232, False], ['5403', 8412792, 134991, False], ['8742', 4205248, 0, False], ['8742', 4460925, 281462, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2389543], ['unknown class code', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['9999', 4685853, 0, False], ['8810', 8884824, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5183', 528372, 84144, False], ['5183', 611261, 67360, False], ['5183', 530047, 86400, False], ['5183', 594062, 70397, False], ['5183', 692753, 26987, False], ['5183', 474056, 25708, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 202585], ['no employees', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 2422889, 9399, False], ['5403', 2602627, 61761, False], ['5403', 2502883, 72387, False], ['5403', 1907625, 52560, False], ['8742', 2723881, 0, False], ['8742', 2789151, 0, False], ['8742', 1671629, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1325762]], [['construction crew with overtime', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 4325810, 386365, False], ['5403', 8069112, 702120, False], ['5403', 8542896, 764368, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2814348], ['high-paid officer capped', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8810', 20000005, 0, True], ['8810', 3023598, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 39061], ['officer with overtime near cap', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 12200005, 900000, True], ['5183', 6746427, 347672, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 462909], ['part-time officer raised to minimum', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 2883302, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 28240], ['mixed classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 6265553, 0, False], ['5403', 8393440, 217802, False], ['5403', 6148670, 0, False], ['5183', 3719409, 873745, False], ['8742', 6249488, 662920, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2626219], ['unknown class code', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['9999', 2588874, 0, False], ['8810', 4808227, 215758, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 607059, 78097, False], ['5183', 557045, 41904, False], ['5183', 398784, 78900, False], ['5183', 578083, 69965, False], ['5183', 306975, 36499, False], ['5183', 592062, 59356, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 178608], ['no employees', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 2366515, 69267, False], ['5403', 2032839, 11376, False], ['5403', 1111359, 84174, False], ['5403', 1758487, 71022, False], ['8742', 1374745, 0, False], ['8742', 2478437, 0, False], ['8742', 1307151, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1020666]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"d072397178e71f12511297152aa7afadafdbbffca189690597a27fd2656f006e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    by={}\n    for cls,pay,ot,officer in x['employees']:\n        if cls not in x['rates']: return 'unknown class '+cls\n        base=pay-Fraction(ot,3)\n        if officer: base=max(x['officer_min'],min(x['officer_max'],base))\n        by[cls]=by.get(cls,0)+base\n    tot=0\n    for cls in sorted(by):\n        tot+=math.floor(by[cls]*x['rates'][cls]/10000+Fraction(1,2))\n    return tot\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['construction crew with overtime', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 3806909, 440206, False], ['5403', 5169784, 475047, False], ['5403', 4327308, 875628, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1724345], ['high-paid officer capped', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8810', 20000001, 0, True], ['8810', 7473841, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 42842], ['officer with overtime near cap', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 12200001, 900000, True], ['5183', 2895447, 604577, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 221988], ['part-time officer raised to minimum', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 8392399, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 54684], ['mixed classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 4370481, 231136, False], ['8742', 6099309, 257334, False], ['5183', 8272641, 294990, False], ['8810', 4489688, 191785, False], ['8742', 8245285, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1161066], ['unknown class code', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['9999', 7459474, 453667, False], ['8810', 4658471, 375443, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5183', 612208, 50444, False], ['5183', 642893, 43214, False], ['5183', 509283, 67193, False], ['5183', 482245, 69768, False], ['5183', 387181, 38625, False], ['5183', 624757, 46096, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 192991], ['no employees', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 2704921, 47898, False], ['5403', 1854859, 1323, False], ['5403', 2209353, 699, False], ['5403', 1645713, 34941, False], ['8742', 1964735, 0, False], ['8742', 1444407, 0, False], ['8742', 1185321, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1160109]], [['construction crew with overtime', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 5589785, 749739, False], ['5403', 3004512, 755944, False], ['5403', 8028563, 494683, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2176408], ['high-paid officer capped', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8810', 20000002, 0, True], ['8810', 4938763, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 38959], ['officer with overtime near cap', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 12200002, 900000, True], ['5183', 7556209, 751524, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 504229], ['part-time officer raised to minimum', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 3240624, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 29955], ['mixed classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 2948197, 551768, False], ['5403', 2964789, 498187, False], ['8810', 6667557, 0, False], ['8810', 2940792, 0, False], ['8810', 7643712, 449698, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 434350], ['unknown class code', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['9999', 2603447, 0, False], ['8810', 6041352, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5183', 597562, 61292, False], ['5183', 587325, 8597, False], ['5183', 364731, 61505, False], ['5183', 500399, 11567, False], ['5183', 326057, 33389, False], ['5183', 634518, 31090, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 180016], ['no employees', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 2905651, 11823, False], ['5403', 2371235, 56064, False], ['5403', 2934717, 85428, False], ['5403', 2781211, 64023, False], ['8742', 1361139, 0, False], ['8742', 2833115, 0, False], ['8742', 1273671, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1515784]], [['construction crew with overtime', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 4509048, 724931, False], ['5403', 6366252, 824599, False], ['5403', 8964442, 347528, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2633333], ['high-paid officer capped', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 20000003, 0, True], ['8810', 2634381, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 35123], ['officer with overtime near cap', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 12200003, 900000, True], ['5183', 7287070, 735091, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 488093], ['part-time officer raised to minimum', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 4603792, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 36498], ['mixed classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 8750822, 0, False], ['8810', 6128102, 0, False], ['5183', 6246828, 0, False], ['5403', 5909616, 322654, False], ['8810', 6168033, 540676, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1227849], ['unknown class code', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['9999', 7327480, 551873, False], ['8810', 3024985, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5183', 329254, 7253, False], ['5183', 626764, 42759, False], ['5183', 659916, 20264, False], ['5183', 519469, 35559, False], ['5183', 389886, 75669, False], ['5183', 507542, 41718, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 181056], ['no employees', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 2659221, 68400, False], ['5403', 2971143, 68046, False], ['5403', 2774867, 10245, False], ['5403', 2815711, 38499, False], ['8742', 2701865, 0, False], ['8742', 1164649, 0, False], ['8742', 1162777, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1554069]], [['construction crew with overtime', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 5006217, 551722, False], ['5403', 3676711, 858245, False], ['5403', 7410036, 662511, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2122415], ['high-paid officer capped', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8810', 20000004, 0, True], ['8810', 5669566, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 44174], ['officer with overtime near cap', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 12200004, 900000, True], ['5183', 4588140, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 337914], ['part-time officer raised to minimum', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 6091797, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 43641], ['mixed classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 8534301, 165838, False], ['8742', 5684815, 239232, False], ['5403', 8412792, 134991, False], ['8742', 4205248, 0, False], ['8742', 4460925, 281462, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2389543], ['unknown class code', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['9999', 4685853, 0, False], ['8810', 8884824, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5183', 528372, 84144, False], ['5183', 611261, 67360, False], ['5183', 530047, 86400, False], ['5183', 594062, 70397, False], ['5183', 692753, 26987, False], ['5183', 474056, 25708, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 202585], ['no employees', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 2422889, 9399, False], ['5403', 2602627, 61761, False], ['5403', 2502883, 72387, False], ['5403', 1907625, 52560, False], ['8742', 2723881, 0, False], ['8742', 2789151, 0, False], ['8742', 1671629, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1325762]], [['construction crew with overtime', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 4325810, 386365, False], ['5403', 8069112, 702120, False], ['5403', 8542896, 764368, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2814348], ['high-paid officer capped', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8810', 20000005, 0, True], ['8810', 3023598, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 39061], ['officer with overtime near cap', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 12200005, 900000, True], ['5183', 6746427, 347672, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 462909], ['part-time officer raised to minimum', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 2883302, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 28240], ['mixed classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 6265553, 0, False], ['5403', 8393440, 217802, False], ['5403', 6148670, 0, False], ['5183', 3719409, 873745, False], ['8742', 6249488, 662920, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2626219], ['unknown class code', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['9999', 2588874, 0, False], ['8810', 4808227, 215758, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 607059, 78097, False], ['5183', 557045, 41904, False], ['5183', 398784, 78900, False], ['5183', 578083, 69965, False], ['5183', 306975, 36499, False], ['5183', 592062, 59356, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 178608], ['no employees', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 2366515, 69267, False], ['5403', 2032839, 11376, False], ['5403', 1111359, 84174, False], ['5403', 1758487, 71022, False], ['8742', 1374745, 0, False], ['8742', 2478437, 0, False], ['8742', 1307151, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1020666]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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 teaching model of a stipulated toy rating contract. Amounts are integer cents and factors exact rationals; it makes no claim of conformance with any filed rating plan, bureau manual or jurisdiction. 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-insurance_premium_rating-payroll-audit-officer-clamp-source","generated_at":"2026-09-29T14:47:11.551638+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Audited payroll premium is where overtime exclusions and officer limits routinely go wrong.","repair":"Clamp the adjusted payroll.","root_cause":"The officer limit reads gross payroll instead of the overtime-adjusted base.","sha256":"d7b2913e748a6b893b89c49cf3bb9090b64b6e550cc2a3b341d3396b011f6747","title":"Workers compensation payroll audit premium: Officer cap is applied to gross pay · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.836,"exit_code":1,"observations":[{"actual":1724345,"check":"construction crew with overtime","expected":1724345,"passed":true},{"actual":42842,"check":"high-paid officer capped","expected":42842,"passed":true},{"actual":221028,"check":"officer with overtime near cap","expected":221988,"passed":false},{"actual":54684,"check":"part-time officer raised to minimum","expected":54684,"passed":true},{"actual":1161066,"check":"mixed classes","expected":1161066,"passed":true},{"actual":"unknown class 9999","check":"unknown class code","expected":"unknown class 9999","passed":true},{"actual":192991,"check":"many small payrolls in one class","expected":192991,"passed":true},{"actual":0,"check":"no employees","expected":0,"passed":true},{"actual":1160109,"check":"odd payrolls in two classes","expected":1160109,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"construction crew with overtime\", \"actual\": 1724345, \"expected\": 1724345, \"passed\": true}, {\"check\": \"high-paid officer capped\", \"actual\": 42842, \"expected\": 42842, \"passed\": true}, {\"check\": \"officer with overtime near cap\", \"actual\": 221028, \"expected\": 221988, \"passed\": false}, {\"check\": \"part-time officer raised to minimum\", \"actual\": 54684, \"expected\": 54684, \"passed\": true}, {\"check\": \"mixed classes\", \"actual\": 1161066, \"expected\": 1161066, \"passed\": true}, {\"check\": \"unknown class code\", \"actual\": \"unknown class 9999\", \"expected\": \"unknown class 9999\", \"passed\": true}, {\"check\": \"many small payrolls in one class\", \"actual\": 192991, \"expected\": 192991, \"passed\": true}, {\"check\": \"no employees\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"odd payrolls in two classes\", \"actual\": 1160109, \"expected\": 1160109, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.188,"exit_code":1,"observations":[{"actual":1724345,"check":"construction crew with overtime","expected":1724345,"passed":true},{"actual":42842,"check":"high-paid officer capped","expected":42842,"passed":true},{"actual":222468,"check":"officer with overtime near cap","expected":221988,"passed":false},{"actual":54684,"check":"part-time officer raised to minimum","expected":54684,"passed":true},{"actual":1161066,"check":"mixed classes","expected":1161066,"passed":true},{"actual":"unknown class 9999","check":"unknown class code","expected":"unknown class 9999","passed":true},{"actual":192991,"check":"many small payrolls in one class","expected":192991,"passed":true},{"actual":0,"check":"no employees","expected":0,"passed":true},{"actual":1160109,"check":"odd payrolls in two classes","expected":1160109,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"construction crew with overtime\", \"actual\": 1724345, \"expected\": 1724345, \"passed\": true}, {\"check\": \"high-paid officer capped\", \"actual\": 42842, \"expected\": 42842, \"passed\": true}, {\"check\": \"officer with overtime near cap\", \"actual\": 222468, \"expected\": 221988, \"passed\": false}, {\"check\": \"part-time officer raised to minimum\", \"actual\": 54684, \"expected\": 54684, \"passed\": true}, {\"check\": \"mixed classes\", \"actual\": 1161066, \"expected\": 1161066, \"passed\": true}, {\"check\": \"unknown class code\", \"actual\": \"unknown class 9999\", \"expected\": \"unknown class 9999\", \"passed\": true}, {\"check\": \"many small payrolls in one class\", \"actual\": 192991, \"expected\": 192991, \"passed\": true}, {\"check\": \"no employees\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"odd payrolls in two classes\", \"actual\": 1160109, \"expected\": 1160109, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.053,"exit_code":0,"observations":[{"actual":1724345,"check":"construction crew with overtime","expected":1724345,"passed":true},{"actual":42842,"check":"high-paid officer capped","expected":42842,"passed":true},{"actual":221988,"check":"officer with overtime near cap","expected":221988,"passed":true},{"actual":54684,"check":"part-time officer raised to minimum","expected":54684,"passed":true},{"actual":1161066,"check":"mixed classes","expected":1161066,"passed":true},{"actual":"unknown class 9999","check":"unknown class code","expected":"unknown class 9999","passed":true},{"actual":192991,"check":"many small payrolls in one class","expected":192991,"passed":true},{"actual":0,"check":"no employees","expected":0,"passed":true},{"actual":1160109,"check":"odd payrolls in two classes","expected":1160109,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"construction crew with overtime\", \"actual\": 1724345, \"expected\": 1724345, \"passed\": true}, {\"check\": \"high-paid officer capped\", \"actual\": 42842, \"expected\": 42842, \"passed\": true}, {\"check\": \"officer with overtime near cap\", \"actual\": 221988, \"expected\": 221988, \"passed\": true}, {\"check\": \"part-time officer raised to minimum\", \"actual\": 54684, \"expected\": 54684, \"passed\": true}, {\"check\": \"mixed classes\", \"actual\": 1161066, \"expected\": 1161066, \"passed\": true}, {\"check\": \"unknown class code\", \"actual\": \"unknown class 9999\", \"expected\": \"unknown class 9999\", \"passed\": true}, {\"check\": \"many small payrolls in one class\", \"actual\": 192991, \"expected\": 192991, \"passed\": true}, {\"check\": \"no employees\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"odd payrolls in two classes\", \"actual\": 1160109, \"expected\": 1160109, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}