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
Copy-on-write treats two owners as exclusive · case 01
Copy-on-write treats two owners as exclusive.
Copy-on-write treats two owners as exclusive · case 02
Copy-on-write treats two owners as exclusive.
Copy-on-write treats two owners as exclusive · case 03
Copy-on-write treats two owners as exclusive.
Copy-on-write treats two owners as exclusive · case 04
Copy-on-write treats two owners as exclusive.
Copy-on-write treats two owners as exclusive · case 05
Copy-on-write treats two owners as exclusive.
Detached deque write targets the head regardless of logical index · case 01
Detached deque write targets the head regardless of logical index.
Detached deque write targets the head regardless of logical index · case 02
Detached deque write targets the head regardless of logical index.
Detached deque write targets the head regardless of logical index · case 03
Detached deque write targets the head regardless of logical index.
Detached deque write targets the head regardless of logical index · case 04
Detached deque write targets the head regardless of logical index.
Detached deque write targets the head regardless of logical index · case 05
Detached deque write targets the head regardless of logical index.
Copy-on-write exposes detached writes through the old view · case 01
Copy-on-write exposes detached writes through the old view.
Copy-on-write exposes detached writes through the old view · case 02
Copy-on-write exposes detached writes through the old view.
Copy-on-write exposes detached writes through the old view · case 03
Copy-on-write exposes detached writes through the old view.
Copy-on-write exposes detached writes through the old view · case 04
Copy-on-write exposes detached writes through the old view.
Copy-on-write exposes detached writes through the old view · case 05
Copy-on-write exposes detached writes through the old view.
Copy-on-write detachment releases every old owner · case 01
Copy-on-write detachment releases every old owner.
Copy-on-write detachment releases every old owner · case 02
Copy-on-write detachment releases every old owner.
Copy-on-write detachment releases every old owner · case 03
Copy-on-write detachment releases every old owner.
Copy-on-write detachment releases every old owner · case 04
Copy-on-write detachment releases every old owner.
Copy-on-write detachment releases every old owner · case 05
Copy-on-write detachment releases every old owner.
Copy-on-write clone inherits the old sharing count · case 01
Copy-on-write clone inherits the old sharing count.
Copy-on-write clone inherits the old sharing count · case 02
Copy-on-write clone inherits the old sharing count.
Copy-on-write clone inherits the old sharing count · case 03
Copy-on-write clone inherits the old sharing count.
Copy-on-write clone inherits the old sharing count · case 04
Copy-on-write clone inherits the old sharing count.
Copy-on-write clone inherits the old sharing count · case 05
Copy-on-write clone inherits the old sharing count.
Copy-on-write clone retains old storage identity · case 01
Copy-on-write clone retains old storage identity.
Copy-on-write clone retains old storage identity · case 02
Copy-on-write clone retains old storage identity.
Copy-on-write clone retains old storage identity · case 03
Copy-on-write clone retains old storage identity.
Copy-on-write clone retains old storage identity · case 04
Copy-on-write clone retains old storage identity.
Copy-on-write clone retains old storage identity · case 05
Copy-on-write clone retains old storage identity.
Exclusive deque writes consume unused storage IDs · case 01
Exclusive deque writes consume unused storage IDs.
Exclusive deque writes consume unused storage IDs · case 02
Exclusive deque writes consume unused storage IDs.
Exclusive deque writes consume unused storage IDs · case 03
Exclusive deque writes consume unused storage IDs.
Exclusive deque writes consume unused storage IDs · case 04
Exclusive deque writes consume unused storage IDs.
Exclusive deque writes consume unused storage IDs · case 05
Exclusive deque writes consume unused storage IDs.
Deque range view pins the block at its exclusive stop · case 01
Deque range view pins the block at its exclusive stop.
Deque range view pins the block at its exclusive stop · case 02
Deque range view pins the block at its exclusive stop.
Deque range view pins the block at its exclusive stop · case 03
Deque range view pins the block at its exclusive stop.
Deque range view pins the block at its exclusive stop · case 04
Deque range view pins the block at its exclusive stop.
Deque range view pins the block at its exclusive stop · case 05
Deque range view pins the block at its exclusive stop.
Deque block view overwrites existing pin counts · case 01
Deque block view overwrites existing pin counts.
Deque block view overwrites existing pin counts · case 02
Deque block view overwrites existing pin counts.
Deque block view overwrites existing pin counts · case 03
Deque block view overwrites existing pin counts.
Deque block view overwrites existing pin counts · case 04
Deque block view overwrites existing pin counts.
Deque block view overwrites existing pin counts · case 05
Deque block view overwrites existing pin counts.
Deque block view reuses its parent identity · case 01
Deque block view reuses its parent identity.
Deque block view reuses its parent identity · case 02
Deque block view reuses its parent identity.
Deque block view reuses its parent identity · case 03
Deque block view reuses its parent identity.
Deque block view reuses its parent identity · case 04
Deque block view reuses its parent identity.
Deque block view reuses its parent identity · case 05
Deque block view reuses its parent identity.
Deque block view consumes one ID per selected block · case 01
Deque block view consumes one ID per selected block.
Deque block view consumes one ID per selected block · case 02
Deque block view consumes one ID per selected block.
Deque block view consumes one ID per selected block · case 03
Deque block view consumes one ID per selected block.
Deque block view consumes one ID per selected block · case 04
Deque block view consumes one ID per selected block.
Deque block view consumes one ID per selected block · case 05
Deque block view consumes one ID per selected block.
Deque view binds its owner to the first selected block · case 01
Deque view binds its owner to the first selected block.
Deque view binds its owner to the first selected block · case 02
Deque view binds its owner to the first selected block.
Deque view binds its owner to the first selected block · case 03
Deque view binds its owner to the first selected block.
Deque view binds its owner to the first selected block · case 04
Deque view binds its owner to the first selected block.
Deque view binds its owner to the first selected block · case 05
Deque view binds its owner to the first selected block.
Deque snapshot view is accidentally write-enabled · case 01
Deque snapshot view is accidentally write-enabled.
Deque snapshot view is accidentally write-enabled · case 02
Deque snapshot view is accidentally write-enabled.
Deque snapshot view is accidentally write-enabled · case 03
Deque snapshot view is accidentally write-enabled.
Deque snapshot view is accidentally write-enabled · case 04
Deque snapshot view is accidentally write-enabled.
Deque snapshot view is accidentally write-enabled · case 05
Deque snapshot view is accidentally write-enabled.
Deque block view reports the parent directory length · case 01
Deque block view reports the parent directory length.
Deque block view reports the parent directory length · case 02
Deque block view reports the parent directory length.
Deque block view reports the parent directory length · case 03
Deque block view reports the parent directory length.
Deque block view reports the parent directory length · case 04
Deque block view reports the parent directory length.
Deque block view reports the parent directory length · case 05
Deque block view reports the parent directory length.
Deque retirement clears the neighboring slot instead of its target · case 01
Deque retirement clears the neighboring slot instead of its target.
Deque retirement clears the neighboring slot instead of its target · case 02
Deque retirement clears the neighboring slot instead of its target.
Deque retirement clears the neighboring slot instead of its target · case 03
Deque retirement clears the neighboring slot instead of its target.
Deque retirement clears the neighboring slot instead of its target · case 04
Deque retirement clears the neighboring slot instead of its target.
Deque retirement clears the neighboring slot instead of its target · case 05
Deque retirement clears the neighboring slot instead of its target.
Deque retirement advances every slot generation · case 01
Deque retirement advances every slot generation.
Deque retirement advances every slot generation · case 02
Deque retirement advances every slot generation.
Deque retirement advances every slot generation · case 03
Deque retirement advances every slot generation.
Deque retirement advances every slot generation · case 04
Deque retirement advances every slot generation.
Deque retirement advances every slot generation · case 05
Deque retirement advances every slot generation.
Retired deque slot is prepended to FIFO reuse order · case 01
Retired deque slot is prepended to FIFO reuse order.
Retired deque slot is prepended to FIFO reuse order · case 02
Retired deque slot is prepended to FIFO reuse order.
Retired deque slot is prepended to FIFO reuse order · case 03
Retired deque slot is prepended to FIFO reuse order.
Retired deque slot is prepended to FIFO reuse order · case 04
Retired deque slot is prepended to FIFO reuse order.
Retired deque slot is prepended to FIFO reuse order · case 05
Retired deque slot is prepended to FIFO reuse order.
Deque retirement treats free-list length as live occupancy · case 01
Deque retirement treats free-list length as live occupancy.
Deque retirement treats free-list length as live occupancy · case 02
Deque retirement treats free-list length as live occupancy.
Deque retirement treats free-list length as live occupancy · case 03
Deque retirement treats free-list length as live occupancy.
Deque retirement treats free-list length as live occupancy · case 04
Deque retirement treats free-list length as live occupancy.
Deque retirement treats free-list length as live occupancy · case 05
Deque retirement treats free-list length as live occupancy.
Retirement receipt records the replacement handle generation · case 01
Retirement receipt records the replacement handle generation.
Retirement receipt records the replacement handle generation · case 02
Retirement receipt records the replacement handle generation.
Retirement receipt records the replacement handle generation · case 03
Retirement receipt records the replacement handle generation.
Retirement receipt records the replacement handle generation · case 04
Retirement receipt records the replacement handle generation.
Retirement receipt records the replacement handle generation · case 05
Retirement receipt records the replacement handle generation.
Retired deque handle remains marked usable · case 01
Retired deque handle remains marked usable.
Retired deque handle remains marked usable · case 02
Retired deque handle remains marked usable.
Retired deque handle remains marked usable · case 03
Retired deque handle remains marked usable.
Retired deque handle remains marked usable · case 04
Retired deque handle remains marked usable.
Retired deque handle remains marked usable · case 05
Retired deque handle remains marked usable.
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 ↗