{"abstract":"Employees who enroll mid-year are limited to a partial-year amount despite December coverage.","category":"Payroll withholding rules","checks":8,"contract":"Input {coverage: 12 monthly entries None|self|family, age, employer_ytd, employee_ytd, request}. If December is covered, every month is treated as having December's tier (last-month rule). Limit = sum of monthly limits (self 358.00, family 712.50). Age 55+ adds 1,000.00 * covered months // 12. Allowed payroll contribution = min(request, max(0, limit - employer_ytd - employee_ytd)). Return [limit, allowed].","evaluation_group":"w2-payroll-withholding-hsa-coverage-limit","failed_approach":"The attempt checks December but only applies the rule to family coverage.","family":"w2-payroll-withholding-hsa-coverage-limit-last-month-rule-trigger","id":"FA-59056","implementations":{"attempt":{"sha256":"bf3ea4f0cf471a35a563fb3342de4c79d2b42bbb429e96cb9bea20b2707fb35c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    cov = x['coverage']\n    monthly = {'self': 35800, 'family': 71250}\n    if cov[11] == 'family':\n        months = [cov[11]] * 12\n    else:\n        months = cov\n    limit = sum(monthly[m] for m in months if m is not None)\n    covered = sum(1 for m in months if m is not None)\n    if x['age'] >= 55:\n        limit += 100000 * covered // 12\n    room = max(0, limit - x['employer_ytd'] - x['employee_ytd'])\n    allowed = min(x['request'], room)\n    return [limit, allowed]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 456065, 'request': 36894}, [529600, 36894]), ('regression', {'coverage': ['self', 'self', 'family', 'family', 'family', None, 'self', 'family', None, None, 'family', None], 'age': 41, 'employer_ytd': 182987, 'employee_ytd': 284378, 'request': 281989}, [463650, 0]), ('partial-repair probe', {'coverage': ['self', None, 'self', 'family', 'family', None, None, None, None, 'family', None, 'self'], 'age': 48, 'employer_ytd': 141642, 'employee_ytd': 558877, 'request': 321776}, [429600, 0]), ('partial-repair probe', {'coverage': ['family', 'family', 'family', None, 'self', 'self', None, 'family', 'family', 'family', None, 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 380378, 'request': 301438}, [529600, 149222]), ('normal control', {'coverage': [None, None, None, None, None, None, 'self', None, None, None, None, None], 'age': 55, 'employer_ytd': 115762, 'employee_ytd': 24574, 'request': 286981}, [44133, 0]), ('normal control', {'coverage': [None, 'self', 'family', 'self', 'self', None, 'family', None, 'self', 'family', 'family', None], 'age': 40, 'employer_ytd': 225872, 'employee_ytd': 144016, 'request': 380678}, [428200, 58312]), ('normal control', {'coverage': [None, None, None, None, None, None, None, 'family', 'family', None, None, None], 'age': 37, 'employer_ytd': 208148, 'employee_ytd': 1425, 'request': 155636}, [142500, 0]), ('normal control', {'coverage': [None, 'family', None, None, 'family', 'self', 'family', 'self', None, 'self', None, None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 423473, 'request': 127772}, [321150, 0])], [('regression', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 524863, 'request': 386331}, [529600, 4737]), ('regression', {'coverage': [None, None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 238336, 'request': 135874}, [955000, 135874]), ('partial-repair probe', {'coverage': ['family', 'family', 'family', None, 'self', 'self', None, 'family', 'family', 'family', None, 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 380378, 'request': 301438}, [529600, 149222]), ('partial-repair probe', {'coverage': [None, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('normal control', {'coverage': ['self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 54, 'employer_ytd': 0, 'employee_ytd': 551908, 'request': 166115}, [429600, 0]), ('normal control', {'coverage': ['self', 'family', None, None, 'family', 'family', 'family', 'family', None, None, 'self', 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 12981, 'request': 364571}, [955000, 364571]), ('normal control', {'coverage': ['family', 'self', None, 'self', None, 'self', 'family', 'family', 'self', 'family', None, 'family'], 'age': 65, 'employer_ytd': 119262, 'employee_ytd': 404161, 'request': 137517}, [955000, 137517]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, 'self', 'self', None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 243944, 'request': 352402}, [71600, 0])], [('regression', {'coverage': [None, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('regression', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 456065, 'request': 36894}, [529600, 36894]), ('partial-repair probe', {'coverage': [None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 81281, 'request': 140013}, [529600, 140013]), ('partial-repair probe', {'coverage': ['family', None, 'self', 'family', 'family', 'self', 'self', 'self', 'self', 'self', 'family', 'self'], 'age': 40, 'employer_ytd': 209919, 'employee_ytd': 194888, 'request': 252834}, [429600, 24793]), ('normal control', {'coverage': ['self', None, None, None, None, 'family', None, None, None, 'self', None, 'family'], 'age': 35, 'employer_ytd': 0, 'employee_ytd': 316436, 'request': 299379}, [855000, 299379]), ('normal control', {'coverage': [None, None, 'self', 'self', 'family', None, 'family', None, None, 'family', None, None], 'age': 56, 'employer_ytd': 180971, 'employee_ytd': 345821, 'request': 207004}, [327016, 0]), ('normal control', {'coverage': ['family', None, None, None, 'family', None, 'self', 'family', 'self', 'family', None, 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 555307, 'request': 67227}, [955000, 67227]), ('normal control', {'coverage': ['family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 190055, 'employee_ytd': 233251, 'request': 299705}, [955000, 299705])], [('regression', {'coverage': [None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 81281, 'request': 140013}, [529600, 140013]), ('regression', {'coverage': [None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 74724, 'request': 118780}, [855000, 118780]), ('partial-repair probe', {'coverage': ['family', None, 'self', 'family', 'family', 'self', 'self', 'self', 'self', 'self', 'family', 'self'], 'age': 40, 'employer_ytd': 209919, 'employee_ytd': 194888, 'request': 252834}, [429600, 24793]), ('partial-repair probe', {'coverage': ['self', 'family', 'family', 'self', 'self', 'self', 'family', 'family', 'self', 'self', 'family', 'self'], 'age': 52, 'employer_ytd': 229253, 'employee_ytd': 485049, 'request': 147605}, [429600, 0]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, 'self', None], 'age': 55, 'employer_ytd': 129076, 'employee_ytd': 256621, 'request': 34707}, [44133, 0]), ('normal control', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', None], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 227366, 'request': 100757}, [397200, 100757]), ('normal control', {'coverage': [None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', None, None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 575897, 'request': 101952}, [498750, 0]), ('normal control', {'coverage': ['family', None, 'family', None, 'family', 'family', 'family', None, 'self', None, 'family', 'family'], 'age': 69, 'employer_ytd': 261888, 'employee_ytd': 315926, 'request': 316230}, [955000, 316230])], [('regression', {'coverage': [None, 'self', 'family', 'family', None, 'family', 'self', 'family', 'family', 'self', None, 'self'], 'age': 54, 'employer_ytd': 250670, 'employee_ytd': 128042, 'request': 333278}, [429600, 50888]), ('regression', {'coverage': [None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 164388, 'request': 96773}, [855000, 96773]), ('partial-repair probe', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'self'], 'age': 55, 'employer_ytd': 57484, 'employee_ytd': 55375, 'request': 233853}, [529600, 233853]), ('partial-repair probe', {'coverage': [None, None, None, None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 280115, 'employee_ytd': 65179, 'request': 93980}, [529600, 93980]), ('normal control', {'coverage': ['family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 220797, 'request': 153139}, [855000, 153139]), ('normal control', {'coverage': [None, 'self', 'self', None, 'family', None, None, None, 'self', 'family', 'family', None], 'age': 54, 'employer_ytd': 181950, 'employee_ytd': 107143, 'request': 54200}, [321150, 32057]), ('normal control', {'coverage': [None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', None], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 187011, 'request': 370324}, [636666, 370324]), ('normal control', {'coverage': [None, None, None, None, None, 'self', 'self', 'self', 'self', 'self', None, None], 'age': 54, 'employer_ytd': 0, 'employee_ytd': 567724, 'request': 14650}, [179000, 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":"bb38fd9a634be9dc7e6481c75ea8f467f195406100cea6c18578b629fcceb8d0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    cov = x['coverage']\n    monthly = {'self': 35800, 'family': 71250}\n    if cov[0] is not None:\n        months = [cov[11]] * 12\n    else:\n        months = cov\n    limit = sum(monthly[m] for m in months if m is not None)\n    covered = sum(1 for m in months if m is not None)\n    if x['age'] >= 55:\n        limit += 100000 * covered // 12\n    room = max(0, limit - x['employer_ytd'] - x['employee_ytd'])\n    allowed = min(x['request'], room)\n    return [limit, allowed]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 456065, 'request': 36894}, [529600, 36894]), ('regression', {'coverage': ['self', 'self', 'family', 'family', 'family', None, 'self', 'family', None, None, 'family', None], 'age': 41, 'employer_ytd': 182987, 'employee_ytd': 284378, 'request': 281989}, [463650, 0]), ('partial-repair probe', {'coverage': ['self', None, 'self', 'family', 'family', None, None, None, None, 'family', None, 'self'], 'age': 48, 'employer_ytd': 141642, 'employee_ytd': 558877, 'request': 321776}, [429600, 0]), ('partial-repair probe', {'coverage': ['family', 'family', 'family', None, 'self', 'self', None, 'family', 'family', 'family', None, 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 380378, 'request': 301438}, [529600, 149222]), ('normal control', {'coverage': [None, None, None, None, None, None, 'self', None, None, None, None, None], 'age': 55, 'employer_ytd': 115762, 'employee_ytd': 24574, 'request': 286981}, [44133, 0]), ('normal control', {'coverage': [None, 'self', 'family', 'self', 'self', None, 'family', None, 'self', 'family', 'family', None], 'age': 40, 'employer_ytd': 225872, 'employee_ytd': 144016, 'request': 380678}, [428200, 58312]), ('normal control', {'coverage': [None, None, None, None, None, None, None, 'family', 'family', None, None, None], 'age': 37, 'employer_ytd': 208148, 'employee_ytd': 1425, 'request': 155636}, [142500, 0]), ('normal control', {'coverage': [None, 'family', None, None, 'family', 'self', 'family', 'self', None, 'self', None, None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 423473, 'request': 127772}, [321150, 0])], [('regression', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 524863, 'request': 386331}, [529600, 4737]), ('regression', {'coverage': [None, None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 238336, 'request': 135874}, [955000, 135874]), ('partial-repair probe', {'coverage': ['family', 'family', 'family', None, 'self', 'self', None, 'family', 'family', 'family', None, 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 380378, 'request': 301438}, [529600, 149222]), ('partial-repair probe', {'coverage': [None, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('normal control', {'coverage': ['self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 54, 'employer_ytd': 0, 'employee_ytd': 551908, 'request': 166115}, [429600, 0]), ('normal control', {'coverage': ['self', 'family', None, None, 'family', 'family', 'family', 'family', None, None, 'self', 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 12981, 'request': 364571}, [955000, 364571]), ('normal control', {'coverage': ['family', 'self', None, 'self', None, 'self', 'family', 'family', 'self', 'family', None, 'family'], 'age': 65, 'employer_ytd': 119262, 'employee_ytd': 404161, 'request': 137517}, [955000, 137517]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, 'self', 'self', None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 243944, 'request': 352402}, [71600, 0])], [('regression', {'coverage': [None, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('regression', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 456065, 'request': 36894}, [529600, 36894]), ('partial-repair probe', {'coverage': [None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 81281, 'request': 140013}, [529600, 140013]), ('partial-repair probe', {'coverage': ['family', None, 'self', 'family', 'family', 'self', 'self', 'self', 'self', 'self', 'family', 'self'], 'age': 40, 'employer_ytd': 209919, 'employee_ytd': 194888, 'request': 252834}, [429600, 24793]), ('normal control', {'coverage': ['self', None, None, None, None, 'family', None, None, None, 'self', None, 'family'], 'age': 35, 'employer_ytd': 0, 'employee_ytd': 316436, 'request': 299379}, [855000, 299379]), ('normal control', {'coverage': [None, None, 'self', 'self', 'family', None, 'family', None, None, 'family', None, None], 'age': 56, 'employer_ytd': 180971, 'employee_ytd': 345821, 'request': 207004}, [327016, 0]), ('normal control', {'coverage': ['family', None, None, None, 'family', None, 'self', 'family', 'self', 'family', None, 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 555307, 'request': 67227}, [955000, 67227]), ('normal control', {'coverage': ['family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 190055, 'employee_ytd': 233251, 'request': 299705}, [955000, 299705])], [('regression', {'coverage': [None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 81281, 'request': 140013}, [529600, 140013]), ('regression', {'coverage': [None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 74724, 'request': 118780}, [855000, 118780]), ('partial-repair probe', {'coverage': ['family', None, 'self', 'family', 'family', 'self', 'self', 'self', 'self', 'self', 'family', 'self'], 'age': 40, 'employer_ytd': 209919, 'employee_ytd': 194888, 'request': 252834}, [429600, 24793]), ('partial-repair probe', {'coverage': ['self', 'family', 'family', 'self', 'self', 'self', 'family', 'family', 'self', 'self', 'family', 'self'], 'age': 52, 'employer_ytd': 229253, 'employee_ytd': 485049, 'request': 147605}, [429600, 0]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, 'self', None], 'age': 55, 'employer_ytd': 129076, 'employee_ytd': 256621, 'request': 34707}, [44133, 0]), ('normal control', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', None], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 227366, 'request': 100757}, [397200, 100757]), ('normal control', {'coverage': [None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', None, None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 575897, 'request': 101952}, [498750, 0]), ('normal control', {'coverage': ['family', None, 'family', None, 'family', 'family', 'family', None, 'self', None, 'family', 'family'], 'age': 69, 'employer_ytd': 261888, 'employee_ytd': 315926, 'request': 316230}, [955000, 316230])], [('regression', {'coverage': [None, 'self', 'family', 'family', None, 'family', 'self', 'family', 'family', 'self', None, 'self'], 'age': 54, 'employer_ytd': 250670, 'employee_ytd': 128042, 'request': 333278}, [429600, 50888]), ('regression', {'coverage': [None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 164388, 'request': 96773}, [855000, 96773]), ('partial-repair probe', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'self'], 'age': 55, 'employer_ytd': 57484, 'employee_ytd': 55375, 'request': 233853}, [529600, 233853]), ('partial-repair probe', {'coverage': [None, None, None, None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 280115, 'employee_ytd': 65179, 'request': 93980}, [529600, 93980]), ('normal control', {'coverage': ['family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 220797, 'request': 153139}, [855000, 153139]), ('normal control', {'coverage': [None, 'self', 'self', None, 'family', None, None, None, 'self', 'family', 'family', None], 'age': 54, 'employer_ytd': 181950, 'employee_ytd': 107143, 'request': 54200}, [321150, 32057]), ('normal control', {'coverage': [None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', None], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 187011, 'request': 370324}, [636666, 370324]), ('normal control', {'coverage': [None, None, None, None, None, 'self', 'self', 'self', 'self', 'self', None, None], 'age': 54, 'employer_ytd': 0, 'employee_ytd': 567724, 'request': 14650}, [179000, 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":"32bb95d5b2ee0a2159c2890b92407178271ab137c4324c51539c80cfa8f1f14f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    cov = x['coverage']\n    monthly = {'self': 35800, 'family': 71250}\n    if cov[11] is not None:\n        months = [cov[11]] * 12\n    else:\n        months = cov\n    limit = sum(monthly[m] for m in months if m is not None)\n    covered = sum(1 for m in months if m is not None)\n    if x['age'] >= 55:\n        limit += 100000 * covered // 12\n    room = max(0, limit - x['employer_ytd'] - x['employee_ytd'])\n    allowed = min(x['request'], room)\n    return [limit, allowed]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 456065, 'request': 36894}, [529600, 36894]), ('regression', {'coverage': ['self', 'self', 'family', 'family', 'family', None, 'self', 'family', None, None, 'family', None], 'age': 41, 'employer_ytd': 182987, 'employee_ytd': 284378, 'request': 281989}, [463650, 0]), ('partial-repair probe', {'coverage': ['self', None, 'self', 'family', 'family', None, None, None, None, 'family', None, 'self'], 'age': 48, 'employer_ytd': 141642, 'employee_ytd': 558877, 'request': 321776}, [429600, 0]), ('partial-repair probe', {'coverage': ['family', 'family', 'family', None, 'self', 'self', None, 'family', 'family', 'family', None, 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 380378, 'request': 301438}, [529600, 149222]), ('normal control', {'coverage': [None, None, None, None, None, None, 'self', None, None, None, None, None], 'age': 55, 'employer_ytd': 115762, 'employee_ytd': 24574, 'request': 286981}, [44133, 0]), ('normal control', {'coverage': [None, 'self', 'family', 'self', 'self', None, 'family', None, 'self', 'family', 'family', None], 'age': 40, 'employer_ytd': 225872, 'employee_ytd': 144016, 'request': 380678}, [428200, 58312]), ('normal control', {'coverage': [None, None, None, None, None, None, None, 'family', 'family', None, None, None], 'age': 37, 'employer_ytd': 208148, 'employee_ytd': 1425, 'request': 155636}, [142500, 0]), ('normal control', {'coverage': [None, 'family', None, None, 'family', 'self', 'family', 'self', None, 'self', None, None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 423473, 'request': 127772}, [321150, 0])], [('regression', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 524863, 'request': 386331}, [529600, 4737]), ('regression', {'coverage': [None, None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 238336, 'request': 135874}, [955000, 135874]), ('partial-repair probe', {'coverage': ['family', 'family', 'family', None, 'self', 'self', None, 'family', 'family', 'family', None, 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 380378, 'request': 301438}, [529600, 149222]), ('partial-repair probe', {'coverage': [None, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('normal control', {'coverage': ['self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 54, 'employer_ytd': 0, 'employee_ytd': 551908, 'request': 166115}, [429600, 0]), ('normal control', {'coverage': ['self', 'family', None, None, 'family', 'family', 'family', 'family', None, None, 'self', 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 12981, 'request': 364571}, [955000, 364571]), ('normal control', {'coverage': ['family', 'self', None, 'self', None, 'self', 'family', 'family', 'self', 'family', None, 'family'], 'age': 65, 'employer_ytd': 119262, 'employee_ytd': 404161, 'request': 137517}, [955000, 137517]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, 'self', 'self', None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 243944, 'request': 352402}, [71600, 0])], [('regression', {'coverage': [None, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('regression', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 456065, 'request': 36894}, [529600, 36894]), ('partial-repair probe', {'coverage': [None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 81281, 'request': 140013}, [529600, 140013]), ('partial-repair probe', {'coverage': ['family', None, 'self', 'family', 'family', 'self', 'self', 'self', 'self', 'self', 'family', 'self'], 'age': 40, 'employer_ytd': 209919, 'employee_ytd': 194888, 'request': 252834}, [429600, 24793]), ('normal control', {'coverage': ['self', None, None, None, None, 'family', None, None, None, 'self', None, 'family'], 'age': 35, 'employer_ytd': 0, 'employee_ytd': 316436, 'request': 299379}, [855000, 299379]), ('normal control', {'coverage': [None, None, 'self', 'self', 'family', None, 'family', None, None, 'family', None, None], 'age': 56, 'employer_ytd': 180971, 'employee_ytd': 345821, 'request': 207004}, [327016, 0]), ('normal control', {'coverage': ['family', None, None, None, 'family', None, 'self', 'family', 'self', 'family', None, 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 555307, 'request': 67227}, [955000, 67227]), ('normal control', {'coverage': ['family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 190055, 'employee_ytd': 233251, 'request': 299705}, [955000, 299705])], [('regression', {'coverage': [None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 81281, 'request': 140013}, [529600, 140013]), ('regression', {'coverage': [None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 74724, 'request': 118780}, [855000, 118780]), ('partial-repair probe', {'coverage': ['family', None, 'self', 'family', 'family', 'self', 'self', 'self', 'self', 'self', 'family', 'self'], 'age': 40, 'employer_ytd': 209919, 'employee_ytd': 194888, 'request': 252834}, [429600, 24793]), ('partial-repair probe', {'coverage': ['self', 'family', 'family', 'self', 'self', 'self', 'family', 'family', 'self', 'self', 'family', 'self'], 'age': 52, 'employer_ytd': 229253, 'employee_ytd': 485049, 'request': 147605}, [429600, 0]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, 'self', None], 'age': 55, 'employer_ytd': 129076, 'employee_ytd': 256621, 'request': 34707}, [44133, 0]), ('normal control', {'coverage': [None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', 'self', None], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 227366, 'request': 100757}, [397200, 100757]), ('normal control', {'coverage': [None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', None, None], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 575897, 'request': 101952}, [498750, 0]), ('normal control', {'coverage': ['family', None, 'family', None, 'family', 'family', 'family', None, 'self', None, 'family', 'family'], 'age': 69, 'employer_ytd': 261888, 'employee_ytd': 315926, 'request': 316230}, [955000, 316230])], [('regression', {'coverage': [None, 'self', 'family', 'family', None, 'family', 'self', 'family', 'family', 'self', None, 'self'], 'age': 54, 'employer_ytd': 250670, 'employee_ytd': 128042, 'request': 333278}, [429600, 50888]), ('regression', {'coverage': [None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 164388, 'request': 96773}, [855000, 96773]), ('partial-repair probe', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'self'], 'age': 55, 'employer_ytd': 57484, 'employee_ytd': 55375, 'request': 233853}, [529600, 233853]), ('partial-repair probe', {'coverage': [None, None, None, None, None, 'self', 'self', 'self', 'self', 'self', 'self', 'self'], 'age': 55, 'employer_ytd': 280115, 'employee_ytd': 65179, 'request': 93980}, [529600, 93980]), ('normal control', {'coverage': ['family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 220797, 'request': 153139}, [855000, 153139]), ('normal control', {'coverage': [None, 'self', 'self', None, 'family', None, None, None, 'self', 'family', 'family', None], 'age': 54, 'employer_ytd': 181950, 'employee_ytd': 107143, 'request': 54200}, [321150, 32057]), ('normal control', {'coverage': [None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family', None], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 187011, 'request': 370324}, [636666, 370324]), ('normal control', {'coverage': [None, None, None, None, None, 'self', 'self', 'self', 'self', 'self', None, None], 'age': 54, 'employer_ytd': 0, 'employee_ytd': 567724, 'request': 14650}, [179000, 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-hsa-coverage-limit-last-month-rule-trigger","generated_at":"2026-09-29T14:46:32.679494+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"HSA payroll contributions must be stopped at a limit that depends on month-by-month coverage, the last-month rule and employer money.","repair":"Restore the contract rule at the last-month rule trigger step: use `if cov[11] is not None:`.","root_cause":"The last-month rule is keyed on January coverage instead of December coverage.","sha256":"ac5daacaf4a519555441effdd18927c5ebe7741021a3902c20c5c3d2f7250da8","title":"HSA payroll contribution limit by coverage month: last-month rule trigger · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.301,"exit_code":1,"observations":[{"actual":[441333,0],"check":"regression 0","expected":[529600,36894],"passed":false},{"actual":[463650,0],"check":"regression 1","expected":[463650,0],"passed":true},{"actual":[321150,0],"check":"partial-repair probe 2","expected":[429600,0],"passed":false},{"actual":[609900,229522],"check":"partial-repair probe 3","expected":[529600,149222],"passed":false},{"actual":[44133,0],"check":"normal control 4","expected":[44133,0],"passed":true},{"actual":[428200,58312],"check":"normal control 5","expected":[428200,58312],"passed":true},{"actual":[142500,0],"check":"normal control 6","expected":[142500,0],"passed":true},{"actual":[321150,0],"check":"normal control 7","expected":[321150,0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [441333, 0], \"expected\": [529600, 36894], \"passed\": false}, {\"check\": \"regression 1\", \"actual\": [463650, 0], \"expected\": [463650, 0], \"passed\": true}, {\"check\": \"partial-repair probe 2\", \"actual\": [321150, 0], \"expected\": [429600, 0], \"passed\": false}, {\"check\": \"partial-repair probe 3\", \"actual\": [609900, 229522], \"expected\": [529600, 149222], \"passed\": false}, {\"check\": \"normal control 4\", \"actual\": [44133, 0], \"expected\": [44133, 0], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [428200, 58312], \"expected\": [428200, 58312], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [142500, 0], \"expected\": [142500, 0], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [321150, 0], \"expected\": [321150, 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.141,"exit_code":1,"observations":[{"actual":[441333,0],"check":"regression 0","expected":[529600,36894],"passed":false},{"actual":[0,0],"check":"regression 1","expected":[463650,0],"passed":false},{"actual":[429600,0],"check":"partial-repair probe 2","expected":[429600,0],"passed":true},{"actual":[529600,149222],"check":"partial-repair probe 3","expected":[529600,149222],"passed":true},{"actual":[44133,0],"check":"normal control 4","expected":[44133,0],"passed":true},{"actual":[428200,58312],"check":"normal control 5","expected":[428200,58312],"passed":true},{"actual":[142500,0],"check":"normal control 6","expected":[142500,0],"passed":true},{"actual":[321150,0],"check":"normal control 7","expected":[321150,0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [441333, 0], \"expected\": [529600, 36894], \"passed\": false}, {\"check\": \"regression 1\", \"actual\": [0, 0], \"expected\": [463650, 0], \"passed\": false}, {\"check\": \"partial-repair probe 2\", \"actual\": [429600, 0], \"expected\": [429600, 0], \"passed\": true}, {\"check\": \"partial-repair probe 3\", \"actual\": [529600, 149222], \"expected\": [529600, 149222], \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": [44133, 0], \"expected\": [44133, 0], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [428200, 58312], \"expected\": [428200, 58312], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [142500, 0], \"expected\": [142500, 0], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [321150, 0], \"expected\": [321150, 0], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.501,"exit_code":0,"observations":[{"actual":[529600,36894],"check":"regression 0","expected":[529600,36894],"passed":true},{"actual":[463650,0],"check":"regression 1","expected":[463650,0],"passed":true},{"actual":[429600,0],"check":"partial-repair probe 2","expected":[429600,0],"passed":true},{"actual":[529600,149222],"check":"partial-repair probe 3","expected":[529600,149222],"passed":true},{"actual":[44133,0],"check":"normal control 4","expected":[44133,0],"passed":true},{"actual":[428200,58312],"check":"normal control 5","expected":[428200,58312],"passed":true},{"actual":[142500,0],"check":"normal control 6","expected":[142500,0],"passed":true},{"actual":[321150,0],"check":"normal control 7","expected":[321150,0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [529600, 36894], \"expected\": [529600, 36894], \"passed\": true}, {\"check\": \"regression 1\", \"actual\": [463650, 0], \"expected\": [463650, 0], \"passed\": true}, {\"check\": \"partial-repair probe 2\", \"actual\": [429600, 0], \"expected\": [429600, 0], \"passed\": true}, {\"check\": \"partial-repair probe 3\", \"actual\": [529600, 149222], \"expected\": [529600, 149222], \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": [44133, 0], \"expected\": [44133, 0], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [428200, 58312], \"expected\": [428200, 58312], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [142500, 0], \"expected\": [142500, 0], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [321150, 0], \"expected\": [321150, 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}