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
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range · case 01
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range · case 02
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range · case 03
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range · case 04
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range · case 05
A parallel downloader splits a representation into worker ranges and rebalances idle workers: only a finished worker may take over part of another range.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position · case 01
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position · case 02
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position · case 03
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position · case 04
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position · case 05
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim is chosen by remaining bytes rather than range position.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index · case 01
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index · case 02
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index · case 03
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index · case 04
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index · case 05
A parallel downloader splits a representation into worker ranges and rebalances idle workers: equal remaining work selects the lowest worker index.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened · case 01
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened · case 02
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened · case 03
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened · case 04
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened · case 05
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the thief copies the victim end before the victim is shortened.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice · case 01
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice · case 02
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice · case 03
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice · case 04
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice · case 05
A parallel downloader splits a representation into worker ranges and rebalances idle workers: the victim stops before the stolen suffix instead of downloading it twice.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers · case 01
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers · case 02
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers · case 03
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers · case 04
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers.
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers · case 05
A parallel downloader splits a representation into worker ranges and rebalances idle workers: finished workers do not emit inverted Range headers.
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 01
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.
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.
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 03
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.
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 04
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.
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 05
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.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last · case 01
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last · case 02
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last · case 03
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last · case 04
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last · case 05
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: seeks before the first keyframe start there instead of wrapping to the last.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte · case 01
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte · case 02
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte · case 03
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte · case 04
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte · case 05
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the header is skipped only when one cached span covers every header byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte · case 01
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte · case 02
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte · case 03
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte · case 04
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte · case 05
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: the media window stops at the last representation byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it · case 01
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it · case 02
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it · case 03
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it · case 04
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it · case 05
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans beyond the window cannot create requests past it.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte · case 01
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte · case 02
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte · case 03
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte · case 04
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte · case 05
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a gap request stops before the next cached byte.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order · case 01
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order · case 02
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order · case 03
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order · case 04
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order · case 05
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: cached spans are processed in start order.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested · case 01
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested · case 02
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested · case 03
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested · case 04
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested · case 05
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a one-byte uncached window tail is still requested.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request · case 01
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request · case 02
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request · case 03
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request · case 04
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request.
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request · case 05
A media player maps a seek time to keyframe-aligned byte range requests around cached spans: a cached span beginning at the cursor produces no empty gap request.
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record · case 01
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record.
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record · case 02
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record.
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record · case 03
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record.
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record · case 04
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record.
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record · case 05
A remote archive reader locates the central directory from a suffix range response: a signature inside the archive comment is not accepted as the end record.
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes · case 01
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes.
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes · case 02
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes.
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes · case 03
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes.
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes · case 04
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes.
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes · case 05
A remote archive reader locates the central directory from a suffix range response: end-record fields are decoded after the four signature bytes.
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals · case 01
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals.
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals · case 02
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals.
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals · case 03
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals.
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals · case 04
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals.
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals · case 05
A remote archive reader locates the central directory from a suffix range response: split archives are rejected by disk numbers and entry totals.
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins · case 01
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins.
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins · case 02
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins.
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins · case 03
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins.
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins · case 04
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins.
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins · case 05
A remote archive reader locates the central directory from a suffix range response: the central directory must end before the end record begins.
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received · case 01
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received.
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received · case 02
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received.
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received · case 03
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received.
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received · case 04
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received.
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received · case 05
A remote archive reader locates the central directory from a suffix range response: tail indexes are rebased by the actual suffix length received.
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 ↗