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
Final drain fails to wake terminal deque consumers · case 01
Final drain fails to wake terminal deque consumers.
Final drain fails to wake terminal deque consumers · case 02
Final drain fails to wake terminal deque consumers.
Final drain fails to wake terminal deque consumers · case 03
Final drain fails to wake terminal deque consumers.
Final drain fails to wake terminal deque consumers · case 04
Final drain fails to wake terminal deque consumers.
Final drain fails to wake terminal deque consumers · case 05
Final drain fails to wake terminal deque consumers.
Closed deque pop discards all buffered values · case 01
Closed deque pop discards all buffered values.
Closed deque pop discards all buffered values · case 02
Closed deque pop discards all buffered values.
Closed deque pop discards all buffered values · case 03
Closed deque pop discards all buffered values.
Closed deque pop discards all buffered values · case 04
Closed deque pop discards all buffered values.
Closed deque pop discards all buffered values · case 05
Closed deque pop discards all buffered values.
Close receipt says an already-closed deque changed state · case 01
Close receipt says an already-closed deque changed state.
Close receipt says an already-closed deque changed state · case 02
Close receipt says an already-closed deque changed state.
Close receipt says an already-closed deque changed state · case 03
Close receipt says an already-closed deque changed state.
Close receipt says an already-closed deque changed state · case 04
Close receipt says an already-closed deque changed state.
Close receipt says an already-closed deque changed state · case 05
Close receipt says an already-closed deque changed state.
Producer cancellation removes the first waiter regardless of identity · case 01
Producer cancellation removes the first waiter regardless of identity.
Producer cancellation removes the first waiter regardless of identity · case 02
Producer cancellation removes the first waiter regardless of identity.
Producer cancellation removes the first waiter regardless of identity · case 03
Producer cancellation removes the first waiter regardless of identity.
Producer cancellation removes the first waiter regardless of identity · case 04
Producer cancellation removes the first waiter regardless of identity.
Producer cancellation removes the first waiter regardless of identity · case 05
Producer cancellation removes the first waiter regardless of identity.
Producer cancellation reports payloads as cancelled waiter identities · case 01
Producer cancellation reports payloads as cancelled waiter identities.
Producer cancellation reports payloads as cancelled waiter identities · case 02
Producer cancellation reports payloads as cancelled waiter identities.
Producer cancellation reports payloads as cancelled waiter identities · case 03
Producer cancellation reports payloads as cancelled waiter identities.
Producer cancellation reports payloads as cancelled waiter identities · case 04
Producer cancellation reports payloads as cancelled waiter identities.
Producer cancellation reports payloads as cancelled waiter identities · case 05
Producer cancellation reports payloads as cancelled waiter identities.
Producer scheduling allocates full capacity despite resident entries · case 01
Producer scheduling allocates full capacity despite resident entries.
Producer scheduling allocates full capacity despite resident entries · case 02
Producer scheduling allocates full capacity despite resident entries.
Producer scheduling allocates full capacity despite resident entries · case 03
Producer scheduling allocates full capacity despite resident entries.
Producer scheduling allocates full capacity despite resident entries · case 04
Producer scheduling allocates full capacity despite resident entries.
Producer scheduling allocates full capacity despite resident entries · case 05
Producer scheduling allocates full capacity despite resident entries.
Bounded deque producer wakeup grants newest waiters first · case 01
Bounded deque producer wakeup grants newest waiters first.
Bounded deque producer wakeup grants newest waiters first · case 02
Bounded deque producer wakeup grants newest waiters first.
Bounded deque producer wakeup grants newest waiters first · case 03
Bounded deque producer wakeup grants newest waiters first.
Bounded deque producer wakeup grants newest waiters first · case 04
Bounded deque producer wakeup grants newest waiters first.
Bounded deque producer wakeup grants newest waiters first · case 05
Bounded deque producer wakeup grants newest waiters first.
Resumed deque producer stays registered as blocked · case 01
Resumed deque producer stays registered as blocked.
Resumed deque producer stays registered as blocked · case 02
Resumed deque producer stays registered as blocked.
Resumed deque producer stays registered as blocked · case 03
Resumed deque producer stays registered as blocked.
Resumed deque producer stays registered as blocked · case 04
Resumed deque producer stays registered as blocked.
Resumed deque producer stays registered as blocked · case 05
Resumed deque producer stays registered as blocked.
Deque producer wakeup publishes waiter IDs as payloads · case 01
Deque producer wakeup publishes waiter IDs as payloads.
Deque producer wakeup publishes waiter IDs as payloads · case 02
Deque producer wakeup publishes waiter IDs as payloads.
Deque producer wakeup publishes waiter IDs as payloads · case 03
Deque producer wakeup publishes waiter IDs as payloads.
Deque producer wakeup publishes waiter IDs as payloads · case 04
Deque producer wakeup publishes waiter IDs as payloads.
Deque producer wakeup publishes waiter IDs as payloads · case 05
Deque producer wakeup publishes waiter IDs as payloads.
Producer scheduler wakes every queued producer after a partial grant · case 01
Producer scheduler wakes every queued producer after a partial grant.
Producer scheduler wakes every queued producer after a partial grant · case 02
Producer scheduler wakes every queued producer after a partial grant.
Producer scheduler wakes every queued producer after a partial grant · case 03
Producer scheduler wakes every queued producer after a partial grant.
Producer scheduler wakes every queued producer after a partial grant · case 04
Producer scheduler wakes every queued producer after a partial grant.
Producer scheduler wakes every queued producer after a partial grant · case 05
Producer scheduler wakes every queued producer after a partial grant.
Deque block rebalance concatenates right before left · case 01
Deque block rebalance concatenates right before left.
Deque block rebalance concatenates right before left · case 02
Deque block rebalance concatenates right before left.
Deque block rebalance concatenates right before left · case 03
Deque block rebalance concatenates right before left.
Deque block rebalance concatenates right before left · case 04
Deque block rebalance concatenates right before left.
Deque block rebalance concatenates right before left · case 05
Deque block rebalance concatenates right before left.
Deque block rebalance treats target occupancy as transfer count · case 01
Deque block rebalance treats target occupancy as transfer count.
Deque block rebalance treats target occupancy as transfer count · case 02
Deque block rebalance treats target occupancy as transfer count.
Deque block rebalance treats target occupancy as transfer count · case 03
Deque block rebalance treats target occupancy as transfer count.
Deque block rebalance treats target occupancy as transfer count · case 04
Deque block rebalance treats target occupancy as transfer count.
Deque block rebalance treats target occupancy as transfer count · case 05
Deque block rebalance treats target occupancy as transfer count.
Deque block rebalance cuts the right remainder at old occupancy · case 01
Deque block rebalance cuts the right remainder at old occupancy.
Deque block rebalance cuts the right remainder at old occupancy · case 02
Deque block rebalance cuts the right remainder at old occupancy.
Deque block rebalance cuts the right remainder at old occupancy · case 03
Deque block rebalance cuts the right remainder at old occupancy.
Deque block rebalance cuts the right remainder at old occupancy · case 04
Deque block rebalance cuts the right remainder at old occupancy.
Deque block rebalance cuts the right remainder at old occupancy · case 05
Deque block rebalance cuts the right remainder at old occupancy.
Deque rebalance gives the left block the right identity · case 01
Deque rebalance gives the left block the right identity.
Deque rebalance gives the left block the right identity · case 02
Deque rebalance gives the left block the right identity.
Deque rebalance gives the left block the right identity · case 03
Deque rebalance gives the left block the right identity.
Deque rebalance gives the left block the right identity · case 04
Deque rebalance gives the left block the right identity.
Deque rebalance gives the left block the right identity · case 05
Deque rebalance gives the left block the right identity.
Deque rebalance allocates a new identity for the right block · case 01
Deque rebalance allocates a new identity for the right block.
Deque rebalance allocates a new identity for the right block · case 02
Deque rebalance allocates a new identity for the right block.
Deque rebalance allocates a new identity for the right block · case 03
Deque rebalance allocates a new identity for the right block.
Deque rebalance allocates a new identity for the right block · case 04
Deque rebalance allocates a new identity for the right block.
Deque rebalance allocates a new identity for the right block · case 05
Deque rebalance allocates a new identity for the right block.
Deque rebalance loses direction of the transfer receipt · case 01
Deque rebalance loses direction of the transfer receipt.
Deque rebalance loses direction of the transfer receipt · case 02
Deque rebalance loses direction of the transfer receipt.
Deque rebalance loses direction of the transfer receipt · case 03
Deque rebalance loses direction of the transfer receipt.
Deque rebalance loses direction of the transfer receipt · case 04
Deque rebalance loses direction of the transfer receipt.
Deque rebalance loses direction of the transfer receipt · case 05
Deque rebalance loses direction of the transfer receipt.
Deque rebalance keeps pre-transfer directory lengths · case 01
Deque rebalance keeps pre-transfer directory lengths.
Deque rebalance keeps pre-transfer directory lengths · case 02
Deque rebalance keeps pre-transfer directory lengths.
Deque rebalance keeps pre-transfer directory lengths · case 03
Deque rebalance keeps pre-transfer directory lengths.
Deque rebalance keeps pre-transfer directory lengths · case 04
Deque rebalance keeps pre-transfer directory lengths.
Deque rebalance keeps pre-transfer directory lengths · case 05
Deque rebalance keeps pre-transfer directory lengths.
Deque savepoint insertion overwrites outer checkpoints · case 01
Deque savepoint insertion overwrites outer checkpoints.
Deque savepoint insertion overwrites outer checkpoints · case 02
Deque savepoint insertion overwrites outer checkpoints.
Deque savepoint insertion overwrites outer checkpoints · case 03
Deque savepoint insertion overwrites outer checkpoints.
Deque savepoint insertion overwrites outer checkpoints · case 04
Deque savepoint insertion overwrites outer checkpoints.
Deque savepoint insertion overwrites outer checkpoints · case 05
Deque savepoint insertion overwrites outer checkpoints.
Deque savepoint captures an empty snapshot · case 01
Deque savepoint captures an empty snapshot.
Deque savepoint captures an empty snapshot · case 02
Deque savepoint captures an empty snapshot.
Deque savepoint captures an empty snapshot · case 03
Deque savepoint captures an empty snapshot.
Deque savepoint captures an empty snapshot · case 04
Deque savepoint captures an empty snapshot.
Deque savepoint captures an empty snapshot · case 05
Deque savepoint captures an empty snapshot.
Deque rollback chooses newest checkpoint regardless of requested tag · case 01
Deque rollback chooses newest checkpoint regardless of requested tag.
Deque rollback chooses newest checkpoint regardless of requested tag · case 02
Deque rollback chooses newest checkpoint regardless of requested tag.
Deque rollback chooses newest checkpoint regardless of requested tag · case 03
Deque rollback chooses newest checkpoint regardless of requested tag.
Deque rollback chooses newest checkpoint regardless of requested tag · case 04
Deque rollback chooses newest checkpoint regardless of requested tag.
Deque rollback chooses newest checkpoint regardless of requested tag · case 05
Deque rollback chooses newest checkpoint regardless of requested tag.
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 ↗