FA-59065 / Payroll withholding rules / Member archive

HSA payroll contribution limit by coverage month: employer contributions count · case 05

Employees whose employer also funds the HSA are allowed to exceed the combined limit.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case 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].

Why this case matters

HSA payroll contributions must be stopped at a limit that depends on month-by-month coverage, the last-month rule and employer money.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression 0	`[429600, 301558]`	`[429600, 50888]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.