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
Short-circuit lowering unconditionally creates the right operand borrow · case 01
Short-circuit lowering unconditionally creates the right operand borrow.
Short-circuit lowering unconditionally creates the right operand borrow · case 02
Short-circuit lowering unconditionally creates the right operand borrow.
Short-circuit lowering unconditionally creates the right operand borrow · case 03
Short-circuit lowering unconditionally creates the right operand borrow.
Short-circuit lowering unconditionally creates the right operand borrow · case 04
Short-circuit lowering unconditionally creates the right operand borrow.
Short-circuit lowering unconditionally creates the right operand borrow · case 05
Short-circuit lowering unconditionally creates the right operand borrow.
Method autoref borrows the pointer container instead of the resolved receiver place · case 01
Method autoref borrows the pointer container instead of the resolved receiver place.
Method autoref borrows the pointer container instead of the resolved receiver place · case 02
Method autoref borrows the pointer container instead of the resolved receiver place.
Method autoref borrows the pointer container instead of the resolved receiver place · case 03
Method autoref borrows the pointer container instead of the resolved receiver place.
Method autoref borrows the pointer container instead of the resolved receiver place · case 04
Method autoref borrows the pointer container instead of the resolved receiver place.
Method autoref borrows the pointer container instead of the resolved receiver place · case 05
Method autoref borrows the pointer container instead of the resolved receiver place.
Compound assignment evaluates a borrowing destination expression twice · case 01
Compound assignment evaluates a borrowing destination expression twice.
Compound assignment evaluates a borrowing destination expression twice · case 02
Compound assignment evaluates a borrowing destination expression twice.
Compound assignment evaluates a borrowing destination expression twice · case 03
Compound assignment evaluates a borrowing destination expression twice.
Compound assignment evaluates a borrowing destination expression twice · case 04
Compound assignment evaluates a borrowing destination expression twice.
Compound assignment evaluates a borrowing destination expression twice · case 05
Compound assignment evaluates a borrowing destination expression twice.
Index lowering reorders index-side mutation before the base borrow · case 01
Index lowering reorders index-side mutation before the base borrow.
Index lowering reorders index-side mutation before the base borrow · case 02
Index lowering reorders index-side mutation before the base borrow.
Index lowering reorders index-side mutation before the base borrow · case 03
Index lowering reorders index-side mutation before the base borrow.
Index lowering reorders index-side mutation before the base borrow · case 04
Index lowering reorders index-side mutation before the base borrow.
Index lowering reorders index-side mutation before the base borrow · case 05
Index lowering reorders index-side mutation before the base borrow.
Await desugaring drops the future owner before its final resume · case 01
Await desugaring drops the future owner before its final resume.
Await desugaring drops the future owner before its final resume · case 02
Await desugaring drops the future owner before its final resume.
Await desugaring drops the future owner before its final resume · case 03
Await desugaring drops the future owner before its final resume.
Await desugaring drops the future owner before its final resume · case 04
Await desugaring drops the future owner before its final resume.
Await desugaring drops the future owner before its final resume · case 05
Await desugaring drops the future owner before its final resume.
Let-else failure branch can use a borrowed binding created only on success · case 01
Let-else failure branch can use a borrowed binding created only on success.
Let-else failure branch can use a borrowed binding created only on success · case 02
Let-else failure branch can use a borrowed binding created only on success.
Let-else failure branch can use a borrowed binding created only on success · case 03
Let-else failure branch can use a borrowed binding created only on success.
Let-else failure branch can use a borrowed binding created only on success · case 04
Let-else failure branch can use a borrowed binding created only on success.
Let-else failure branch can use a borrowed binding created only on success · case 05
Let-else failure branch can use a borrowed binding created only on success.
Destructuring assignment overwrites an owner before RHS borrow evaluation completes · case 01
Destructuring assignment overwrites an owner before RHS borrow evaluation completes.
Destructuring assignment overwrites an owner before RHS borrow evaluation completes · case 02
Destructuring assignment overwrites an owner before RHS borrow evaluation completes.
Destructuring assignment overwrites an owner before RHS borrow evaluation completes · case 03
Destructuring assignment overwrites an owner before RHS borrow evaluation completes.
Destructuring assignment overwrites an owner before RHS borrow evaluation completes · case 04
Destructuring assignment overwrites an owner before RHS borrow evaluation completes.
Destructuring assignment overwrites an owner before RHS borrow evaluation completes · case 05
Destructuring assignment overwrites an owner before RHS borrow evaluation completes.
Return borrow validation observes state after local cleanup erased its provenance · case 01
Return borrow validation observes state after local cleanup erased its provenance.
Return borrow validation observes state after local cleanup erased its provenance · case 02
Return borrow validation observes state after local cleanup erased its provenance.
Return borrow validation observes state after local cleanup erased its provenance · case 03
Return borrow validation observes state after local cleanup erased its provenance.
Return borrow validation observes state after local cleanup erased its provenance · case 04
Return borrow validation observes state after local cleanup erased its provenance.
Return borrow validation observes state after local cleanup erased its provenance · case 05
Return borrow validation observes state after local cleanup erased its provenance.
A child vector slice starts at the parent origin · case 01
A child vector slice starts at the parent origin.
A child vector slice starts at the parent origin · case 02
A child vector slice starts at the parent origin.
A child vector slice starts at the parent origin · case 03
A child vector slice starts at the parent origin.
A child vector slice starts at the parent origin · case 04
A child vector slice starts at the parent origin.
A child vector slice starts at the parent origin · case 05
A child vector slice starts at the parent origin.
Selection composition gathers child offsets as base offsets · case 01
Selection composition gathers child offsets as base offsets.
Selection composition gathers child offsets as base offsets · case 02
Selection composition gathers child offsets as base offsets.
Selection composition gathers child offsets as base offsets · case 03
Selection composition gathers child offsets as base offsets.
Selection composition gathers child offsets as base offsets · case 04
Selection composition gathers child offsets as base offsets.
Selection composition gathers child offsets as base offsets · case 05
Selection composition gathers child offsets as base offsets.
A physical selection is deduplicated before gathering · case 01
A physical selection is deduplicated before gathering.
A physical selection is deduplicated before gathering · case 02
A physical selection is deduplicated before gathering.
A physical selection is deduplicated before gathering · case 03
A physical selection is deduplicated before gathering.
A physical selection is deduplicated before gathering · case 04
A physical selection is deduplicated before gathering.
A physical selection is deduplicated before gathering · case 05
A physical selection is deduplicated before gathering.
Gather reads the output position instead of the selected position · case 01
Gather reads the output position instead of the selected position.
Gather reads the output position instead of the selected position · case 02
Gather reads the output position instead of the selected position.
Gather reads the output position instead of the selected position · case 03
Gather reads the output position instead of the selected position.
Gather reads the output position instead of the selected position · case 04
Gather reads the output position instead of the selected position.
Gather reads the output position instead of the selected position · case 05
Gather reads the output position instead of the selected position.
Validity follows output position instead of base position · case 01
Validity follows output position instead of base position.
Validity follows output position instead of base position · case 02
Validity follows output position instead of base position.
Validity follows output position instead of base position · case 03
Validity follows output position instead of base position.
Validity follows output position instead of base position · case 04
Validity follows output position instead of base position.
Validity follows output position instead of base position · case 05
Validity follows output position instead of base position.
Invalid gathered lanes disappear instead of retaining a null slot · case 01
Invalid gathered lanes disappear instead of retaining a null slot.
Invalid gathered lanes disappear instead of retaining a null slot · case 02
Invalid gathered lanes disappear instead of retaining a null slot.
Invalid gathered lanes disappear instead of retaining a null slot · case 03
Invalid gathered lanes disappear instead of retaining a null slot.
Invalid gathered lanes disappear instead of retaining a null slot · case 04
Invalid gathered lanes disappear instead of retaining a null slot.
Invalid gathered lanes disappear instead of retaining a null slot · case 05
Invalid gathered lanes disappear instead of retaining a null slot.
Each dictionary batch replaces the unified value domain · case 01
Each dictionary batch replaces the unified value domain.
Each dictionary batch replaces the unified value domain · case 02
Each dictionary batch replaces the unified value domain.
Each dictionary batch replaces the unified value domain · case 03
Each dictionary batch replaces the unified value domain.
Each dictionary batch replaces the unified value domain · case 04
Each dictionary batch replaces the unified value domain.
Each dictionary batch replaces the unified value domain · case 05
Each dictionary batch replaces the unified value domain.
Dictionary unification omits values unused by this batch · case 01
Dictionary unification omits values unused by this batch.
Dictionary unification omits values unused by this batch · case 02
Dictionary unification omits values unused by this batch.
Dictionary unification omits values unused by this batch · case 03
Dictionary unification omits values unused by this batch.
Dictionary unification omits values unused by this batch · case 04
Dictionary unification omits values unused by this batch.
Dictionary unification omits values unused by this batch · case 05
Dictionary unification omits values unused by this batch.
Repeated dictionary values allocate different global codes · case 01
Repeated dictionary values allocate different global codes.
Repeated dictionary values allocate different global codes · case 02
Repeated dictionary values allocate different global codes.
Repeated dictionary values allocate different global codes · case 03
Repeated dictionary values allocate different global codes.
Repeated dictionary values allocate different global codes · case 04
Repeated dictionary values allocate different global codes.
Repeated dictionary values allocate different global codes · case 05
Repeated dictionary values allocate different global codes.
Local dictionary codes survive a global dictionary merge · case 01
Local dictionary codes survive a global dictionary merge.
Local dictionary codes survive a global dictionary merge · case 02
Local dictionary codes survive a global dictionary merge.
Local dictionary codes survive a global dictionary merge · case 03
Local dictionary codes survive a global dictionary merge.
Local dictionary codes survive a global dictionary merge · case 04
Local dictionary codes survive a global dictionary merge.
Local dictionary codes survive a global dictionary merge · case 05
Local dictionary codes survive a global dictionary merge.
Null dictionary lanes are decoded as real values · case 01
Null dictionary lanes are decoded as real values.
Null dictionary lanes are decoded as real values · case 02
Null dictionary lanes are decoded as real values.
Null dictionary lanes are decoded as real values · case 03
Null dictionary lanes are decoded as real values.
Null dictionary lanes are decoded as real values · case 04
Null dictionary lanes are decoded as real values.
Null dictionary lanes are decoded as real values · case 05
Null dictionary lanes are decoded as real values.
Rewritten dictionary batches are flattened into one batch · case 01
Rewritten dictionary batches are flattened into one batch.
Rewritten dictionary batches are flattened into one batch · case 02
Rewritten dictionary batches are flattened into one batch.
Rewritten dictionary batches are flattened into one batch · case 03
Rewritten dictionary batches are flattened into one batch.
Rewritten dictionary batches are flattened into one batch · case 04
Rewritten dictionary batches are flattened into one batch.
Rewritten dictionary batches are flattened into one batch · case 05
Rewritten dictionary batches are flattened into one batch.
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 ↗