FA-27209 / HTTP ranges / Member archive

Concurrent download clients share bounded origin range reads: a scheduling turn does not overrun its origin request slot allowance · case 04

Concurrent download clients share bounded origin range reads: a scheduling turn does not overrun its origin request slot allowance.

Member previewVariant 4 · 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
dispatch-slots fixture 1	`[[["b", 10, 1], ["a", 0, 1], ["b", 11, 1]], [["a", 1, 1]]]`	`[[["b", 10, 1], ["a", 0, 1]], [["b", 11, 1], ["a", 1, 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.