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
Sigmoid sends large inputs to the overflowing branch · case 01
Sigmoid sends large inputs to the overflowing branch.
Sigmoid sends large inputs to the overflowing branch · case 02
Sigmoid sends large inputs to the overflowing branch.
Sigmoid sends large inputs to the overflowing branch · case 03
Sigmoid sends large inputs to the overflowing branch.
Sigmoid sends large inputs to the overflowing branch · case 04
Sigmoid sends large inputs to the overflowing branch.
Sigmoid sends large inputs to the overflowing branch · case 05
Sigmoid sends large inputs to the overflowing branch.
Inverse tangent loses tiny input in a logarithmic ratio · case 01
Inverse tangent loses tiny input in a logarithmic ratio.
Inverse tangent loses tiny input in a logarithmic ratio · case 02
Inverse tangent loses tiny input in a logarithmic ratio.
Inverse tangent loses tiny input in a logarithmic ratio · case 03
Inverse tangent loses tiny input in a logarithmic ratio.
Inverse tangent loses tiny input in a logarithmic ratio · case 04
Inverse tangent loses tiny input in a logarithmic ratio.
Inverse tangent loses tiny input in a logarithmic ratio · case 05
Inverse tangent loses tiny input in a logarithmic ratio.
Inverse tangent drops odd symmetry · case 01
Inverse tangent drops odd symmetry.
Inverse tangent drops odd symmetry · case 02
Inverse tangent drops odd symmetry.
Inverse tangent drops odd symmetry · case 03
Inverse tangent drops odd symmetry.
Inverse tangent drops odd symmetry · case 04
Inverse tangent drops odd symmetry.
Inverse tangent drops odd symmetry · case 05
Inverse tangent drops odd symmetry.
Inverse tangent replaces positive pole with zero · case 01
Inverse tangent replaces positive pole with zero.
Inverse tangent replaces positive pole with zero · case 02
Inverse tangent replaces positive pole with zero.
Inverse tangent replaces positive pole with zero · case 03
Inverse tangent replaces positive pole with zero.
Inverse tangent replaces positive pole with zero · case 04
Inverse tangent replaces positive pole with zero.
Inverse tangent replaces positive pole with zero · case 05
Inverse tangent replaces positive pole with zero.
Inverse tangent assigns the wrong sign at its negative pole · case 01
Inverse tangent assigns the wrong sign at its negative pole.
Inverse tangent assigns the wrong sign at its negative pole · case 02
Inverse tangent assigns the wrong sign at its negative pole.
Inverse tangent assigns the wrong sign at its negative pole · case 03
Inverse tangent assigns the wrong sign at its negative pole.
Inverse tangent assigns the wrong sign at its negative pole · case 04
Inverse tangent assigns the wrong sign at its negative pole.
Inverse tangent assigns the wrong sign at its negative pole · case 05
Inverse tangent assigns the wrong sign at its negative pole.
Inverse tangent uses one plus magnitude in its rationalization · case 01
Inverse tangent uses one plus magnitude in its rationalization.
Inverse tangent uses one plus magnitude in its rationalization · case 02
Inverse tangent uses one plus magnitude in its rationalization.
Inverse tangent uses one plus magnitude in its rationalization · case 03
Inverse tangent uses one plus magnitude in its rationalization.
Inverse tangent uses one plus magnitude in its rationalization · case 04
Inverse tangent uses one plus magnitude in its rationalization.
Inverse tangent uses one plus magnitude in its rationalization · case 05
Inverse tangent uses one plus magnitude in its rationalization.
Inverse sine uses a cancellation-prone logarithm for tiny inputs · case 01
Inverse sine uses a cancellation-prone logarithm for tiny inputs.
Inverse sine uses a cancellation-prone logarithm for tiny inputs · case 02
Inverse sine uses a cancellation-prone logarithm for tiny inputs.
Inverse sine uses a cancellation-prone logarithm for tiny inputs · case 03
Inverse sine uses a cancellation-prone logarithm for tiny inputs.
Inverse sine uses a cancellation-prone logarithm for tiny inputs · case 04
Inverse sine uses a cancellation-prone logarithm for tiny inputs.
Inverse sine uses a cancellation-prone logarithm for tiny inputs · case 05
Inverse sine uses a cancellation-prone logarithm for tiny inputs.
Inverse sine squares a huge magnitude before taking its logarithm · case 01
Inverse sine squares a huge magnitude before taking its logarithm.
Inverse sine squares a huge magnitude before taking its logarithm · case 02
Inverse sine squares a huge magnitude before taking its logarithm.
Inverse sine squares a huge magnitude before taking its logarithm · case 03
Inverse sine squares a huge magnitude before taking its logarithm.
Inverse sine squares a huge magnitude before taking its logarithm · case 04
Inverse sine squares a huge magnitude before taking its logarithm.
Inverse sine squares a huge magnitude before taking its logarithm · case 05
Inverse sine squares a huge magnitude before taking its logarithm.
Inverse sine omits the large-input factor of two · case 01
Inverse sine omits the large-input factor of two.
Inverse sine omits the large-input factor of two · case 02
Inverse sine omits the large-input factor of two.
Inverse sine omits the large-input factor of two · case 03
Inverse sine omits the large-input factor of two.
Inverse sine omits the large-input factor of two · case 04
Inverse sine omits the large-input factor of two.
Inverse sine omits the large-input factor of two · case 05
Inverse sine omits the large-input factor of two.
Inverse sine rationalizes with the wrong square-root denominator · case 01
Inverse sine rationalizes with the wrong square-root denominator.
Inverse sine rationalizes with the wrong square-root denominator · case 02
Inverse sine rationalizes with the wrong square-root denominator.
Inverse sine rationalizes with the wrong square-root denominator · case 03
Inverse sine rationalizes with the wrong square-root denominator.
Inverse sine rationalizes with the wrong square-root denominator · case 04
Inverse sine rationalizes with the wrong square-root denominator.
Inverse sine rationalizes with the wrong square-root denominator · case 05
Inverse sine rationalizes with the wrong square-root denominator.
Inverse sine loses the sign in the magnitude branch · case 01
Inverse sine loses the sign in the magnitude branch.
Inverse sine loses the sign in the magnitude branch · case 02
Inverse sine loses the sign in the magnitude branch.
Inverse sine loses the sign in the magnitude branch · case 03
Inverse sine loses the sign in the magnitude branch.
Inverse sine loses the sign in the magnitude branch · case 04
Inverse sine loses the sign in the magnitude branch.
Inverse sine loses the sign in the magnitude branch · case 05
Inverse sine loses the sign in the magnitude branch.
Inverse cosine forms x squared minus one near its branch point · case 01
Inverse cosine forms x squared minus one near its branch point.
Inverse cosine forms x squared minus one near its branch point · case 02
Inverse cosine forms x squared minus one near its branch point.
Inverse cosine forms x squared minus one near its branch point · case 03
Inverse cosine forms x squared minus one near its branch point.
Inverse cosine forms x squared minus one near its branch point · case 04
Inverse cosine forms x squared minus one near its branch point.
Inverse cosine forms x squared minus one near its branch point · case 05
Inverse cosine forms x squared minus one near its branch point.
Inverse cosine overflows while squaring a finite input · case 01
Inverse cosine overflows while squaring a finite input.
Inverse cosine overflows while squaring a finite input · case 02
Inverse cosine overflows while squaring a finite input.
Inverse cosine overflows while squaring a finite input · case 03
Inverse cosine overflows while squaring a finite input.
Inverse cosine overflows while squaring a finite input · case 04
Inverse cosine overflows while squaring a finite input.
Inverse cosine overflows while squaring a finite input · case 05
Inverse cosine overflows while squaring a finite input.
Inverse cosine forgets the factor of two at large magnitude · case 01
Inverse cosine forgets the factor of two at large magnitude.
Inverse cosine forgets the factor of two at large magnitude · case 02
Inverse cosine forgets the factor of two at large magnitude.
Inverse cosine forgets the factor of two at large magnitude · case 03
Inverse cosine forgets the factor of two at large magnitude.
Inverse cosine forgets the factor of two at large magnitude · case 04
Inverse cosine forgets the factor of two at large magnitude.
Inverse cosine forgets the factor of two at large magnitude · case 05
Inverse cosine forgets the factor of two at large magnitude.
Inverse cosine rejects its finite branch point · case 01
Inverse cosine rejects its finite branch point.
Inverse cosine rejects its finite branch point · case 02
Inverse cosine rejects its finite branch point.
Inverse cosine rejects its finite branch point · case 03
Inverse cosine rejects its finite branch point.
Inverse cosine rejects its finite branch point · case 04
Inverse cosine rejects its finite branch point.
Inverse cosine rejects its finite branch point · case 05
Inverse cosine rejects its finite branch point.
Inverse cosine rationalization omits the x plus one factor · case 01
Inverse cosine rationalization omits the x plus one factor.
Inverse cosine rationalization omits the x plus one factor · case 02
Inverse cosine rationalization omits the x plus one factor.
Inverse cosine rationalization omits the x plus one factor · case 03
Inverse cosine rationalization omits the x plus one factor.
Inverse cosine rationalization omits the x plus one factor · case 04
Inverse cosine rationalization omits the x plus one factor.
Inverse cosine rationalization omits the x plus one factor · case 05
Inverse cosine rationalization omits the x plus one factor.
Exponential relative increment uses a zero removable limit · case 01
Exponential relative increment uses a zero removable limit.
Exponential relative increment uses a zero removable limit · case 02
Exponential relative increment uses a zero removable limit.
Exponential relative increment uses a zero removable limit · case 03
Exponential relative increment uses a zero removable limit.
Exponential relative increment uses a zero removable limit · case 04
Exponential relative increment uses a zero removable limit.
Exponential relative increment uses a zero removable limit · case 05
Exponential relative increment uses a zero removable limit.
Exponential relative increment subtracts rounded unity · case 01
Exponential relative increment subtracts rounded unity.
Exponential relative increment subtracts rounded unity · case 02
Exponential relative increment subtracts rounded unity.
Exponential relative increment subtracts rounded unity · case 03
Exponential relative increment subtracts rounded unity.
Exponential relative increment subtracts rounded unity · case 04
Exponential relative increment subtracts rounded unity.
Exponential relative increment subtracts rounded unity · case 05
Exponential relative increment subtracts rounded unity.
Exponential relative increment divides by unsigned magnitude · case 01
Exponential relative increment divides by unsigned magnitude.
Exponential relative increment divides by unsigned magnitude · case 02
Exponential relative increment divides by unsigned magnitude.
Exponential relative increment divides by unsigned magnitude · case 03
Exponential relative increment divides by unsigned magnitude.
Exponential relative increment divides by unsigned magnitude · case 04
Exponential relative increment divides by unsigned magnitude.
Exponential relative increment divides by unsigned magnitude · case 05
Exponential relative increment divides by unsigned magnitude.
Exponential relative increment uses its logarithmic inverse · case 01
Exponential relative increment uses its logarithmic inverse.
Exponential relative increment uses its logarithmic inverse · case 02
Exponential relative increment uses its logarithmic inverse.
Exponential relative increment uses its logarithmic inverse · case 03
Exponential relative increment uses its logarithmic inverse.
Exponential relative increment uses its logarithmic inverse · case 04
Exponential relative increment uses its logarithmic inverse.
Exponential relative increment uses its logarithmic inverse · case 05
Exponential relative increment uses its logarithmic inverse.
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 ↗