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
A call summary tracks only the first borrowed argument · case 01
A call summary tracks only the first borrowed argument.
A call summary tracks only the first borrowed argument · case 02
A call summary tracks only the first borrowed argument.
A call summary tracks only the first borrowed argument · case 03
A call summary tracks only the first borrowed argument.
A call summary tracks only the first borrowed argument · case 04
A call summary tracks only the first borrowed argument.
A call summary tracks only the first borrowed argument · case 05
A call summary tracks only the first borrowed argument.
Reference definition kills demands for unrelated live locals · case 01
Reference definition kills demands for unrelated live locals.
Reference definition kills demands for unrelated live locals · case 02
Reference definition kills demands for unrelated live locals.
Reference definition kills demands for unrelated live locals · case 03
Reference definition kills demands for unrelated live locals.
Reference definition kills demands for unrelated live locals · case 04
Reference definition kills demands for unrelated live locals.
Reference definition kills demands for unrelated live locals · case 05
Reference definition kills demands for unrelated live locals.
Storage-dead boundary leaks demand into a previous local incarnation · case 01
Storage-dead boundary leaks demand into a previous local incarnation.
Storage-dead boundary leaks demand into a previous local incarnation · case 02
Storage-dead boundary leaks demand into a previous local incarnation.
Storage-dead boundary leaks demand into a previous local incarnation · case 03
Storage-dead boundary leaks demand into a previous local incarnation.
Storage-dead boundary leaks demand into a previous local incarnation · case 04
Storage-dead boundary leaks demand into a previous local incarnation.
Storage-dead boundary leaks demand into a previous local incarnation · case 05
Storage-dead boundary leaks demand into a previous local incarnation.
Demand on a sole destination fails to propagate to its source · case 01
Demand on a sole destination fails to propagate to its source.
Demand on a sole destination fails to propagate to its source · case 02
Demand on a sole destination fails to propagate to its source.
Demand on a sole destination fails to propagate to its source · case 03
Demand on a sole destination fails to propagate to its source.
Demand on a sole destination fails to propagate to its source · case 04
Demand on a sole destination fails to propagate to its source.
Demand on a sole destination fails to propagate to its source · case 05
Demand on a sole destination fails to propagate to its source.
Reborrow construction leaves the child demanded before its definition · case 01
Reborrow construction leaves the child demanded before its definition.
Reborrow construction leaves the child demanded before its definition · case 02
Reborrow construction leaves the child demanded before its definition.
Reborrow construction leaves the child demanded before its definition · case 03
Reborrow construction leaves the child demanded before its definition.
Reborrow construction leaves the child demanded before its definition · case 04
Reborrow construction leaves the child demanded before its definition.
Reborrow construction leaves the child demanded before its definition · case 05
Reborrow construction leaves the child demanded before its definition.
A phi reference drops origins contributed by alternate predecessors · case 01
A phi reference drops origins contributed by alternate predecessors.
A phi reference drops origins contributed by alternate predecessors · case 02
A phi reference drops origins contributed by alternate predecessors.
A phi reference drops origins contributed by alternate predecessors · case 03
A phi reference drops origins contributed by alternate predecessors.
A phi reference drops origins contributed by alternate predecessors · case 04
A phi reference drops origins contributed by alternate predecessors.
A phi reference drops origins contributed by alternate predecessors · case 05
A phi reference drops origins contributed by alternate predecessors.
A trivial reference drop spuriously extends its loan lifetime · case 01
A trivial reference drop spuriously extends its loan lifetime.
A trivial reference drop spuriously extends its loan lifetime · case 02
A trivial reference drop spuriously extends its loan lifetime.
A trivial reference drop spuriously extends its loan lifetime · case 03
A trivial reference drop spuriously extends its loan lifetime.
A trivial reference drop spuriously extends its loan lifetime · case 04
A trivial reference drop spuriously extends its loan lifetime.
A trivial reference drop spuriously extends its loan lifetime · case 05
A trivial reference drop spuriously extends its loan lifetime.
Branch liveness loses references demanded only on its second successor · case 01
Branch liveness loses references demanded only on its second successor.
Branch liveness loses references demanded only on its second successor · case 02
Branch liveness loses references demanded only on its second successor.
Branch liveness loses references demanded only on its second successor · case 03
Branch liveness loses references demanded only on its second successor.
Branch liveness loses references demanded only on its second successor · case 04
Branch liveness loses references demanded only on its second successor.
Branch liveness loses references demanded only on its second successor · case 05
Branch liveness loses references demanded only on its second successor.
Disconnected region declarations vanish from the constraint solution · case 01
Disconnected region declarations vanish from the constraint solution.
Disconnected region declarations vanish from the constraint solution · case 02
Disconnected region declarations vanish from the constraint solution.
Disconnected region declarations vanish from the constraint solution · case 03
Disconnected region declarations vanish from the constraint solution.
Disconnected region declarations vanish from the constraint solution · case 04
Disconnected region declarations vanish from the constraint solution.
Disconnected region declarations vanish from the constraint solution · case 05
Disconnected region declarations vanish from the constraint solution.
A missing endpoint in an equality is not diagnosed · case 01
A missing endpoint in an equality is not diagnosed.
A missing endpoint in an equality is not diagnosed · case 02
A missing endpoint in an equality is not diagnosed.
A missing endpoint in an equality is not diagnosed · case 03
A missing endpoint in an equality is not diagnosed.
A missing endpoint in an equality is not diagnosed · case 04
A missing endpoint in an equality is not diagnosed.
A missing endpoint in an equality is not diagnosed · case 05
A missing endpoint in an equality is not diagnosed.
Only the first declared outlives constraint enters the solver · case 01
Only the first declared outlives constraint enters the solver.
Only the first declared outlives constraint enters the solver · case 02
Only the first declared outlives constraint enters the solver.
Only the first declared outlives constraint enters the solver · case 03
Only the first declared outlives constraint enters the solver.
Only the first declared outlives constraint enters the solver · case 04
Only the first declared outlives constraint enters the solver.
Only the first declared outlives constraint enters the solver · case 05
Only the first declared outlives constraint enters the solver.
Region equality propagates points in only one direction · case 01
Region equality propagates points in only one direction.
Region equality propagates points in only one direction · case 02
Region equality propagates points in only one direction.
Region equality propagates points in only one direction · case 03
Region equality propagates points in only one direction.
Region equality propagates points in only one direction · case 04
Region equality propagates points in only one direction.
Region equality propagates points in only one direction · case 05
Region equality propagates points in only one direction.
Multiple use points of a region collapse to its first demand · case 01
Multiple use points of a region collapse to its first demand.
Multiple use points of a region collapse to its first demand · case 02
Multiple use points of a region collapse to its first demand.
Multiple use points of a region collapse to its first demand · case 03
Multiple use points of a region collapse to its first demand.
Multiple use points of a region collapse to its first demand · case 04
Multiple use points of a region collapse to its first demand.
Multiple use points of a region collapse to its first demand · case 05
Multiple use points of a region collapse to its first demand.
External lifetime seeds replace local use demands · case 01
External lifetime seeds replace local use demands.
External lifetime seeds replace local use demands · case 02
External lifetime seeds replace local use demands.
External lifetime seeds replace local use demands · case 03
External lifetime seeds replace local use demands.
External lifetime seeds replace local use demands · case 04
External lifetime seeds replace local use demands.
External lifetime seeds replace local use demands · case 05
External lifetime seeds replace local use demands.
Outlives propagation removes required points instead of accumulating them · case 01
Outlives propagation removes required points instead of accumulating them.
Outlives propagation removes required points instead of accumulating them · case 02
Outlives propagation removes required points instead of accumulating them.
Outlives propagation removes required points instead of accumulating them · case 03
Outlives propagation removes required points instead of accumulating them.
Outlives propagation removes required points instead of accumulating them · case 04
Outlives propagation removes required points instead of accumulating them.
Outlives propagation removes required points instead of accumulating them · case 05
Outlives propagation removes required points instead of accumulating them.
Transitive lifetime constraints stop after a single ordered pass · case 01
Transitive lifetime constraints stop after a single ordered pass.
Transitive lifetime constraints stop after a single ordered pass · case 02
Transitive lifetime constraints stop after a single ordered pass.
Transitive lifetime constraints stop after a single ordered pass · case 03
Transitive lifetime constraints stop after a single ordered pass.
Transitive lifetime constraints stop after a single ordered pass · case 04
Transitive lifetime constraints stop after a single ordered pass.
Transitive lifetime constraints stop after a single ordered pass · case 05
Transitive lifetime constraints stop after a single ordered pass.
Storage-scope rejection requires all inferred points to be forbidden · case 01
Storage-scope rejection requires all inferred points to be forbidden.
Storage-scope rejection requires all inferred points to be forbidden · case 02
Storage-scope rejection requires all inferred points to be forbidden.
Storage-scope rejection requires all inferred points to be forbidden · case 03
Storage-scope rejection requires all inferred points to be forbidden.
Storage-scope rejection requires all inferred points to be forbidden · case 04
Storage-scope rejection requires all inferred points to be forbidden.
Storage-scope rejection requires all inferred points to be forbidden · case 05
Storage-scope rejection requires all inferred points to be forbidden.
Unconstrained region results are omitted from the complete solution · case 01
Unconstrained region results are omitted from the complete solution.
Unconstrained region results are omitted from the complete solution · case 02
Unconstrained region results are omitted from the complete solution.
Unconstrained region results are omitted from the complete solution · case 03
Unconstrained region results are omitted from the complete solution.
Unconstrained region results are omitted from the complete solution · case 04
Unconstrained region results are omitted from the complete solution.
Unconstrained region results are omitted from the complete solution · case 05
Unconstrained region results are omitted from the complete solution.
A repeated lifetime binder silently shadows its earlier declaration · case 01
A repeated lifetime binder silently shadows its earlier declaration.
A repeated lifetime binder silently shadows its earlier declaration · case 02
A repeated lifetime binder silently shadows its earlier declaration.
A repeated lifetime binder silently shadows its earlier declaration · case 03
A repeated lifetime binder silently shadows its earlier declaration.
A repeated lifetime binder silently shadows its earlier declaration · case 04
A repeated lifetime binder silently shadows its earlier declaration.
A repeated lifetime binder silently shadows its earlier declaration · case 05
A repeated lifetime binder silently shadows its earlier declaration.
Only the first lifetime occurrence is checked against its binder · case 01
Only the first lifetime occurrence is checked against its binder.
Only the first lifetime occurrence is checked against its binder · case 02
Only the first lifetime occurrence is checked against its binder.
Only the first lifetime occurrence is checked against its binder · case 03
Only the first lifetime occurrence is checked against its binder.
Only the first lifetime occurrence is checked against its binder · case 04
Only the first lifetime occurrence is checked against its binder.
Only the first lifetime occurrence is checked against its binder · case 05
Only the first lifetime occurrence is checked against its binder.
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 ↗