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 arena compaction copies ascending storage IDs · case 01
Deque arena compaction copies ascending storage IDs.
Deque arena compaction copies ascending storage IDs · case 02
Deque arena compaction copies ascending storage IDs.
Deque arena compaction copies ascending storage IDs · case 03
Deque arena compaction copies ascending storage IDs.
Deque arena compaction copies ascending storage IDs · case 04
Deque arena compaction copies ascending storage IDs.
Deque arena compaction copies ascending storage IDs · case 05
Deque arena compaction copies ascending storage IDs.
Deque compaction leaves old IDs in its traversal chain · case 01
Deque compaction leaves old IDs in its traversal chain.
Deque compaction leaves old IDs in its traversal chain · case 02
Deque compaction leaves old IDs in its traversal chain.
Deque compaction leaves old IDs in its traversal chain · case 03
Deque compaction leaves old IDs in its traversal chain.
Deque compaction leaves old IDs in its traversal chain · case 04
Deque compaction leaves old IDs in its traversal chain.
Deque compaction leaves old IDs in its traversal chain · case 05
Deque compaction leaves old IDs in its traversal chain.
Deque compaction preserves stale physical cursor indices · case 01
Deque compaction preserves stale physical cursor indices.
Deque compaction preserves stale physical cursor indices · case 02
Deque compaction preserves stale physical cursor indices.
Deque compaction preserves stale physical cursor indices · case 03
Deque compaction preserves stale physical cursor indices.
Deque compaction preserves stale physical cursor indices · case 04
Deque compaction preserves stale physical cursor indices.
Deque compaction preserves stale physical cursor indices · case 05
Deque compaction preserves stale physical cursor indices.
Deque compaction fails to invalidate physical-location caches · case 01
Deque compaction fails to invalidate physical-location caches.
Deque compaction fails to invalidate physical-location caches · case 02
Deque compaction fails to invalidate physical-location caches.
Deque compaction fails to invalidate physical-location caches · case 03
Deque compaction fails to invalidate physical-location caches.
Deque compaction fails to invalidate physical-location caches · case 04
Deque compaction fails to invalidate physical-location caches.
Deque compaction fails to invalidate physical-location caches · case 05
Deque compaction fails to invalidate physical-location caches.
Deque compaction frees live old node IDs instead of holes · case 01
Deque compaction frees live old node IDs instead of holes.
Deque compaction frees live old node IDs instead of holes · case 02
Deque compaction frees live old node IDs instead of holes.
Deque compaction frees live old node IDs instead of holes · case 03
Deque compaction frees live old node IDs instead of holes.
Deque compaction frees live old node IDs instead of holes · case 04
Deque compaction frees live old node IDs instead of holes.
Deque compaction frees live old node IDs instead of holes · case 05
Deque compaction frees live old node IDs instead of holes.
Deque compaction retains old arena length as logical length · case 01
Deque compaction retains old arena length as logical length.
Deque compaction retains old arena length as logical length · case 02
Deque compaction retains old arena length as logical length.
Deque compaction retains old arena length as logical length · case 03
Deque compaction retains old arena length as logical length.
Deque compaction retains old arena length as logical length · case 04
Deque compaction retains old arena length as logical length.
Deque compaction retains old arena length as logical length · case 05
Deque compaction retains old arena length as logical length.
Deque shrink ignores the minimum backing allocation · case 01
Deque shrink ignores the minimum backing allocation.
Deque shrink ignores the minimum backing allocation · case 02
Deque shrink ignores the minimum backing allocation.
Deque shrink ignores the minimum backing allocation · case 03
Deque shrink ignores the minimum backing allocation.
Deque shrink ignores the minimum backing allocation · case 04
Deque shrink ignores the minimum backing allocation.
Deque shrink ignores the minimum backing allocation · case 05
Deque shrink ignores the minimum backing allocation.
Deque shrink halves below its live occupancy · case 01
Deque shrink halves below its live occupancy.
Deque shrink halves below its live occupancy · case 02
Deque shrink halves below its live occupancy.
Deque shrink halves below its live occupancy · case 03
Deque shrink halves below its live occupancy.
Deque shrink halves below its live occupancy · case 04
Deque shrink halves below its live occupancy.
Deque shrink halves below its live occupancy · case 05
Deque shrink halves below its live occupancy.
Deque shrink misses an exact low-watermark trigger · case 01
Deque shrink misses an exact low-watermark trigger.
Deque shrink misses an exact low-watermark trigger · case 02
Deque shrink misses an exact low-watermark trigger.
Deque shrink misses an exact low-watermark trigger · case 03
Deque shrink misses an exact low-watermark trigger.
Deque shrink misses an exact low-watermark trigger · case 04
Deque shrink misses an exact low-watermark trigger.
Deque shrink misses an exact low-watermark trigger · case 05
Deque shrink misses an exact low-watermark trigger.
Deque shrink reallocates while a storage borrow exists · case 01
Deque shrink reallocates while a storage borrow exists.
Deque shrink reallocates while a storage borrow exists · case 02
Deque shrink reallocates while a storage borrow exists.
Deque shrink reallocates while a storage borrow exists · case 03
Deque shrink reallocates while a storage borrow exists.
Deque shrink reallocates while a storage borrow exists · case 04
Deque shrink reallocates while a storage borrow exists.
Deque shrink reallocates while a storage borrow exists · case 05
Deque shrink reallocates while a storage borrow exists.
Deque shrink ignores post-shrink high watermark headroom · case 01
Deque shrink ignores post-shrink high watermark headroom.
Deque shrink ignores post-shrink high watermark headroom · case 02
Deque shrink ignores post-shrink high watermark headroom.
Deque shrink ignores post-shrink high watermark headroom · case 03
Deque shrink ignores post-shrink high watermark headroom.
Deque shrink ignores post-shrink high watermark headroom · case 04
Deque shrink ignores post-shrink high watermark headroom.
Deque shrink ignores post-shrink high watermark headroom · case 05
Deque shrink ignores post-shrink high watermark headroom.
Deque shrink attempt advances epoch even when prohibited · case 01
Deque shrink attempt advances epoch even when prohibited.
Deque shrink attempt advances epoch even when prohibited · case 02
Deque shrink attempt advances epoch even when prohibited.
Deque shrink attempt advances epoch even when prohibited · case 03
Deque shrink attempt advances epoch even when prohibited.
Deque shrink attempt advances epoch even when prohibited · case 04
Deque shrink attempt advances epoch even when prohibited.
Deque shrink attempt advances epoch even when prohibited · case 05
Deque shrink attempt advances epoch even when prohibited.
Deque shrink retains pre-shrink free-slot accounting · case 01
Deque shrink retains pre-shrink free-slot accounting.
Deque shrink retains pre-shrink free-slot accounting · case 02
Deque shrink retains pre-shrink free-slot accounting.
Deque shrink retains pre-shrink free-slot accounting · case 03
Deque shrink retains pre-shrink free-slot accounting.
Deque shrink retains pre-shrink free-slot accounting · case 04
Deque shrink retains pre-shrink free-slot accounting.
Deque shrink retains pre-shrink free-slot accounting · case 05
Deque shrink retains pre-shrink free-slot accounting.
Deque pressure emits pause repeatedly while above high watermark · case 01
Deque pressure emits pause repeatedly while above high watermark.
Deque pressure emits pause repeatedly while above high watermark · case 02
Deque pressure emits pause repeatedly while above high watermark.
Deque pressure emits pause repeatedly while above high watermark · case 03
Deque pressure emits pause repeatedly while above high watermark.
Deque pressure emits pause repeatedly while above high watermark · case 04
Deque pressure emits pause repeatedly while above high watermark.
Deque pressure emits pause repeatedly while above high watermark · case 05
Deque pressure emits pause repeatedly while above high watermark.
Deque pressure emits resume repeatedly below low watermark · case 01
Deque pressure emits resume repeatedly below low watermark.
Deque pressure emits resume repeatedly below low watermark · case 02
Deque pressure emits resume repeatedly below low watermark.
Deque pressure emits resume repeatedly below low watermark · case 03
Deque pressure emits resume repeatedly below low watermark.
Deque pressure emits resume repeatedly below low watermark · case 04
Deque pressure emits resume repeatedly below low watermark.
Deque pressure emits resume repeatedly below low watermark · case 05
Deque pressure emits resume repeatedly below low watermark.
Deque high-watermark crossing emits a pause without storing paused state · case 01
Deque high-watermark crossing emits a pause without storing paused state.
Deque high-watermark crossing emits a pause without storing paused state · case 02
Deque high-watermark crossing emits a pause without storing paused state.
Deque high-watermark crossing emits a pause without storing paused state · case 03
Deque high-watermark crossing emits a pause without storing paused state.
Deque high-watermark crossing emits a pause without storing paused state · case 04
Deque high-watermark crossing emits a pause without storing paused state.
Deque high-watermark crossing emits a pause without storing paused state · case 05
Deque high-watermark crossing emits a pause without storing paused state.
Deque low-watermark crossing emits resume while remaining paused · case 01
Deque low-watermark crossing emits resume while remaining paused.
Deque low-watermark crossing emits resume while remaining paused · case 02
Deque low-watermark crossing emits resume while remaining paused.
Deque low-watermark crossing emits resume while remaining paused · case 03
Deque low-watermark crossing emits resume while remaining paused.
Deque low-watermark crossing emits resume while remaining paused · case 04
Deque low-watermark crossing emits resume while remaining paused.
Deque low-watermark crossing emits resume while remaining paused · case 05
Deque low-watermark crossing emits resume while remaining paused.
Deque pressure treats exact high occupancy as below high · case 01
Deque pressure treats exact high occupancy as below high.
Deque pressure treats exact high occupancy as below high · case 02
Deque pressure treats exact high occupancy as below high.
Deque pressure treats exact high occupancy as below high · case 03
Deque pressure treats exact high occupancy as below high.
Deque pressure treats exact high occupancy as below high · case 04
Deque pressure treats exact high occupancy as below high.
Deque pressure treats exact high occupancy as below high · case 05
Deque pressure treats exact high occupancy as below high.
Deque headroom becomes negative above the high watermark · case 01
Deque headroom becomes negative above the high watermark.
Deque headroom becomes negative above the high watermark · case 02
Deque headroom becomes negative above the high watermark.
Deque headroom becomes negative above the high watermark · case 03
Deque headroom becomes negative above the high watermark.
Deque headroom becomes negative above the high watermark · case 04
Deque headroom becomes negative above the high watermark.
Deque headroom becomes negative above the high watermark · case 05
Deque headroom becomes negative above the high watermark.
Deque low-watermark excess becomes negative after draining · case 01
Deque low-watermark excess becomes negative after draining.
Deque low-watermark excess becomes negative after draining · case 02
Deque low-watermark excess becomes negative after draining.
Deque low-watermark excess becomes negative after draining · case 03
Deque low-watermark excess becomes negative after draining.
Deque low-watermark excess becomes negative after draining · case 04
Deque low-watermark excess becomes negative after draining.
Deque low-watermark excess becomes negative after draining · case 05
Deque low-watermark excess becomes negative after draining.
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 ↗