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
Activation upgrades a different loan than the reserved receiver · case 01
Activation upgrades a different loan than the reserved receiver.
Activation upgrades a different loan than the reserved receiver · case 02
Activation upgrades a different loan than the reserved receiver.
Activation upgrades a different loan than the reserved receiver · case 03
Activation upgrades a different loan than the reserved receiver.
Activation upgrades a different loan than the reserved receiver · case 04
Activation upgrades a different loan than the reserved receiver.
Activation upgrades a different loan than the reserved receiver · case 05
Activation upgrades a different loan than the reserved receiver.
An unactivated reservation is usable as a mutable reference · case 01
An unactivated reservation is usable as a mutable reference.
An unactivated reservation is usable as a mutable reference · case 02
An unactivated reservation is usable as a mutable reference.
An unactivated reservation is usable as a mutable reference · case 03
An unactivated reservation is usable as a mutable reference.
An unactivated reservation is usable as a mutable reference · case 04
An unactivated reservation is usable as a mutable reference.
An unactivated reservation is usable as a mutable reference · case 05
An unactivated reservation is usable as a mutable reference.
A shared argument loan remains live when the receiver reservation activates · case 01
A shared argument loan remains live when the receiver reservation activates.
A shared argument loan remains live when the receiver reservation activates · case 02
A shared argument loan remains live when the receiver reservation activates.
A shared argument loan remains live when the receiver reservation activates · case 03
A shared argument loan remains live when the receiver reservation activates.
A shared argument loan remains live when the receiver reservation activates · case 04
A shared argument loan remains live when the receiver reservation activates.
A shared argument loan remains live when the receiver reservation activates · case 05
A shared argument loan remains live when the receiver reservation activates.
Reservation liveness crosses destruction of the receiver storage · case 01
Reservation liveness crosses destruction of the receiver storage.
Reservation liveness crosses destruction of the receiver storage · case 02
Reservation liveness crosses destruction of the receiver storage.
Reservation liveness crosses destruction of the receiver storage · case 03
Reservation liveness crosses destruction of the receiver storage.
Reservation liveness crosses destruction of the receiver storage · case 04
Reservation liveness crosses destruction of the receiver storage.
Reservation liveness crosses destruction of the receiver storage · case 05
Reservation liveness crosses destruction of the receiver storage.
One path activates the same two-phase loan twice · case 01
One path activates the same two-phase loan twice.
One path activates the same two-phase loan twice · case 02
One path activates the same two-phase loan twice.
One path activates the same two-phase loan twice · case 03
One path activates the same two-phase loan twice.
One path activates the same two-phase loan twice · case 04
One path activates the same two-phase loan twice.
One path activates the same two-phase loan twice · case 05
One path activates the same two-phase loan twice.
An explicit mutable borrow receives receiver-only reservation semantics · case 01
An explicit mutable borrow receives receiver-only reservation semantics.
An explicit mutable borrow receives receiver-only reservation semantics · case 02
An explicit mutable borrow receives receiver-only reservation semantics.
An explicit mutable borrow receives receiver-only reservation semantics · case 03
An explicit mutable borrow receives receiver-only reservation semantics.
An explicit mutable borrow receives receiver-only reservation semantics · case 04
An explicit mutable borrow receives receiver-only reservation semantics.
An explicit mutable borrow receives receiver-only reservation semantics · case 05
An explicit mutable borrow receives receiver-only reservation semantics.
Receiver reservation activates before the last argument evaluation step · case 01
Receiver reservation activates before the last argument evaluation step.
Receiver reservation activates before the last argument evaluation step · case 02
Receiver reservation activates before the last argument evaluation step.
Receiver reservation activates before the last argument evaluation step · case 03
Receiver reservation activates before the last argument evaluation step.
Receiver reservation activates before the last argument evaluation step · case 04
Receiver reservation activates before the last argument evaluation step.
Receiver reservation activates before the last argument evaluation step · case 05
Receiver reservation activates before the last argument evaluation step.
A canceled method call leaves its unactivated reservation live · case 01
A canceled method call leaves its unactivated reservation live.
A canceled method call leaves its unactivated reservation live · case 02
A canceled method call leaves its unactivated reservation live.
A canceled method call leaves its unactivated reservation live · case 03
A canceled method call leaves its unactivated reservation live.
A canceled method call leaves its unactivated reservation live · case 04
A canceled method call leaves its unactivated reservation live.
A canceled method call leaves its unactivated reservation live · case 05
A canceled method call leaves its unactivated reservation live.
A callee summary omits a later borrowed read effect · case 01
A callee summary omits a later borrowed read effect.
A callee summary omits a later borrowed read effect · case 02
A callee summary omits a later borrowed read effect.
A callee summary omits a later borrowed read effect · case 03
A callee summary omits a later borrowed read effect.
A callee summary omits a later borrowed read effect · case 04
A callee summary omits a later borrowed read effect.
A callee summary omits a later borrowed read effect · case 05
A callee summary omits a later borrowed read effect.
A callee write summary loses one mutated borrowed parameter · case 01
A callee write summary loses one mutated borrowed parameter.
A callee write summary loses one mutated borrowed parameter · case 02
A callee write summary loses one mutated borrowed parameter.
A callee write summary loses one mutated borrowed parameter · case 03
A callee write summary loses one mutated borrowed parameter.
A callee write summary loses one mutated borrowed parameter · case 04
A callee write summary loses one mutated borrowed parameter.
A callee write summary loses one mutated borrowed parameter · case 05
A callee write summary loses one mutated borrowed parameter.
Moving one actual is hidden by another correctly summarized move · case 01
Moving one actual is hidden by another correctly summarized move.
Moving one actual is hidden by another correctly summarized move · case 02
Moving one actual is hidden by another correctly summarized move.
Moving one actual is hidden by another correctly summarized move · case 03
Moving one actual is hidden by another correctly summarized move.
Moving one actual is hidden by another correctly summarized move · case 04
Moving one actual is hidden by another correctly summarized move.
Moving one actual is hidden by another correctly summarized move · case 05
Moving one actual is hidden by another correctly summarized move.
A borrow retained by the callee is omitted from its escape summary · case 01
A borrow retained by the callee is omitted from its escape summary.
A borrow retained by the callee is omitted from its escape summary · case 02
A borrow retained by the callee is omitted from its escape summary.
A borrow retained by the callee is omitted from its escape summary · case 03
A borrow retained by the callee is omitted from its escape summary.
A borrow retained by the callee is omitted from its escape summary · case 04
A borrow retained by the callee is omitted from its escape summary.
A borrow retained by the callee is omitted from its escape summary · case 05
A borrow retained by the callee is omitted from its escape summary.
A write effect is instantiated on an actual without exclusive permission · case 01
A write effect is instantiated on an actual without exclusive permission.
A write effect is instantiated on an actual without exclusive permission · case 02
A write effect is instantiated on an actual without exclusive permission.
A write effect is instantiated on an actual without exclusive permission · case 03
A write effect is instantiated on an actual without exclusive permission.
A write effect is instantiated on an actual without exclusive permission · case 04
A write effect is instantiated on an actual without exclusive permission.
A write effect is instantiated on an actual without exclusive permission · case 05
A write effect is instantiated on an actual without exclusive permission.
Return alias summary chooses one of multiple parameter origins · case 01
Return alias summary chooses one of multiple parameter origins.
Return alias summary chooses one of multiple parameter origins · case 02
Return alias summary chooses one of multiple parameter origins.
Return alias summary chooses one of multiple parameter origins · case 03
Return alias summary chooses one of multiple parameter origins.
Return alias summary chooses one of multiple parameter origins · case 04
Return alias summary chooses one of multiple parameter origins.
Return alias summary chooses one of multiple parameter origins · case 05
Return alias summary chooses one of multiple parameter origins.
An unresolved call releases some actual borrows without a proven summary · case 01
An unresolved call releases some actual borrows without a proven summary.
An unresolved call releases some actual borrows without a proven summary · case 02
An unresolved call releases some actual borrows without a proven summary.
An unresolved call releases some actual borrows without a proven summary · case 03
An unresolved call releases some actual borrows without a proven summary.
An unresolved call releases some actual borrows without a proven summary · case 04
An unresolved call releases some actual borrows without a proven summary.
An unresolved call releases some actual borrows without a proven summary · case 05
An unresolved call releases some actual borrows without a proven summary.
A noescape contract tolerates one escaping borrowed argument · case 01
A noescape contract tolerates one escaping borrowed argument.
A noescape contract tolerates one escaping borrowed argument · case 02
A noescape contract tolerates one escaping borrowed argument.
A noescape contract tolerates one escaping borrowed argument · case 03
A noescape contract tolerates one escaping borrowed argument.
A noescape contract tolerates one escaping borrowed argument · case 04
A noescape contract tolerates one escaping borrowed argument.
A noescape contract tolerates one escaping borrowed argument · case 05
A noescape contract tolerates one escaping borrowed argument.
Two actual positions map to one formal borrow capability · case 01
Two actual positions map to one formal borrow capability.
Two actual positions map to one formal borrow capability · case 02
Two actual positions map to one formal borrow capability.
Two actual positions map to one formal borrow capability · case 03
Two actual positions map to one formal borrow capability.
Two actual positions map to one formal borrow capability · case 04
Two actual positions map to one formal borrow capability.
Two actual positions map to one formal borrow capability · case 05
Two actual positions map to one formal borrow capability.
Call-local loans are released on normal return but retained on unwind · case 01
Call-local loans are released on normal return but retained on unwind.
Call-local loans are released on normal return but retained on unwind · case 02
Call-local loans are released on normal return but retained on unwind.
Call-local loans are released on normal return but retained on unwind · case 03
Call-local loans are released on normal return but retained on unwind.
Call-local loans are released on normal return but retained on unwind · case 04
Call-local loans are released on normal return but retained on unwind.
Call-local loans are released on normal return but retained on unwind · case 05
Call-local loans are released on normal return but retained on unwind.
A lifetime occurrence forgets contravariance inherited from its enclosing type · case 01
A lifetime occurrence forgets contravariance inherited from its enclosing type.
A lifetime occurrence forgets contravariance inherited from its enclosing type · case 02
A lifetime occurrence forgets contravariance inherited from its enclosing type.
A lifetime occurrence forgets contravariance inherited from its enclosing type · case 03
A lifetime occurrence forgets contravariance inherited from its enclosing type.
A lifetime occurrence forgets contravariance inherited from its enclosing type · case 04
A lifetime occurrence forgets contravariance inherited from its enclosing type.
A lifetime occurrence forgets contravariance inherited from its enclosing type · case 05
A lifetime occurrence forgets contravariance inherited from its enclosing type.
An absent lifetime occurrence spuriously constrains the generic parameter · case 01
An absent lifetime occurrence spuriously constrains the generic parameter.
An absent lifetime occurrence spuriously constrains the generic parameter · case 02
An absent lifetime occurrence spuriously constrains the generic parameter.
An absent lifetime occurrence spuriously constrains the generic parameter · case 03
An absent lifetime occurrence spuriously constrains the generic parameter.
An absent lifetime occurrence spuriously constrains the generic parameter · case 04
An absent lifetime occurrence spuriously constrains the generic parameter.
An absent lifetime occurrence spuriously constrains the generic parameter · case 05
An absent lifetime occurrence spuriously constrains the generic parameter.
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 ↗