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
Partial claim commits the entire claimed prefix · case 01
Partial claim commits the entire claimed prefix.
Partial claim commits the entire claimed prefix · case 02
Partial claim commits the entire claimed prefix.
Partial claim commits the entire claimed prefix · case 03
Partial claim commits the entire claimed prefix.
Partial claim commits the entire claimed prefix · case 04
Partial claim commits the entire claimed prefix.
Partial claim commits the entire claimed prefix · case 05
Partial claim commits the entire claimed prefix.
Producer refill computes room from pre-claim occupancy · case 01
Producer refill computes room from pre-claim occupancy.
Producer refill computes room from pre-claim occupancy · case 02
Producer refill computes room from pre-claim occupancy.
Producer refill computes room from pre-claim occupancy · case 03
Producer refill computes room from pre-claim occupancy.
Producer refill computes room from pre-claim occupancy · case 04
Producer refill computes room from pre-claim occupancy.
Producer refill computes room from pre-claim occupancy · case 05
Producer refill computes room from pre-claim occupancy.
Edit history records the new deque rather than the old snapshot · case 01
Edit history records the new deque rather than the old snapshot.
Edit history records the new deque rather than the old snapshot · case 02
Edit history records the new deque rather than the old snapshot.
Edit history records the new deque rather than the old snapshot · case 03
Edit history records the new deque rather than the old snapshot.
Edit history records the new deque rather than the old snapshot · case 04
Edit history records the new deque rather than the old snapshot.
Edit history records the new deque rather than the old snapshot · case 05
Edit history records the new deque rather than the old snapshot.
New deque edit retains the abandoned redo branch · case 01
New deque edit retains the abandoned redo branch.
New deque edit retains the abandoned redo branch · case 02
New deque edit retains the abandoned redo branch.
New deque edit retains the abandoned redo branch · case 03
New deque edit retains the abandoned redo branch.
New deque edit retains the abandoned redo branch · case 04
New deque edit retains the abandoned redo branch.
New deque edit retains the abandoned redo branch · case 05
New deque edit retains the abandoned redo branch.
Undo restores the oldest retained snapshot · case 01
Undo restores the oldest retained snapshot.
Undo restores the oldest retained snapshot · case 02
Undo restores the oldest retained snapshot.
Undo restores the oldest retained snapshot · case 03
Undo restores the oldest retained snapshot.
Undo restores the oldest retained snapshot · case 04
Undo restores the oldest retained snapshot.
Undo restores the oldest retained snapshot · case 05
Undo restores the oldest retained snapshot.
Redo leaves its restored snapshot available for repeated redo · case 01
Redo leaves its restored snapshot available for repeated redo.
Redo leaves its restored snapshot available for repeated redo · case 02
Redo leaves its restored snapshot available for repeated redo.
Redo leaves its restored snapshot available for repeated redo · case 03
Redo leaves its restored snapshot available for repeated redo.
Redo leaves its restored snapshot available for repeated redo · case 04
Redo leaves its restored snapshot available for repeated redo.
Redo leaves its restored snapshot available for repeated redo · case 05
Redo leaves its restored snapshot available for repeated redo.
Undo fails to save the current deque for redo · case 01
Undo fails to save the current deque for redo.
Undo fails to save the current deque for redo · case 02
Undo fails to save the current deque for redo.
Undo fails to save the current deque for redo · case 03
Undo fails to save the current deque for redo.
Undo fails to save the current deque for redo · case 04
Undo fails to save the current deque for redo.
Undo fails to save the current deque for redo · case 05
Undo fails to save the current deque for redo.
Deque merge takes right-run ties before left-run ties · case 01
Deque merge takes right-run ties before left-run ties.
Deque merge takes right-run ties before left-run ties · case 02
Deque merge takes right-run ties before left-run ties.
Deque merge takes right-run ties before left-run ties · case 03
Deque merge takes right-run ties before left-run ties.
Deque merge takes right-run ties before left-run ties · case 04
Deque merge takes right-run ties before left-run ties.
Deque merge takes right-run ties before left-run ties · case 05
Deque merge takes right-run ties before left-run ties.
Deque merge advances two left entries after one emission · case 01
Deque merge advances two left entries after one emission.
Deque merge advances two left entries after one emission · case 02
Deque merge advances two left entries after one emission.
Deque merge advances two left entries after one emission · case 03
Deque merge advances two left entries after one emission.
Deque merge advances two left entries after one emission · case 04
Deque merge advances two left entries after one emission.
Deque merge advances two left entries after one emission · case 05
Deque merge advances two left entries after one emission.
Deque merge drops the unmerged left suffix · case 01
Deque merge drops the unmerged left suffix.
Deque merge drops the unmerged left suffix · case 02
Deque merge drops the unmerged left suffix.
Deque merge drops the unmerged left suffix · case 03
Deque merge drops the unmerged left suffix.
Deque merge drops the unmerged left suffix · case 04
Deque merge drops the unmerged left suffix.
Deque merge drops the unmerged left suffix · case 05
Deque merge drops the unmerged left suffix.
Deque merge restarts the right suffix at the beginning · case 01
Deque merge restarts the right suffix at the beginning.
Deque merge restarts the right suffix at the beginning · case 02
Deque merge restarts the right suffix at the beginning.
Deque merge restarts the right suffix at the beginning · case 03
Deque merge restarts the right suffix at the beginning.
Deque merge restarts the right suffix at the beginning · case 04
Deque merge restarts the right suffix at the beginning.
Deque merge restarts the right suffix at the beginning · case 05
Deque merge restarts the right suffix at the beginning.
Deque merge includes the first spill item in both output partitions · case 01
Deque merge includes the first spill item in both output partitions.
Deque merge includes the first spill item in both output partitions · case 02
Deque merge includes the first spill item in both output partitions.
Deque merge includes the first spill item in both output partitions · case 03
Deque merge includes the first spill item in both output partitions.
Deque merge includes the first spill item in both output partitions · case 04
Deque merge includes the first spill item in both output partitions.
Deque merge includes the first spill item in both output partitions · case 05
Deque merge includes the first spill item in both output partitions.
Zip drain ignores its caller batch limit · case 01
Zip drain ignores its caller batch limit.
Zip drain ignores its caller batch limit · case 02
Zip drain ignores its caller batch limit.
Zip drain ignores its caller batch limit · case 03
Zip drain ignores its caller batch limit.
Zip drain ignores its caller batch limit · case 04
Zip drain ignores its caller batch limit.
Zip drain ignores its caller batch limit · case 05
Zip drain ignores its caller batch limit.
Zip drain pairs opposite-end entries · case 01
Zip drain pairs opposite-end entries.
Zip drain pairs opposite-end entries · case 02
Zip drain pairs opposite-end entries.
Zip drain pairs opposite-end entries · case 03
Zip drain pairs opposite-end entries.
Zip drain pairs opposite-end entries · case 04
Zip drain pairs opposite-end entries.
Zip drain pairs opposite-end entries · case 05
Zip drain pairs opposite-end entries.
Zip drain clears unmatched left entries · case 01
Zip drain clears unmatched left entries.
Zip drain clears unmatched left entries · case 02
Zip drain clears unmatched left entries.
Zip drain clears unmatched left entries · case 03
Zip drain clears unmatched left entries.
Zip drain clears unmatched left entries · case 04
Zip drain clears unmatched left entries.
Zip drain clears unmatched left entries · case 05
Zip drain clears unmatched left entries.
Zip drain consumes an extra right entry · case 01
Zip drain consumes an extra right entry.
Zip drain consumes an extra right entry · case 02
Zip drain consumes an extra right entry.
Zip drain consumes an extra right entry · case 03
Zip drain consumes an extra right entry.
Zip drain consumes an extra right entry · case 04
Zip drain consumes an extra right entry.
Zip drain consumes an extra right entry · case 05
Zip drain consumes an extra right entry.
Zip drain reports consumed scalar values instead of pair count · case 01
Zip drain reports consumed scalar values instead of pair count.
Zip drain reports consumed scalar values instead of pair count · case 02
Zip drain reports consumed scalar values instead of pair count.
Zip drain reports consumed scalar values instead of pair count · case 03
Zip drain reports consumed scalar values instead of pair count.
Zip drain reports consumed scalar values instead of pair count · case 04
Zip drain reports consumed scalar values instead of pair count.
Zip drain reports consumed scalar values instead of pair count · case 05
Zip drain reports consumed scalar values instead of pair count.
Range reverse reverses the prefix through its stop · case 01
Range reverse reverses the prefix through its stop.
Range reverse reverses the prefix through its stop · case 02
Range reverse reverses the prefix through its stop.
Range reverse reverses the prefix through its stop · case 03
Range reverse reverses the prefix through its stop.
Range reverse reverses the prefix through its stop · case 04
Range reverse reverses the prefix through its stop.
Range reverse reverses the prefix through its stop · case 05
Range reverse reverses the prefix through its stop.
Range reverse drops the first element after the range · case 01
Range reverse drops the first element after the range.
Range reverse drops the first element after the range · case 02
Range reverse drops the first element after the range.
Range reverse drops the first element after the range · case 03
Range reverse drops the first element after the range.
Range reverse drops the first element after the range · case 04
Range reverse drops the first element after the range.
Range reverse drops the first element after the range · case 05
Range reverse drops the first element after the range.
Reverse bookmark mapping reflects around global zero · case 01
Reverse bookmark mapping reflects around global zero.
Reverse bookmark mapping reflects around global zero · case 02
Reverse bookmark mapping reflects around global zero.
Reverse bookmark mapping reflects around global zero · case 03
Reverse bookmark mapping reflects around global zero.
Reverse bookmark mapping reflects around global zero · case 04
Reverse bookmark mapping reflects around global zero.
Reverse bookmark mapping reflects around global zero · case 05
Reverse bookmark mapping reflects around global zero.
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 ↗