FA-59677 / Subscription proration billing / Member archive

Immediate upgrades and scheduled downgrades: downgrade deferral · case 02

Downgrades take effect immediately without credit, cutting service mid-period.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Input {cur, new, left, period, pending scheduled price|None}. Upgrade (new > cur): charge (new-cur)*left/period half-up now, switch immediately and clear any scheduled change. Downgrade: no charge, keep cur, schedule new (replacing any pending). Same price: no charge and clear the schedule. Return [charge, active_price, scheduled].

Why this case matters

Asymmetric upgrade/downgrade policies must not let a stale scheduled downgrade override an upgrade.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression 0	`[0, 1000, null]`	`[0, 5000, 1000]`	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.