FA-27523 / HTTP ranges / Member archive

A zero-copy range sender accounts for partial progress reported with syscall errors: all promised bytes complete even if the same syscall reports would-block · case 03

A zero-copy range sender accounts for partial progress reported with syscall errors: all promised bytes complete even if the same syscall reports would-block.

Member previewVariant 3 · 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
completed-would-block fixture 5	`[[6, 0, "blocked", true], [6, 0, "aborted", false]]`	`[[6, 0, "complete", false], [6, 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.