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 leaves its target checkpoint active · case 01
Deque rollback leaves its target checkpoint active.
Deque rollback leaves its target checkpoint active · case 02
Deque rollback leaves its target checkpoint active.
Deque rollback leaves its target checkpoint active · case 03
Deque rollback leaves its target checkpoint active.
Deque rollback leaves its target checkpoint active · case 04
Deque rollback leaves its target checkpoint active.
Deque rollback leaves its target checkpoint active · case 05
Deque rollback leaves its target checkpoint active.
Deque rollback discards outer checkpoints and retains nested ones · case 01
Deque rollback discards outer checkpoints and retains nested ones.
Deque rollback discards outer checkpoints and retains nested ones · case 02
Deque rollback discards outer checkpoints and retains nested ones.
Deque rollback discards outer checkpoints and retains nested ones · case 03
Deque rollback discards outer checkpoints and retains nested ones.
Deque rollback discards outer checkpoints and retains nested ones · case 04
Deque rollback discards outer checkpoints and retains nested ones.
Deque rollback discards outer checkpoints and retains nested ones · case 05
Deque rollback discards outer checkpoints and retains nested ones.
Deque checkpoint release unexpectedly rolls back values · case 01
Deque checkpoint release unexpectedly rolls back values.
Deque checkpoint release unexpectedly rolls back values · case 02
Deque checkpoint release unexpectedly rolls back values.
Deque checkpoint release unexpectedly rolls back values · case 03
Deque checkpoint release unexpectedly rolls back values.
Deque checkpoint release unexpectedly rolls back values · case 04
Deque checkpoint release unexpectedly rolls back values.
Deque checkpoint release unexpectedly rolls back values · case 05
Deque checkpoint release unexpectedly rolls back values.
Unknown deque checkpoint request clears saved history · case 01
Unknown deque checkpoint request clears saved history.
Unknown deque checkpoint request clears saved history · case 02
Unknown deque checkpoint request clears saved history.
Unknown deque checkpoint request clears saved history · case 03
Unknown deque checkpoint request clears saved history.
Unknown deque checkpoint request clears saved history · case 04
Unknown deque checkpoint request clears saved history.
Unknown deque checkpoint request clears saved history · case 05
Unknown deque checkpoint request clears saved history.
Deque commit exposes slots the producer did not initialize · case 01
Deque commit exposes slots the producer did not initialize.
Deque commit exposes slots the producer did not initialize · case 02
Deque commit exposes slots the producer did not initialize.
Deque commit exposes slots the producer did not initialize · case 03
Deque commit exposes slots the producer did not initialize.
Deque commit exposes slots the producer did not initialize · case 04
Deque commit exposes slots the producer did not initialize.
Deque commit exposes slots the producer did not initialize · case 05
Deque commit exposes slots the producer did not initialize.
Deque commit exceeds the producer reserved grant · case 01
Deque commit exceeds the producer reserved grant.
Deque commit exceeds the producer reserved grant · case 02
Deque commit exceeds the producer reserved grant.
Deque commit exceeds the producer reserved grant · case 03
Deque commit exceeds the producer reserved grant.
Deque commit exceeds the producer reserved grant · case 04
Deque commit exceeds the producer reserved grant.
Deque commit exceeds the producer reserved grant · case 05
Deque commit exceeds the producer reserved grant.
Deque commit forgets already-published resident values · case 01
Deque commit forgets already-published resident values.
Deque commit forgets already-published resident values · case 02
Deque commit forgets already-published resident values.
Deque commit forgets already-published resident values · case 03
Deque commit forgets already-published resident values.
Deque commit forgets already-published resident values · case 04
Deque commit forgets already-published resident values.
Deque commit forgets already-published resident values · case 05
Deque commit forgets already-published resident values.
Deque reservation commit publishes its uncommitted suffix · case 01
Deque reservation commit publishes its uncommitted suffix.
Deque reservation commit publishes its uncommitted suffix · case 02
Deque reservation commit publishes its uncommitted suffix.
Deque reservation commit publishes its uncommitted suffix · case 03
Deque reservation commit publishes its uncommitted suffix.
Deque reservation commit publishes its uncommitted suffix · case 04
Deque reservation commit publishes its uncommitted suffix.
Deque reservation commit publishes its uncommitted suffix · case 05
Deque reservation commit publishes its uncommitted suffix.
Deque reservation commit leaves unused reserved slots charged · case 01
Deque reservation commit leaves unused reserved slots charged.
Deque reservation commit leaves unused reserved slots charged · case 02
Deque reservation commit leaves unused reserved slots charged.
Deque reservation commit leaves unused reserved slots charged · case 03
Deque reservation commit leaves unused reserved slots charged.
Deque reservation commit leaves unused reserved slots charged · case 04
Deque reservation commit leaves unused reserved slots charged.
Deque reservation commit leaves unused reserved slots charged · case 05
Deque reservation commit leaves unused reserved slots charged.
Empty deque reservation commit invalidates all iterators · case 01
Empty deque reservation commit invalidates all iterators.
Empty deque reservation commit invalidates all iterators · case 02
Empty deque reservation commit invalidates all iterators.
Empty deque reservation commit invalidates all iterators · case 03
Empty deque reservation commit invalidates all iterators.
Empty deque reservation commit invalidates all iterators · case 04
Empty deque reservation commit invalidates all iterators.
Empty deque reservation commit invalidates all iterators · case 05
Empty deque reservation commit invalidates all iterators.
Deque reservation commit returns initialized entries as unused · case 01
Deque reservation commit returns initialized entries as unused.
Deque reservation commit returns initialized entries as unused · case 02
Deque reservation commit returns initialized entries as unused.
Deque reservation commit returns initialized entries as unused · case 03
Deque reservation commit returns initialized entries as unused.
Deque reservation commit returns initialized entries as unused · case 04
Deque reservation commit returns initialized entries as unused.
Deque reservation commit returns initialized entries as unused · case 05
Deque reservation commit returns initialized entries as unused.
Deque borrow release mistakes payload identity for token identity · case 01
Deque borrow release mistakes payload identity for token identity.
Deque borrow release mistakes payload identity for token identity · case 02
Deque borrow release mistakes payload identity for token identity.
Deque borrow release mistakes payload identity for token identity · case 03
Deque borrow release mistakes payload identity for token identity.
Deque borrow release mistakes payload identity for token identity · case 04
Deque borrow release mistakes payload identity for token identity.
Deque borrow release mistakes payload identity for token identity · case 05
Deque borrow release mistakes payload identity for token identity.
Deque borrow release discards every outstanding pin · case 01
Deque borrow release discards every outstanding pin.
Deque borrow release discards every outstanding pin · case 02
Deque borrow release discards every outstanding pin.
Deque borrow release discards every outstanding pin · case 03
Deque borrow release discards every outstanding pin.
Deque borrow release discards every outstanding pin · case 04
Deque borrow release discards every outstanding pin.
Deque borrow release discards every outstanding pin · case 05
Deque borrow release discards every outstanding pin.
Deque borrow release reclaims storage while its owner is alive · case 01
Deque borrow release reclaims storage while its owner is alive.
Deque borrow release reclaims storage while its owner is alive · case 02
Deque borrow release reclaims storage while its owner is alive.
Deque borrow release reclaims storage while its owner is alive · case 03
Deque borrow release reclaims storage while its owner is alive.
Deque borrow release reclaims storage while its owner is alive · case 04
Deque borrow release reclaims storage while its owner is alive.
Deque borrow release reclaims storage while its owner is alive · case 05
Deque borrow release reclaims storage while its owner is alive.
Deque borrow release reverses deferred reclamation order · case 01
Deque borrow release reverses deferred reclamation order.
Deque borrow release reverses deferred reclamation order · case 02
Deque borrow release reverses deferred reclamation order.
Deque borrow release reverses deferred reclamation order · case 03
Deque borrow release reverses deferred reclamation order.
Deque borrow release reverses deferred reclamation order · case 04
Deque borrow release reverses deferred reclamation order.
Deque borrow release reverses deferred reclamation order · case 05
Deque borrow release reverses deferred reclamation order.
Deque borrow release retains already-reclaimed storage in its pending list · case 01
Deque borrow release retains already-reclaimed storage in its pending list.
Deque borrow release retains already-reclaimed storage in its pending list · case 02
Deque borrow release retains already-reclaimed storage in its pending list.
Deque borrow release retains already-reclaimed storage in its pending list · case 03
Deque borrow release retains already-reclaimed storage in its pending list.
Deque borrow release retains already-reclaimed storage in its pending list · case 04
Deque borrow release retains already-reclaimed storage in its pending list.
Deque borrow release retains already-reclaimed storage in its pending list · case 05
Deque borrow release retains already-reclaimed storage in its pending list.
Deque borrow release advances reclamation epoch before memory is reclaimed · case 01
Deque borrow release advances reclamation epoch before memory is reclaimed.
Deque borrow release advances reclamation epoch before memory is reclaimed · case 02
Deque borrow release advances reclamation epoch before memory is reclaimed.
Deque borrow release advances reclamation epoch before memory is reclaimed · case 03
Deque borrow release advances reclamation epoch before memory is reclaimed.
Deque borrow release advances reclamation epoch before memory is reclaimed · case 04
Deque borrow release advances reclamation epoch before memory is reclaimed.
Deque borrow release advances reclamation epoch before memory is reclaimed · case 05
Deque borrow release advances reclamation epoch before memory is reclaimed.
Deque borrow release reports old rather than remaining pin state · case 01
Deque borrow release reports old rather than remaining pin state.
Deque borrow release reports old rather than remaining pin state · case 02
Deque borrow release reports old rather than remaining pin state.
Deque borrow release reports old rather than remaining pin state · case 03
Deque borrow release reports old rather than remaining pin state.
Deque borrow release reports old rather than remaining pin state · case 04
Deque borrow release reports old rather than remaining pin state.
Deque borrow release reports old rather than remaining pin state · case 05
Deque borrow release reports old rather than remaining pin state.
Lazy deque reversal also physically reverses storage · case 01
Lazy deque reversal also physically reverses storage.
Lazy deque reversal also physically reverses storage · case 02
Lazy deque reversal also physically reverses storage.
Lazy deque reversal also physically reverses storage · case 03
Lazy deque reversal also physically reverses storage.
Lazy deque reversal also physically reverses storage · case 04
Lazy deque reversal also physically reverses storage.
Lazy deque reversal also physically reverses storage · case 05
Lazy deque reversal also physically reverses storage.
Repeated lazy deque flip leaves the orientation reversed · case 01
Repeated lazy deque flip leaves the orientation reversed.
Repeated lazy deque flip leaves the orientation reversed · case 02
Repeated lazy deque flip leaves the orientation reversed.
Repeated lazy deque flip leaves the orientation reversed · case 03
Repeated lazy deque flip leaves the orientation reversed.
Repeated lazy deque flip leaves the orientation reversed · case 04
Repeated lazy deque flip leaves the orientation reversed.
Repeated lazy deque flip leaves the orientation reversed · case 05
Repeated lazy deque flip leaves the orientation reversed.
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 ↗