{"abstract":"An obligor exactly 12 weeks in arrears receives the 5-point increase early.","category":"Payroll withholding rules","checks":8,"contract":"Input weekly {gross, taxes, voluntary, support_ordered, supports_other_family, arrears_weeks, creditor_ordered, min_wage}. Disposable = max(0, gross - taxes); voluntary deductions are not subtracted. Support cap is 60% of disposable (50% if supporting another family), +5 points when arrears exceed 12 weeks, floored to cents. Creditor cap is min(25% of disposable, disposable - 30*min_wage floored at 0) less support already taken, floored at 0. Return [disposable, support, creditor].","evaluation_group":"w2-payroll-withholding-wage-garnishment-priority","failed_approach":"The attempt converts the threshold to days while arrears are counted in weeks, so the increase almost never applies.","family":"w2-payroll-withholding-wage-garnishment-priority-arrears-threshold","id":"FA-58951","implementations":{"attempt":{"sha256":"c2a962c9b5611d1c839c163bdf3401e94f04a315431287257d3878dfb63429c8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    disposable = x['gross'] - x['taxes']\n    disposable = max(0, disposable)\n    pct = 50 if x['supports_other_family'] else 60\n    if x['arrears_weeks'] > 12 * 7:\n        pct += 5\n    support_cap = disposable * pct // 100\n    support = min(x['support_ordered'], support_cap)\n    general_cap = min(disposable * 25 // 100, max(0, disposable - 30 * x['min_wage']))\n    creditor_room = max(0, general_cap - support)\n    creditor = min(x['creditor_ordered'], creditor_room)\n    return [disposable, support, creditor]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'gross': 46826, 'taxes': 741, 'voluntary': 4492, 'support_ordered': 65174, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 1500}, [46085, 27651, 0]), ('regression', {'gross': 44831, 'taxes': 4578, 'voluntary': 17862, 'support_ordered': 124565, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40253, 24151, 0]), ('partial-repair probe', {'gross': 97698, 'taxes': 10309, 'voluntary': 18929, 'support_ordered': 119941, 'supports_other_family': False, 'arrears_weeks': 16, 'creditor_ordered': 20227, 'min_wage': 1500}, [87389, 56802, 0]), ('partial-repair probe', {'gross': 43381, 'taxes': 4618, 'voluntary': 0, 'support_ordered': 101047, 'supports_other_family': True, 'arrears_weeks': 27, 'creditor_ordered': 46979, 'min_wage': 1000}, [38763, 21319, 0]), ('normal control', {'gross': 44578, 'taxes': 13638, 'voluntary': 18352, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 12101, 'min_wage': 1000}, [30940, 0, 940]), ('normal control', {'gross': 49885, 'taxes': 7577, 'voluntary': 0, 'support_ordered': 11010, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 76774, 'min_wage': 725}, [42308, 11010, 0]), ('normal control', {'gross': 57348, 'taxes': 14511, 'voluntary': 6333, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 37, 'creditor_ordered': 25506, 'min_wage': 1000}, [42837, 0, 10709]), ('normal control', {'gross': 148773, 'taxes': 37141, 'voluntary': 0, 'support_ordered': 142131, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 65400, 'min_wage': 1000}, [111632, 55816, 0])], [('regression', {'gross': 44831, 'taxes': 4578, 'voluntary': 17862, 'support_ordered': 124565, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40253, 24151, 0]), ('regression', {'gross': 41743, 'taxes': 1120, 'voluntary': 0, 'support_ordered': 64278, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40623, 20311, 0]), ('partial-repair probe', {'gross': 54642, 'taxes': 12825, 'voluntary': 0, 'support_ordered': 119615, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 48348, 'min_wage': 1500}, [41817, 22999, 0]), ('partial-repair probe', {'gross': 40096, 'taxes': 4629, 'voluntary': 0, 'support_ordered': 113660, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1500}, [35467, 23053, 0]), ('normal control', {'gross': 60837, 'taxes': 6384, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 8, 'creditor_ordered': 99104, 'min_wage': 725}, [54453, 0, 13613]), ('normal control', {'gross': 17708, 'taxes': 3346, 'voluntary': 3682, 'support_ordered': 144082, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [14362, 7181, 0]), ('normal control', {'gross': 34053, 'taxes': 8230, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [25823, 0, 0]), ('normal control', {'gross': 92812, 'taxes': 14753, 'voluntary': 4255, 'support_ordered': 102328, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1000}, [78059, 39029, 0])], [('regression', {'gross': 41743, 'taxes': 1120, 'voluntary': 0, 'support_ordered': 64278, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40623, 20311, 0]), ('regression', {'gross': 140899, 'taxes': 22866, 'voluntary': 10207, 'support_ordered': 106762, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [118033, 59016, 0]), ('partial-repair probe', {'gross': 82481, 'taxes': 4673, 'voluntary': 0, 'support_ordered': 137874, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1500}, [77808, 42794, 0]), ('partial-repair probe', {'gross': 28444, 'taxes': 5961, 'voluntary': 0, 'support_ordered': 34693, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 72600, 'min_wage': 1000}, [22483, 14613, 0]), ('normal control', {'gross': 49631, 'taxes': 10694, 'voluntary': 12100, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 29, 'creditor_ordered': 0, 'min_wage': 1500}, [38937, 0, 0]), ('normal control', {'gross': 152311, 'taxes': 3320, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [148991, 0, 0]), ('normal control', {'gross': 27004, 'taxes': 2084, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 8, 'creditor_ordered': 0, 'min_wage': 725}, [24920, 0, 0]), ('normal control', {'gross': 101914, 'taxes': 33517, 'voluntary': 11339, 'support_ordered': 29483, 'supports_other_family': False, 'arrears_weeks': 8, 'creditor_ordered': 0, 'min_wage': 1000}, [68397, 29483, 0])], [('regression', {'gross': 140899, 'taxes': 22866, 'voluntary': 10207, 'support_ordered': 106762, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [118033, 59016, 0]), ('regression', {'gross': 36086, 'taxes': 5477, 'voluntary': 0, 'support_ordered': 110046, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 38371, 'min_wage': 725}, [30609, 18365, 0]), ('partial-repair probe', {'gross': 34472, 'taxes': 898, 'voluntary': 2236, 'support_ordered': 26388, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 87958, 'min_wage': 725}, [33574, 21823, 0]), ('partial-repair probe', {'gross': 80106, 'taxes': 11143, 'voluntary': 2882, 'support_ordered': 50325, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1000}, [68963, 44825, 0]), ('normal control', {'gross': 108575, 'taxes': 133, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 98815, 'min_wage': 725}, [108442, 0, 27110]), ('normal control', {'gross': 36727, 'taxes': 8624, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [28103, 0, 0]), ('normal control', {'gross': 33225, 'taxes': 530, 'voluntary': 0, 'support_ordered': 97991, 'supports_other_family': False, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [32695, 19617, 0]), ('normal control', {'gross': 62104, 'taxes': 11775, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1000}, [50329, 0, 0])], [('regression', {'gross': 36086, 'taxes': 5477, 'voluntary': 0, 'support_ordered': 110046, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 38371, 'min_wage': 725}, [30609, 18365, 0]), ('regression', {'gross': 29102, 'taxes': 7953, 'voluntary': 0, 'support_ordered': 14538, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 57140, 'min_wage': 725}, [21149, 10574, 0]), ('partial-repair probe', {'gross': 37357, 'taxes': 545, 'voluntary': 0, 'support_ordered': 115896, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [36812, 20246, 0]), ('partial-repair probe', {'gross': 50473, 'taxes': 5070, 'voluntary': 2790, 'support_ordered': 43874, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [45403, 29511, 0]), ('normal control', {'gross': 190387, 'taxes': 5582, 'voluntary': 18751, 'support_ordered': 13845, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 1000}, [184805, 13845, 0]), ('normal control', {'gross': 47364, 'taxes': 15560, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 93206, 'min_wage': 725}, [31804, 0, 7951]), ('normal control', {'gross': 50694, 'taxes': 14190, 'voluntary': 8627, 'support_ordered': 11691, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [36504, 11691, 0]), ('normal control', {'gross': 154270, 'taxes': 17528, 'voluntary': 0, 'support_ordered': 12515, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [136742, 12515, 0])]]\nfor i, (label, args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (label, 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":"dd63eae5dbe6e974aef031d0df3ce7efa589da8762d78b247174afd433ec1f5e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    disposable = x['gross'] - x['taxes']\n    disposable = max(0, disposable)\n    pct = 50 if x['supports_other_family'] else 60\n    if x['arrears_weeks'] >= 12:\n        pct += 5\n    support_cap = disposable * pct // 100\n    support = min(x['support_ordered'], support_cap)\n    general_cap = min(disposable * 25 // 100, max(0, disposable - 30 * x['min_wage']))\n    creditor_room = max(0, general_cap - support)\n    creditor = min(x['creditor_ordered'], creditor_room)\n    return [disposable, support, creditor]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'gross': 46826, 'taxes': 741, 'voluntary': 4492, 'support_ordered': 65174, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 1500}, [46085, 27651, 0]), ('regression', {'gross': 44831, 'taxes': 4578, 'voluntary': 17862, 'support_ordered': 124565, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40253, 24151, 0]), ('partial-repair probe', {'gross': 97698, 'taxes': 10309, 'voluntary': 18929, 'support_ordered': 119941, 'supports_other_family': False, 'arrears_weeks': 16, 'creditor_ordered': 20227, 'min_wage': 1500}, [87389, 56802, 0]), ('partial-repair probe', {'gross': 43381, 'taxes': 4618, 'voluntary': 0, 'support_ordered': 101047, 'supports_other_family': True, 'arrears_weeks': 27, 'creditor_ordered': 46979, 'min_wage': 1000}, [38763, 21319, 0]), ('normal control', {'gross': 44578, 'taxes': 13638, 'voluntary': 18352, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 12101, 'min_wage': 1000}, [30940, 0, 940]), ('normal control', {'gross': 49885, 'taxes': 7577, 'voluntary': 0, 'support_ordered': 11010, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 76774, 'min_wage': 725}, [42308, 11010, 0]), ('normal control', {'gross': 57348, 'taxes': 14511, 'voluntary': 6333, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 37, 'creditor_ordered': 25506, 'min_wage': 1000}, [42837, 0, 10709]), ('normal control', {'gross': 148773, 'taxes': 37141, 'voluntary': 0, 'support_ordered': 142131, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 65400, 'min_wage': 1000}, [111632, 55816, 0])], [('regression', {'gross': 44831, 'taxes': 4578, 'voluntary': 17862, 'support_ordered': 124565, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40253, 24151, 0]), ('regression', {'gross': 41743, 'taxes': 1120, 'voluntary': 0, 'support_ordered': 64278, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40623, 20311, 0]), ('partial-repair probe', {'gross': 54642, 'taxes': 12825, 'voluntary': 0, 'support_ordered': 119615, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 48348, 'min_wage': 1500}, [41817, 22999, 0]), ('partial-repair probe', {'gross': 40096, 'taxes': 4629, 'voluntary': 0, 'support_ordered': 113660, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1500}, [35467, 23053, 0]), ('normal control', {'gross': 60837, 'taxes': 6384, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 8, 'creditor_ordered': 99104, 'min_wage': 725}, [54453, 0, 13613]), ('normal control', {'gross': 17708, 'taxes': 3346, 'voluntary': 3682, 'support_ordered': 144082, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [14362, 7181, 0]), ('normal control', {'gross': 34053, 'taxes': 8230, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [25823, 0, 0]), ('normal control', {'gross': 92812, 'taxes': 14753, 'voluntary': 4255, 'support_ordered': 102328, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1000}, [78059, 39029, 0])], [('regression', {'gross': 41743, 'taxes': 1120, 'voluntary': 0, 'support_ordered': 64278, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40623, 20311, 0]), ('regression', {'gross': 140899, 'taxes': 22866, 'voluntary': 10207, 'support_ordered': 106762, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [118033, 59016, 0]), ('partial-repair probe', {'gross': 82481, 'taxes': 4673, 'voluntary': 0, 'support_ordered': 137874, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1500}, [77808, 42794, 0]), ('partial-repair probe', {'gross': 28444, 'taxes': 5961, 'voluntary': 0, 'support_ordered': 34693, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 72600, 'min_wage': 1000}, [22483, 14613, 0]), ('normal control', {'gross': 49631, 'taxes': 10694, 'voluntary': 12100, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 29, 'creditor_ordered': 0, 'min_wage': 1500}, [38937, 0, 0]), ('normal control', {'gross': 152311, 'taxes': 3320, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [148991, 0, 0]), ('normal control', {'gross': 27004, 'taxes': 2084, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 8, 'creditor_ordered': 0, 'min_wage': 725}, [24920, 0, 0]), ('normal control', {'gross': 101914, 'taxes': 33517, 'voluntary': 11339, 'support_ordered': 29483, 'supports_other_family': False, 'arrears_weeks': 8, 'creditor_ordered': 0, 'min_wage': 1000}, [68397, 29483, 0])], [('regression', {'gross': 140899, 'taxes': 22866, 'voluntary': 10207, 'support_ordered': 106762, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [118033, 59016, 0]), ('regression', {'gross': 36086, 'taxes': 5477, 'voluntary': 0, 'support_ordered': 110046, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 38371, 'min_wage': 725}, [30609, 18365, 0]), ('partial-repair probe', {'gross': 34472, 'taxes': 898, 'voluntary': 2236, 'support_ordered': 26388, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 87958, 'min_wage': 725}, [33574, 21823, 0]), ('partial-repair probe', {'gross': 80106, 'taxes': 11143, 'voluntary': 2882, 'support_ordered': 50325, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1000}, [68963, 44825, 0]), ('normal control', {'gross': 108575, 'taxes': 133, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 98815, 'min_wage': 725}, [108442, 0, 27110]), ('normal control', {'gross': 36727, 'taxes': 8624, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [28103, 0, 0]), ('normal control', {'gross': 33225, 'taxes': 530, 'voluntary': 0, 'support_ordered': 97991, 'supports_other_family': False, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [32695, 19617, 0]), ('normal control', {'gross': 62104, 'taxes': 11775, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1000}, [50329, 0, 0])], [('regression', {'gross': 36086, 'taxes': 5477, 'voluntary': 0, 'support_ordered': 110046, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 38371, 'min_wage': 725}, [30609, 18365, 0]), ('regression', {'gross': 29102, 'taxes': 7953, 'voluntary': 0, 'support_ordered': 14538, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 57140, 'min_wage': 725}, [21149, 10574, 0]), ('partial-repair probe', {'gross': 37357, 'taxes': 545, 'voluntary': 0, 'support_ordered': 115896, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [36812, 20246, 0]), ('partial-repair probe', {'gross': 50473, 'taxes': 5070, 'voluntary': 2790, 'support_ordered': 43874, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [45403, 29511, 0]), ('normal control', {'gross': 190387, 'taxes': 5582, 'voluntary': 18751, 'support_ordered': 13845, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 1000}, [184805, 13845, 0]), ('normal control', {'gross': 47364, 'taxes': 15560, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 93206, 'min_wage': 725}, [31804, 0, 7951]), ('normal control', {'gross': 50694, 'taxes': 14190, 'voluntary': 8627, 'support_ordered': 11691, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [36504, 11691, 0]), ('normal control', {'gross': 154270, 'taxes': 17528, 'voluntary': 0, 'support_ordered': 12515, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [136742, 12515, 0])]]\nfor i, (label, args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (label, 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":"8dd76f6c1166e7129a223f4c316649c007037dd32e9d4f57fc9f9c9f7eca2487","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    disposable = x['gross'] - x['taxes']\n    disposable = max(0, disposable)\n    pct = 50 if x['supports_other_family'] else 60\n    if x['arrears_weeks'] > 12:\n        pct += 5\n    support_cap = disposable * pct // 100\n    support = min(x['support_ordered'], support_cap)\n    general_cap = min(disposable * 25 // 100, max(0, disposable - 30 * x['min_wage']))\n    creditor_room = max(0, general_cap - support)\n    creditor = min(x['creditor_ordered'], creditor_room)\n    return [disposable, support, creditor]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'gross': 46826, 'taxes': 741, 'voluntary': 4492, 'support_ordered': 65174, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 1500}, [46085, 27651, 0]), ('regression', {'gross': 44831, 'taxes': 4578, 'voluntary': 17862, 'support_ordered': 124565, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40253, 24151, 0]), ('partial-repair probe', {'gross': 97698, 'taxes': 10309, 'voluntary': 18929, 'support_ordered': 119941, 'supports_other_family': False, 'arrears_weeks': 16, 'creditor_ordered': 20227, 'min_wage': 1500}, [87389, 56802, 0]), ('partial-repair probe', {'gross': 43381, 'taxes': 4618, 'voluntary': 0, 'support_ordered': 101047, 'supports_other_family': True, 'arrears_weeks': 27, 'creditor_ordered': 46979, 'min_wage': 1000}, [38763, 21319, 0]), ('normal control', {'gross': 44578, 'taxes': 13638, 'voluntary': 18352, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 12101, 'min_wage': 1000}, [30940, 0, 940]), ('normal control', {'gross': 49885, 'taxes': 7577, 'voluntary': 0, 'support_ordered': 11010, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 76774, 'min_wage': 725}, [42308, 11010, 0]), ('normal control', {'gross': 57348, 'taxes': 14511, 'voluntary': 6333, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 37, 'creditor_ordered': 25506, 'min_wage': 1000}, [42837, 0, 10709]), ('normal control', {'gross': 148773, 'taxes': 37141, 'voluntary': 0, 'support_ordered': 142131, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 65400, 'min_wage': 1000}, [111632, 55816, 0])], [('regression', {'gross': 44831, 'taxes': 4578, 'voluntary': 17862, 'support_ordered': 124565, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40253, 24151, 0]), ('regression', {'gross': 41743, 'taxes': 1120, 'voluntary': 0, 'support_ordered': 64278, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40623, 20311, 0]), ('partial-repair probe', {'gross': 54642, 'taxes': 12825, 'voluntary': 0, 'support_ordered': 119615, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 48348, 'min_wage': 1500}, [41817, 22999, 0]), ('partial-repair probe', {'gross': 40096, 'taxes': 4629, 'voluntary': 0, 'support_ordered': 113660, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1500}, [35467, 23053, 0]), ('normal control', {'gross': 60837, 'taxes': 6384, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 8, 'creditor_ordered': 99104, 'min_wage': 725}, [54453, 0, 13613]), ('normal control', {'gross': 17708, 'taxes': 3346, 'voluntary': 3682, 'support_ordered': 144082, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [14362, 7181, 0]), ('normal control', {'gross': 34053, 'taxes': 8230, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [25823, 0, 0]), ('normal control', {'gross': 92812, 'taxes': 14753, 'voluntary': 4255, 'support_ordered': 102328, 'supports_other_family': True, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1000}, [78059, 39029, 0])], [('regression', {'gross': 41743, 'taxes': 1120, 'voluntary': 0, 'support_ordered': 64278, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [40623, 20311, 0]), ('regression', {'gross': 140899, 'taxes': 22866, 'voluntary': 10207, 'support_ordered': 106762, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [118033, 59016, 0]), ('partial-repair probe', {'gross': 82481, 'taxes': 4673, 'voluntary': 0, 'support_ordered': 137874, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1500}, [77808, 42794, 0]), ('partial-repair probe', {'gross': 28444, 'taxes': 5961, 'voluntary': 0, 'support_ordered': 34693, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 72600, 'min_wage': 1000}, [22483, 14613, 0]), ('normal control', {'gross': 49631, 'taxes': 10694, 'voluntary': 12100, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 29, 'creditor_ordered': 0, 'min_wage': 1500}, [38937, 0, 0]), ('normal control', {'gross': 152311, 'taxes': 3320, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [148991, 0, 0]), ('normal control', {'gross': 27004, 'taxes': 2084, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 8, 'creditor_ordered': 0, 'min_wage': 725}, [24920, 0, 0]), ('normal control', {'gross': 101914, 'taxes': 33517, 'voluntary': 11339, 'support_ordered': 29483, 'supports_other_family': False, 'arrears_weeks': 8, 'creditor_ordered': 0, 'min_wage': 1000}, [68397, 29483, 0])], [('regression', {'gross': 140899, 'taxes': 22866, 'voluntary': 10207, 'support_ordered': 106762, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [118033, 59016, 0]), ('regression', {'gross': 36086, 'taxes': 5477, 'voluntary': 0, 'support_ordered': 110046, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 38371, 'min_wage': 725}, [30609, 18365, 0]), ('partial-repair probe', {'gross': 34472, 'taxes': 898, 'voluntary': 2236, 'support_ordered': 26388, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 87958, 'min_wage': 725}, [33574, 21823, 0]), ('partial-repair probe', {'gross': 80106, 'taxes': 11143, 'voluntary': 2882, 'support_ordered': 50325, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 1000}, [68963, 44825, 0]), ('normal control', {'gross': 108575, 'taxes': 133, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 98815, 'min_wage': 725}, [108442, 0, 27110]), ('normal control', {'gross': 36727, 'taxes': 8624, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [28103, 0, 0]), ('normal control', {'gross': 33225, 'taxes': 530, 'voluntary': 0, 'support_ordered': 97991, 'supports_other_family': False, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1500}, [32695, 19617, 0]), ('normal control', {'gross': 62104, 'taxes': 11775, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 0, 'creditor_ordered': 0, 'min_wage': 1000}, [50329, 0, 0])], [('regression', {'gross': 36086, 'taxes': 5477, 'voluntary': 0, 'support_ordered': 110046, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 38371, 'min_wage': 725}, [30609, 18365, 0]), ('regression', {'gross': 29102, 'taxes': 7953, 'voluntary': 0, 'support_ordered': 14538, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 57140, 'min_wage': 725}, [21149, 10574, 0]), ('partial-repair probe', {'gross': 37357, 'taxes': 545, 'voluntary': 0, 'support_ordered': 115896, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [36812, 20246, 0]), ('partial-repair probe', {'gross': 50473, 'taxes': 5070, 'voluntary': 2790, 'support_ordered': 43874, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [45403, 29511, 0]), ('normal control', {'gross': 190387, 'taxes': 5582, 'voluntary': 18751, 'support_ordered': 13845, 'supports_other_family': False, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 1000}, [184805, 13845, 0]), ('normal control', {'gross': 47364, 'taxes': 15560, 'voluntary': 0, 'support_ordered': 0, 'supports_other_family': False, 'arrears_weeks': 13, 'creditor_ordered': 93206, 'min_wage': 725}, [31804, 0, 7951]), ('normal control', {'gross': 50694, 'taxes': 14190, 'voluntary': 8627, 'support_ordered': 11691, 'supports_other_family': True, 'arrears_weeks': 13, 'creditor_ordered': 0, 'min_wage': 725}, [36504, 11691, 0]), ('normal control', {'gross': 154270, 'taxes': 17528, 'voluntary': 0, 'support_ordered': 12515, 'supports_other_family': True, 'arrears_weeks': 12, 'creditor_ordered': 0, 'min_wage': 725}, [136742, 12515, 0])]]\nfor i, (label, args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (label, 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 teaching model of a stipulated payroll rule with toy thresholds and rates. It makes no claim of conformance to any tax authority, statute or jurisdiction and is not payroll software. 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-payroll-withholding-wage-garnishment-priority-arrears-threshold","generated_at":"2026-09-29T14:46:31.521802+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Garnishment limits hinge on the legal definition of disposable earnings and on ordering support before creditor orders.","repair":"Restore the contract rule at the arrears threshold step: use `if x['arrears_weeks'] > 12:`.","root_cause":"The arrears test is inclusive at 12 weeks instead of requiring more than 12 weeks.","sha256":"ffe389cac2e57d22c38f295c56879dfcc3514bdd136dbedded8a064b3388dabc","title":"Wage garnishment limits with support priority: arrears threshold · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.903,"exit_code":1,"observations":[{"actual":[46085,27651,0],"check":"regression 0","expected":[46085,27651,0],"passed":true},{"actual":[40253,24151,0],"check":"regression 1","expected":[40253,24151,0],"passed":true},{"actual":[87389,52433,0],"check":"partial-repair probe 2","expected":[87389,56802,0],"passed":false},{"actual":[38763,19381,0],"check":"partial-repair probe 3","expected":[38763,21319,0],"passed":false},{"actual":[30940,0,940],"check":"normal control 4","expected":[30940,0,940],"passed":true},{"actual":[42308,11010,0],"check":"normal control 5","expected":[42308,11010,0],"passed":true},{"actual":[42837,0,10709],"check":"normal control 6","expected":[42837,0,10709],"passed":true},{"actual":[111632,55816,0],"check":"normal control 7","expected":[111632,55816,0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [46085, 27651, 0], \"expected\": [46085, 27651, 0], \"passed\": true}, {\"check\": \"regression 1\", \"actual\": [40253, 24151, 0], \"expected\": [40253, 24151, 0], \"passed\": true}, {\"check\": \"partial-repair probe 2\", \"actual\": [87389, 52433, 0], \"expected\": [87389, 56802, 0], \"passed\": false}, {\"check\": \"partial-repair probe 3\", \"actual\": [38763, 19381, 0], \"expected\": [38763, 21319, 0], \"passed\": false}, {\"check\": \"normal control 4\", \"actual\": [30940, 0, 940], \"expected\": [30940, 0, 940], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [42308, 11010, 0], \"expected\": [42308, 11010, 0], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [42837, 0, 10709], \"expected\": [42837, 0, 10709], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [111632, 55816, 0], \"expected\": [111632, 55816, 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.417,"exit_code":1,"observations":[{"actual":[46085,29955,0],"check":"regression 0","expected":[46085,27651,0],"passed":false},{"actual":[40253,26164,0],"check":"regression 1","expected":[40253,24151,0],"passed":false},{"actual":[87389,56802,0],"check":"partial-repair probe 2","expected":[87389,56802,0],"passed":true},{"actual":[38763,21319,0],"check":"partial-repair probe 3","expected":[38763,21319,0],"passed":true},{"actual":[30940,0,940],"check":"normal control 4","expected":[30940,0,940],"passed":true},{"actual":[42308,11010,0],"check":"normal control 5","expected":[42308,11010,0],"passed":true},{"actual":[42837,0,10709],"check":"normal control 6","expected":[42837,0,10709],"passed":true},{"actual":[111632,55816,0],"check":"normal control 7","expected":[111632,55816,0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [46085, 29955, 0], \"expected\": [46085, 27651, 0], \"passed\": false}, {\"check\": \"regression 1\", \"actual\": [40253, 26164, 0], \"expected\": [40253, 24151, 0], \"passed\": false}, {\"check\": \"partial-repair probe 2\", \"actual\": [87389, 56802, 0], \"expected\": [87389, 56802, 0], \"passed\": true}, {\"check\": \"partial-repair probe 3\", \"actual\": [38763, 21319, 0], \"expected\": [38763, 21319, 0], \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": [30940, 0, 940], \"expected\": [30940, 0, 940], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [42308, 11010, 0], \"expected\": [42308, 11010, 0], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [42837, 0, 10709], \"expected\": [42837, 0, 10709], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [111632, 55816, 0], \"expected\": [111632, 55816, 0], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.548,"exit_code":0,"observations":[{"actual":[46085,27651,0],"check":"regression 0","expected":[46085,27651,0],"passed":true},{"actual":[40253,24151,0],"check":"regression 1","expected":[40253,24151,0],"passed":true},{"actual":[87389,56802,0],"check":"partial-repair probe 2","expected":[87389,56802,0],"passed":true},{"actual":[38763,21319,0],"check":"partial-repair probe 3","expected":[38763,21319,0],"passed":true},{"actual":[30940,0,940],"check":"normal control 4","expected":[30940,0,940],"passed":true},{"actual":[42308,11010,0],"check":"normal control 5","expected":[42308,11010,0],"passed":true},{"actual":[42837,0,10709],"check":"normal control 6","expected":[42837,0,10709],"passed":true},{"actual":[111632,55816,0],"check":"normal control 7","expected":[111632,55816,0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [46085, 27651, 0], \"expected\": [46085, 27651, 0], \"passed\": true}, {\"check\": \"regression 1\", \"actual\": [40253, 24151, 0], \"expected\": [40253, 24151, 0], \"passed\": true}, {\"check\": \"partial-repair probe 2\", \"actual\": [87389, 56802, 0], \"expected\": [87389, 56802, 0], \"passed\": true}, {\"check\": \"partial-repair probe 3\", \"actual\": [38763, 21319, 0], \"expected\": [38763, 21319, 0], \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": [30940, 0, 940], \"expected\": [30940, 0, 940], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [42308, 11010, 0], \"expected\": [42308, 11010, 0], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [42837, 0, 10709], \"expected\": [42837, 0, 10709], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [111632, 55816, 0], \"expected\": [111632, 55816, 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}