FA-62663 / Tax bracket computation / Member archive

Fully used and expired carryforwards remain in the report · case 03

The carryforward schedule lists zero balances and long-expired losses.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

solve(years, life): years are pre-deduction incomes by year index (negative = operating loss). A loss year reports taxable 0 and creates a carryforward [origin, amount]. In an income year, carryforwards older than life years (year - origin > life) expire; the rest are applied oldest first, limited in total to floor(80% of that year's income). Return [taxable_by_year, remaining] where remaining lists [origin, amount] with amount > 0 not expired as of the final year.

Why this case matters

Tax computations hinge on which slice, threshold, ordering and rounding rule applies at each step; a misplaced boundary silently misstates liabilities.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression remaining-report 1	`[[5000, 20000, 0, 0, 0, 0, 0], [[2, 10000], [3, 50000], [4, 50000], [5, 27330], [6, 50000]]]`	`[[5000, 20000, 0, 0, 0, 0, 0], [[3, 50000], [4, 50000], [5, 27330], [6, 50000]]]`	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.