FA-59534 / Subscription proration billing / Member archive

Sales tax on proration credit and debit lines: per-line tax rounding · case 04

Invoice tax differs by a cent from the sum of the per-line tax amounts shown.

Member previewVariant 4 · 3 implementations · 8 checks per implementation

Case contract

Input {lines: [[signed cents, taxable]], rate_bp}. Tax is computed per taxable line, including negative credit lines (negative tax), each rounded half away from zero, then summed. Subtotal is the sum of all lines. Return [subtotal, tax, subtotal + tax].

Why this case matters

Credit lines on a prorated invoice must reverse the tax charged on the original period.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression 0	`[14634, 431, 15065]`	`[14634, 432, 15066]`	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.