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
Deque split traversal skips the first suffix element · case 01
Deque split traversal skips the first suffix element.
Deque split traversal skips the first suffix element · case 02
Deque split traversal skips the first suffix element.
Deque split traversal skips the first suffix element · case 03
Deque split traversal skips the first suffix element.
Deque split traversal skips the first suffix element · case 04
Deque split traversal skips the first suffix element.
Deque split traversal skips the first suffix element · case 05
Deque split traversal skips the first suffix element.
Failed deque iterator split resets the retained start position · case 01
Failed deque iterator split resets the retained start position.
Failed deque iterator split resets the retained start position · case 02
Failed deque iterator split resets the retained start position.
Failed deque iterator split resets the retained start position · case 03
Failed deque iterator split resets the retained start position.
Failed deque iterator split resets the retained start position · case 04
Failed deque iterator split resets the retained start position.
Failed deque iterator split resets the retained start position · case 05
Failed deque iterator split resets the retained start position.
Bookmark batch insertion checks only current occupancy · case 01
Bookmark batch insertion checks only current occupancy.
Bookmark batch insertion checks only current occupancy · case 02
Bookmark batch insertion checks only current occupancy.
Bookmark batch insertion checks only current occupancy · case 03
Bookmark batch insertion checks only current occupancy.
Bookmark batch insertion checks only current occupancy · case 04
Bookmark batch insertion checks only current occupancy.
Bookmark batch insertion checks only current occupancy · case 05
Bookmark batch insertion checks only current occupancy.
Bookmark insertion appends its values at the tail · case 01
Bookmark insertion appends its values at the tail.
Bookmark insertion appends its values at the tail · case 02
Bookmark insertion appends its values at the tail.
Bookmark insertion appends its values at the tail · case 03
Bookmark insertion appends its values at the tail.
Bookmark insertion appends its values at the tail · case 04
Bookmark insertion appends its values at the tail.
Bookmark insertion appends its values at the tail · case 05
Bookmark insertion appends its values at the tail.
Deque gap insertion shifts left-biased bookmarks at the insertion point · case 01
Deque gap insertion shifts left-biased bookmarks at the insertion point.
Deque gap insertion shifts left-biased bookmarks at the insertion point · case 02
Deque gap insertion shifts left-biased bookmarks at the insertion point.
Deque gap insertion shifts left-biased bookmarks at the insertion point · case 03
Deque gap insertion shifts left-biased bookmarks at the insertion point.
Deque gap insertion shifts left-biased bookmarks at the insertion point · case 04
Deque gap insertion shifts left-biased bookmarks at the insertion point.
Deque gap insertion shifts left-biased bookmarks at the insertion point · case 05
Deque gap insertion shifts left-biased bookmarks at the insertion point.
Deque gap insertion shifts only bookmarks at the exact insertion point · case 01
Deque gap insertion shifts only bookmarks at the exact insertion point.
Deque gap insertion shifts only bookmarks at the exact insertion point · case 02
Deque gap insertion shifts only bookmarks at the exact insertion point.
Deque gap insertion shifts only bookmarks at the exact insertion point · case 03
Deque gap insertion shifts only bookmarks at the exact insertion point.
Deque gap insertion shifts only bookmarks at the exact insertion point · case 04
Deque gap insertion shifts only bookmarks at the exact insertion point.
Deque gap insertion shifts only bookmarks at the exact insertion point · case 05
Deque gap insertion shifts only bookmarks at the exact insertion point.
Deque gap insertion shifts bookmarks by one rather than batch length · case 01
Deque gap insertion shifts bookmarks by one rather than batch length.
Deque gap insertion shifts bookmarks by one rather than batch length · case 02
Deque gap insertion shifts bookmarks by one rather than batch length.
Deque gap insertion shifts bookmarks by one rather than batch length · case 03
Deque gap insertion shifts bookmarks by one rather than batch length.
Deque gap insertion shifts bookmarks by one rather than batch length · case 04
Deque gap insertion shifts bookmarks by one rather than batch length.
Deque gap insertion shifts bookmarks by one rather than batch length · case 05
Deque gap insertion shifts bookmarks by one rather than batch length.
Deque gap insertion erases bookmark bias · case 01
Deque gap insertion erases bookmark bias.
Deque gap insertion erases bookmark bias · case 02
Deque gap insertion erases bookmark bias.
Deque gap insertion erases bookmark bias · case 03
Deque gap insertion erases bookmark bias.
Deque gap insertion erases bookmark bias · case 04
Deque gap insertion erases bookmark bias.
Deque gap insertion erases bookmark bias · case 05
Deque gap insertion erases bookmark bias.
Deque batch insertion resumes at the original gap · case 01
Deque batch insertion resumes at the original gap.
Deque batch insertion resumes at the original gap · case 02
Deque batch insertion resumes at the original gap.
Deque batch insertion resumes at the original gap · case 03
Deque batch insertion resumes at the original gap.
Deque batch insertion resumes at the original gap · case 04
Deque batch insertion resumes at the original gap.
Deque batch insertion resumes at the original gap · case 05
Deque batch insertion resumes at the original gap.
Deque transaction accepts a snapshot from a future epoch · case 01
Deque transaction accepts a snapshot from a future epoch.
Deque transaction accepts a snapshot from a future epoch · case 02
Deque transaction accepts a snapshot from a future epoch.
Deque transaction accepts a snapshot from a future epoch · case 03
Deque transaction accepts a snapshot from a future epoch.
Deque transaction accepts a snapshot from a future epoch · case 04
Deque transaction accepts a snapshot from a future epoch.
Deque transaction accepts a snapshot from a future epoch · case 05
Deque transaction accepts a snapshot from a future epoch.
Deque transaction validates old rather than staged occupancy · case 01
Deque transaction validates old rather than staged occupancy.
Deque transaction validates old rather than staged occupancy · case 02
Deque transaction validates old rather than staged occupancy.
Deque transaction validates old rather than staged occupancy · case 03
Deque transaction validates old rather than staged occupancy.
Deque transaction validates old rather than staged occupancy · case 04
Deque transaction validates old rather than staged occupancy.
Deque transaction validates old rather than staged occupancy · case 05
Deque transaction validates old rather than staged occupancy.
Deque transaction accepts insufficient allocation credits · case 01
Deque transaction accepts insufficient allocation credits.
Deque transaction accepts insufficient allocation credits · case 02
Deque transaction accepts insufficient allocation credits.
Deque transaction accepts insufficient allocation credits · case 03
Deque transaction accepts insufficient allocation credits.
Deque transaction accepts insufficient allocation credits · case 04
Deque transaction accepts insufficient allocation credits.
Deque transaction accepts insufficient allocation credits · case 05
Deque transaction accepts insufficient allocation credits.
Deque transaction publishes the old snapshot again · case 01
Deque transaction publishes the old snapshot again.
Deque transaction publishes the old snapshot again · case 02
Deque transaction publishes the old snapshot again.
Deque transaction publishes the old snapshot again · case 03
Deque transaction publishes the old snapshot again.
Deque transaction publishes the old snapshot again · case 04
Deque transaction publishes the old snapshot again.
Deque transaction publishes the old snapshot again · case 05
Deque transaction publishes the old snapshot again.
Deque transaction commits without advancing structural epoch · case 01
Deque transaction commits without advancing structural epoch.
Deque transaction commits without advancing structural epoch · case 02
Deque transaction commits without advancing structural epoch.
Deque transaction commits without advancing structural epoch · case 03
Deque transaction commits without advancing structural epoch.
Deque transaction commits without advancing structural epoch · case 04
Deque transaction commits without advancing structural epoch.
Deque transaction commits without advancing structural epoch · case 05
Deque transaction commits without advancing structural epoch.
Deque transaction charges staged entries rather than allocation cost · case 01
Deque transaction charges staged entries rather than allocation cost.
Deque transaction charges staged entries rather than allocation cost · case 02
Deque transaction charges staged entries rather than allocation cost.
Deque transaction charges staged entries rather than allocation cost · case 03
Deque transaction charges staged entries rather than allocation cost.
Deque transaction charges staged entries rather than allocation cost · case 04
Deque transaction charges staged entries rather than allocation cost.
Deque transaction charges staged entries rather than allocation cost · case 05
Deque transaction charges staged entries rather than allocation cost.
Deque transaction retires newly published entries · case 01
Deque transaction retires newly published entries.
Deque transaction retires newly published entries · case 02
Deque transaction retires newly published entries.
Deque transaction retires newly published entries · case 03
Deque transaction retires newly published entries.
Deque transaction retires newly published entries · case 04
Deque transaction retires newly published entries.
Deque transaction retires newly published entries · case 05
Deque transaction retires newly published entries.
Graceful deque close wakes consumers before buffered items drain · case 01
Graceful deque close wakes consumers before buffered items drain.
Graceful deque close wakes consumers before buffered items drain · case 02
Graceful deque close wakes consumers before buffered items drain.
Graceful deque close wakes consumers before buffered items drain · case 03
Graceful deque close wakes consumers before buffered items drain.
Graceful deque close wakes consumers before buffered items drain · case 04
Graceful deque close wakes consumers before buffered items drain.
Graceful deque close wakes consumers before buffered items drain · case 05
Graceful deque close wakes consumers before buffered items drain.
Repeated deque close repeats terminal notifications · case 01
Repeated deque close repeats terminal notifications.
Repeated deque close repeats terminal notifications · case 02
Repeated deque close repeats terminal notifications.
Repeated deque close repeats terminal notifications · case 03
Repeated deque close repeats terminal notifications.
Repeated deque close repeats terminal notifications · case 04
Repeated deque close repeats terminal notifications.
Repeated deque close repeats terminal notifications · case 05
Repeated deque close repeats terminal notifications.
Gracefully closed deque accepts new producer values · case 01
Gracefully closed deque accepts new producer values.
Gracefully closed deque accepts new producer values · case 02
Gracefully closed deque accepts new producer values.
Gracefully closed deque accepts new producer values · case 03
Gracefully closed deque accepts new producer values.
Gracefully closed deque accepts new producer values · case 04
Gracefully closed deque accepts new producer values.
Gracefully closed deque accepts new producer values · case 05
Gracefully closed deque accepts new producer values.
Empty closed deque reports ordinary temporary emptiness · case 01
Empty closed deque reports ordinary temporary emptiness.
Empty closed deque reports ordinary temporary emptiness · case 02
Empty closed deque reports ordinary temporary emptiness.
Empty closed deque reports ordinary temporary emptiness · case 03
Empty closed deque reports ordinary temporary emptiness.
Empty closed deque reports ordinary temporary emptiness · case 04
Empty closed deque reports ordinary temporary emptiness.
Empty closed deque reports ordinary temporary emptiness · case 05
Empty closed deque reports ordinary temporary emptiness.
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 ↗