FA-27217 / HTTP ranges / Member archive

Concurrent download clients share bounded origin range reads: only the completed front request is removed from a consumer queue · case 02

Concurrent download clients share bounded origin range reads: only the completed front request is removed from a consumer queue.

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
request-pop fixture 3	`[[["a", 0, 2], ["b", 4, 1]], []]`	`[[["a", 0, 2], ["b", 4, 1]], [["a", 9, 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.