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
Pinning one frame projection is assumed to pin every self referent · case 01
Pinning one frame projection is assumed to pin every self referent.
Pinning one frame projection is assumed to pin every self referent · case 02
Pinning one frame projection is assumed to pin every self referent.
Pinning one frame projection is assumed to pin every self referent · case 03
Pinning one frame projection is assumed to pin every self referent.
Pinning one frame projection is assumed to pin every self referent · case 04
Pinning one frame projection is assumed to pin every self referent.
Pinning one frame projection is assumed to pin every self referent · case 05
Pinning one frame projection is assumed to pin every self referent.
A suspended exclusive loan retains a caller-visible alias · case 01
A suspended exclusive loan retains a caller-visible alias.
A suspended exclusive loan retains a caller-visible alias · case 02
A suspended exclusive loan retains a caller-visible alias.
A suspended exclusive loan retains a caller-visible alias · case 03
A suspended exclusive loan retains a caller-visible alias.
A suspended exclusive loan retains a caller-visible alias · case 04
A suspended exclusive loan retains a caller-visible alias.
A suspended exclusive loan retains a caller-visible alias · case 05
A suspended exclusive loan retains a caller-visible alias.
A suspension-forbidden borrowed guard is missed after an ordinary guard · case 01
A suspension-forbidden borrowed guard is missed after an ordinary guard.
A suspension-forbidden borrowed guard is missed after an ordinary guard · case 02
A suspension-forbidden borrowed guard is missed after an ordinary guard.
A suspension-forbidden borrowed guard is missed after an ordinary guard · case 03
A suspension-forbidden borrowed guard is missed after an ordinary guard.
A suspension-forbidden borrowed guard is missed after an ordinary guard · case 04
A suspension-forbidden borrowed guard is missed after an ordinary guard.
A suspension-forbidden borrowed guard is missed after an ordinary guard · case 05
A suspension-forbidden borrowed guard is missed after an ordinary guard.
A resumed reference uses point-count equality as lifetime validity · case 01
A resumed reference uses point-count equality as lifetime validity.
A resumed reference uses point-count equality as lifetime validity · case 02
A resumed reference uses point-count equality as lifetime validity.
A resumed reference uses point-count equality as lifetime validity · case 03
A resumed reference uses point-count equality as lifetime validity.
A resumed reference uses point-count equality as lifetime validity · case 04
A resumed reference uses point-count equality as lifetime validity.
A resumed reference uses point-count equality as lifetime validity · case 05
A resumed reference uses point-count equality as lifetime validity.
Cancellation destroys an owner immediately before its borrowing frame slot · case 01
Cancellation destroys an owner immediately before its borrowing frame slot.
Cancellation destroys an owner immediately before its borrowing frame slot · case 02
Cancellation destroys an owner immediately before its borrowing frame slot.
Cancellation destroys an owner immediately before its borrowing frame slot · case 03
Cancellation destroys an owner immediately before its borrowing frame slot.
Cancellation destroys an owner immediately before its borrowing frame slot · case 04
Cancellation destroys an owner immediately before its borrowing frame slot.
Cancellation destroys an owner immediately before its borrowing frame slot · case 05
Cancellation destroys an owner immediately before its borrowing frame slot.
Completion returns a reference into the destroyed generator frame · case 01
Completion returns a reference into the destroyed generator frame.
Completion returns a reference into the destroyed generator frame · case 02
Completion returns a reference into the destroyed generator frame.
Completion returns a reference into the destroyed generator frame · case 03
Completion returns a reference into the destroyed generator frame.
Completion returns a reference into the destroyed generator frame · case 04
Completion returns a reference into the destroyed generator frame.
Completion returns a reference into the destroyed generator frame · case 05
Completion returns a reference into the destroyed generator frame.
Frame spilling resurrects a loan killed before suspension · case 01
Frame spilling resurrects a loan killed before suspension.
Frame spilling resurrects a loan killed before suspension · case 02
Frame spilling resurrects a loan killed before suspension.
Frame spilling resurrects a loan killed before suspension · case 03
Frame spilling resurrects a loan killed before suspension.
Frame spilling resurrects a loan killed before suspension · case 04
Frame spilling resurrects a loan killed before suspension.
Frame spilling resurrects a loan killed before suspension · case 05
Frame spilling resurrects a loan killed before suspension.
A variant-specific suspension loan is treated as live in every frame state · case 01
A variant-specific suspension loan is treated as live in every frame state.
A variant-specific suspension loan is treated as live in every frame state · case 02
A variant-specific suspension loan is treated as live in every frame state.
A variant-specific suspension loan is treated as live in every frame state · case 03
A variant-specific suspension loan is treated as live in every frame state.
A variant-specific suspension loan is treated as live in every frame state · case 04
A variant-specific suspension loan is treated as live in every frame state.
A variant-specific suspension loan is treated as live in every frame state · case 05
A variant-specific suspension loan is treated as live in every frame state.
Duplicate pattern names overwrite an earlier binding fact · case 01
Duplicate pattern names overwrite an earlier binding fact.
Duplicate pattern names overwrite an earlier binding fact · case 02
Duplicate pattern names overwrite an earlier binding fact.
Duplicate pattern names overwrite an earlier binding fact · case 03
Duplicate pattern names overwrite an earlier binding fact.
Duplicate pattern names overwrite an earlier binding fact · case 04
Duplicate pattern names overwrite an earlier binding fact.
Duplicate pattern names overwrite an earlier binding fact · case 05
Duplicate pattern names overwrite an earlier binding fact.
Later pattern alternatives introduce a different binding set · case 01
Later pattern alternatives introduce a different binding set.
Later pattern alternatives introduce a different binding set · case 02
Later pattern alternatives introduce a different binding set.
Later pattern alternatives introduce a different binding set · case 03
Later pattern alternatives introduce a different binding set.
Later pattern alternatives introduce a different binding set · case 04
Later pattern alternatives introduce a different binding set.
Later pattern alternatives introduce a different binding set · case 05
Later pattern alternatives introduce a different binding set.
Two pattern alternatives bind one name with incompatible ownership modes · case 01
Two pattern alternatives bind one name with incompatible ownership modes.
Two pattern alternatives bind one name with incompatible ownership modes · case 02
Two pattern alternatives bind one name with incompatible ownership modes.
Two pattern alternatives bind one name with incompatible ownership modes · case 03
Two pattern alternatives bind one name with incompatible ownership modes.
Two pattern alternatives bind one name with incompatible ownership modes · case 04
Two pattern alternatives bind one name with incompatible ownership modes.
Two pattern alternatives bind one name with incompatible ownership modes · case 05
Two pattern alternatives bind one name with incompatible ownership modes.
A mutable pattern binding inherits mutability from another place · case 01
A mutable pattern binding inherits mutability from another place.
A mutable pattern binding inherits mutability from another place · case 02
A mutable pattern binding inherits mutability from another place.
A mutable pattern binding inherits mutability from another place · case 03
A mutable pattern binding inherits mutability from another place.
A mutable pattern binding inherits mutability from another place · case 04
A mutable pattern binding inherits mutability from another place.
A mutable pattern binding inherits mutability from another place · case 05
A mutable pattern binding inherits mutability from another place.
Destructuring through a reference moves a noncopy referent · case 01
Destructuring through a reference moves a noncopy referent.
Destructuring through a reference moves a noncopy referent · case 02
Destructuring through a reference moves a noncopy referent.
Destructuring through a reference moves a noncopy referent · case 03
Destructuring through a reference moves a noncopy referent.
Destructuring through a reference moves a noncopy referent · case 04
Destructuring through a reference moves a noncopy referent.
Destructuring through a reference moves a noncopy referent · case 05
Destructuring through a reference moves a noncopy referent.
Array rest binding overlaps an explicitly borrowed element · case 01
Array rest binding overlaps an explicitly borrowed element.
Array rest binding overlaps an explicitly borrowed element · case 02
Array rest binding overlaps an explicitly borrowed element.
Array rest binding overlaps an explicitly borrowed element · case 03
Array rest binding overlaps an explicitly borrowed element.
Array rest binding overlaps an explicitly borrowed element · case 04
Array rest binding overlaps an explicitly borrowed element.
Array rest binding overlaps an explicitly borrowed element · case 05
Array rest binding overlaps an explicitly borrowed element.
Union field pattern extraction lacks its required unsafe boundary · case 01
Union field pattern extraction lacks its required unsafe boundary.
Union field pattern extraction lacks its required unsafe boundary · case 02
Union field pattern extraction lacks its required unsafe boundary.
Union field pattern extraction lacks its required unsafe boundary · case 03
Union field pattern extraction lacks its required unsafe boundary.
Union field pattern extraction lacks its required unsafe boundary · case 04
Union field pattern extraction lacks its required unsafe boundary.
Union field pattern extraction lacks its required unsafe boundary · case 05
Union field pattern extraction lacks its required unsafe boundary.
A guard-local borrowed pattern binding escapes to the arm body · case 01
A guard-local borrowed pattern binding escapes to the arm body.
A guard-local borrowed pattern binding escapes to the arm body · case 02
A guard-local borrowed pattern binding escapes to the arm body.
A guard-local borrowed pattern binding escapes to the arm body · case 03
A guard-local borrowed pattern binding escapes to the arm body.
A guard-local borrowed pattern binding escapes to the arm body · case 04
A guard-local borrowed pattern binding escapes to the arm body.
A guard-local borrowed pattern binding escapes to the arm body · case 05
A guard-local borrowed pattern binding escapes to the arm body.
One pattern moves an ancestor of another binding borrowed by reference · case 01
One pattern moves an ancestor of another binding borrowed by reference.
One pattern moves an ancestor of another binding borrowed by reference · case 02
One pattern moves an ancestor of another binding borrowed by reference.
One pattern moves an ancestor of another binding borrowed by reference · case 03
One pattern moves an ancestor of another binding borrowed by reference.
One pattern moves an ancestor of another binding borrowed by reference · case 04
One pattern moves an ancestor of another binding borrowed by reference.
One pattern moves an ancestor of another binding borrowed by reference · case 05
One pattern moves an ancestor of another binding borrowed by reference.
A plain identifier silently changes inherited reference binding into a move · case 01
A plain identifier silently changes inherited reference binding into a move.
A plain identifier silently changes inherited reference binding into a move · case 02
A plain identifier silently changes inherited reference binding into a move.
A plain identifier silently changes inherited reference binding into a move · case 03
A plain identifier silently changes inherited reference binding into a move.
A plain identifier silently changes inherited reference binding into a move · case 04
A plain identifier silently changes inherited reference binding into a move.
A plain identifier silently changes inherited reference binding into a move · case 05
A plain identifier silently changes inherited reference binding into a move.
Temporary borrow validity compares counts instead of actual use locations · case 01
Temporary borrow validity compares counts instead of actual use locations.
Temporary borrow validity compares counts instead of actual use locations · case 02
Temporary borrow validity compares counts instead of actual use locations.
Temporary borrow validity compares counts instead of actual use locations · case 03
Temporary borrow validity compares counts instead of actual use locations.
Temporary borrow validity compares counts instead of actual use locations · case 04
Temporary borrow validity compares counts instead of actual use locations.
Temporary borrow validity compares counts instead of actual use locations · case 05
Temporary borrow validity compares counts instead of actual use locations.
A call argument temporary is inferred to survive into the next statement · case 01
A call argument temporary is inferred to survive into the next statement.
A call argument temporary is inferred to survive into the next statement · case 02
A call argument temporary is inferred to survive into the next statement.
A call argument temporary is inferred to survive into the next statement · case 03
A call argument temporary is inferred to survive into the next statement.
A call argument temporary is inferred to survive into the next statement · case 04
A call argument temporary is inferred to survive into the next statement.
A call argument temporary is inferred to survive into the next statement · case 05
A call argument temporary is inferred to survive into the next statement.
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 ↗