FA-27509 / HTTP ranges / Member archive

A zero-copy range sender accounts for partial progress reported with syscall errors: successful byte progress survives an interrupted syscall status · case 04

A zero-copy range sender accounts for partial progress reported with syscall errors: successful byte progress survives an interrupted syscall status.

Member previewVariant 4 · 3 implementations · 8 checks per implementation

Case contract

x contains absolute offset, remaining promised bytes, and syscall events [accepted,error], where error is none,again,interrupt,fatal. Counts outside0..remaining abort without advancing. Valid accepted bytes advance even when again or interrupt accompanies them. Fatal errors abort; zero remaining completes; again blocks; interrupt reschedules; zero bytes with none truncates. Terminal states ignore later events. Return state snapshots [offset,remaining,state,handle-open] after each event.

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
interrupt-progress fixture 0	`[[10, 5, "running", true], [11, 4, "blocked", true], [13, 2, "running", true]]`	`[[12, 3, "running", true], [13, 2, "blocked", true], [15, 0, "complete", false]]`	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.