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
Combined use lifetime drops points from one use region · case 01
Combined use lifetime drops points from one use region.
Combined use lifetime drops points from one use region · case 02
Combined use lifetime drops points from one use region.
Combined use lifetime drops points from one use region · case 03
Combined use lifetime drops points from one use region.
Combined use lifetime drops points from one use region · case 04
Combined use lifetime drops points from one use region.
Combined use lifetime drops points from one use region · case 05
Combined use lifetime drops points from one use region.
Unsatisfied lifetime obligations report extra availability as missing · case 01
Unsatisfied lifetime obligations report extra availability as missing.
Unsatisfied lifetime obligations report extra availability as missing · case 02
Unsatisfied lifetime obligations report extra availability as missing.
Unsatisfied lifetime obligations report extra availability as missing · case 03
Unsatisfied lifetime obligations report extra availability as missing.
Unsatisfied lifetime obligations report extra availability as missing · case 04
Unsatisfied lifetime obligations report extra availability as missing.
Unsatisfied lifetime obligations report extra availability as missing · case 05
Unsatisfied lifetime obligations report extra availability as missing.
Strict lifetime shortening accepts a same-sized or incomparable region · case 01
Strict lifetime shortening accepts a same-sized or incomparable region.
Strict lifetime shortening accepts a same-sized or incomparable region · case 02
Strict lifetime shortening accepts a same-sized or incomparable region.
Strict lifetime shortening accepts a same-sized or incomparable region · case 03
Strict lifetime shortening accepts a same-sized or incomparable region.
Strict lifetime shortening accepts a same-sized or incomparable region · case 04
Strict lifetime shortening accepts a same-sized or incomparable region.
Strict lifetime shortening accepts a same-sized or incomparable region · case 05
Strict lifetime shortening accepts a same-sized or incomparable region.
Region equivalence depends on enumeration order · case 01
Region equivalence depends on enumeration order.
Region equivalence depends on enumeration order · case 02
Region equivalence depends on enumeration order.
Region equivalence depends on enumeration order · case 03
Region equivalence depends on enumeration order.
Region equivalence depends on enumeration order · case 04
Region equivalence depends on enumeration order.
Region equivalence depends on enumeration order · case 05
Region equivalence depends on enumeration order.
Disjoint live regions are rejected unless one is empty · case 01
Disjoint live regions are rejected unless one is empty.
Disjoint live regions are rejected unless one is empty · case 02
Disjoint live regions are rejected unless one is empty.
Disjoint live regions are rejected unless one is empty · case 03
Disjoint live regions are rejected unless one is empty.
Disjoint live regions are rejected unless one is empty · case 04
Disjoint live regions are rejected unless one is empty.
Disjoint live regions are rejected unless one is empty · case 05
Disjoint live regions are rejected unless one is empty.
Lifetime obligation fold loses the empty conjunction · case 01
Lifetime obligation fold loses the empty conjunction.
Lifetime obligation fold loses the empty conjunction · case 02
Lifetime obligation fold loses the empty conjunction.
Lifetime obligation fold loses the empty conjunction · case 03
Lifetime obligation fold loses the empty conjunction.
Lifetime obligation fold loses the empty conjunction · case 04
Lifetime obligation fold loses the empty conjunction.
Lifetime obligation fold loses the empty conjunction · case 05
Lifetime obligation fold loses the empty conjunction.
Joint-use lifetime diagnostic reports points outside simultaneous demand · case 01
Joint-use lifetime diagnostic reports points outside simultaneous demand.
Joint-use lifetime diagnostic reports points outside simultaneous demand · case 02
Joint-use lifetime diagnostic reports points outside simultaneous demand.
Joint-use lifetime diagnostic reports points outside simultaneous demand · case 03
Joint-use lifetime diagnostic reports points outside simultaneous demand.
Joint-use lifetime diagnostic reports points outside simultaneous demand · case 04
Joint-use lifetime diagnostic reports points outside simultaneous demand.
Joint-use lifetime diagnostic reports points outside simultaneous demand · case 05
Joint-use lifetime diagnostic reports points outside simultaneous demand.
Inferred enclosing lifetime follows its name instead of minimal extent · case 01
Inferred enclosing lifetime follows its name instead of minimal extent.
Inferred enclosing lifetime follows its name instead of minimal extent · case 02
Inferred enclosing lifetime follows its name instead of minimal extent.
Inferred enclosing lifetime follows its name instead of minimal extent · case 03
Inferred enclosing lifetime follows its name instead of minimal extent.
Inferred enclosing lifetime follows its name instead of minimal extent · case 04
Inferred enclosing lifetime follows its name instead of minimal extent.
Inferred enclosing lifetime follows its name instead of minimal extent · case 05
Inferred enclosing lifetime follows its name instead of minimal extent.
Initialization invents paths absent from the declared record · case 01
Initialization invents paths absent from the declared record.
Initialization invents paths absent from the declared record · case 02
Initialization invents paths absent from the declared record.
Initialization invents paths absent from the declared record · case 03
Initialization invents paths absent from the declared record.
Initialization invents paths absent from the declared record · case 04
Initialization invents paths absent from the declared record.
Initialization invents paths absent from the declared record · case 05
Initialization invents paths absent from the declared record.
Moving the last initialized leaf leaves a stale initialization fact · case 01
Moving the last initialized leaf leaves a stale initialization fact.
Moving the last initialized leaf leaves a stale initialization fact · case 02
Moving the last initialized leaf leaves a stale initialization fact.
Moving the last initialized leaf leaves a stale initialization fact · case 03
Moving the last initialized leaf leaves a stale initialization fact.
Moving the last initialized leaf leaves a stale initialization fact · case 04
Moving the last initialized leaf leaves a stale initialization fact.
Moving the last initialized leaf leaves a stale initialization fact · case 05
Moving the last initialized leaf leaves a stale initialization fact.
A read inherits initialization from a different field · case 01
A read inherits initialization from a different field.
A read inherits initialization from a different field · case 02
A read inherits initialization from a different field.
A read inherits initialization from a different field · case 03
A read inherits initialization from a different field.
A read inherits initialization from a different field · case 04
A read inherits initialization from a different field.
A read inherits initialization from a different field · case 05
A read inherits initialization from a different field.
Whole-value initialization mishandles empty records · case 01
Whole-value initialization mishandles empty records.
Whole-value initialization mishandles empty records · case 02
Whole-value initialization mishandles empty records.
Whole-value initialization mishandles empty records · case 03
Whole-value initialization mishandles empty records.
Whole-value initialization mishandles empty records · case 04
Whole-value initialization mishandles empty records.
Whole-value initialization mishandles empty records · case 05
Whole-value initialization mishandles empty records.
Reinitializing a completely moved record fails to restore its leaf · case 01
Reinitializing a completely moved record fails to restore its leaf.
Reinitializing a completely moved record fails to restore its leaf · case 02
Reinitializing a completely moved record fails to restore its leaf.
Reinitializing a completely moved record fails to restore its leaf · case 03
Reinitializing a completely moved record fails to restore its leaf.
Reinitializing a completely moved record fails to restore its leaf · case 04
Reinitializing a completely moved record fails to restore its leaf.
Reinitializing a completely moved record fails to restore its leaf · case 05
Reinitializing a completely moved record fails to restore its leaf.
Static drop transfer preserves initialized descendants · case 01
Static drop transfer preserves initialized descendants.
Static drop transfer preserves initialized descendants · case 02
Static drop transfer preserves initialized descendants.
Static drop transfer preserves initialized descendants · case 03
Static drop transfer preserves initialized descendants.
Static drop transfer preserves initialized descendants · case 04
Static drop transfer preserves initialized descendants.
Static drop transfer preserves initialized descendants · case 05
Static drop transfer preserves initialized descendants.
Storage death preserves leaf facts into a reused slot · case 01
Storage death preserves leaf facts into a reused slot.
Storage death preserves leaf facts into a reused slot · case 02
Storage death preserves leaf facts into a reused slot.
Storage death preserves leaf facts into a reused slot · case 03
Storage death preserves leaf facts into a reused slot.
Storage death preserves leaf facts into a reused slot · case 04
Storage death preserves leaf facts into a reused slot.
Storage death preserves leaf facts into a reused slot · case 05
Storage death preserves leaf facts into a reused slot.
Copy transfer incorrectly consumes a copyable leaf · case 01
Copy transfer incorrectly consumes a copyable leaf.
Copy transfer incorrectly consumes a copyable leaf · case 02
Copy transfer incorrectly consumes a copyable leaf.
Copy transfer incorrectly consumes a copyable leaf · case 03
Copy transfer incorrectly consumes a copyable leaf.
Copy transfer incorrectly consumes a copyable leaf · case 04
Copy transfer incorrectly consumes a copyable leaf.
Copy transfer incorrectly consumes a copyable leaf · case 05
Copy transfer incorrectly consumes a copyable leaf.
Definite initialization at a branch join retains one-arm facts · case 01
Definite initialization at a branch join retains one-arm facts.
Definite initialization at a branch join retains one-arm facts · case 02
Definite initialization at a branch join retains one-arm facts.
Definite initialization at a branch join retains one-arm facts · case 03
Definite initialization at a branch join retains one-arm facts.
Definite initialization at a branch join retains one-arm facts · case 04
Definite initialization at a branch join retains one-arm facts.
Definite initialization at a branch join retains one-arm facts · case 05
Definite initialization at a branch join retains one-arm facts.
Diagnostic initialized-path enumeration reports moved leaves · case 01
Diagnostic initialized-path enumeration reports moved leaves.
Diagnostic initialized-path enumeration reports moved leaves · case 02
Diagnostic initialized-path enumeration reports moved leaves.
Diagnostic initialized-path enumeration reports moved leaves · case 03
Diagnostic initialized-path enumeration reports moved leaves.
Diagnostic initialized-path enumeration reports moved leaves · case 04
Diagnostic initialized-path enumeration reports moved leaves.
Diagnostic initialized-path enumeration reports moved leaves · case 05
Diagnostic initialized-path enumeration reports moved leaves.
Reading a reference fails to extend its inferred loan lifetime · case 01
Reading a reference fails to extend its inferred loan lifetime.
Reading a reference fails to extend its inferred loan lifetime · case 02
Reading a reference fails to extend its inferred loan lifetime.
Reading a reference fails to extend its inferred loan lifetime · case 03
Reading a reference fails to extend its inferred loan lifetime.
Reading a reference fails to extend its inferred loan lifetime · case 04
Reading a reference fails to extend its inferred loan lifetime.
Reading a reference fails to extend its inferred loan lifetime · case 05
Reading a reference fails to extend its inferred loan lifetime.
Returned references disappear from entry lifetime obligations · case 01
Returned references disappear from entry lifetime obligations.
Returned references disappear from entry lifetime obligations · case 02
Returned references disappear from entry lifetime obligations.
Returned references disappear from entry lifetime obligations · case 03
Returned references disappear from entry lifetime obligations.
Returned references disappear from entry lifetime obligations · case 04
Returned references disappear from entry lifetime obligations.
Returned references disappear from entry lifetime obligations · case 05
Returned references disappear from entry lifetime obligations.
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 ↗