Read Range

Range Header

The Range header asks for an inclusive byte span.

highlighted = computed this step

Range asks for byte offsets

The Range row asks for bytes starting at 2 and ending at 5.

start=2, end=5\text{start}=2,\ \text{end}=5
Range headerThe request, full resource bytes, selected slice, response, and checks are recomputed from pinned bytes.Range header - GET /file.txt bytes 2-5 -> cdef (4 bytes)sectionnamevaluecheckrequest linemethodGETparsedrequest linepath/file.txtparsedrequest lineversionHTTP/1.1parsedheaderHoststatic.exampleexactheaderRangebytes=2-5requested sliceresourcedisplayabcdefghsafe display formresourceexact hex6162636465666768pinned bytesresourcebyte length8countedrangestart2inclusiverangeend5inclusiverangeoffsets2,3,4,5selectedslicedisplayc d e fsafe display formsliceexact hex63646566pinned bytesslicebyte length4countedstatusversionHTTP/1.1parsedstatusstatus206 Partial Contentpartial contentheaderContent-Rangebytes 2-5/8slice over totalheaderContent-Length4declared bytesbodydisplaycdefsafe display formbodyexact hex63646566pinned bytescheckrangebytes 2-5requestcheckcovered bytes4inclusive countchecktotal length8Content-RangecheckContent-Length4selected bodycheckmatchyesall counts agree

The end offset is included

This toy Range is inclusive, so the table lists every selected offset.

offsets selected\text{offsets selected}
Range headerThe request, full resource bytes, selected slice, response, and checks are recomputed from pinned bytes.Range header - GET /file.txt bytes 2-5 -> cdef (4 bytes)sectionnamevaluecheckrequest linemethodGETparsedrequest linepath/file.txtparsedrequest lineversionHTTP/1.1parsedheaderHoststatic.exampleexactheaderRangebytes=2-5requested sliceresourcedisplayabcdefghsafe display formresourceexact hex6162636465666768pinned bytesresourcebyte length8countedrangestart2inclusiverangeend5inclusiverangeoffsets2,3,4,5selectedslicedisplayc d e fsafe display formsliceexact hex63646566pinned bytesslicebyte length4countedstatusversionHTTP/1.1parsedstatusstatus206 Partial Contentpartial contentheaderContent-Rangebytes 2-5/8slice over totalheaderContent-Length4declared bytesbodydisplaycdefsafe display formbodyexact hex63646566pinned bytescheckrangebytes 2-5requestcheckcovered bytes4inclusive countchecktotal length8Content-RangecheckContent-Length4selected bodycheckmatchyesall counts agree

The header is exact bytes

The trust boundary reads Range from the pinned request bytes before rendering the row.

Range parsed from request\text{Range parsed from request}
Range headerThe request, full resource bytes, selected slice, response, and checks are recomputed from pinned bytes.Range header - GET /file.txt bytes 2-5 -> cdef (4 bytes)sectionnamevaluecheckrequest linemethodGETparsedrequest linepath/file.txtparsedrequest lineversionHTTP/1.1parsedheaderHoststatic.exampleexactheaderRangebytes=2-5requested sliceresourcedisplayabcdefghsafe display formresourceexact hex6162636465666768pinned bytesresourcebyte length8countedrangestart2inclusiverangeend5inclusiverangeoffsets2,3,4,5selectedslicedisplayc d e fsafe display formsliceexact hex63646566pinned bytesslicebyte length4countedstatusversionHTTP/1.1parsedstatusstatus206 Partial Contentpartial contentheaderContent-Rangebytes 2-5/8slice over totalheaderContent-Length4declared bytesbodydisplaycdefsafe display formbodyexact hex63646566pinned bytescheckrangebytes 2-5requestcheckcovered bytes4inclusive countchecktotal length8Content-RangecheckContent-Length4selected bodycheckmatchyesall counts agree

Summary

Range narrows the request to one inclusive byte span.

range span checked\text{range span checked}
Range headerThe request, full resource bytes, selected slice, response, and checks are recomputed from pinned bytes.Range header - GET /file.txt bytes 2-5 -> cdef (4 bytes)sectionnamevaluecheckrequest linemethodGETparsedrequest linepath/file.txtparsedrequest lineversionHTTP/1.1parsedheaderHoststatic.exampleexactheaderRangebytes=2-5requested sliceresourcedisplayabcdefghsafe display formresourceexact hex6162636465666768pinned bytesresourcebyte length8countedrangestart2inclusiverangeend5inclusiverangeoffsets2,3,4,5selectedslicedisplayc d e fsafe display formsliceexact hex63646566pinned bytesslicebyte length4countedstatusversionHTTP/1.1parsedstatusstatus206 Partial Contentpartial contentheaderContent-Rangebytes 2-5/8slice over totalheaderContent-Length4declared bytesbodydisplaycdefsafe display formbodyexact hex63646566pinned bytescheckrangebytes 2-5requestcheckcovered bytes4inclusive countchecktotal length8Content-RangecheckContent-Length4selected bodycheckmatchyesall counts agree