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
Run directory resets cumulative length for each run · case 01
Run directory resets cumulative length for each run.
Run directory resets cumulative length for each run · case 02
Run directory resets cumulative length for each run.
Run directory resets cumulative length for each run · case 03
Run directory resets cumulative length for each run.
Run directory resets cumulative length for each run · case 04
Run directory resets cumulative length for each run.
Run directory resets cumulative length for each run · case 05
Run directory resets cumulative length for each run.
Run directory stores inclusive rather than exclusive endpoints · case 01
Run directory stores inclusive rather than exclusive endpoints.
Run directory stores inclusive rather than exclusive endpoints · case 02
Run directory stores inclusive rather than exclusive endpoints.
Run directory stores inclusive rather than exclusive endpoints · case 03
Run directory stores inclusive rather than exclusive endpoints.
Run directory stores inclusive rather than exclusive endpoints · case 04
Run directory stores inclusive rather than exclusive endpoints.
Run directory stores inclusive rather than exclusive endpoints · case 05
Run directory stores inclusive rather than exclusive endpoints.
Weighted deque enforces element count as its weight · case 01
Weighted deque enforces element count as its weight.
Weighted deque enforces element count as its weight · case 02
Weighted deque enforces element count as its weight.
Weighted deque enforces element count as its weight · case 03
Weighted deque enforces element count as its weight.
Weighted deque enforces element count as its weight · case 04
Weighted deque enforces element count as its weight.
Weighted deque enforces element count as its weight · case 05
Weighted deque enforces element count as its weight.
Weighted deque evicts entries when the budget is exactly met · case 01
Weighted deque evicts entries when the budget is exactly met.
Weighted deque evicts entries when the budget is exactly met · case 02
Weighted deque evicts entries when the budget is exactly met.
Weighted deque evicts entries when the budget is exactly met · case 03
Weighted deque evicts entries when the budget is exactly met.
Weighted deque evicts entries when the budget is exactly met · case 04
Weighted deque evicts entries when the budget is exactly met.
Weighted deque evicts entries when the budget is exactly met · case 05
Weighted deque evicts entries when the budget is exactly met.
Weighted overflow evicts the newest entry first · case 01
Weighted overflow evicts the newest entry first.
Weighted overflow evicts the newest entry first · case 02
Weighted overflow evicts the newest entry first.
Weighted overflow evicts the newest entry first · case 03
Weighted overflow evicts the newest entry first.
Weighted overflow evicts the newest entry first · case 04
Weighted overflow evicts the newest entry first.
Weighted overflow evicts the newest entry first · case 05
Weighted overflow evicts the newest entry first.
Weighted deque omits zero-weight entries from its release stream · case 01
Weighted deque omits zero-weight entries from its release stream.
Weighted deque omits zero-weight entries from its release stream · case 02
Weighted deque omits zero-weight entries from its release stream.
Weighted deque omits zero-weight entries from its release stream · case 03
Weighted deque omits zero-weight entries from its release stream.
Weighted deque omits zero-weight entries from its release stream · case 04
Weighted deque omits zero-weight entries from its release stream.
Weighted deque omits zero-weight entries from its release stream · case 05
Weighted deque omits zero-weight entries from its release stream.
Weighted eviction subtracts one unit per removed object · case 01
Weighted eviction subtracts one unit per removed object.
Weighted eviction subtracts one unit per removed object · case 02
Weighted eviction subtracts one unit per removed object.
Weighted eviction subtracts one unit per removed object · case 03
Weighted eviction subtracts one unit per removed object.
Weighted eviction subtracts one unit per removed object · case 04
Weighted eviction subtracts one unit per removed object.
Weighted eviction subtracts one unit per removed object · case 05
Weighted eviction subtracts one unit per removed object.
Deadline deque retains entries at their expiry instant · case 01
Deadline deque retains entries at their expiry instant.
Deadline deque retains entries at their expiry instant · case 02
Deadline deque retains entries at their expiry instant.
Deadline deque retains entries at their expiry instant · case 03
Deadline deque retains entries at their expiry instant.
Deadline deque retains entries at their expiry instant · case 04
Deadline deque retains entries at their expiry instant.
Deadline deque retains entries at their expiry instant · case 05
Deadline deque retains entries at their expiry instant.
Expiry scan skips every second pending entry · case 01
Expiry scan skips every second pending entry.
Expiry scan skips every second pending entry · case 02
Expiry scan skips every second pending entry.
Expiry scan skips every second pending entry · case 03
Expiry scan skips every second pending entry.
Expiry scan skips every second pending entry · case 04
Expiry scan skips every second pending entry.
Expiry scan skips every second pending entry · case 05
Expiry scan skips every second pending entry.
Expiry compaction retains the last released entry · case 01
Expiry compaction retains the last released entry.
Expiry compaction retains the last released entry · case 02
Expiry compaction retains the last released entry.
Expiry compaction retains the last released entry · case 03
Expiry compaction retains the last released entry.
Expiry compaction retains the last released entry · case 04
Expiry compaction retains the last released entry.
Expiry compaction retains the last released entry · case 05
Expiry compaction retains the last released entry.
Expiry callback includes the first still-live entry · case 01
Expiry callback includes the first still-live entry.
Expiry callback includes the first still-live entry · case 02
Expiry callback includes the first still-live entry.
Expiry callback includes the first still-live entry · case 03
Expiry callback includes the first still-live entry.
Expiry callback includes the first still-live entry · case 04
Expiry callback includes the first still-live entry.
Expiry callback includes the first still-live entry · case 05
Expiry callback includes the first still-live entry.
Deadline deque schedules wakeup from the newest live entry · case 01
Deadline deque schedules wakeup from the newest live entry.
Deadline deque schedules wakeup from the newest live entry · case 02
Deadline deque schedules wakeup from the newest live entry.
Deadline deque schedules wakeup from the newest live entry · case 03
Deadline deque schedules wakeup from the newest live entry.
Deadline deque schedules wakeup from the newest live entry · case 04
Deadline deque schedules wakeup from the newest live entry.
Deadline deque schedules wakeup from the newest live entry · case 05
Deadline deque schedules wakeup from the newest live entry.
Insertion permit accounting counts reservations instead of reserved slots · case 01
Insertion permit accounting counts reservations instead of reserved slots.
Insertion permit accounting counts reservations instead of reserved slots · case 02
Insertion permit accounting counts reservations instead of reserved slots.
Insertion permit accounting counts reservations instead of reserved slots · case 03
Insertion permit accounting counts reservations instead of reserved slots.
Insertion permit accounting counts reservations instead of reserved slots · case 04
Insertion permit accounting counts reservations instead of reserved slots.
Insertion permit accounting counts reservations instead of reserved slots · case 05
Insertion permit accounting counts reservations instead of reserved slots.
Capacity permits forget resident deque occupancy · case 01
Capacity permits forget resident deque occupancy.
Capacity permits forget resident deque occupancy · case 02
Capacity permits forget resident deque occupancy.
Capacity permits forget resident deque occupancy · case 03
Capacity permits forget resident deque occupancy.
Capacity permits forget resident deque occupancy · case 04
Capacity permits forget resident deque occupancy.
Capacity permits forget resident deque occupancy · case 05
Capacity permits forget resident deque occupancy.
Permit allocator rejects a request that exactly fits · case 01
Permit allocator rejects a request that exactly fits.
Permit allocator rejects a request that exactly fits · case 02
Permit allocator rejects a request that exactly fits.
Permit allocator rejects a request that exactly fits · case 03
Permit allocator rejects a request that exactly fits.
Permit allocator rejects a request that exactly fits · case 04
Permit allocator rejects a request that exactly fits.
Permit allocator rejects a request that exactly fits · case 05
Permit allocator rejects a request that exactly fits.
Cancelling a deque permit removes every equal-sized permit · case 01
Cancelling a deque permit removes every equal-sized permit.
Cancelling a deque permit removes every equal-sized permit · case 02
Cancelling a deque permit removes every equal-sized permit.
Cancelling a deque permit removes every equal-sized permit · case 03
Cancelling a deque permit removes every equal-sized permit.
Cancelling a deque permit removes every equal-sized permit · case 04
Cancelling a deque permit removes every equal-sized permit.
Cancelling a deque permit removes every equal-sized permit · case 05
Cancelling a deque permit removes every equal-sized permit.
Cancelled deque permits remain charged to free capacity · case 01
Cancelled deque permits remain charged to free capacity.
Cancelled deque permits remain charged to free capacity · case 02
Cancelled deque permits remain charged to free capacity.
Cancelled deque permits remain charged to free capacity · case 03
Cancelled deque permits remain charged to free capacity.
Cancelled deque permits remain charged to free capacity · case 04
Cancelled deque permits remain charged to free capacity.
Cancelled deque permits remain charged to free capacity · case 05
Cancelled deque permits remain charged to free capacity.
Consumer claim returns the unclaimed suffix as its receipt · case 01
Consumer claim returns the unclaimed suffix as its receipt.
Consumer claim returns the unclaimed suffix as its receipt · case 02
Consumer claim returns the unclaimed suffix as its receipt.
Consumer claim returns the unclaimed suffix as its receipt · case 03
Consumer claim returns the unclaimed suffix as its receipt.
Consumer claim returns the unclaimed suffix as its receipt · case 04
Consumer claim returns the unclaimed suffix as its receipt.
Consumer claim returns the unclaimed suffix as its receipt · case 05
Consumer claim returns the unclaimed suffix as its receipt.
Claim removal drops one unclaimed deque entry · case 01
Claim removal drops one unclaimed deque entry.
Claim removal drops one unclaimed deque entry · case 02
Claim removal drops one unclaimed deque entry.
Claim removal drops one unclaimed deque entry · case 03
Claim removal drops one unclaimed deque entry.
Claim removal drops one unclaimed deque entry · case 04
Claim removal drops one unclaimed deque entry.
Claim removal drops one unclaimed deque entry · case 05
Claim removal drops one unclaimed deque entry.
Aborted consumer claim is restored behind newer entries · case 01
Aborted consumer claim is restored behind newer entries.
Aborted consumer claim is restored behind newer entries · case 02
Aborted consumer claim is restored behind newer entries.
Aborted consumer claim is restored behind newer entries · case 03
Aborted consumer claim is restored behind newer entries.
Aborted consumer claim is restored behind newer entries · case 04
Aborted consumer claim is restored behind newer entries.
Aborted consumer claim is restored behind newer entries · case 05
Aborted consumer claim is restored behind newer entries.
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 ↗