FA-59462 / Subscription proration billing / Member archive

Paused days extending the billing period: overlap merge extent · case 02

A short pause nested inside a longer one shortens the extension.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Input {start, end (exclusive) day numbers, pauses: [[from, to)]}. Pause intervals are clipped to the period, empty ones dropped, then overlapping ones merged. The period end moves out by the number of distinct paused days. Return [new_end, paused_days].

Why this case matters

Pausing a subscription should extend paid service exactly by the paused time, no more and no less.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression 0	`[130, 4]`	`[131, 5]`	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.