Understand the failure.
Verify the repair.
Small, reproducible software failures. The broken implementation, the fix that didn’t work, and the one that passed—preserved together.
Explore the cases ↓How results are verified ↗WHAT THE ARCHIVE CONTAINS
100840 executable cases. 20168 are open.
Every case records the implementation that fails, the fix that did not work, and the repair that passed its checks—with recorded outputs and source hashes. This release adds 100840 cases across 20168 failure mechanisms and 254 domains.
The open tier gives you the failure and the unsuccessful fix for one case in every mechanism. The remaining 80672 cases, 5 variants per mechanism, are member-only: the verified repair, its recorded checks, and the full fixture suite are held in the member archive. Read the methodology ↗
A RECORD OF WHAT WENT WRONG
Browse the archive / 100840
Each multipart range begins with its own absolute seek · case 01
Each multipart range begins with its own absolute seek.
Each multipart range begins with its own absolute seek · case 02
Each multipart range begins with its own absolute seek.
Each multipart range begins with its own absolute seek · case 03
Each multipart range begins with its own absolute seek.
Each multipart range begins with its own absolute seek · case 04
Each multipart range begins with its own absolute seek.
Each multipart range begins with its own absolute seek · case 05
Each multipart range begins with its own absolute seek.
Failed absolute seek prevents a range read from the stale cursor · case 01
Failed absolute seek prevents a range read from the stale cursor.
Failed absolute seek prevents a range read from the stale cursor · case 02
Failed absolute seek prevents a range read from the stale cursor.
Failed absolute seek prevents a range read from the stale cursor · case 03
Failed absolute seek prevents a range read from the stale cursor.
Failed absolute seek prevents a range read from the stale cursor · case 04
Failed absolute seek prevents a range read from the stale cursor.
Failed absolute seek prevents a range read from the stale cursor · case 05
Failed absolute seek prevents a range read from the stale cursor.
Download accounting counts accepted payload bytes instead of attempted bytes · case 01
Download accounting counts accepted payload bytes instead of attempted bytes.
Download accounting counts accepted payload bytes instead of attempted bytes · case 02
Download accounting counts accepted payload bytes instead of attempted bytes.
Download accounting counts accepted payload bytes instead of attempted bytes · case 03
Download accounting counts accepted payload bytes instead of attempted bytes.
Download accounting counts accepted payload bytes instead of attempted bytes · case 04
Download accounting counts accepted payload bytes instead of attempted bytes.
Download accounting counts accepted payload bytes instead of attempted bytes · case 05
Download accounting counts accepted payload bytes instead of attempted bytes.
Queued partial payloads preserve FIFO order under backpressure · case 01
Queued partial payloads preserve FIFO order under backpressure.
Queued partial payloads preserve FIFO order under backpressure · case 02
Queued partial payloads preserve FIFO order under backpressure.
Queued partial payloads preserve FIFO order under backpressure · case 03
Queued partial payloads preserve FIFO order under backpressure.
Queued partial payloads preserve FIFO order under backpressure · case 04
Queued partial payloads preserve FIFO order under backpressure.
Queued partial payloads preserve FIFO order under backpressure · case 05
Queued partial payloads preserve FIFO order under backpressure.
Range stream idle deadlines advance only on actual byte progress · case 01
Range stream idle deadlines advance only on actual byte progress.
Range stream idle deadlines advance only on actual byte progress · case 02
Range stream idle deadlines advance only on actual byte progress.
Range stream idle deadlines advance only on actual byte progress · case 03
Range stream idle deadlines advance only on actual byte progress.
Range stream idle deadlines advance only on actual byte progress · case 04
Range stream idle deadlines advance only on actual byte progress.
Range stream idle deadlines advance only on actual byte progress · case 05
Range stream idle deadlines advance only on actual byte progress.
Concurrent readers use positional I/O instead of a shared mutable seek cursor · case 01
Concurrent readers use positional I/O instead of a shared mutable seek cursor.
Concurrent readers use positional I/O instead of a shared mutable seek cursor · case 02
Concurrent readers use positional I/O instead of a shared mutable seek cursor.
Concurrent readers use positional I/O instead of a shared mutable seek cursor · case 03
Concurrent readers use positional I/O instead of a shared mutable seek cursor.
Concurrent readers use positional I/O instead of a shared mutable seek cursor · case 04
Concurrent readers use positional I/O instead of a shared mutable seek cursor.
Concurrent readers use positional I/O instead of a shared mutable seek cursor · case 05
Concurrent readers use positional I/O instead of a shared mutable seek cursor.
Multipart source handles remain open until every part finishes · case 01
Multipart source handles remain open until every part finishes.
Multipart source handles remain open until every part finishes · case 02
Multipart source handles remain open until every part finishes.
Multipart source handles remain open until every part finishes · case 03
Multipart source handles remain open until every part finishes.
Multipart source handles remain open until every part finishes · case 04
Multipart source handles remain open until every part finishes.
Multipart source handles remain open until every part finishes · case 05
Multipart source handles remain open until every part finishes.
A transport reset cannot leave queued range bytes available for transmission · case 01
A transport reset cannot leave queued range bytes available for transmission.
A transport reset cannot leave queued range bytes available for transmission · case 02
A transport reset cannot leave queued range bytes available for transmission.
A transport reset cannot leave queued range bytes available for transmission · case 03
A transport reset cannot leave queued range bytes available for transmission.
A transport reset cannot leave queued range bytes available for transmission · case 04
A transport reset cannot leave queued range bytes available for transmission.
A transport reset cannot leave queued range bytes available for transmission · case 05
A transport reset cannot leave queued range bytes available for transmission.
Repeated Range fields combine their member lists under one unit · case 01
Repeated Range fields combine their member lists under one unit.
Repeated Range fields combine their member lists under one unit · case 02
Repeated Range fields combine their member lists under one unit.
Repeated Range fields combine their member lists under one unit · case 03
Repeated Range fields combine their member lists under one unit.
Repeated Range fields combine their member lists under one unit · case 04
Repeated Range fields combine their member lists under one unit.
Repeated Range fields combine their member lists under one unit · case 05
Repeated Range fields combine their member lists under one unit.
An empty list member invalidates this strict Range parser · case 01
An empty list member invalidates this strict Range parser.
An empty list member invalidates this strict Range parser · case 02
An empty list member invalidates this strict Range parser.
An empty list member invalidates this strict Range parser · case 03
An empty list member invalidates this strict Range parser.
An empty list member invalidates this strict Range parser · case 04
An empty list member invalidates this strict Range parser.
An empty list member invalidates this strict Range parser · case 05
An empty list member invalidates this strict Range parser.
Byte-range numbers reject non-ASCII decimal lookalikes · case 01
Byte-range numbers reject non-ASCII decimal lookalikes.
Byte-range numbers reject non-ASCII decimal lookalikes · case 02
Byte-range numbers reject non-ASCII decimal lookalikes.
Byte-range numbers reject non-ASCII decimal lookalikes · case 03
Byte-range numbers reject non-ASCII decimal lookalikes.
Byte-range numbers reject non-ASCII decimal lookalikes · case 04
Byte-range numbers reject non-ASCII decimal lookalikes.
Byte-range numbers reject non-ASCII decimal lookalikes · case 05
Byte-range numbers reject non-ASCII decimal lookalikes.
A range member has exactly one separator dash · case 01
A range member has exactly one separator dash.
A range member has exactly one separator dash · case 02
A range member has exactly one separator dash.
A range member has exactly one separator dash · case 03
A range member has exactly one separator dash.
A range member has exactly one separator dash · case 04
A range member has exactly one separator dash.
A range member has exactly one separator dash · case 05
A range member has exactly one separator dash.
Unsupported range units fall back to the full representation · case 01
Unsupported range units fall back to the full representation.
Unsupported range units fall back to the full representation · case 02
Unsupported range units fall back to the full representation.
Unsupported range units fall back to the full representation · case 03
Unsupported range units fall back to the full representation.
Unsupported range units fall back to the full representation · case 04
Unsupported range units fall back to the full representation.
Unsupported range units fall back to the full representation · case 05
Unsupported range units fall back to the full representation.
Only outer optional whitespace is accepted around range unit tokens · case 01
Only outer optional whitespace is accepted around range unit tokens.
Only outer optional whitespace is accepted around range unit tokens · case 02
Only outer optional whitespace is accepted around range unit tokens.
Only outer optional whitespace is accepted around range unit tokens · case 03
Only outer optional whitespace is accepted around range unit tokens.
Only outer optional whitespace is accepted around range unit tokens · case 04
Only outer optional whitespace is accepted around range unit tokens.
Only outer optional whitespace is accepted around range unit tokens · case 05
Only outer optional whitespace is accepted around range unit tokens.
Request member limits apply before deduplication · case 01
Request member limits apply before deduplication.
Request member limits apply before deduplication · case 02
Request member limits apply before deduplication.
Request member limits apply before deduplication · case 03
Request member limits apply before deduplication.
Request member limits apply before deduplication · case 04
Request member limits apply before deduplication.
Request member limits apply before deduplication · case 05
Request member limits apply before deduplication.
Numeric token budgets count leading zeroes before integer conversion · case 01
Numeric token budgets count leading zeroes before integer conversion.
Numeric token budgets count leading zeroes before integer conversion · case 02
Numeric token budgets count leading zeroes before integer conversion.
Numeric token budgets count leading zeroes before integer conversion · case 03
Numeric token budgets count leading zeroes before integer conversion.
Numeric token budgets count leading zeroes before integer conversion · case 04
Numeric token budgets count leading zeroes before integer conversion.
Numeric token budgets count leading zeroes before integer conversion · case 05
Numeric token budgets count leading zeroes before integer conversion.
A malformed member invalidates the whole stipulated strict range list · case 01
A malformed member invalidates the whole stipulated strict range list.
A malformed member invalidates the whole stipulated strict range list · case 02
A malformed member invalidates the whole stipulated strict range list.
A malformed member invalidates the whole stipulated strict range list · case 03
A malformed member invalidates the whole stipulated strict range list.
A malformed member invalidates the whole stipulated strict range list · case 04
A malformed member invalidates the whole stipulated strict range list.
A malformed member invalidates the whole stipulated strict range list · case 05
A malformed member invalidates the whole stipulated strict range list.
Range header budgets include commas and unit prefix bytes · case 01
Range header budgets include commas and unit prefix bytes.
Range header budgets include commas and unit prefix bytes · case 02
Range header budgets include commas and unit prefix bytes.
Range header budgets include commas and unit prefix bytes · case 03
Range header budgets include commas and unit prefix bytes.
Range header budgets include commas and unit prefix bytes · case 04
Range header budgets include commas and unit prefix bytes.
Range header budgets include commas and unit prefix bytes · case 05
Range header budgets include commas and unit prefix bytes.
Unknown complete lengths serialize as an asterisk · case 01
Unknown complete lengths serialize as an asterisk.
Unknown complete lengths serialize as an asterisk · case 02
Unknown complete lengths serialize as an asterisk.
Unknown complete lengths serialize as an asterisk · case 03
Unknown complete lengths serialize as an asterisk.
Unknown complete lengths serialize as an asterisk · case 04
Unknown complete lengths serialize as an asterisk.
Unknown complete lengths serialize as an asterisk · case 05
Unknown complete lengths serialize as an asterisk.
Unsatisfied range metadata reports the complete length without invented endpoints · case 01
Unsatisfied range metadata reports the complete length without invented endpoints.
Unsatisfied range metadata reports the complete length without invented endpoints · case 02
Unsatisfied range metadata reports the complete length without invented endpoints.
Unsatisfied range metadata reports the complete length without invented endpoints · case 03
Unsatisfied range metadata reports the complete length without invented endpoints.
Unsatisfied range metadata reports the complete length without invented endpoints · case 04
Unsatisfied range metadata reports the complete length without invented endpoints.
Unsatisfied range metadata reports the complete length without invented endpoints · case 05
Unsatisfied range metadata reports the complete length without invented endpoints.
INSPECTABLE BY DESIGN
Every result has a runnable source.
Runnable implementations with recorded outputs, source hashes, and explicit contracts. Related variants share a failure mechanism and belong together in evaluation splits.
Read the methodology ↗