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 one-past pointer is converted to a usable reference · case 01
A one-past pointer is converted to a usable reference.
A one-past pointer is converted to a usable reference · case 02
A one-past pointer is converted to a usable reference.
A one-past pointer is converted to a usable reference · case 03
A one-past pointer is converted to a usable reference.
A one-past pointer is converted to a usable reference · case 04
A one-past pointer is converted to a usable reference.
A one-past pointer is converted to a usable reference · case 05
A one-past pointer is converted to a usable reference.
Raw-to-reference conversion postpones origin liveness until a later dereference · case 01
Raw-to-reference conversion postpones origin liveness until a later dereference.
Raw-to-reference conversion postpones origin liveness until a later dereference · case 02
Raw-to-reference conversion postpones origin liveness until a later dereference.
Raw-to-reference conversion postpones origin liveness until a later dereference · case 03
Raw-to-reference conversion postpones origin liveness until a later dereference.
Raw-to-reference conversion postpones origin liveness until a later dereference · case 04
Raw-to-reference conversion postpones origin liveness until a later dereference.
Raw-to-reference conversion postpones origin liveness until a later dereference · case 05
Raw-to-reference conversion postpones origin liveness until a later dereference.
Integer address reconstruction invents a static borrow capability · case 01
Integer address reconstruction invents a static borrow capability.
Integer address reconstruction invents a static borrow capability · case 02
Integer address reconstruction invents a static borrow capability.
Integer address reconstruction invents a static borrow capability · case 03
Integer address reconstruction invents a static borrow capability.
Integer address reconstruction invents a static borrow capability · case 04
Integer address reconstruction invents a static borrow capability.
Integer address reconstruction invents a static borrow capability · case 05
Integer address reconstruction invents a static borrow capability.
In-place reallocation preserves references tied to the old allocation epoch · case 01
In-place reallocation preserves references tied to the old allocation epoch.
In-place reallocation preserves references tied to the old allocation epoch · case 02
In-place reallocation preserves references tied to the old allocation epoch.
In-place reallocation preserves references tied to the old allocation epoch · case 03
In-place reallocation preserves references tied to the old allocation epoch.
In-place reallocation preserves references tied to the old allocation epoch · case 04
In-place reallocation preserves references tied to the old allocation epoch.
In-place reallocation preserves references tied to the old allocation epoch · case 05
In-place reallocation preserves references tied to the old allocation epoch.
Distinct zero-sized owner identities collapse during provenance canonicalization · case 01
Distinct zero-sized owner identities collapse during provenance canonicalization.
Distinct zero-sized owner identities collapse during provenance canonicalization · case 02
Distinct zero-sized owner identities collapse during provenance canonicalization.
Distinct zero-sized owner identities collapse during provenance canonicalization · case 03
Distinct zero-sized owner identities collapse during provenance canonicalization.
Distinct zero-sized owner identities collapse during provenance canonicalization · case 04
Distinct zero-sized owner identities collapse during provenance canonicalization.
Distinct zero-sized owner identities collapse during provenance canonicalization · case 05
Distinct zero-sized owner identities collapse during provenance canonicalization.
Union payload reference is justified by the wrong active-variant witness · case 01
Union payload reference is justified by the wrong active-variant witness.
Union payload reference is justified by the wrong active-variant witness · case 02
Union payload reference is justified by the wrong active-variant witness.
Union payload reference is justified by the wrong active-variant witness · case 03
Union payload reference is justified by the wrong active-variant witness.
Union payload reference is justified by the wrong active-variant witness · case 04
Union payload reference is justified by the wrong active-variant witness.
Union payload reference is justified by the wrong active-variant witness · case 05
Union payload reference is justified by the wrong active-variant witness.
A pointer cast changes stack referent storage into heap lifetime · case 01
A pointer cast changes stack referent storage into heap lifetime.
A pointer cast changes stack referent storage into heap lifetime · case 02
A pointer cast changes stack referent storage into heap lifetime.
A pointer cast changes stack referent storage into heap lifetime · case 03
A pointer cast changes stack referent storage into heap lifetime.
A pointer cast changes stack referent storage into heap lifetime · case 04
A pointer cast changes stack referent storage into heap lifetime.
A pointer cast changes stack referent storage into heap lifetime · case 05
A pointer cast changes stack referent storage into heap lifetime.
A field borrow gets its own allocation identity instead of its base owner · case 01
A field borrow gets its own allocation identity instead of its base owner.
A field borrow gets its own allocation identity instead of its base owner · case 02
A field borrow gets its own allocation identity instead of its base owner.
A field borrow gets its own allocation identity instead of its base owner · case 03
A field borrow gets its own allocation identity instead of its base owner.
A field borrow gets its own allocation identity instead of its base owner · case 04
A field borrow gets its own allocation identity instead of its base owner.
A field borrow gets its own allocation identity instead of its base owner · case 05
A field borrow gets its own allocation identity instead of its base owner.
Iterator yield summary loses one backing-storage origin · case 01
Iterator yield summary loses one backing-storage origin.
Iterator yield summary loses one backing-storage origin · case 02
Iterator yield summary loses one backing-storage origin.
Iterator yield summary loses one backing-storage origin · case 03
Iterator yield summary loses one backing-storage origin.
Iterator yield summary loses one backing-storage origin · case 04
Iterator yield summary loses one backing-storage origin.
Iterator yield summary loses one backing-storage origin · case 05
Iterator yield summary loses one backing-storage origin.
A lending item remains usable across the next iterator call · case 01
A lending item remains usable across the next iterator call.
A lending item remains usable across the next iterator call · case 02
A lending item remains usable across the next iterator call.
A lending item remains usable across the next iterator call · case 03
A lending item remains usable across the next iterator call.
A lending item remains usable across the next iterator call · case 04
A lending item remains usable across the next iterator call.
A lending item remains usable across the next iterator call · case 05
A lending item remains usable across the next iterator call.
Mutable iteration yields overlapping element capabilities · case 01
Mutable iteration yields overlapping element capabilities.
Mutable iteration yields overlapping element capabilities · case 02
Mutable iteration yields overlapping element capabilities.
Mutable iteration yields overlapping element capabilities · case 03
Mutable iteration yields overlapping element capabilities.
Mutable iteration yields overlapping element capabilities · case 04
Mutable iteration yields overlapping element capabilities.
Mutable iteration yields overlapping element capabilities · case 05
Mutable iteration yields overlapping element capabilities.
A next-call transfer leaves the prior lending-item loan live · case 01
A next-call transfer leaves the prior lending-item loan live.
A next-call transfer leaves the prior lending-item loan live · case 02
A next-call transfer leaves the prior lending-item loan live.
A next-call transfer leaves the prior lending-item loan live · case 03
A next-call transfer leaves the prior lending-item loan live.
A next-call transfer leaves the prior lending-item loan live · case 04
A next-call transfer leaves the prior lending-item loan live.
A next-call transfer leaves the prior lending-item loan live · case 05
A next-call transfer leaves the prior lending-item loan live.
Front and back iterator cursors yield the same mutable element · case 01
Front and back iterator cursors yield the same mutable element.
Front and back iterator cursors yield the same mutable element · case 02
Front and back iterator cursors yield the same mutable element.
Front and back iterator cursors yield the same mutable element · case 03
Front and back iterator cursors yield the same mutable element.
Front and back iterator cursors yield the same mutable element · case 04
Front and back iterator cursors yield the same mutable element.
Front and back iterator cursors yield the same mutable element · case 05
Front and back iterator cursors yield the same mutable element.
Chunk iterator lowering drops the remainder borrow capability · case 01
Chunk iterator lowering drops the remainder borrow capability.
Chunk iterator lowering drops the remainder borrow capability · case 02
Chunk iterator lowering drops the remainder borrow capability.
Chunk iterator lowering drops the remainder borrow capability · case 03
Chunk iterator lowering drops the remainder borrow capability.
Chunk iterator lowering drops the remainder borrow capability · case 04
Chunk iterator lowering drops the remainder borrow capability.
Chunk iterator lowering drops the remainder borrow capability · case 05
Chunk iterator lowering drops the remainder borrow capability.
An iterator adapter extends a borrowed item beyond its source lifetime · case 01
An iterator adapter extends a borrowed item beyond its source lifetime.
An iterator adapter extends a borrowed item beyond its source lifetime · case 02
An iterator adapter extends a borrowed item beyond its source lifetime.
An iterator adapter extends a borrowed item beyond its source lifetime · case 03
An iterator adapter extends a borrowed item beyond its source lifetime.
An iterator adapter extends a borrowed item beyond its source lifetime · case 04
An iterator adapter extends a borrowed item beyond its source lifetime.
An iterator adapter extends a borrowed item beyond its source lifetime · case 05
An iterator adapter extends a borrowed item beyond its source lifetime.
Collected lending references survive the iteration that owns their loan · case 01
Collected lending references survive the iteration that owns their loan.
Collected lending references survive the iteration that owns their loan · case 02
Collected lending references survive the iteration that owns their loan.
Collected lending references survive the iteration that owns their loan · case 03
Collected lending references survive the iteration that owns their loan.
Collected lending references survive the iteration that owns their loan · case 04
Collected lending references survive the iteration that owns their loan.
Collected lending references survive the iteration that owns their loan · case 05
Collected lending references survive the iteration that owns their loan.
An empty iterator summary invents a yielded borrow · case 01
An empty iterator summary invents a yielded borrow.
An empty iterator summary invents a yielded borrow · case 02
An empty iterator summary invents a yielded borrow.
An empty iterator summary invents a yielded borrow · case 03
An empty iterator summary invents a yielded borrow.
An empty iterator summary invents a yielded borrow · case 04
An empty iterator summary invents a yielded borrow.
An empty iterator summary invents a yielded borrow · case 05
An empty iterator summary invents a yielded borrow.
Destroying an iterator invalidates an independently owned yielded value · case 01
Destroying an iterator invalidates an independently owned yielded value.
Destroying an iterator invalidates an independently owned yielded value · case 02
Destroying an iterator invalidates an independently owned yielded value.
Destroying an iterator invalidates an independently owned yielded value · case 03
Destroying an iterator invalidates an independently owned yielded value.
Destroying an iterator invalidates an independently owned yielded value · case 04
Destroying an iterator invalidates an independently owned yielded value.
Destroying an iterator invalidates an independently owned yielded value · case 05
Destroying an iterator invalidates an independently owned yielded value.
Reference freezing is treated as reversible to exclusive access · case 01
Reference freezing is treated as reversible to exclusive access.
Reference freezing is treated as reversible to exclusive access · case 02
Reference freezing is treated as reversible to exclusive access.
Reference freezing is treated as reversible to exclusive access · case 03
Reference freezing is treated as reversible to exclusive access.
Reference freezing is treated as reversible to exclusive access · case 04
Reference freezing is treated as reversible to exclusive access.
Reference freezing is treated as reversible to exclusive access · case 05
Reference freezing is treated as reversible to exclusive access.
Unsizing manufactures a new referent allocation identity · case 01
Unsizing manufactures a new referent allocation identity.
Unsizing manufactures a new referent allocation identity · case 02
Unsizing manufactures a new referent allocation identity.
Unsizing manufactures a new referent allocation identity · case 03
Unsizing manufactures a new referent allocation identity.
Unsizing manufactures a new referent allocation identity · case 04
Unsizing manufactures a new referent allocation identity.
Unsizing manufactures a new referent allocation identity · case 05
Unsizing manufactures a new referent allocation identity.
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 ↗