FA-27632 / HTTP ranges / Member archive

A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the decoder starts at the last keyframe at or before the seek time · case 02

A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the decoder starts at the last keyframe at or before the seek time.

Member previewVariant 2 · 3 implementations · 18 checks per implementation

Case contract

x has a time-sorted keyframe index [time,byte-offset], total length, init header length H (bytes 0..H-1), seek time, byte window and cached inclusive spans (unordered). Request the header unless one cached span covers all of it. Start at the last keyframe with time<=seek, or the first keyframe when seeking earlier. A start offset at or beyond total, an empty index or nonpositive total returns null. The media window is [start,min(total-1,start+window-1)]; request only its uncached gaps in ascending order, as inclusive bytes=a-b values after any header request.

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
keyframe-not-after-seek fixture 1	`["bytes=0-99", "bytes=100-399"]`	`["bytes=0-99", "bytes=500-799"]`	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.