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
Quadratic surd period: partial quotient computation · case 01
The exact quadratic surd period result violates the stated contract at partial quotient computation.
Quadratic surd period: partial quotient computation · case 02
The exact quadratic surd period result violates the stated contract at partial quotient computation.
Quadratic surd period: partial quotient computation · case 03
The exact quadratic surd period result violates the stated contract at partial quotient computation.
Quadratic surd period: partial quotient computation · case 04
The exact quadratic surd period result violates the stated contract at partial quotient computation.
Quadratic surd period: partial quotient computation · case 05
The exact quadratic surd period result violates the stated contract at partial quotient computation.
Quadratic surd period: period closing criterion · case 01
The exact quadratic surd period result violates the stated contract at period closing criterion.
Quadratic surd period: period closing criterion · case 02
The exact quadratic surd period result violates the stated contract at period closing criterion.
Quadratic surd period: period closing criterion · case 03
The exact quadratic surd period result violates the stated contract at period closing criterion.
Quadratic surd period: period closing criterion · case 04
The exact quadratic surd period result violates the stated contract at period closing criterion.
Quadratic surd period: period closing criterion · case 05
The exact quadratic surd period result violates the stated contract at period closing criterion.
Quadratic surd period: period endpoint retention · case 01
The exact quadratic surd period result violates the stated contract at period endpoint retention.
Quadratic surd period: period endpoint retention · case 02
The exact quadratic surd period result violates the stated contract at period endpoint retention.
Quadratic surd period: period endpoint retention · case 03
The exact quadratic surd period result violates the stated contract at period endpoint retention.
Quadratic surd period: period endpoint retention · case 04
The exact quadratic surd period result violates the stated contract at period endpoint retention.
Quadratic surd period: period endpoint retention · case 05
The exact quadratic surd period result violates the stated contract at period endpoint retention.
Pell positive solutions: unit solution seed · case 01
The exact pell positive solutions result violates the stated contract at unit solution seed.
Pell positive solutions: unit solution seed · case 02
The exact pell positive solutions result violates the stated contract at unit solution seed.
Pell positive solutions: unit solution seed · case 03
The exact pell positive solutions result violates the stated contract at unit solution seed.
Pell positive solutions: unit solution seed · case 04
The exact pell positive solutions result violates the stated contract at unit solution seed.
Pell positive solutions: unit solution seed · case 05
The exact pell positive solutions result violates the stated contract at unit solution seed.
Pell positive solutions: requested solution count · case 01
The exact pell positive solutions result violates the stated contract at requested solution count.
Pell positive solutions: requested solution count · case 02
The exact pell positive solutions result violates the stated contract at requested solution count.
Pell positive solutions: requested solution count · case 03
The exact pell positive solutions result violates the stated contract at requested solution count.
Pell positive solutions: requested solution count · case 04
The exact pell positive solutions result violates the stated contract at requested solution count.
Pell positive solutions: requested solution count · case 05
The exact pell positive solutions result violates the stated contract at requested solution count.
Pell positive solutions: quadratic unit real product · case 01
The exact pell positive solutions result violates the stated contract at quadratic unit real product.
Pell positive solutions: quadratic unit real product · case 02
The exact pell positive solutions result violates the stated contract at quadratic unit real product.
Pell positive solutions: quadratic unit real product · case 03
The exact pell positive solutions result violates the stated contract at quadratic unit real product.
Pell positive solutions: quadratic unit real product · case 04
The exact pell positive solutions result violates the stated contract at quadratic unit real product.
Pell positive solutions: quadratic unit real product · case 05
The exact pell positive solutions result violates the stated contract at quadratic unit real product.
Pell positive solutions: quadratic unit irrational product · case 01
The exact pell positive solutions result violates the stated contract at quadratic unit irrational product.
Pell positive solutions: quadratic unit irrational product · case 02
The exact pell positive solutions result violates the stated contract at quadratic unit irrational product.
Pell positive solutions: quadratic unit irrational product · case 03
The exact pell positive solutions result violates the stated contract at quadratic unit irrational product.
Pell positive solutions: quadratic unit irrational product · case 04
The exact pell positive solutions result violates the stated contract at quadratic unit irrational product.
Pell positive solutions: quadratic unit irrational product · case 05
The exact pell positive solutions result violates the stated contract at quadratic unit irrational product.
Pell positive solutions: coordinate pair representation · case 01
The exact pell positive solutions result violates the stated contract at coordinate pair representation.
Pell positive solutions: coordinate pair representation · case 02
The exact pell positive solutions result violates the stated contract at coordinate pair representation.
Pell positive solutions: coordinate pair representation · case 03
The exact pell positive solutions result violates the stated contract at coordinate pair representation.
Pell positive solutions: coordinate pair representation · case 04
The exact pell positive solutions result violates the stated contract at coordinate pair representation.
Pell positive solutions: coordinate pair representation · case 05
The exact pell positive solutions result violates the stated contract at coordinate pair representation.
Primitive pythagorean triples: coprimality of parameters · case 01
The exact primitive pythagorean triples result violates the stated contract at coprimality of parameters.
Primitive pythagorean triples: coprimality of parameters · case 02
The exact primitive pythagorean triples result violates the stated contract at coprimality of parameters.
Primitive pythagorean triples: coprimality of parameters · case 03
The exact primitive pythagorean triples result violates the stated contract at coprimality of parameters.
Primitive pythagorean triples: coprimality of parameters · case 04
The exact primitive pythagorean triples result violates the stated contract at coprimality of parameters.
Primitive pythagorean triples: coprimality of parameters · case 05
The exact primitive pythagorean triples result violates the stated contract at coprimality of parameters.
Primitive pythagorean triples: opposite parameter parity · case 01
The exact primitive pythagorean triples result violates the stated contract at opposite parameter parity.
Primitive pythagorean triples: opposite parameter parity · case 02
The exact primitive pythagorean triples result violates the stated contract at opposite parameter parity.
Primitive pythagorean triples: opposite parameter parity · case 03
The exact primitive pythagorean triples result violates the stated contract at opposite parameter parity.
Primitive pythagorean triples: opposite parameter parity · case 04
The exact primitive pythagorean triples result violates the stated contract at opposite parameter parity.
Primitive pythagorean triples: opposite parameter parity · case 05
The exact primitive pythagorean triples result violates the stated contract at opposite parameter parity.
Primitive pythagorean triples: Euclid hypotenuse construction · case 01
The exact primitive pythagorean triples result violates the stated contract at Euclid hypotenuse construction.
Primitive pythagorean triples: Euclid hypotenuse construction · case 02
The exact primitive pythagorean triples result violates the stated contract at Euclid hypotenuse construction.
Primitive pythagorean triples: Euclid hypotenuse construction · case 03
The exact primitive pythagorean triples result violates the stated contract at Euclid hypotenuse construction.
Primitive pythagorean triples: Euclid hypotenuse construction · case 04
The exact primitive pythagorean triples result violates the stated contract at Euclid hypotenuse construction.
Primitive pythagorean triples: Euclid hypotenuse construction · case 05
The exact primitive pythagorean triples result violates the stated contract at Euclid hypotenuse construction.
Primitive pythagorean triples: hypotenuse bound · case 01
The exact primitive pythagorean triples result violates the stated contract at hypotenuse bound.
Primitive pythagorean triples: hypotenuse bound · case 02
The exact primitive pythagorean triples result violates the stated contract at hypotenuse bound.
Primitive pythagorean triples: hypotenuse bound · case 03
The exact primitive pythagorean triples result violates the stated contract at hypotenuse bound.
Primitive pythagorean triples: hypotenuse bound · case 04
The exact primitive pythagorean triples result violates the stated contract at hypotenuse bound.
Primitive pythagorean triples: hypotenuse bound · case 05
The exact primitive pythagorean triples result violates the stated contract at hypotenuse bound.
Primitive pythagorean triples: triple canonical ordering · case 01
The exact primitive pythagorean triples result violates the stated contract at triple canonical ordering.
Primitive pythagorean triples: triple canonical ordering · case 02
The exact primitive pythagorean triples result violates the stated contract at triple canonical ordering.
Primitive pythagorean triples: triple canonical ordering · case 03
The exact primitive pythagorean triples result violates the stated contract at triple canonical ordering.
Primitive pythagorean triples: triple canonical ordering · case 04
The exact primitive pythagorean triples result violates the stated contract at triple canonical ordering.
Primitive pythagorean triples: triple canonical ordering · case 05
The exact primitive pythagorean triples result violates the stated contract at triple canonical ordering.
Egyptian greedy fraction: unit denominator ceiling · case 01
The exact egyptian greedy fraction result violates the stated contract at unit denominator ceiling.
Egyptian greedy fraction: unit denominator ceiling · case 02
The exact egyptian greedy fraction result violates the stated contract at unit denominator ceiling.
Egyptian greedy fraction: unit denominator ceiling · case 03
The exact egyptian greedy fraction result violates the stated contract at unit denominator ceiling.
Egyptian greedy fraction: unit denominator ceiling · case 04
The exact egyptian greedy fraction result violates the stated contract at unit denominator ceiling.
Egyptian greedy fraction: unit denominator ceiling · case 05
The exact egyptian greedy fraction result violates the stated contract at unit denominator ceiling.
Egyptian greedy fraction: residual numerator · case 01
The exact egyptian greedy fraction result violates the stated contract at residual numerator.
Egyptian greedy fraction: residual numerator · case 02
The exact egyptian greedy fraction result violates the stated contract at residual numerator.
Egyptian greedy fraction: residual numerator · case 03
The exact egyptian greedy fraction result violates the stated contract at residual numerator.
Egyptian greedy fraction: residual numerator · case 04
The exact egyptian greedy fraction result violates the stated contract at residual numerator.
Egyptian greedy fraction: residual numerator · case 05
The exact egyptian greedy fraction result violates the stated contract at residual numerator.
Egyptian greedy fraction: residual denominator · case 01
The exact egyptian greedy fraction result violates the stated contract at residual denominator.
Egyptian greedy fraction: residual denominator · case 02
The exact egyptian greedy fraction result violates the stated contract at residual denominator.
Egyptian greedy fraction: residual denominator · case 03
The exact egyptian greedy fraction result violates the stated contract at residual denominator.
Egyptian greedy fraction: residual denominator · case 04
The exact egyptian greedy fraction result violates the stated contract at residual denominator.
Egyptian greedy fraction: residual denominator · case 05
The exact egyptian greedy fraction result violates the stated contract at residual denominator.
Egyptian greedy fraction: residual gcd cancellation · case 01
The exact egyptian greedy fraction result violates the stated contract at residual gcd cancellation.
Egyptian greedy fraction: residual gcd cancellation · case 02
The exact egyptian greedy fraction result violates the stated contract at residual gcd cancellation.
Egyptian greedy fraction: residual gcd cancellation · case 03
The exact egyptian greedy fraction result violates the stated contract at residual gcd cancellation.
Egyptian greedy fraction: residual gcd cancellation · case 04
The exact egyptian greedy fraction result violates the stated contract at residual gcd cancellation.
Egyptian greedy fraction: residual gcd cancellation · case 05
The exact egyptian greedy fraction result violates the stated contract at residual gcd cancellation.
Egyptian greedy fraction: unit fraction ordering · case 01
The exact egyptian greedy fraction result violates the stated contract at unit fraction ordering.
Egyptian greedy fraction: unit fraction ordering · case 02
The exact egyptian greedy fraction result violates the stated contract at unit fraction ordering.
Egyptian greedy fraction: unit fraction ordering · case 03
The exact egyptian greedy fraction result violates the stated contract at unit fraction ordering.
Egyptian greedy fraction: unit fraction ordering · case 04
The exact egyptian greedy fraction result violates the stated contract at unit fraction ordering.
Egyptian greedy fraction: unit fraction ordering · case 05
The exact egyptian greedy fraction result violates the stated contract at unit fraction ordering.
Best bounded rational: denominator bound inclusion · case 01
The exact best bounded rational result violates the stated contract at denominator bound inclusion.
Best bounded rational: denominator bound inclusion · case 02
The exact best bounded rational result violates the stated contract at denominator bound inclusion.
Best bounded rational: denominator bound inclusion · case 03
The exact best bounded rational result violates the stated contract at denominator bound inclusion.
Best bounded rational: denominator bound inclusion · case 04
The exact best bounded rational result violates the stated contract at denominator bound inclusion.
Best bounded rational: denominator bound inclusion · case 05
The exact best bounded rational result violates the stated contract at denominator bound inclusion.
Best bounded rational: scaled numerator floor · case 01
The exact best bounded rational result violates the stated contract at scaled numerator floor.
Best bounded rational: scaled numerator floor · case 02
The exact best bounded rational result violates the stated contract at scaled numerator floor.
Best bounded rational: scaled numerator floor · case 03
The exact best bounded rational result violates the stated contract at scaled numerator floor.
Best bounded rational: scaled numerator floor · case 04
The exact best bounded rational result violates the stated contract at scaled numerator floor.
Best bounded rational: scaled numerator floor · case 05
The exact best bounded rational result violates the stated contract at scaled numerator floor.
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 ↗