FA-62662 / Tax bracket computation / Member archive

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

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

Member previewVariant 2 · 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	`[[10000, 0, 0, 1000, 1000], [[1, 0], [2, 2000]]]`	`[[10000, 0, 0, 1000, 1000], [[2, 2000]]]`	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.