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
Block merge reverses adjacency order · case 01
Block merge reverses adjacency order.
Block merge reverses adjacency order · case 02
Block merge reverses adjacency order.
Block merge reverses adjacency order · case 03
Block merge reverses adjacency order.
Block merge reverses adjacency order · case 04
Block merge reverses adjacency order.
Block merge reverses adjacency order · case 05
Block merge reverses adjacency order.
Merged right block remains live in the directory · case 01
Merged right block remains live in the directory.
Merged right block remains live in the directory · case 02
Merged right block remains live in the directory.
Merged right block remains live in the directory · case 03
Merged right block remains live in the directory.
Merged right block remains live in the directory · case 04
Merged right block remains live in the directory.
Merged right block remains live in the directory · case 05
Merged right block remains live in the directory.
Block merge changes identity of the surviving block · case 01
Block merge changes identity of the surviving block.
Block merge changes identity of the surviving block · case 02
Block merge changes identity of the surviving block.
Block merge changes identity of the surviving block · case 03
Block merge changes identity of the surviving block.
Block merge changes identity of the surviving block · case 04
Block merge changes identity of the surviving block.
Block merge changes identity of the surviving block · case 05
Block merge changes identity of the surviving block.
Block merge retires the surviving left block · case 01
Block merge retires the surviving left block.
Block merge retires the surviving left block · case 02
Block merge retires the surviving left block.
Block merge retires the surviving left block · case 03
Block merge retires the surviving left block.
Block merge retires the surviving left block · case 04
Block merge retires the surviving left block.
Block merge retires the surviving left block · case 05
Block merge retires the surviving left block.
Block merge advances directory generation by retired payload count · case 01
Block merge advances directory generation by retired payload count.
Block merge advances directory generation by retired payload count · case 02
Block merge advances directory generation by retired payload count.
Block merge advances directory generation by retired payload count · case 03
Block merge advances directory generation by retired payload count.
Block merge advances directory generation by retired payload count · case 04
Block merge advances directory generation by retired payload count.
Block merge advances directory generation by retired payload count · case 05
Block merge advances directory generation by retired payload count.
Rejected block merge increments the directory epoch · case 01
Rejected block merge increments the directory epoch.
Rejected block merge increments the directory epoch · case 02
Rejected block merge increments the directory epoch.
Rejected block merge increments the directory epoch · case 03
Rejected block merge increments the directory epoch.
Rejected block merge increments the directory epoch · case 04
Rejected block merge increments the directory epoch.
Rejected block merge increments the directory epoch · case 05
Rejected block merge increments the directory epoch.
Deque block allocator takes the oldest freed block · case 01
Deque block allocator takes the oldest freed block.
Deque block allocator takes the oldest freed block · case 02
Deque block allocator takes the oldest freed block.
Deque block allocator takes the oldest freed block · case 03
Deque block allocator takes the oldest freed block.
Deque block allocator takes the oldest freed block · case 04
Deque block allocator takes the oldest freed block.
Deque block allocator takes the oldest freed block · case 05
Deque block allocator takes the oldest freed block.
Deque block allocator returns a block without removing it from the free pool · case 01
Deque block allocator returns a block without removing it from the free pool.
Deque block allocator returns a block without removing it from the free pool · case 02
Deque block allocator returns a block without removing it from the free pool.
Deque block allocator returns a block without removing it from the free pool · case 03
Deque block allocator returns a block without removing it from the free pool.
Deque block allocator returns a block without removing it from the free pool · case 04
Deque block allocator returns a block without removing it from the free pool.
Deque block allocator returns a block without removing it from the free pool · case 05
Deque block allocator returns a block without removing it from the free pool.
Deque block reuse consumes fresh block identities · case 01
Deque block reuse consumes fresh block identities.
Deque block reuse consumes fresh block identities · case 02
Deque block reuse consumes fresh block identities.
Deque block reuse consumes fresh block identities · case 03
Deque block reuse consumes fresh block identities.
Deque block reuse consumes fresh block identities · case 04
Deque block reuse consumes fresh block identities.
Deque block reuse consumes fresh block identities · case 05
Deque block reuse consumes fresh block identities.
Reacquired deque block keeps its previous incarnation · case 01
Reacquired deque block keeps its previous incarnation.
Reacquired deque block keeps its previous incarnation · case 02
Reacquired deque block keeps its previous incarnation.
Reacquired deque block keeps its previous incarnation · case 03
Reacquired deque block keeps its previous incarnation.
Reacquired deque block keeps its previous incarnation · case 04
Reacquired deque block keeps its previous incarnation.
Reacquired deque block keeps its previous incarnation · case 05
Reacquired deque block keeps its previous incarnation.
Deque block acquisition leaves one physical slot uncleared · case 01
Deque block acquisition leaves one physical slot uncleared.
Deque block acquisition leaves one physical slot uncleared · case 02
Deque block acquisition leaves one physical slot uncleared.
Deque block acquisition leaves one physical slot uncleared · case 03
Deque block acquisition leaves one physical slot uncleared.
Deque block acquisition leaves one physical slot uncleared · case 04
Deque block acquisition leaves one physical slot uncleared.
Deque block acquisition leaves one physical slot uncleared · case 05
Deque block acquisition leaves one physical slot uncleared.
Deque block acquisition marks free slots as occupied · case 01
Deque block acquisition marks free slots as occupied.
Deque block acquisition marks free slots as occupied · case 02
Deque block acquisition marks free slots as occupied.
Deque block acquisition marks free slots as occupied · case 03
Deque block acquisition marks free slots as occupied.
Deque block acquisition marks free slots as occupied · case 04
Deque block acquisition marks free slots as occupied.
Deque block acquisition marks free slots as occupied · case 05
Deque block acquisition marks free slots as occupied.
Deque block acquisition publishes a free ownership marker · case 01
Deque block acquisition publishes a free ownership marker.
Deque block acquisition publishes a free ownership marker · case 02
Deque block acquisition publishes a free ownership marker.
Deque block acquisition publishes a free ownership marker · case 03
Deque block acquisition publishes a free ownership marker.
Deque block acquisition publishes a free ownership marker · case 04
Deque block acquisition publishes a free ownership marker.
Deque block acquisition publishes a free ownership marker · case 05
Deque block acquisition publishes a free ownership marker.
Deque block release frees borrowed storage · case 01
Deque block release frees borrowed storage.
Deque block release frees borrowed storage · case 02
Deque block release frees borrowed storage.
Deque block release frees borrowed storage · case 03
Deque block release frees borrowed storage.
Deque block release frees borrowed storage · case 04
Deque block release frees borrowed storage.
Deque block release frees borrowed storage · case 05
Deque block release frees borrowed storage.
Freed deque blocks retain payload references · case 01
Freed deque blocks retain payload references.
Freed deque blocks retain payload references · case 02
Freed deque blocks retain payload references.
Freed deque blocks retain payload references · case 03
Freed deque blocks retain payload references.
Freed deque blocks retain payload references · case 04
Freed deque blocks retain payload references.
Freed deque blocks retain payload references · case 05
Freed deque blocks retain payload references.
Free-block cache prepends newly released storage · case 01
Free-block cache prepends newly released storage.
Free-block cache prepends newly released storage · case 02
Free-block cache prepends newly released storage.
Free-block cache prepends newly released storage · case 03
Free-block cache prepends newly released storage.
Free-block cache prepends newly released storage · case 04
Free-block cache prepends newly released storage.
Free-block cache prepends newly released storage · case 05
Free-block cache prepends newly released storage.
Zero-sized free cache retains all released blocks · case 01
Zero-sized free cache retains all released blocks.
Zero-sized free cache retains all released blocks · case 02
Zero-sized free cache retains all released blocks.
Zero-sized free cache retains all released blocks · case 03
Zero-sized free cache retains all released blocks.
Zero-sized free cache retains all released blocks · case 04
Zero-sized free cache retains all released blocks.
Zero-sized free cache retains all released blocks · case 05
Zero-sized free cache retains all released blocks.
Free-block cache disposes newest retained IDs instead of evicted oldest IDs · case 01
Free-block cache disposes newest retained IDs instead of evicted oldest IDs.
Free-block cache disposes newest retained IDs instead of evicted oldest IDs · case 02
Free-block cache disposes newest retained IDs instead of evicted oldest IDs.
Free-block cache disposes newest retained IDs instead of evicted oldest IDs · case 03
Free-block cache disposes newest retained IDs instead of evicted oldest IDs.
Free-block cache disposes newest retained IDs instead of evicted oldest IDs · case 04
Free-block cache disposes newest retained IDs instead of evicted oldest IDs.
Free-block cache disposes newest retained IDs instead of evicted oldest IDs · case 05
Free-block cache disposes newest retained IDs instead of evicted oldest IDs.
Block release reports rejection after completing reclamation · case 01
Block release reports rejection after completing reclamation.
Block release reports rejection after completing reclamation · case 02
Block release reports rejection after completing reclamation.
Block release reports rejection after completing reclamation · case 03
Block release reports rejection after completing reclamation.
Block release reports rejection after completing reclamation · case 04
Block release reports rejection after completing reclamation.
Block release reports rejection after completing reclamation · case 05
Block release reports rejection after completing reclamation.
Rejected borrowed-block release still clears payload references · case 01
Rejected borrowed-block release still clears payload references.
Rejected borrowed-block release still clears payload references · case 02
Rejected borrowed-block release still clears payload references.
Rejected borrowed-block release still clears payload references · case 03
Rejected borrowed-block release still clears payload references.
Rejected borrowed-block release still clears payload references · case 04
Rejected borrowed-block release still clears payload references.
Rejected borrowed-block release still clears payload references · case 05
Rejected borrowed-block release still clears payload references.
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 ↗