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 rollback replays before-images in forward order · case 01
Deque rollback replays before-images in forward order.
Deque rollback replays before-images in forward order · case 02
Deque rollback replays before-images in forward order.
Deque rollback replays before-images in forward order · case 03
Deque rollback replays before-images in forward order.
Deque rollback replays before-images in forward order · case 04
Deque rollback replays before-images in forward order.
Deque rollback replays before-images in forward order · case 05
Deque rollback replays before-images in forward order.
Deque rollback normalizes the saved physical head to zero · case 01
Deque rollback normalizes the saved physical head to zero.
Deque rollback normalizes the saved physical head to zero · case 02
Deque rollback normalizes the saved physical head to zero.
Deque rollback normalizes the saved physical head to zero · case 03
Deque rollback normalizes the saved physical head to zero.
Deque rollback normalizes the saved physical head to zero · case 04
Deque rollback normalizes the saved physical head to zero.
Deque rollback normalizes the saved physical head to zero · case 05
Deque rollback normalizes the saved physical head to zero.
Deque rollback counts journal writes as restored occupancy · case 01
Deque rollback counts journal writes as restored occupancy.
Deque rollback counts journal writes as restored occupancy · case 02
Deque rollback counts journal writes as restored occupancy.
Deque rollback counts journal writes as restored occupancy · case 03
Deque rollback counts journal writes as restored occupancy.
Deque rollback counts journal writes as restored occupancy · case 04
Deque rollback counts journal writes as restored occupancy.
Deque rollback counts journal writes as restored occupancy · case 05
Deque rollback counts journal writes as restored occupancy.
Failed deque mutation leaves a committed-looking epoch bump · case 01
Failed deque mutation leaves a committed-looking epoch bump.
Failed deque mutation leaves a committed-looking epoch bump · case 02
Failed deque mutation leaves a committed-looking epoch bump.
Failed deque mutation leaves a committed-looking epoch bump · case 03
Failed deque mutation leaves a committed-looking epoch bump.
Failed deque mutation leaves a committed-looking epoch bump · case 04
Failed deque mutation leaves a committed-looking epoch bump.
Failed deque mutation leaves a committed-looking epoch bump · case 05
Failed deque mutation leaves a committed-looking epoch bump.
Deque rollback leaks reserved insertion capacity · case 01
Deque rollback leaks reserved insertion capacity.
Deque rollback leaks reserved insertion capacity · case 02
Deque rollback leaks reserved insertion capacity.
Deque rollback leaks reserved insertion capacity · case 03
Deque rollback leaks reserved insertion capacity.
Deque rollback leaks reserved insertion capacity · case 04
Deque rollback leaks reserved insertion capacity.
Deque rollback leaks reserved insertion capacity · case 05
Deque rollback leaks reserved insertion capacity.
Deque rollback reclaims new blocks in allocation order · case 01
Deque rollback reclaims new blocks in allocation order.
Deque rollback reclaims new blocks in allocation order · case 02
Deque rollback reclaims new blocks in allocation order.
Deque rollback reclaims new blocks in allocation order · case 03
Deque rollback reclaims new blocks in allocation order.
Deque rollback reclaims new blocks in allocation order · case 04
Deque rollback reclaims new blocks in allocation order.
Deque rollback reclaims new blocks in allocation order · case 05
Deque rollback reclaims new blocks in allocation order.
Deque rollback leaves consumed undo entries active · case 01
Deque rollback leaves consumed undo entries active.
Deque rollback leaves consumed undo entries active · case 02
Deque rollback leaves consumed undo entries active.
Deque rollback leaves consumed undo entries active · case 03
Deque rollback leaves consumed undo entries active.
Deque rollback leaves consumed undo entries active · case 04
Deque rollback leaves consumed undo entries active.
Deque rollback leaves consumed undo entries active · case 05
Deque rollback leaves consumed undo entries active.
Deque scatter drain reapplies full budget to every segment · case 01
Deque scatter drain reapplies full budget to every segment.
Deque scatter drain reapplies full budget to every segment · case 02
Deque scatter drain reapplies full budget to every segment.
Deque scatter drain reapplies full budget to every segment · case 03
Deque scatter drain reapplies full budget to every segment.
Deque scatter drain reapplies full budget to every segment · case 04
Deque scatter drain reapplies full budget to every segment.
Deque scatter drain reapplies full budget to every segment · case 05
Deque scatter drain reapplies full budget to every segment.
Deque scatter drain uses original input length for later segments · case 01
Deque scatter drain uses original input length for later segments.
Deque scatter drain uses original input length for later segments · case 02
Deque scatter drain uses original input length for later segments.
Deque scatter drain uses original input length for later segments · case 03
Deque scatter drain uses original input length for later segments.
Deque scatter drain uses original input length for later segments · case 04
Deque scatter drain uses original input length for later segments.
Deque scatter drain uses original input length for later segments · case 05
Deque scatter drain uses original input length for later segments.
Deque scatter drain skips a zero segment instead of stopping · case 01
Deque scatter drain skips a zero segment instead of stopping.
Deque scatter drain skips a zero segment instead of stopping · case 02
Deque scatter drain skips a zero segment instead of stopping.
Deque scatter drain skips a zero segment instead of stopping · case 03
Deque scatter drain skips a zero segment instead of stopping.
Deque scatter drain skips a zero segment instead of stopping · case 04
Deque scatter drain skips a zero segment instead of stopping.
Deque scatter drain skips a zero segment instead of stopping · case 05
Deque scatter drain skips a zero segment instead of stopping.
Deque scatter drain fills every segment from logical head · case 01
Deque scatter drain fills every segment from logical head.
Deque scatter drain fills every segment from logical head · case 02
Deque scatter drain fills every segment from logical head.
Deque scatter drain fills every segment from logical head · case 03
Deque scatter drain fills every segment from logical head.
Deque scatter drain fills every segment from logical head · case 04
Deque scatter drain fills every segment from logical head.
Deque scatter drain fills every segment from logical head · case 05
Deque scatter drain fills every segment from logical head.
Deque scatter drain advances by segment capacity instead of delivered count · case 01
Deque scatter drain advances by segment capacity instead of delivered count.
Deque scatter drain advances by segment capacity instead of delivered count · case 02
Deque scatter drain advances by segment capacity instead of delivered count.
Deque scatter drain advances by segment capacity instead of delivered count · case 03
Deque scatter drain advances by segment capacity instead of delivered count.
Deque scatter drain advances by segment capacity instead of delivered count · case 04
Deque scatter drain advances by segment capacity instead of delivered count.
Deque scatter drain advances by segment capacity instead of delivered count · case 05
Deque scatter drain advances by segment capacity instead of delivered count.
Deque scatter drain removes one extra undelivered value · case 01
Deque scatter drain removes one extra undelivered value.
Deque scatter drain removes one extra undelivered value · case 02
Deque scatter drain removes one extra undelivered value.
Deque scatter drain removes one extra undelivered value · case 03
Deque scatter drain removes one extra undelivered value.
Deque scatter drain removes one extra undelivered value · case 04
Deque scatter drain removes one extra undelivered value.
Deque scatter drain removes one extra undelivered value · case 05
Deque scatter drain removes one extra undelivered value.
Deque scatter drain reports offered rather than filled segment count · case 01
Deque scatter drain reports offered rather than filled segment count.
Deque scatter drain reports offered rather than filled segment count · case 02
Deque scatter drain reports offered rather than filled segment count.
Deque scatter drain reports offered rather than filled segment count · case 03
Deque scatter drain reports offered rather than filled segment count.
Deque scatter drain reports offered rather than filled segment count · case 04
Deque scatter drain reports offered rather than filled segment count.
Deque scatter drain reports offered rather than filled segment count · case 05
Deque scatter drain reports offered rather than filled segment count.
Deque range swap includes its first range in the untouched prefix · case 01
Deque range swap includes its first range in the untouched prefix.
Deque range swap includes its first range in the untouched prefix · case 02
Deque range swap includes its first range in the untouched prefix.
Deque range swap includes its first range in the untouched prefix · case 03
Deque range swap includes its first range in the untouched prefix.
Deque range swap includes its first range in the untouched prefix · case 04
Deque range swap includes its first range in the untouched prefix.
Deque range swap includes its first range in the untouched prefix · case 05
Deque range swap includes its first range in the untouched prefix.
Deque range swap reverses the second range · case 01
Deque range swap reverses the second range.
Deque range swap reverses the second range · case 02
Deque range swap reverses the second range.
Deque range swap reverses the second range · case 03
Deque range swap reverses the second range.
Deque range swap reverses the second range · case 04
Deque range swap reverses the second range.
Deque range swap reverses the second range · case 05
Deque range swap reverses the second range.
Deque range swap duplicates the original first range into the middle · case 01
Deque range swap duplicates the original first range into the middle.
Deque range swap duplicates the original first range into the middle · case 02
Deque range swap duplicates the original first range into the middle.
Deque range swap duplicates the original first range into the middle · case 03
Deque range swap duplicates the original first range into the middle.
Deque range swap duplicates the original first range into the middle · case 04
Deque range swap duplicates the original first range into the middle.
Deque range swap duplicates the original first range into the middle · case 05
Deque range swap duplicates the original first range into the middle.
Deque range swap reverses the first range · case 01
Deque range swap reverses the first range.
Deque range swap reverses the first range · case 02
Deque range swap reverses the first range.
Deque range swap reverses the first range · case 03
Deque range swap reverses the first range.
Deque range swap reverses the first range · case 04
Deque range swap reverses the first range.
Deque range swap reverses the first range · case 05
Deque range swap reverses the first range.
Deque range swap repeats the final node of its second range · case 01
Deque range swap repeats the final node of its second range.
Deque range swap repeats the final node of its second range · case 02
Deque range swap repeats the final node of its second range.
Deque range swap repeats the final node of its second range · case 03
Deque range swap repeats the final node of its second range.
Deque range swap repeats the final node of its second range · case 04
Deque range swap repeats the final node of its second range.
Deque range swap repeats the final node of its second range · case 05
Deque range swap repeats the final node of its second range.
Deque range swap leaves cursor ordinals unchanged · case 01
Deque range swap leaves cursor ordinals unchanged.
Deque range swap leaves cursor ordinals unchanged · case 02
Deque range swap leaves cursor ordinals unchanged.
Deque range swap leaves cursor ordinals unchanged · case 03
Deque range swap leaves cursor ordinals unchanged.
Deque range swap leaves cursor ordinals unchanged · case 04
Deque range swap leaves cursor ordinals unchanged.
Deque range swap leaves cursor ordinals unchanged · case 05
Deque range swap leaves cursor ordinals unchanged.
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 ↗