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
Ascending polynomial evaluation · case 01
Ascending coefficients are evaluated as descending coefficients.
Ascending polynomial evaluation · case 02
Ascending coefficients are evaluated as descending coefficients.
Ascending polynomial evaluation · case 03
Ascending coefficients are evaluated as descending coefficients.
Ascending polynomial evaluation · case 04
Ascending coefficients are evaluated as descending coefficients.
Ascending polynomial evaluation · case 05
Ascending coefficients are evaluated as descending coefficients.
Formal polynomial derivative · case 01
Power coefficients are not multiplied by their degree.
Formal polynomial derivative · case 02
Power coefficients are not multiplied by their degree.
Formal polynomial derivative · case 03
Power coefficients are not multiplied by their degree.
Formal polynomial derivative · case 04
Power coefficients are not multiplied by their degree.
Formal polynomial derivative · case 05
Power coefficients are not multiplied by their degree.
Formal polynomial integral zero constant · case 01
Antiderivative coefficients are shifted without degree division.
Formal polynomial integral zero constant · case 02
Antiderivative coefficients are shifted without degree division.
Formal polynomial integral zero constant · case 03
Antiderivative coefficients are shifted without degree division.
Formal polynomial integral zero constant · case 04
Antiderivative coefficients are shifted without degree division.
Formal polynomial integral zero constant · case 05
Antiderivative coefficients are shifted without degree division.
Polynomial coefficient convolution · case 01
Elementwise multiplication omits cross-degree products.
Polynomial coefficient convolution · case 02
Elementwise multiplication omits cross-degree products.
Polynomial coefficient convolution · case 03
Elementwise multiplication omits cross-degree products.
Polynomial coefficient convolution · case 04
Elementwise multiplication omits cross-degree products.
Polynomial coefficient convolution · case 05
Elementwise multiplication omits cross-degree products.
Polynomial add unequal degree · case 01
Zipping stops at the shorter degree and loses coefficients.
Polynomial add unequal degree · case 02
Zipping stops at the shorter degree and loses coefficients.
Polynomial add unequal degree · case 03
Zipping stops at the shorter degree and loses coefficients.
Polynomial add unequal degree · case 04
Zipping stops at the shorter degree and loses coefficients.
Polynomial add unequal degree · case 05
Zipping stops at the shorter degree and loses coefficients.
Polynomial degree trailing zeroes · case 01
Storage length is mistaken for the highest nonzero degree.
Polynomial degree trailing zeroes · case 02
Storage length is mistaken for the highest nonzero degree.
Polynomial degree trailing zeroes · case 03
Storage length is mistaken for the highest nonzero degree.
Polynomial degree trailing zeroes · case 04
Storage length is mistaken for the highest nonzero degree.
Polynomial degree trailing zeroes · case 05
Storage length is mistaken for the highest nonzero degree.
Quadratic discriminant · case 01
The product term uses addition instead of subtraction.
Quadratic discriminant · case 02
The product term uses addition instead of subtraction.
Quadratic discriminant · case 03
The product term uses addition instead of subtraction.
Quadratic discriminant · case 04
The product term uses addition instead of subtraction.
Quadratic discriminant · case 05
The product term uses addition instead of subtraction.
Quadratic root sum rational · case 01
Vieta root sum has the opposite sign.
Quadratic root sum rational · case 02
Vieta root sum has the opposite sign.
Quadratic root sum rational · case 03
Vieta root sum has the opposite sign.
Quadratic root sum rational · case 04
Vieta root sum has the opposite sign.
Quadratic root sum rational · case 05
Vieta root sum has the opposite sign.
Quadratic root product rational · case 01
The product receives an unnecessary sign flip.
Quadratic root product rational · case 02
The product receives an unnecessary sign flip.
Quadratic root product rational · case 03
The product receives an unnecessary sign flip.
Quadratic root product rational · case 04
The product receives an unnecessary sign flip.
Quadratic root product rational · case 05
The product receives an unnecessary sign flip.
Polynomial value at minus one · case 01
Coefficient sum evaluates at positive one rather than negative one.
Polynomial value at minus one · case 02
Coefficient sum evaluates at positive one rather than negative one.
Polynomial value at minus one · case 03
Coefficient sum evaluates at positive one rather than negative one.
Polynomial value at minus one · case 04
Coefficient sum evaluates at positive one rather than negative one.
Polynomial value at minus one · case 05
Coefficient sum evaluates at positive one rather than negative one.
Polynomial even part · case 01
Removing odd positions compresses the remaining powers.
Polynomial even part · case 02
Removing odd positions compresses the remaining powers.
Polynomial even part · case 03
Removing odd positions compresses the remaining powers.
Polynomial even part · case 04
Removing odd positions compresses the remaining powers.
Polynomial even part · case 05
Removing odd positions compresses the remaining powers.
Polynomial odd part · case 01
Filtering coefficients changes their exponents.
Polynomial odd part · case 02
Filtering coefficients changes their exponents.
Polynomial odd part · case 03
Filtering coefficients changes their exponents.
Polynomial odd part · case 04
Filtering coefficients changes their exponents.
Polynomial odd part · case 05
Filtering coefficients changes their exponents.
Multiply polynomial by monomial · case 01
Zeroes appended at the high-degree end do not shift powers.
Multiply polynomial by monomial · case 02
Zeroes appended at the high-degree end do not shift powers.
Multiply polynomial by monomial · case 03
Zeroes appended at the high-degree end do not shift powers.
Multiply polynomial by monomial · case 04
Zeroes appended at the high-degree end do not shift powers.
Multiply polynomial by monomial · case 05
Zeroes appended at the high-degree end do not shift powers.
Polynomial definite integral rational · case 01
The antiderivative at the lower bound is omitted.
Polynomial definite integral rational · case 02
The antiderivative at the lower bound is omitted.
Polynomial definite integral rational · case 03
The antiderivative at the lower bound is omitted.
Polynomial definite integral rational · case 04
The antiderivative at the lower bound is omitted.
Polynomial definite integral rational · case 05
The antiderivative at the lower bound is omitted.
Polynomial compose negative argument · case 01
Negating the output is confused with negating the argument.
Polynomial compose negative argument · case 02
Negating the output is confused with negating the argument.
Polynomial compose negative argument · case 03
Negating the output is confused with negating the argument.
Polynomial compose negative argument · case 04
Negating the output is confused with negating the argument.
Polynomial compose negative argument · case 05
Negating the output is confused with negating the argument.
Sample variance bessel correction · case 01
Population normalization biases the sample variance.
Sample variance bessel correction · case 02
Population normalization biases the sample variance.
Sample variance bessel correction · case 03
Population normalization biases the sample variance.
Sample variance bessel correction · case 04
Population normalization biases the sample variance.
Sample variance bessel correction · case 05
Population normalization biases the sample variance.
Median even middle average · case 01
Only the upper central observation is selected for even samples.
Median even middle average · case 02
Only the upper central observation is selected for even samples.
Median even middle average · case 03
Only the upper central observation is selected for even samples.
Median even middle average · case 04
Only the upper central observation is selected for even samples.
Median even middle average · case 05
Only the upper central observation is selected for even samples.
Lower median order statistic · case 01
The upper middle position violates the lower-median convention.
Lower median order statistic · case 02
The upper middle position violates the lower-median convention.
Lower median order statistic · case 03
The upper middle position violates the lower-median convention.
Lower median order statistic · case 04
The upper middle position violates the lower-median convention.
Lower median order statistic · case 05
The upper middle position violates the lower-median convention.
Upper median order statistic · case 01
The lower middle position violates the upper-median convention.
Upper median order statistic · case 02
The lower middle position violates the upper-median convention.
Upper median order statistic · case 03
The lower middle position violates the upper-median convention.
Upper median order statistic · case 04
The lower middle position violates the upper-median convention.
Upper median order statistic · case 05
The lower middle position violates the upper-median convention.
Mode smallest tie · case 01
The largest tied mode is selected instead of the smallest.
Mode smallest tie · case 02
The largest tied mode is selected instead of the smallest.
Mode smallest tie · case 03
The largest tied mode is selected instead of the smallest.
Mode smallest tie · case 04
The largest tied mode is selected instead of the smallest.
Mode smallest tie · case 05
The largest tied mode is selected instead of the smallest.
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 ↗