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 reference-pattern let initializer loses its permitted block lifetime extension · case 01
A reference-pattern let initializer loses its permitted block lifetime extension.
A reference-pattern let initializer loses its permitted block lifetime extension · case 02
A reference-pattern let initializer loses its permitted block lifetime extension.
A reference-pattern let initializer loses its permitted block lifetime extension · case 03
A reference-pattern let initializer loses its permitted block lifetime extension.
A reference-pattern let initializer loses its permitted block lifetime extension · case 04
A reference-pattern let initializer loses its permitted block lifetime extension.
A reference-pattern let initializer loses its permitted block lifetime extension · case 05
A reference-pattern let initializer loses its permitted block lifetime extension.
Assignment is incorrectly given the lifetime-extension rule of a let initializer · case 01
Assignment is incorrectly given the lifetime-extension rule of a let initializer.
Assignment is incorrectly given the lifetime-extension rule of a let initializer · case 02
Assignment is incorrectly given the lifetime-extension rule of a let initializer.
Assignment is incorrectly given the lifetime-extension rule of a let initializer · case 03
Assignment is incorrectly given the lifetime-extension rule of a let initializer.
Assignment is incorrectly given the lifetime-extension rule of a let initializer · case 04
Assignment is incorrectly given the lifetime-extension rule of a let initializer.
Assignment is incorrectly given the lifetime-extension rule of a let initializer · case 05
Assignment is incorrectly given the lifetime-extension rule of a let initializer.
An operand borrow ends one evaluation step before the full expression · case 01
An operand borrow ends one evaluation step before the full expression.
An operand borrow ends one evaluation step before the full expression · case 02
An operand borrow ends one evaluation step before the full expression.
An operand borrow ends one evaluation step before the full expression · case 03
An operand borrow ends one evaluation step before the full expression.
An operand borrow ends one evaluation step before the full expression · case 04
An operand borrow ends one evaluation step before the full expression.
An operand borrow ends one evaluation step before the full expression · case 05
An operand borrow ends one evaluation step before the full expression.
A condition temporary is borrowed by the following then block · case 01
A condition temporary is borrowed by the following then block.
A condition temporary is borrowed by the following then block · case 02
A condition temporary is borrowed by the following then block.
A condition temporary is borrowed by the following then block · case 03
A condition temporary is borrowed by the following then block.
A condition temporary is borrowed by the following then block · case 04
A condition temporary is borrowed by the following then block.
A condition temporary is borrowed by the following then block · case 05
A condition temporary is borrowed by the following then block.
A skipped short-circuit operand creates a phantom borrow origin · case 01
A skipped short-circuit operand creates a phantom borrow origin.
A skipped short-circuit operand creates a phantom borrow origin · case 02
A skipped short-circuit operand creates a phantom borrow origin.
A skipped short-circuit operand creates a phantom borrow origin · case 03
A skipped short-circuit operand creates a phantom borrow origin.
A skipped short-circuit operand creates a phantom borrow origin · case 04
A skipped short-circuit operand creates a phantom borrow origin.
A skipped short-circuit operand creates a phantom borrow origin · case 05
A skipped short-circuit operand creates a phantom borrow origin.
Temporary destruction fails to extend a destructor-observed reference · case 01
Temporary destruction fails to extend a destructor-observed reference.
Temporary destruction fails to extend a destructor-observed reference · case 02
Temporary destruction fails to extend a destructor-observed reference.
Temporary destruction fails to extend a destructor-observed reference · case 03
Temporary destruction fails to extend a destructor-observed reference.
Temporary destruction fails to extend a destructor-observed reference · case 04
Temporary destruction fails to extend a destructor-observed reference.
Temporary destruction fails to extend a destructor-observed reference · case 05
Temporary destruction fails to extend a destructor-observed reference.
Constant promotion retains a stack lifetime in its reference provenance · case 01
Constant promotion retains a stack lifetime in its reference provenance.
Constant promotion retains a stack lifetime in its reference provenance · case 02
Constant promotion retains a stack lifetime in its reference provenance.
Constant promotion retains a stack lifetime in its reference provenance · case 03
Constant promotion retains a stack lifetime in its reference provenance.
Constant promotion retains a stack lifetime in its reference provenance · case 04
Constant promotion retains a stack lifetime in its reference provenance.
Constant promotion retains a stack lifetime in its reference provenance · case 05
Constant promotion retains a stack lifetime in its reference provenance.
A named owner is still dropped at its original temporary boundary · case 01
A named owner is still dropped at its original temporary boundary.
A named owner is still dropped at its original temporary boundary · case 02
A named owner is still dropped at its original temporary boundary.
A named owner is still dropped at its original temporary boundary · case 03
A named owner is still dropped at its original temporary boundary.
A named owner is still dropped at its original temporary boundary · case 04
A named owner is still dropped at its original temporary boundary.
A named owner is still dropped at its original temporary boundary · case 05
A named owner is still dropped at its original temporary boundary.
A reborrow parent is unresolved after the first child declaration · case 01
A reborrow parent is unresolved after the first child declaration.
A reborrow parent is unresolved after the first child declaration · case 02
A reborrow parent is unresolved after the first child declaration.
A reborrow parent is unresolved after the first child declaration · case 03
A reborrow parent is unresolved after the first child declaration.
A reborrow parent is unresolved after the first child declaration · case 04
A reborrow parent is unresolved after the first child declaration.
A reborrow parent is unresolved after the first child declaration · case 05
A reborrow parent is unresolved after the first child declaration.
A short reborrow ancestry cycle is accepted as a valid loan forest · case 01
A short reborrow ancestry cycle is accepted as a valid loan forest.
A short reborrow ancestry cycle is accepted as a valid loan forest · case 02
A short reborrow ancestry cycle is accepted as a valid loan forest.
A short reborrow ancestry cycle is accepted as a valid loan forest · case 03
A short reborrow ancestry cycle is accepted as a valid loan forest.
A short reborrow ancestry cycle is accepted as a valid loan forest · case 04
A short reborrow ancestry cycle is accepted as a valid loan forest.
A short reborrow ancestry cycle is accepted as a valid loan forest · case 05
A short reborrow ancestry cycle is accepted as a valid loan forest.
Reborrow lifetime can shift beyond the parent loan while keeping equal size · case 01
Reborrow lifetime can shift beyond the parent loan while keeping equal size.
Reborrow lifetime can shift beyond the parent loan while keeping equal size · case 02
Reborrow lifetime can shift beyond the parent loan while keeping equal size.
Reborrow lifetime can shift beyond the parent loan while keeping equal size · case 03
Reborrow lifetime can shift beyond the parent loan while keeping equal size.
Reborrow lifetime can shift beyond the parent loan while keeping equal size · case 04
Reborrow lifetime can shift beyond the parent loan while keeping equal size.
Reborrow lifetime can shift beyond the parent loan while keeping equal size · case 05
Reborrow lifetime can shift beyond the parent loan while keeping equal size.
A shared parent manufactures an exclusive child capability · case 01
A shared parent manufactures an exclusive child capability.
A shared parent manufactures an exclusive child capability · case 02
A shared parent manufactures an exclusive child capability.
A shared parent manufactures an exclusive child capability · case 03
A shared parent manufactures an exclusive child capability.
A shared parent manufactures an exclusive child capability · case 04
A shared parent manufactures an exclusive child capability.
A shared parent manufactures an exclusive child capability · case 05
A shared parent manufactures an exclusive child capability.
A unique child only suspends parent access when their use regions are identical · case 01
A unique child only suspends parent access when their use regions are identical.
A unique child only suspends parent access when their use regions are identical · case 02
A unique child only suspends parent access when their use regions are identical.
A unique child only suspends parent access when their use regions are identical · case 03
A unique child only suspends parent access when their use regions are identical.
A unique child only suspends parent access when their use regions are identical · case 04
A unique child only suspends parent access when their use regions are identical.
A unique child only suspends parent access when their use regions are identical · case 05
A unique child only suspends parent access when their use regions are identical.
A reborrow projects from a sibling of the authorized parent place · case 01
A reborrow projects from a sibling of the authorized parent place.
A reborrow projects from a sibling of the authorized parent place · case 02
A reborrow projects from a sibling of the authorized parent place.
A reborrow projects from a sibling of the authorized parent place · case 03
A reborrow projects from a sibling of the authorized parent place.
A reborrow projects from a sibling of the authorized parent place · case 04
A reborrow projects from a sibling of the authorized parent place.
A reborrow projects from a sibling of the authorized parent place · case 05
A reborrow projects from a sibling of the authorized parent place.
Nested reborrow bypasses the suspended immediate parent loan · case 01
Nested reborrow bypasses the suspended immediate parent loan.
Nested reborrow bypasses the suspended immediate parent loan · case 02
Nested reborrow bypasses the suspended immediate parent loan.
Nested reborrow bypasses the suspended immediate parent loan · case 03
Nested reborrow bypasses the suspended immediate parent loan.
Nested reborrow bypasses the suspended immediate parent loan · case 04
Nested reborrow bypasses the suspended immediate parent loan.
Nested reborrow bypasses the suspended immediate parent loan · case 05
Nested reborrow bypasses the suspended immediate parent loan.
Distinct sibling exclusive reborrows overlap at a shared program point · case 01
Distinct sibling exclusive reborrows overlap at a shared program point.
Distinct sibling exclusive reborrows overlap at a shared program point · case 02
Distinct sibling exclusive reborrows overlap at a shared program point.
Distinct sibling exclusive reborrows overlap at a shared program point · case 03
Distinct sibling exclusive reborrows overlap at a shared program point.
Distinct sibling exclusive reborrows overlap at a shared program point · case 04
Distinct sibling exclusive reborrows overlap at a shared program point.
Distinct sibling exclusive reborrows overlap at a shared program point · case 05
Distinct sibling exclusive reborrows overlap at a shared program point.
Ending a reborrow invalidates its still-live ancestor reference · case 01
Ending a reborrow invalidates its still-live ancestor reference.
Ending a reborrow invalidates its still-live ancestor reference · case 02
Ending a reborrow invalidates its still-live ancestor reference.
Ending a reborrow invalidates its still-live ancestor reference · case 03
Ending a reborrow invalidates its still-live ancestor reference.
Ending a reborrow invalidates its still-live ancestor reference · case 04
Ending a reborrow invalidates its still-live ancestor reference.
Ending a reborrow invalidates its still-live ancestor reference · case 05
Ending a reborrow invalidates its still-live ancestor reference.
Killing an origin leaves a descendant loan statically usable · case 01
Killing an origin leaves a descendant loan statically usable.
Killing an origin leaves a descendant loan statically usable · case 02
Killing an origin leaves a descendant loan statically usable.
Killing an origin leaves a descendant loan statically usable · case 03
Killing an origin leaves a descendant loan statically usable.
Killing an origin leaves a descendant loan statically usable · case 04
Killing an origin leaves a descendant loan statically usable.
Killing an origin leaves a descendant loan statically usable · case 05
Killing an origin leaves a descendant loan statically usable.
Activation accepts an identified loan with no reservation event · case 01
Activation accepts an identified loan with no reservation event.
Activation accepts an identified loan with no reservation event · case 02
Activation accepts an identified loan with no reservation event.
Activation accepts an identified loan with no reservation event · case 03
Activation accepts an identified loan with no reservation event.
Activation accepts an identified loan with no reservation event · case 04
Activation accepts an identified loan with no reservation event.
Activation accepts an identified loan with no reservation event · case 05
Activation accepts an identified loan with no reservation event.
A reservation on one branch is assumed to dominate activation after a join · case 01
A reservation on one branch is assumed to dominate activation after a join.
A reservation on one branch is assumed to dominate activation after a join · case 02
A reservation on one branch is assumed to dominate activation after a join.
A reservation on one branch is assumed to dominate activation after a join · case 03
A reservation on one branch is assumed to dominate activation after a join.
A reservation on one branch is assumed to dominate activation after a join · case 04
A reservation on one branch is assumed to dominate activation after a join.
A reservation on one branch is assumed to dominate activation after a join · case 05
A reservation on one branch is assumed to dominate activation after a join.
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 ↗