FA-27227 / HTTP ranges / Member archive

Concurrent download clients share bounded origin range reads: scheduling consumes only the dispatched chunk from the request · case 02

Concurrent download clients share bounded origin range reads: scheduling consumes only the dispatched chunk from the request.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

x contains ordered jobs [client,absolute-start,count,cancelled], positive chunk size, and dispatch slot count. Drop canceled and zero-length jobs. Maintain first-appearance client order; each client has FIFO requests. Dispatch at most one chunk per client per round, rotate unfinished clients, split long ranges, and remove exhausted requests. Return [dispatches,pending-jobs], where dispatches are [client,start,count] and pending jobs retain scheduler order. This models range-specific origin request scheduling, without network retries.

Why this case matters

Range responses combine representation identity, conditional requests, framing, and partial-object state.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
remaining-count fixture 0	`[[["a", 0, 2], ["b", 10, 2], ["a", 2, 2], ["a", 4, 2]], [["a", 6, 5]]]`	`[[["a", 0, 2], ["b", 10, 2], ["a", 2, 2], ["a", 4, 1]], []]`	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.