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
Interpolation attaches t to the wrong endpoint · case 01
Interpolation attaches t to the wrong endpoint.
Interpolation attaches t to the wrong endpoint · case 02
Interpolation attaches t to the wrong endpoint.
Interpolation attaches t to the wrong endpoint · case 03
Interpolation attaches t to the wrong endpoint.
Interpolation attaches t to the wrong endpoint · case 04
Interpolation attaches t to the wrong endpoint.
Interpolation attaches t to the wrong endpoint · case 05
Interpolation attaches t to the wrong endpoint.
Interpolation clamps a decreasing interval as though increasing · case 01
Interpolation clamps a decreasing interval as though increasing.
Interpolation clamps a decreasing interval as though increasing · case 02
Interpolation clamps a decreasing interval as though increasing.
Interpolation clamps a decreasing interval as though increasing · case 03
Interpolation clamps a decreasing interval as though increasing.
Interpolation clamps a decreasing interval as though increasing · case 04
Interpolation clamps a decreasing interval as though increasing.
Interpolation clamps a decreasing interval as though increasing · case 05
Interpolation clamps a decreasing interval as though increasing.
Interpolation silently clamps an invalid blend factor · case 01
Interpolation silently clamps an invalid blend factor.
Interpolation silently clamps an invalid blend factor · case 02
Interpolation silently clamps an invalid blend factor.
Interpolation silently clamps an invalid blend factor · case 03
Interpolation silently clamps an invalid blend factor.
Interpolation silently clamps an invalid blend factor · case 04
Interpolation silently clamps an invalid blend factor.
Interpolation silently clamps an invalid blend factor · case 05
Interpolation silently clamps an invalid blend factor.
Quadratic roots compute the small root by subtraction · case 01
Quadratic roots compute the small root by subtraction.
Quadratic roots compute the small root by subtraction · case 02
Quadratic roots compute the small root by subtraction.
Quadratic roots compute the small root by subtraction · case 03
Quadratic roots compute the small root by subtraction.
Quadratic roots compute the small root by subtraction · case 04
Quadratic roots compute the small root by subtraction.
Quadratic roots compute the small root by subtraction · case 05
Quadratic roots compute the small root by subtraction.
Quadratic roots choose a fixed square-root sign · case 01
Quadratic roots choose a fixed square-root sign.
Quadratic roots choose a fixed square-root sign · case 02
Quadratic roots choose a fixed square-root sign.
Quadratic roots choose a fixed square-root sign · case 03
Quadratic roots choose a fixed square-root sign.
Quadratic roots choose a fixed square-root sign · case 04
Quadratic roots choose a fixed square-root sign.
Quadratic roots choose a fixed square-root sign · case 05
Quadratic roots choose a fixed square-root sign.
Complementary quadratic root uses the leading coefficient instead of q · case 01
Complementary quadratic root uses the leading coefficient instead of q.
Complementary quadratic root uses the leading coefficient instead of q · case 02
Complementary quadratic root uses the leading coefficient instead of q.
Complementary quadratic root uses the leading coefficient instead of q · case 03
Complementary quadratic root uses the leading coefficient instead of q.
Complementary quadratic root uses the leading coefficient instead of q · case 04
Complementary quadratic root uses the leading coefficient instead of q.
Complementary quadratic root uses the leading coefficient instead of q · case 05
Complementary quadratic root uses the leading coefficient instead of q.
Degenerate quadratic equation applies a quadratic denominator · case 01
Degenerate quadratic equation applies a quadratic denominator.
Degenerate quadratic equation applies a quadratic denominator · case 02
Degenerate quadratic equation applies a quadratic denominator.
Degenerate quadratic equation applies a quadratic denominator · case 03
Degenerate quadratic equation applies a quadratic denominator.
Degenerate quadratic equation applies a quadratic denominator · case 04
Degenerate quadratic equation applies a quadratic denominator.
Degenerate quadratic equation applies a quadratic denominator · case 05
Degenerate quadratic equation applies a quadratic denominator.
Repeated quadratic root loses the factor of two · case 01
Repeated quadratic root loses the factor of two.
Repeated quadratic root loses the factor of two · case 02
Repeated quadratic root loses the factor of two.
Repeated quadratic root loses the factor of two · case 03
Repeated quadratic root loses the factor of two.
Repeated quadratic root loses the factor of two · case 04
Repeated quadratic root loses the factor of two.
Repeated quadratic root loses the factor of two · case 05
Repeated quadratic root loses the factor of two.
Quadratic solver reflects a negative discriminant · case 01
Quadratic solver reflects a negative discriminant.
Quadratic solver reflects a negative discriminant · case 02
Quadratic solver reflects a negative discriminant.
Quadratic solver reflects a negative discriminant · case 03
Quadratic solver reflects a negative discriminant.
Quadratic solver reflects a negative discriminant · case 04
Quadratic solver reflects a negative discriminant.
Quadratic solver reflects a negative discriminant · case 05
Quadratic solver reflects a negative discriminant.
Sine-pi multiplies an unreduced large argument by pi · case 01
Sine-pi multiplies an unreduced large argument by pi.
Sine-pi multiplies an unreduced large argument by pi · case 02
Sine-pi multiplies an unreduced large argument by pi.
Sine-pi multiplies an unreduced large argument by pi · case 03
Sine-pi multiplies an unreduced large argument by pi.
Sine-pi multiplies an unreduced large argument by pi · case 04
Sine-pi multiplies an unreduced large argument by pi.
Sine-pi multiplies an unreduced large argument by pi · case 05
Sine-pi multiplies an unreduced large argument by pi.
Sine-pi reduces by one and loses alternating signs · case 01
Sine-pi reduces by one and loses alternating signs.
Sine-pi reduces by one and loses alternating signs · case 02
Sine-pi reduces by one and loses alternating signs.
Sine-pi reduces by one and loses alternating signs · case 03
Sine-pi reduces by one and loses alternating signs.
Sine-pi reduces by one and loses alternating signs · case 04
Sine-pi reduces by one and loses alternating signs.
Sine-pi reduces by one and loses alternating signs · case 05
Sine-pi reduces by one and loses alternating signs.
Sine-pi loses the sign of an exact integer zero · case 01
Sine-pi loses the sign of an exact integer zero.
Sine-pi loses the sign of an exact integer zero · case 02
Sine-pi loses the sign of an exact integer zero.
Sine-pi loses the sign of an exact integer zero · case 03
Sine-pi loses the sign of an exact integer zero.
Sine-pi loses the sign of an exact integer zero · case 04
Sine-pi loses the sign of an exact integer zero.
Sine-pi loses the sign of an exact integer zero · case 05
Sine-pi loses the sign of an exact integer zero.
Sine-pi fails to reflect the near-integer positive residual · case 01
Sine-pi fails to reflect the near-integer positive residual.
Sine-pi fails to reflect the near-integer positive residual · case 02
Sine-pi fails to reflect the near-integer positive residual.
Sine-pi fails to reflect the near-integer positive residual · case 03
Sine-pi fails to reflect the near-integer positive residual.
Sine-pi fails to reflect the near-integer positive residual · case 04
Sine-pi fails to reflect the near-integer positive residual.
Sine-pi fails to reflect the near-integer positive residual · case 05
Sine-pi fails to reflect the near-integer positive residual.
Sine-pi reflects a negative residual with positive orientation · case 01
Sine-pi reflects a negative residual with positive orientation.
Sine-pi reflects a negative residual with positive orientation · case 02
Sine-pi reflects a negative residual with positive orientation.
Sine-pi reflects a negative residual with positive orientation · case 03
Sine-pi reflects a negative residual with positive orientation.
Sine-pi reflects a negative residual with positive orientation · case 04
Sine-pi reflects a negative residual with positive orientation.
Sine-pi reflects a negative residual with positive orientation · case 05
Sine-pi reflects a negative residual with positive orientation.
Sine-pi assigns the wrong sign to a negative half integer · case 01
Sine-pi assigns the wrong sign to a negative half integer.
Sine-pi assigns the wrong sign to a negative half integer · case 02
Sine-pi assigns the wrong sign to a negative half integer.
Sine-pi assigns the wrong sign to a negative half integer · case 03
Sine-pi assigns the wrong sign to a negative half integer.
Sine-pi assigns the wrong sign to a negative half integer · case 04
Sine-pi assigns the wrong sign to a negative half integer.
Sine-pi assigns the wrong sign to a negative half integer · case 05
Sine-pi assigns the wrong sign to a negative half integer.
Cosine-pi evaluates cosine directly near its exact zero · case 01
Cosine-pi evaluates cosine directly near its exact zero.
Cosine-pi evaluates cosine directly near its exact zero · case 02
Cosine-pi evaluates cosine directly near its exact zero.
Cosine-pi evaluates cosine directly near its exact zero · case 03
Cosine-pi evaluates cosine directly near its exact zero.
Cosine-pi evaluates cosine directly near its exact zero · case 04
Cosine-pi evaluates cosine directly near its exact zero.
Cosine-pi evaluates cosine directly near its exact zero · case 05
Cosine-pi evaluates cosine directly near its exact zero.
Cosine-pi evaluates the negative branch directly near a half integer · case 01
Cosine-pi evaluates the negative branch directly near a half integer.
Cosine-pi evaluates the negative branch directly near a half integer · case 02
Cosine-pi evaluates the negative branch directly near a half integer.
Cosine-pi evaluates the negative branch directly near a half integer · case 03
Cosine-pi evaluates the negative branch directly near a half integer.
Cosine-pi evaluates the negative branch directly near a half integer · case 04
Cosine-pi evaluates the negative branch directly near a half integer.
Cosine-pi evaluates the negative branch directly near a half integer · case 05
Cosine-pi evaluates the negative branch directly near a half integer.
Cosine-pi fails to take magnitude after signed reduction · case 01
Cosine-pi fails to take magnitude after signed reduction.
Cosine-pi fails to take magnitude after signed reduction · case 02
Cosine-pi fails to take magnitude after signed reduction.
Cosine-pi fails to take magnitude after signed reduction · case 03
Cosine-pi fails to take magnitude after signed reduction.
Cosine-pi fails to take magnitude after signed reduction · case 04
Cosine-pi fails to take magnitude after signed reduction.
Cosine-pi fails to take magnitude after signed reduction · case 05
Cosine-pi fails to take magnitude after signed reduction.
Cosine-pi maps odd integers to the even extremum · case 01
Cosine-pi maps odd integers to the even extremum.
Cosine-pi maps odd integers to the even extremum · case 02
Cosine-pi maps odd integers to the even extremum.
Cosine-pi maps odd integers to the even extremum · case 03
Cosine-pi maps odd integers to the even extremum.
Cosine-pi maps odd integers to the even extremum · case 04
Cosine-pi maps odd integers to the even extremum.
Cosine-pi maps odd integers to the even extremum · case 05
Cosine-pi maps odd integers to the even extremum.
Cosine-pi derives half-integer zero by a rounded cosine · case 01
Cosine-pi derives half-integer zero by a rounded cosine.
Cosine-pi derives half-integer zero by a rounded cosine · case 02
Cosine-pi derives half-integer zero by a rounded cosine.
Cosine-pi derives half-integer zero by a rounded cosine · case 03
Cosine-pi derives half-integer zero by a rounded cosine.
Cosine-pi derives half-integer zero by a rounded cosine · case 04
Cosine-pi derives half-integer zero by a rounded cosine.
Cosine-pi derives half-integer zero by a rounded cosine · case 05
Cosine-pi derives half-integer zero by a rounded cosine.
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 ↗