{"abstract":"Employees whose employer also funds the HSA are allowed to exceed the combined limit.","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 subtracts employer money but forgets the employee's own prior contributions.","family":"w2-payroll-withholding-hsa-coverage-limit-employer-contributions-count","id":"FA-59061","implementations":{"attempt":{"sha256":"9affbf6b26d4adf4fd68fa6a829f903d84ea668ba53e362116b4a79625f0218a","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'])\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': ['self', 'self', 'family', 'family', 'family', None, 'self', 'family', None, None, 'family', None], 'age': 41, 'employer_ytd': 182987, 'employee_ytd': 284378, 'request': 281989}, [463650, 0]), ('regression', {'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]), ('partial-repair probe', {'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]), ('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]), ('normal control', {'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]), ('normal control', {'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]), ('normal control', {'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]), ('normal control', {'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])], [('regression', {'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]), ('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, None, 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 506616, 'request': 122643}, [955000, 122643]), ('normal control', {'coverage': [None, 'family', None, None, None, None, 'family', None, 'self', 'self', None, 'family'], 'age': 36, 'employer_ytd': 0, 'employee_ytd': 317677, 'request': 360183}, [855000, 360183]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'family'], 'age': 56, 'employer_ytd': 72944, 'employee_ytd': 287033, 'request': 147965}, [955000, 147965]), ('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])], [('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, 'self', 'family', 'self', 'self', None, 'family', None, 'self', 'family', 'family', None], 'age': 40, 'employer_ytd': 225872, 'employee_ytd': 144016, 'request': 380678}, [428200, 58312]), ('partial-repair probe', {'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]), ('partial-repair probe', {'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': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 102233, 'employee_ytd': 513881, 'request': 171346}, [955000, 171346]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, 'family', 'family', 'family', 'family'], 'age': 30, 'employer_ytd': 0, 'employee_ytd': 594908, 'request': 135782}, [855000, 135782]), ('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': ['self', None, None, None, None, 'family', None, None, None, 'self', None, 'family'], 'age': 35, 'employer_ytd': 0, 'employee_ytd': 316436, 'request': 299379}, [855000, 299379])], [('regression', {'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]), ('regression', {'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]), ('partial-repair probe', {'coverage': ['self', 'self', 'self', None, 'family', 'self', None, None, 'self', None, 'family', None], 'age': 55, 'employer_ytd': 286268, 'employee_ytd': 434159, 'request': 197484}, [379833, 0]), ('partial-repair probe', {'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]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 112368, 'request': 180107}, [955000, 180107]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 44, 'employer_ytd': 0, 'employee_ytd': 292931, 'request': 211494}, [855000, 211494]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 141822, 'request': 189175}, [855000, 189175]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 256678, 'employee_ytd': 281811, 'request': 361142}, [955000, 361142])], [('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, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('partial-repair probe', {'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]), ('partial-repair probe', {'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': [None, None, None, None, None, None, None, None, None, None, 'family', 'family'], 'age': 56, 'employer_ytd': 104769, 'employee_ytd': 270158, 'request': 236626}, [955000, 236626]), ('normal control', {'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]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 57407, 'request': 185458}, [955000, 185458]), ('normal control', {'coverage': [None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 30, 'employer_ytd': 173842, 'employee_ytd': 330283, 'request': 54863}, [855000, 54863])]]\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":"fff7c9464ee8c90a1933a23ca1555d24f47db33e573a77c90901a10a7a2b38be","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['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': ['self', 'self', 'family', 'family', 'family', None, 'self', 'family', None, None, 'family', None], 'age': 41, 'employer_ytd': 182987, 'employee_ytd': 284378, 'request': 281989}, [463650, 0]), ('regression', {'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]), ('partial-repair probe', {'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]), ('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]), ('normal control', {'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]), ('normal control', {'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]), ('normal control', {'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]), ('normal control', {'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])], [('regression', {'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]), ('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, None, 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 506616, 'request': 122643}, [955000, 122643]), ('normal control', {'coverage': [None, 'family', None, None, None, None, 'family', None, 'self', 'self', None, 'family'], 'age': 36, 'employer_ytd': 0, 'employee_ytd': 317677, 'request': 360183}, [855000, 360183]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'family'], 'age': 56, 'employer_ytd': 72944, 'employee_ytd': 287033, 'request': 147965}, [955000, 147965]), ('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])], [('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, 'self', 'family', 'self', 'self', None, 'family', None, 'self', 'family', 'family', None], 'age': 40, 'employer_ytd': 225872, 'employee_ytd': 144016, 'request': 380678}, [428200, 58312]), ('partial-repair probe', {'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]), ('partial-repair probe', {'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': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 102233, 'employee_ytd': 513881, 'request': 171346}, [955000, 171346]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, 'family', 'family', 'family', 'family'], 'age': 30, 'employer_ytd': 0, 'employee_ytd': 594908, 'request': 135782}, [855000, 135782]), ('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': ['self', None, None, None, None, 'family', None, None, None, 'self', None, 'family'], 'age': 35, 'employer_ytd': 0, 'employee_ytd': 316436, 'request': 299379}, [855000, 299379])], [('regression', {'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]), ('regression', {'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]), ('partial-repair probe', {'coverage': ['self', 'self', 'self', None, 'family', 'self', None, None, 'self', None, 'family', None], 'age': 55, 'employer_ytd': 286268, 'employee_ytd': 434159, 'request': 197484}, [379833, 0]), ('partial-repair probe', {'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]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 112368, 'request': 180107}, [955000, 180107]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 44, 'employer_ytd': 0, 'employee_ytd': 292931, 'request': 211494}, [855000, 211494]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 141822, 'request': 189175}, [855000, 189175]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 256678, 'employee_ytd': 281811, 'request': 361142}, [955000, 361142])], [('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, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('partial-repair probe', {'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]), ('partial-repair probe', {'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': [None, None, None, None, None, None, None, None, None, None, 'family', 'family'], 'age': 56, 'employer_ytd': 104769, 'employee_ytd': 270158, 'request': 236626}, [955000, 236626]), ('normal control', {'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]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 57407, 'request': 185458}, [955000, 185458]), ('normal control', {'coverage': [None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 30, 'employer_ytd': 173842, 'employee_ytd': 330283, 'request': 54863}, [855000, 54863])]]\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":"63e646a0a347afa86888387b97f02ad946b17311073cdb067f437af0d5eb7641","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': ['self', 'self', 'family', 'family', 'family', None, 'self', 'family', None, None, 'family', None], 'age': 41, 'employer_ytd': 182987, 'employee_ytd': 284378, 'request': 281989}, [463650, 0]), ('regression', {'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]), ('partial-repair probe', {'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]), ('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]), ('normal control', {'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]), ('normal control', {'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]), ('normal control', {'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]), ('normal control', {'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])], [('regression', {'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]), ('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, None, 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 0, 'employee_ytd': 506616, 'request': 122643}, [955000, 122643]), ('normal control', {'coverage': [None, 'family', None, None, None, None, 'family', None, 'self', 'self', None, 'family'], 'age': 36, 'employer_ytd': 0, 'employee_ytd': 317677, 'request': 360183}, [855000, 360183]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'family'], 'age': 56, 'employer_ytd': 72944, 'employee_ytd': 287033, 'request': 147965}, [955000, 147965]), ('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])], [('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, 'self', 'family', 'self', 'self', None, 'family', None, 'self', 'family', 'family', None], 'age': 40, 'employer_ytd': 225872, 'employee_ytd': 144016, 'request': 380678}, [428200, 58312]), ('partial-repair probe', {'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]), ('partial-repair probe', {'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': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 102233, 'employee_ytd': 513881, 'request': 171346}, [955000, 171346]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, 'family', 'family', 'family', 'family'], 'age': 30, 'employer_ytd': 0, 'employee_ytd': 594908, 'request': 135782}, [855000, 135782]), ('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': ['self', None, None, None, None, 'family', None, None, None, 'self', None, 'family'], 'age': 35, 'employer_ytd': 0, 'employee_ytd': 316436, 'request': 299379}, [855000, 299379])], [('regression', {'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]), ('regression', {'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]), ('partial-repair probe', {'coverage': ['self', 'self', 'self', None, 'family', 'self', None, None, 'self', None, 'family', None], 'age': 55, 'employer_ytd': 286268, 'employee_ytd': 434159, 'request': 197484}, [379833, 0]), ('partial-repair probe', {'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]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, 'family', 'family', 'family', 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 112368, 'request': 180107}, [955000, 180107]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 44, 'employer_ytd': 0, 'employee_ytd': 292931, 'request': 211494}, [855000, 211494]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 40, 'employer_ytd': 0, 'employee_ytd': 141822, 'request': 189175}, [855000, 189175]), ('normal control', {'coverage': [None, None, None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 56, 'employer_ytd': 256678, 'employee_ytd': 281811, 'request': 361142}, [955000, 361142])], [('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, None, None, None, None, None, None, 'self', 'self', 'self', 'self', 'self'], 'age': 25, 'employer_ytd': 28613, 'employee_ytd': 65322, 'request': 390696}, [429600, 335665]), ('partial-repair probe', {'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]), ('partial-repair probe', {'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': [None, None, None, None, None, None, None, None, None, None, 'family', 'family'], 'age': 56, 'employer_ytd': 104769, 'employee_ytd': 270158, 'request': 236626}, [955000, 236626]), ('normal control', {'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]), ('normal control', {'coverage': [None, None, None, None, None, None, None, None, None, None, None, 'family'], 'age': 55, 'employer_ytd': 0, 'employee_ytd': 57407, 'request': 185458}, [955000, 185458]), ('normal control', {'coverage': [None, None, None, None, 'family', 'family', 'family', 'family', 'family', 'family', 'family', 'family'], 'age': 30, 'employer_ytd': 173842, 'employee_ytd': 330283, 'request': 54863}, [855000, 54863])]]\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-employer-contributions-count","generated_at":"2026-09-29T14:46:32.742507+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 employer contributions count step: use `limit - x['employer_ytd'] - x['employee_ytd']`.","root_cause":"Employer contributions are ignored when computing the remaining room.","sha256":"49cc200bcc91b0d89f6d566dc2eb111e729a054e2967caec133ff8389966d936","title":"HSA payroll contribution limit by coverage month: employer contributions count · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.235,"exit_code":1,"observations":[{"actual":[463650,280663],"check":"regression 0","expected":[463650,0],"passed":false},{"actual":[44133,0],"check":"regression 1","expected":[44133,0],"passed":true},{"actual":[428200,202328],"check":"partial-repair probe 2","expected":[428200,58312],"passed":false},{"actual":[429600,287958],"check":"partial-repair probe 3","expected":[429600,0],"passed":false},{"actual":[955000,135874],"check":"normal control 4","expected":[955000,135874],"passed":true},{"actual":[529600,36894],"check":"normal control 5","expected":[529600,36894],"passed":true},{"actual":[855000,118780],"check":"normal control 6","expected":[855000,118780],"passed":true},{"actual":[855000,96773],"check":"normal control 7","expected":[855000,96773],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [463650, 280663], \"expected\": [463650, 0], \"passed\": false}, {\"check\": \"regression 1\", \"actual\": [44133, 0], \"expected\": [44133, 0], \"passed\": true}, {\"check\": \"partial-repair probe 2\", \"actual\": [428200, 202328], \"expected\": [428200, 58312], \"passed\": false}, {\"check\": \"partial-repair probe 3\", \"actual\": [429600, 287958], \"expected\": [429600, 0], \"passed\": false}, {\"check\": \"normal control 4\", \"actual\": [955000, 135874], \"expected\": [955000, 135874], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [529600, 36894], \"expected\": [529600, 36894], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [855000, 118780], \"expected\": [855000, 118780], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [855000, 96773], \"expected\": [855000, 96773], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.747,"exit_code":1,"observations":[{"actual":[463650,179272],"check":"regression 0","expected":[463650,0],"passed":false},{"actual":[44133,19559],"check":"regression 1","expected":[44133,0],"passed":false},{"actual":[428200,284184],"check":"partial-repair probe 2","expected":[428200,58312],"passed":false},{"actual":[429600,0],"check":"partial-repair probe 3","expected":[429600,0],"passed":true},{"actual":[955000,135874],"check":"normal control 4","expected":[955000,135874],"passed":true},{"actual":[529600,36894],"check":"normal control 5","expected":[529600,36894],"passed":true},{"actual":[855000,118780],"check":"normal control 6","expected":[855000,118780],"passed":true},{"actual":[855000,96773],"check":"normal control 7","expected":[855000,96773],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [463650, 179272], \"expected\": [463650, 0], \"passed\": false}, {\"check\": \"regression 1\", \"actual\": [44133, 19559], \"expected\": [44133, 0], \"passed\": false}, {\"check\": \"partial-repair probe 2\", \"actual\": [428200, 284184], \"expected\": [428200, 58312], \"passed\": false}, {\"check\": \"partial-repair probe 3\", \"actual\": [429600, 0], \"expected\": [429600, 0], \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": [955000, 135874], \"expected\": [955000, 135874], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [529600, 36894], \"expected\": [529600, 36894], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [855000, 118780], \"expected\": [855000, 118780], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [855000, 96773], \"expected\": [855000, 96773], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.126,"exit_code":0,"observations":[{"actual":[463650,0],"check":"regression 0","expected":[463650,0],"passed":true},{"actual":[44133,0],"check":"regression 1","expected":[44133,0],"passed":true},{"actual":[428200,58312],"check":"partial-repair probe 2","expected":[428200,58312],"passed":true},{"actual":[429600,0],"check":"partial-repair probe 3","expected":[429600,0],"passed":true},{"actual":[955000,135874],"check":"normal control 4","expected":[955000,135874],"passed":true},{"actual":[529600,36894],"check":"normal control 5","expected":[529600,36894],"passed":true},{"actual":[855000,118780],"check":"normal control 6","expected":[855000,118780],"passed":true},{"actual":[855000,96773],"check":"normal control 7","expected":[855000,96773],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [463650, 0], \"expected\": [463650, 0], \"passed\": true}, {\"check\": \"regression 1\", \"actual\": [44133, 0], \"expected\": [44133, 0], \"passed\": true}, {\"check\": \"partial-repair probe 2\", \"actual\": [428200, 58312], \"expected\": [428200, 58312], \"passed\": true}, {\"check\": \"partial-repair probe 3\", \"actual\": [429600, 0], \"expected\": [429600, 0], \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": [955000, 135874], \"expected\": [955000, 135874], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [529600, 36894], \"expected\": [529600, 36894], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [855000, 118780], \"expected\": [855000, 118780], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [855000, 96773], \"expected\": [855000, 96773], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}