FA-27283 / HTTP ranges / Member archive

An origin adapter turns byte requests into bounded aligned storage reads: physical reads begin at the block base in the object · case 03

An origin adapter turns byte requests into bounded aligned storage reads: physical reads begin at the block base in the object.

Member previewVariant 3 · 3 implementations · 7 checks per implementation

Case contract

x contains complete object length, positive storage block size, ordered [start,stop) requested spans already within object, and cached block numbers. Return [uncached-block-reads,request-to-block-slices]. Each storage read is [block,absolute-start,count], clipped at EOF. Request maps contain [block,offset,count] for every crossed block, including cached ones; empty spans map to an empty list. Storage reads are deduplicated and sorted by block.

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
aligned-absolute fixture 0	`[[[0, 0, 4], [1, 1, 4], [2, 2, 4]], [[[0, 3, 1], [1, 0, 4], [2, 0, 1]]]]`	`[[[0, 0, 4], [1, 4, 4], [2, 8, 2]], [[[0, 3, 1], [1, 0, 4], [2, 0, 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.