FA-27074 / HTTP ranges / Member archive
A proxy coalesces nearby requested spans into economical origin reads: fetch mappings are returned in caller order after read sorting · case 04
A proxy coalesces nearby requested spans into economical origin reads: fetch mappings are returned in caller order after read sorting.
Case contract
x contains request rows [start,stop] with half-open nonnegative bounds, a nonnegative max-gap, and a set of forbidden byte positions. Empty requests contribute no work. Sort requests by start/stop, merge overlapping or nearby reads only if the gap has no forbidden byte. Return fetch spans and, in original request order, [fetch-index,offset-within-fetch,count] mappings. Empty requests map to null. This model plans origin reads only and does not redefine inclusive wire range semantics.
Why this case matters
Range responses combine representation identity, conditional requests, framing, and partial-object state.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| mapping-order fixture 0 | [[[0, 6]], [[0, 0, 2], [0, 4, 2]]] | [[[0, 6]], [[0, 4, 2], [0, 0, 2]]] | 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.
Sign in to the archive ↗