FA-59408 / Subscription proration billing / Member archive

Seat additions billed above the high-water mark: no mid-cycle removal credit · case 03

Removing seats mid-cycle reduces the invoice although the contract grants credit only at renewal.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Input {price per seat per period, period_days, base_seats, changes: [[day, seat_count]]}. Changes apply in day order (same-day changes keep input order). Seats above the period high-water mark are charged price*added*(period_days - day)/period_days half-up; decreases earn no mid-cycle credit. Return [prorated charges, high-water mark, renewal seat count (the last count)].

Why this case matters

Seat-based billing charges each seat at most once per period, even when seats are removed and re-added.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression 0	`[-800, 20, 3]`	`[7100, 20, 3]`	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.