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
Floating total order compares decoded numeric values · case 01
Floating total order compares decoded numeric values.
Floating total order compares decoded numeric values · case 02
Floating total order compares decoded numeric values.
Floating total order compares decoded numeric values · case 03
Floating total order compares decoded numeric values.
Floating total order compares decoded numeric values · case 04
Floating total order compares decoded numeric values.
Floating total order compares decoded numeric values · case 05
Floating total order compares decoded numeric values.
Floating total-order sorting drops repeated encodings · case 01
Floating total-order sorting drops repeated encodings.
Floating total-order sorting drops repeated encodings · case 02
Floating total-order sorting drops repeated encodings.
Floating total-order sorting drops repeated encodings · case 03
Floating total-order sorting drops repeated encodings.
Floating total-order sorting drops repeated encodings · case 04
Floating total-order sorting drops repeated encodings.
Floating total-order sorting drops repeated encodings · case 05
Floating total-order sorting drops repeated encodings.
Exact ratio conversion omits the normal hidden bit · case 01
Exact ratio conversion omits the normal hidden bit.
Exact ratio conversion omits the normal hidden bit · case 02
Exact ratio conversion omits the normal hidden bit.
Exact ratio conversion omits the normal hidden bit · case 03
Exact ratio conversion omits the normal hidden bit.
Exact ratio conversion omits the normal hidden bit · case 04
Exact ratio conversion omits the normal hidden bit.
Exact ratio conversion omits the normal hidden bit · case 05
Exact ratio conversion omits the normal hidden bit.
Exact ratio conversion forgets the fraction binary point · case 01
Exact ratio conversion forgets the fraction binary point.
Exact ratio conversion forgets the fraction binary point · case 02
Exact ratio conversion forgets the fraction binary point.
Exact ratio conversion forgets the fraction binary point · case 03
Exact ratio conversion forgets the fraction binary point.
Exact ratio conversion forgets the fraction binary point · case 04
Exact ratio conversion forgets the fraction binary point.
Exact ratio conversion forgets the fraction binary point · case 05
Exact ratio conversion forgets the fraction binary point.
Exact ratio conversion scales subnormals as normal mantissas · case 01
Exact ratio conversion scales subnormals as normal mantissas.
Exact ratio conversion scales subnormals as normal mantissas · case 02
Exact ratio conversion scales subnormals as normal mantissas.
Exact ratio conversion scales subnormals as normal mantissas · case 03
Exact ratio conversion scales subnormals as normal mantissas.
Exact ratio conversion scales subnormals as normal mantissas · case 04
Exact ratio conversion scales subnormals as normal mantissas.
Exact ratio conversion scales subnormals as normal mantissas · case 05
Exact ratio conversion scales subnormals as normal mantissas.
Exact ratio conversion returns a zero denominator for zero · case 01
Exact ratio conversion returns a zero denominator for zero.
Exact ratio conversion returns a zero denominator for zero · case 02
Exact ratio conversion returns a zero denominator for zero.
Exact ratio conversion returns a zero denominator for zero · case 03
Exact ratio conversion returns a zero denominator for zero.
Exact ratio conversion returns a zero denominator for zero · case 04
Exact ratio conversion returns a zero denominator for zero.
Exact ratio conversion returns a zero denominator for zero · case 05
Exact ratio conversion returns a zero denominator for zero.
Exact ratio conversion removes factors of two from odd mantissas · case 01
Exact ratio conversion removes factors of two from odd mantissas.
Exact ratio conversion removes factors of two from odd mantissas · case 02
Exact ratio conversion removes factors of two from odd mantissas.
Exact ratio conversion removes factors of two from odd mantissas · case 03
Exact ratio conversion removes factors of two from odd mantissas.
Exact ratio conversion removes factors of two from odd mantissas · case 04
Exact ratio conversion removes factors of two from odd mantissas.
Exact ratio conversion removes factors of two from odd mantissas · case 05
Exact ratio conversion removes factors of two from odd mantissas.
Exact ratio reduction moves exponent in the wrong direction · case 01
Exact ratio reduction moves exponent in the wrong direction.
Exact ratio reduction moves exponent in the wrong direction · case 02
Exact ratio reduction moves exponent in the wrong direction.
Exact ratio reduction moves exponent in the wrong direction · case 03
Exact ratio reduction moves exponent in the wrong direction.
Exact ratio reduction moves exponent in the wrong direction · case 04
Exact ratio reduction moves exponent in the wrong direction.
Exact ratio reduction moves exponent in the wrong direction · case 05
Exact ratio reduction moves exponent in the wrong direction.
Exact ratio conversion loses sign on integral outputs · case 01
Exact ratio conversion loses sign on integral outputs.
Exact ratio conversion loses sign on integral outputs · case 02
Exact ratio conversion loses sign on integral outputs.
Exact ratio conversion loses sign on integral outputs · case 03
Exact ratio conversion loses sign on integral outputs.
Exact ratio conversion loses sign on integral outputs · case 04
Exact ratio conversion loses sign on integral outputs.
Exact ratio conversion loses sign on integral outputs · case 05
Exact ratio conversion loses sign on integral outputs.
Exact ratio conversion assigns sign to the denominator · case 01
Exact ratio conversion assigns sign to the denominator.
Exact ratio conversion assigns sign to the denominator · case 02
Exact ratio conversion assigns sign to the denominator.
Exact ratio conversion assigns sign to the denominator · case 03
Exact ratio conversion assigns sign to the denominator.
Exact ratio conversion assigns sign to the denominator · case 04
Exact ratio conversion assigns sign to the denominator.
Exact ratio conversion assigns sign to the denominator · case 05
Exact ratio conversion assigns sign to the denominator.
Stochastic rounding increments at draw equal to remainder · case 01
Stochastic rounding increments at draw equal to remainder.
Stochastic rounding increments at draw equal to remainder · case 02
Stochastic rounding increments at draw equal to remainder.
Stochastic rounding increments at draw equal to remainder · case 03
Stochastic rounding increments at draw equal to remainder.
Stochastic rounding increments at draw equal to remainder · case 04
Stochastic rounding increments at draw equal to remainder.
Stochastic rounding increments at draw equal to remainder · case 05
Stochastic rounding increments at draw equal to remainder.
Stochastic rounding replaces the remainder probability with a fair coin · case 01
Stochastic rounding replaces the remainder probability with a fair coin.
Stochastic rounding replaces the remainder probability with a fair coin · case 02
Stochastic rounding replaces the remainder probability with a fair coin.
Stochastic rounding replaces the remainder probability with a fair coin · case 03
Stochastic rounding replaces the remainder probability with a fair coin.
Stochastic rounding replaces the remainder probability with a fair coin · case 04
Stochastic rounding replaces the remainder probability with a fair coin.
Stochastic rounding replaces the remainder probability with a fair coin · case 05
Stochastic rounding replaces the remainder probability with a fair coin.
Stochastic rounding adds upward in numeric order after sign application · case 01
Stochastic rounding adds upward in numeric order after sign application.
Stochastic rounding adds upward in numeric order after sign application · case 02
Stochastic rounding adds upward in numeric order after sign application.
Stochastic rounding adds upward in numeric order after sign application · case 03
Stochastic rounding adds upward in numeric order after sign application.
Stochastic rounding adds upward in numeric order after sign application · case 04
Stochastic rounding adds upward in numeric order after sign application.
Stochastic rounding adds upward in numeric order after sign application · case 05
Stochastic rounding adds upward in numeric order after sign application.
Stochastic rounding increments an exactly represented input on zero draw · case 01
Stochastic rounding increments an exactly represented input on zero draw.
Stochastic rounding increments an exactly represented input on zero draw · case 02
Stochastic rounding increments an exactly represented input on zero draw.
Stochastic rounding increments an exactly represented input on zero draw · case 03
Stochastic rounding increments an exactly represented input on zero draw.
Stochastic rounding increments an exactly represented input on zero draw · case 04
Stochastic rounding increments an exactly represented input on zero draw.
Stochastic rounding increments an exactly represented input on zero draw · case 05
Stochastic rounding increments an exactly represented input on zero draw.
Stochastic rounding truncates the probability before sampling · case 01
Stochastic rounding truncates the probability before sampling.
Stochastic rounding truncates the probability before sampling · case 02
Stochastic rounding truncates the probability before sampling.
Stochastic rounding truncates the probability before sampling · case 03
Stochastic rounding truncates the probability before sampling.
Stochastic rounding truncates the probability before sampling · case 04
Stochastic rounding truncates the probability before sampling.
Stochastic rounding truncates the probability before sampling · case 05
Stochastic rounding truncates the probability before sampling.
Stochastic rounding accepts an out-of-range remainder · case 01
Stochastic rounding accepts an out-of-range remainder.
Stochastic rounding accepts an out-of-range remainder · case 02
Stochastic rounding accepts an out-of-range remainder.
Stochastic rounding accepts an out-of-range remainder · case 03
Stochastic rounding accepts an out-of-range remainder.
Stochastic rounding accepts an out-of-range remainder · case 04
Stochastic rounding accepts an out-of-range remainder.
Stochastic rounding accepts an out-of-range remainder · case 05
Stochastic rounding accepts an out-of-range remainder.
Interpolation forms an overflowing difference across signs · case 01
Interpolation forms an overflowing difference across signs.
Interpolation forms an overflowing difference across signs · case 02
Interpolation forms an overflowing difference across signs.
Interpolation forms an overflowing difference across signs · case 03
Interpolation forms an overflowing difference across signs.
Interpolation forms an overflowing difference across signs · case 04
Interpolation forms an overflowing difference across signs.
Interpolation forms an overflowing difference across signs · case 05
Interpolation forms an overflowing difference across signs.
Same-sign interpolation adds endpoints before weighting · case 01
Same-sign interpolation adds endpoints before weighting.
Same-sign interpolation adds endpoints before weighting · case 02
Same-sign interpolation adds endpoints before weighting.
Same-sign interpolation adds endpoints before weighting · case 03
Same-sign interpolation adds endpoints before weighting.
Same-sign interpolation adds endpoints before weighting · case 04
Same-sign interpolation adds endpoints before weighting.
Same-sign interpolation adds endpoints before weighting · case 05
Same-sign interpolation adds endpoints before weighting.
Interpolation computes instead of preserving its first endpoint · case 01
Interpolation computes instead of preserving its first endpoint.
Interpolation computes instead of preserving its first endpoint · case 02
Interpolation computes instead of preserving its first endpoint.
Interpolation computes instead of preserving its first endpoint · case 03
Interpolation computes instead of preserving its first endpoint.
Interpolation computes instead of preserving its first endpoint · case 04
Interpolation computes instead of preserving its first endpoint.
Interpolation computes instead of preserving its first endpoint · case 05
Interpolation computes instead of preserving its first endpoint.
Interpolation computes instead of preserving its last endpoint · case 01
Interpolation computes instead of preserving its last endpoint.
Interpolation computes instead of preserving its last endpoint · case 02
Interpolation computes instead of preserving its last endpoint.
Interpolation computes instead of preserving its last endpoint · case 03
Interpolation computes instead of preserving its last endpoint.
Interpolation computes instead of preserving its last endpoint · case 04
Interpolation computes instead of preserving its last endpoint.
Interpolation computes instead of preserving its last endpoint · case 05
Interpolation computes instead of preserving its last endpoint.
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 ↗