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
Bounded diophantine: divisibility filter · case 01
The exact bounded diophantine result violates the stated contract at divisibility filter.
Bounded diophantine: divisibility filter · case 02
The exact bounded diophantine result violates the stated contract at divisibility filter.
Bounded diophantine: divisibility filter · case 03
The exact bounded diophantine result violates the stated contract at divisibility filter.
Bounded diophantine: divisibility filter · case 04
The exact bounded diophantine result violates the stated contract at divisibility filter.
Bounded diophantine: divisibility filter · case 05
The exact bounded diophantine result violates the stated contract at divisibility filter.
Bounded diophantine: second coordinate quotient · case 01
The exact bounded diophantine result violates the stated contract at second coordinate quotient.
Bounded diophantine: second coordinate quotient · case 02
The exact bounded diophantine result violates the stated contract at second coordinate quotient.
Bounded diophantine: second coordinate quotient · case 03
The exact bounded diophantine result violates the stated contract at second coordinate quotient.
Bounded diophantine: second coordinate quotient · case 04
The exact bounded diophantine result violates the stated contract at second coordinate quotient.
Bounded diophantine: second coordinate quotient · case 05
The exact bounded diophantine result violates the stated contract at second coordinate quotient.
Bounded diophantine: box membership · case 01
The exact bounded diophantine result violates the stated contract at box membership.
Bounded diophantine: box membership · case 02
The exact bounded diophantine result violates the stated contract at box membership.
Bounded diophantine: box membership · case 03
The exact bounded diophantine result violates the stated contract at box membership.
Bounded diophantine: box membership · case 04
The exact bounded diophantine result violates the stated contract at box membership.
Bounded diophantine: box membership · case 05
The exact bounded diophantine result violates the stated contract at box membership.
Rational continued fraction: floor partial quotient · case 01
The exact rational continued fraction result violates the stated contract at floor partial quotient.
Rational continued fraction: floor partial quotient · case 02
The exact rational continued fraction result violates the stated contract at floor partial quotient.
Rational continued fraction: floor partial quotient · case 03
The exact rational continued fraction result violates the stated contract at floor partial quotient.
Rational continued fraction: floor partial quotient · case 04
The exact rational continued fraction result violates the stated contract at floor partial quotient.
Rational continued fraction: floor partial quotient · case 05
The exact rational continued fraction result violates the stated contract at floor partial quotient.
Rational continued fraction: euclidean remainder · case 01
The exact rational continued fraction result violates the stated contract at euclidean remainder.
Rational continued fraction: euclidean remainder · case 02
The exact rational continued fraction result violates the stated contract at euclidean remainder.
Rational continued fraction: euclidean remainder · case 03
The exact rational continued fraction result violates the stated contract at euclidean remainder.
Rational continued fraction: euclidean remainder · case 04
The exact rational continued fraction result violates the stated contract at euclidean remainder.
Rational continued fraction: euclidean remainder · case 05
The exact rational continued fraction result violates the stated contract at euclidean remainder.
Rational continued fraction: reciprocal state · case 01
The exact rational continued fraction result violates the stated contract at reciprocal state.
Rational continued fraction: reciprocal state · case 02
The exact rational continued fraction result violates the stated contract at reciprocal state.
Rational continued fraction: reciprocal state · case 03
The exact rational continued fraction result violates the stated contract at reciprocal state.
Rational continued fraction: reciprocal state · case 04
The exact rational continued fraction result violates the stated contract at reciprocal state.
Rational continued fraction: reciprocal state · case 05
The exact rational continued fraction result violates the stated contract at reciprocal state.
Rational continued fraction: terminal unit folding · case 01
The exact rational continued fraction result violates the stated contract at terminal unit folding.
Rational continued fraction: terminal unit folding · case 02
The exact rational continued fraction result violates the stated contract at terminal unit folding.
Rational continued fraction: terminal unit folding · case 03
The exact rational continued fraction result violates the stated contract at terminal unit folding.
Rational continued fraction: terminal unit folding · case 04
The exact rational continued fraction result violates the stated contract at terminal unit folding.
Rational continued fraction: terminal unit folding · case 05
The exact rational continued fraction result violates the stated contract at terminal unit folding.
Rational continued fraction: coefficient order · case 01
The exact rational continued fraction result violates the stated contract at coefficient order.
Rational continued fraction: coefficient order · case 02
The exact rational continued fraction result violates the stated contract at coefficient order.
Rational continued fraction: coefficient order · case 03
The exact rational continued fraction result violates the stated contract at coefficient order.
Rational continued fraction: coefficient order · case 04
The exact rational continued fraction result violates the stated contract at coefficient order.
Rational continued fraction: coefficient order · case 05
The exact rational continued fraction result violates the stated contract at coefficient order.
Continued fraction convergents: numerator seeds · case 01
The exact continued fraction convergents result violates the stated contract at numerator seeds.
Continued fraction convergents: numerator seeds · case 02
The exact continued fraction convergents result violates the stated contract at numerator seeds.
Continued fraction convergents: numerator seeds · case 03
The exact continued fraction convergents result violates the stated contract at numerator seeds.
Continued fraction convergents: numerator seeds · case 04
The exact continued fraction convergents result violates the stated contract at numerator seeds.
Continued fraction convergents: numerator seeds · case 05
The exact continued fraction convergents result violates the stated contract at numerator seeds.
Continued fraction convergents: denominator seeds · case 01
The exact continued fraction convergents result violates the stated contract at denominator seeds.
Continued fraction convergents: denominator seeds · case 02
The exact continued fraction convergents result violates the stated contract at denominator seeds.
Continued fraction convergents: denominator seeds · case 03
The exact continued fraction convergents result violates the stated contract at denominator seeds.
Continued fraction convergents: denominator seeds · case 04
The exact continued fraction convergents result violates the stated contract at denominator seeds.
Continued fraction convergents: denominator seeds · case 05
The exact continued fraction convergents result violates the stated contract at denominator seeds.
Continued fraction convergents: numerator recurrence · case 01
The exact continued fraction convergents result violates the stated contract at numerator recurrence.
Continued fraction convergents: numerator recurrence · case 02
The exact continued fraction convergents result violates the stated contract at numerator recurrence.
Continued fraction convergents: numerator recurrence · case 03
The exact continued fraction convergents result violates the stated contract at numerator recurrence.
Continued fraction convergents: numerator recurrence · case 04
The exact continued fraction convergents result violates the stated contract at numerator recurrence.
Continued fraction convergents: numerator recurrence · case 05
The exact continued fraction convergents result violates the stated contract at numerator recurrence.
Continued fraction convergents: denominator recurrence · case 01
The exact continued fraction convergents result violates the stated contract at denominator recurrence.
Continued fraction convergents: denominator recurrence · case 02
The exact continued fraction convergents result violates the stated contract at denominator recurrence.
Continued fraction convergents: denominator recurrence · case 03
The exact continued fraction convergents result violates the stated contract at denominator recurrence.
Continued fraction convergents: denominator recurrence · case 04
The exact continued fraction convergents result violates the stated contract at denominator recurrence.
Continued fraction convergents: denominator recurrence · case 05
The exact continued fraction convergents result violates the stated contract at denominator recurrence.
Continued fraction convergents: lagged state transfer · case 01
The exact continued fraction convergents result violates the stated contract at lagged state transfer.
Continued fraction convergents: lagged state transfer · case 02
The exact continued fraction convergents result violates the stated contract at lagged state transfer.
Continued fraction convergents: lagged state transfer · case 03
The exact continued fraction convergents result violates the stated contract at lagged state transfer.
Continued fraction convergents: lagged state transfer · case 04
The exact continued fraction convergents result violates the stated contract at lagged state transfer.
Continued fraction convergents: lagged state transfer · case 05
The exact continued fraction convergents result violates the stated contract at lagged state transfer.
Repeating radix fraction: cycle split · case 01
The exact repeating radix fraction result violates the stated contract at cycle split.
Repeating radix fraction: cycle split · case 02
The exact repeating radix fraction result violates the stated contract at cycle split.
Repeating radix fraction: cycle split · case 03
The exact repeating radix fraction result violates the stated contract at cycle split.
Repeating radix fraction: cycle split · case 04
The exact repeating radix fraction result violates the stated contract at cycle split.
Repeating radix fraction: cycle split · case 05
The exact repeating radix fraction result violates the stated contract at cycle split.
Repeating radix fraction: remainder position · case 01
The exact repeating radix fraction result violates the stated contract at remainder position.
Repeating radix fraction: remainder position · case 02
The exact repeating radix fraction result violates the stated contract at remainder position.
Repeating radix fraction: remainder position · case 03
The exact repeating radix fraction result violates the stated contract at remainder position.
Repeating radix fraction: remainder position · case 04
The exact repeating radix fraction result violates the stated contract at remainder position.
Repeating radix fraction: remainder position · case 05
The exact repeating radix fraction result violates the stated contract at remainder position.
Repeating radix fraction: radix long division scale · case 01
The exact repeating radix fraction result violates the stated contract at radix long division scale.
Repeating radix fraction: radix long division scale · case 02
The exact repeating radix fraction result violates the stated contract at radix long division scale.
Repeating radix fraction: radix long division scale · case 03
The exact repeating radix fraction result violates the stated contract at radix long division scale.
Repeating radix fraction: radix long division scale · case 04
The exact repeating radix fraction result violates the stated contract at radix long division scale.
Repeating radix fraction: radix long division scale · case 05
The exact repeating radix fraction result violates the stated contract at radix long division scale.
Repeating radix fraction: quotient digit · case 01
The exact repeating radix fraction result violates the stated contract at quotient digit.
Repeating radix fraction: quotient digit · case 02
The exact repeating radix fraction result violates the stated contract at quotient digit.
Repeating radix fraction: quotient digit · case 03
The exact repeating radix fraction result violates the stated contract at quotient digit.
Repeating radix fraction: quotient digit · case 04
The exact repeating radix fraction result violates the stated contract at quotient digit.
Repeating radix fraction: quotient digit · case 05
The exact repeating radix fraction result violates the stated contract at quotient digit.
Repeating radix fraction: remainder transition · case 01
The exact repeating radix fraction result violates the stated contract at remainder transition.
Repeating radix fraction: remainder transition · case 02
The exact repeating radix fraction result violates the stated contract at remainder transition.
Repeating radix fraction: remainder transition · case 03
The exact repeating radix fraction result violates the stated contract at remainder transition.
Repeating radix fraction: remainder transition · case 04
The exact repeating radix fraction result violates the stated contract at remainder transition.
Repeating radix fraction: remainder transition · case 05
The exact repeating radix fraction result violates the stated contract at remainder transition.
Farey successor sequence: zero endpoint · case 01
The exact farey successor sequence result violates the stated contract at zero endpoint.
Farey successor sequence: zero endpoint · case 02
The exact farey successor sequence result violates the stated contract at zero endpoint.
Farey successor sequence: zero endpoint · case 03
The exact farey successor sequence result violates the stated contract at zero endpoint.
Farey successor sequence: zero endpoint · case 04
The exact farey successor sequence result violates the stated contract at zero endpoint.
Farey successor sequence: zero endpoint · case 05
The exact farey successor sequence result violates the stated contract at zero endpoint.
Farey successor sequence: neighbor quotient · case 01
The exact farey successor sequence result violates the stated contract at neighbor quotient.
Farey successor sequence: neighbor quotient · case 02
The exact farey successor sequence result violates the stated contract at neighbor quotient.
Farey successor sequence: neighbor quotient · case 03
The exact farey successor sequence result violates the stated contract at neighbor quotient.
Farey successor sequence: neighbor quotient · case 04
The exact farey successor sequence result violates the stated contract at neighbor quotient.
Farey successor sequence: neighbor quotient · case 05
The exact farey successor sequence result violates the stated contract at neighbor quotient.
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 ↗