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
Lazy reversed deque appends at the wrong physical endpoint · case 01
Lazy reversed deque appends at the wrong physical endpoint.
Lazy reversed deque appends at the wrong physical endpoint · case 02
Lazy reversed deque appends at the wrong physical endpoint.
Lazy reversed deque appends at the wrong physical endpoint · case 03
Lazy reversed deque appends at the wrong physical endpoint.
Lazy reversed deque appends at the wrong physical endpoint · case 04
Lazy reversed deque appends at the wrong physical endpoint.
Lazy reversed deque appends at the wrong physical endpoint · case 05
Lazy reversed deque appends at the wrong physical endpoint.
Lazy reversed deque removes the physical front · case 01
Lazy reversed deque removes the physical front.
Lazy reversed deque removes the physical front · case 02
Lazy reversed deque removes the physical front.
Lazy reversed deque removes the physical front · case 03
Lazy reversed deque removes the physical front.
Lazy reversed deque removes the physical front · case 04
Lazy reversed deque removes the physical front.
Lazy reversed deque removes the physical front · case 05
Lazy reversed deque removes the physical front.
Lazy reversed deque reports the physical front payload · case 01
Lazy reversed deque reports the physical front payload.
Lazy reversed deque reports the physical front payload · case 02
Lazy reversed deque reports the physical front payload.
Lazy reversed deque reports the physical front payload · case 03
Lazy reversed deque reports the physical front payload.
Lazy reversed deque reports the physical front payload · case 04
Lazy reversed deque reports the physical front payload.
Lazy reversed deque reports the physical front payload · case 05
Lazy reversed deque reports the physical front payload.
Lazy deque pop exposes physical order as logical order · case 01
Lazy deque pop exposes physical order as logical order.
Lazy deque pop exposes physical order as logical order · case 02
Lazy deque pop exposes physical order as logical order.
Lazy deque pop exposes physical order as logical order · case 03
Lazy deque pop exposes physical order as logical order.
Lazy deque pop exposes physical order as logical order · case 04
Lazy deque pop exposes physical order as logical order.
Lazy deque pop exposes physical order as logical order · case 05
Lazy deque pop exposes physical order as logical order.
Full deque append rejection clears its lazy orientation flag · case 01
Full deque append rejection clears its lazy orientation flag.
Full deque append rejection clears its lazy orientation flag · case 02
Full deque append rejection clears its lazy orientation flag.
Full deque append rejection clears its lazy orientation flag · case 03
Full deque append rejection clears its lazy orientation flag.
Full deque append rejection clears its lazy orientation flag · case 04
Full deque append rejection clears its lazy orientation flag.
Full deque append rejection clears its lazy orientation flag · case 05
Full deque append rejection clears its lazy orientation flag.
Deque view drops negative traversal direction · case 01
Deque view drops negative traversal direction.
Deque view drops negative traversal direction · case 02
Deque view drops negative traversal direction.
Deque view drops negative traversal direction · case 03
Deque view drops negative traversal direction.
Deque view drops negative traversal direction · case 04
Deque view drops negative traversal direction.
Deque view drops negative traversal direction · case 05
Deque view drops negative traversal direction.
Deque view ignores a multi-slot stride · case 01
Deque view ignores a multi-slot stride.
Deque view ignores a multi-slot stride · case 02
Deque view ignores a multi-slot stride.
Deque view ignores a multi-slot stride · case 03
Deque view ignores a multi-slot stride.
Deque view ignores a multi-slot stride · case 04
Deque view ignores a multi-slot stride.
Deque view ignores a multi-slot stride · case 05
Deque view ignores a multi-slot stride.
Deque strided view gathers source positions in sorted order · case 01
Deque strided view gathers source positions in sorted order.
Deque strided view gathers source positions in sorted order · case 02
Deque strided view gathers source positions in sorted order.
Deque strided view gathers source positions in sorted order · case 03
Deque strided view gathers source positions in sorted order.
Deque strided view gathers source positions in sorted order · case 04
Deque strided view gathers source positions in sorted order.
Deque strided view gathers source positions in sorted order · case 05
Deque strided view gathers source positions in sorted order.
Deque strided view reports span width instead of selected count · case 01
Deque strided view reports span width instead of selected count.
Deque strided view reports span width instead of selected count · case 02
Deque strided view reports span width instead of selected count.
Deque strided view reports span width instead of selected count · case 03
Deque strided view reports span width instead of selected count.
Deque strided view reports span width instead of selected count · case 04
Deque strided view reports span width instead of selected count.
Deque strided view reports span width instead of selected count · case 05
Deque strided view reports span width instead of selected count.
Deque strided view advances epoch merely by reading · case 01
Deque strided view advances epoch merely by reading.
Deque strided view advances epoch merely by reading · case 02
Deque strided view advances epoch merely by reading.
Deque strided view advances epoch merely by reading · case 03
Deque strided view advances epoch merely by reading.
Deque strided view advances epoch merely by reading · case 04
Deque strided view advances epoch merely by reading.
Deque strided view advances epoch merely by reading · case 05
Deque strided view advances epoch merely by reading.
Deque strided view uses the smallest rather than first source index · case 01
Deque strided view uses the smallest rather than first source index.
Deque strided view uses the smallest rather than first source index · case 02
Deque strided view uses the smallest rather than first source index.
Deque strided view uses the smallest rather than first source index · case 03
Deque strided view uses the smallest rather than first source index.
Deque strided view uses the smallest rather than first source index · case 04
Deque strided view uses the smallest rather than first source index.
Deque strided view uses the smallest rather than first source index · case 05
Deque strided view uses the smallest rather than first source index.
Deque strided view reports its exclusive stop as last position · case 01
Deque strided view reports its exclusive stop as last position.
Deque strided view reports its exclusive stop as last position · case 02
Deque strided view reports its exclusive stop as last position.
Deque strided view reports its exclusive stop as last position · case 03
Deque strided view reports its exclusive stop as last position.
Deque strided view reports its exclusive stop as last position · case 04
Deque strided view reports its exclusive stop as last position.
Deque strided view reports its exclusive stop as last position · case 05
Deque strided view reports its exclusive stop as last position.
Ring gap insertion reads backing array order as logical order · case 01
Ring gap insertion reads backing array order as logical order.
Ring gap insertion reads backing array order as logical order · case 02
Ring gap insertion reads backing array order as logical order.
Ring gap insertion reads backing array order as logical order · case 03
Ring gap insertion reads backing array order as logical order.
Ring gap insertion reads backing array order as logical order · case 04
Ring gap insertion reads backing array order as logical order.
Ring gap insertion reads backing array order as logical order · case 05
Ring gap insertion reads backing array order as logical order.
Ring gap insertion shifts the left side on an equal-cost tie · case 01
Ring gap insertion shifts the left side on an equal-cost tie.
Ring gap insertion shifts the left side on an equal-cost tie · case 02
Ring gap insertion shifts the left side on an equal-cost tie.
Ring gap insertion shifts the left side on an equal-cost tie · case 03
Ring gap insertion shifts the left side on an equal-cost tie.
Ring gap insertion shifts the left side on an equal-cost tie · case 04
Ring gap insertion shifts the left side on an equal-cost tie.
Ring gap insertion shifts the left side on an equal-cost tie · case 05
Ring gap insertion shifts the left side on an equal-cost tie.
Ring gap insertion advances head when shifting the prefix · case 01
Ring gap insertion advances head when shifting the prefix.
Ring gap insertion advances head when shifting the prefix · case 02
Ring gap insertion advances head when shifting the prefix.
Ring gap insertion advances head when shifting the prefix · case 03
Ring gap insertion advances head when shifting the prefix.
Ring gap insertion advances head when shifting the prefix · case 04
Ring gap insertion advances head when shifting the prefix.
Ring gap insertion advances head when shifting the prefix · case 05
Ring gap insertion advances head when shifting the prefix.
Ring gap insertion omits the first suffix element · case 01
Ring gap insertion omits the first suffix element.
Ring gap insertion omits the first suffix element · case 02
Ring gap insertion omits the first suffix element.
Ring gap insertion omits the first suffix element · case 03
Ring gap insertion omits the first suffix element.
Ring gap insertion omits the first suffix element · case 04
Ring gap insertion omits the first suffix element.
Ring gap insertion omits the first suffix element · case 05
Ring gap insertion omits the first suffix element.
Ring gap insertion fills vacant slots with the inserted payload · case 01
Ring gap insertion fills vacant slots with the inserted payload.
Ring gap insertion fills vacant slots with the inserted payload · case 02
Ring gap insertion fills vacant slots with the inserted payload.
Ring gap insertion fills vacant slots with the inserted payload · case 03
Ring gap insertion fills vacant slots with the inserted payload.
Ring gap insertion fills vacant slots with the inserted payload · case 04
Ring gap insertion fills vacant slots with the inserted payload.
Ring gap insertion fills vacant slots with the inserted payload · case 05
Ring gap insertion fills vacant slots with the inserted payload.
Ring gap insertion ignores its updated head while scattering · case 01
Ring gap insertion ignores its updated head while scattering.
Ring gap insertion ignores its updated head while scattering · case 02
Ring gap insertion ignores its updated head while scattering.
Ring gap insertion ignores its updated head while scattering · case 03
Ring gap insertion ignores its updated head while scattering.
Ring gap insertion ignores its updated head while scattering · case 04
Ring gap insertion ignores its updated head while scattering.
Ring gap insertion ignores its updated head while scattering · case 05
Ring gap insertion ignores its updated head while scattering.
Ring gap insertion reports the long side as moved · case 01
Ring gap insertion reports the long side as moved.
Ring gap insertion reports the long side as moved · case 02
Ring gap insertion reports the long side as moved.
Ring gap insertion reports the long side as moved · case 03
Ring gap insertion reports the long side as moved.
Ring gap insertion reports the long side as moved · case 04
Ring gap insertion reports the long side as moved.
Ring gap insertion reports the long side as moved · case 05
Ring gap insertion reports the long side as moved.
Deque compaction builds the inverse relocation table · case 01
Deque compaction builds the inverse relocation table.
Deque compaction builds the inverse relocation table · case 02
Deque compaction builds the inverse relocation table.
Deque compaction builds the inverse relocation table · case 03
Deque compaction builds the inverse relocation table.
Deque compaction builds the inverse relocation table · case 04
Deque compaction builds the inverse relocation table.
Deque compaction builds the inverse relocation table · case 05
Deque compaction builds the inverse relocation table.
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 ↗