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
Farey successor sequence: neighbor recurrence · case 01
The exact farey successor sequence result violates the stated contract at neighbor recurrence.
Farey successor sequence: neighbor recurrence · case 02
The exact farey successor sequence result violates the stated contract at neighbor recurrence.
Farey successor sequence: neighbor recurrence · case 03
The exact farey successor sequence result violates the stated contract at neighbor recurrence.
Farey successor sequence: neighbor recurrence · case 04
The exact farey successor sequence result violates the stated contract at neighbor recurrence.
Farey successor sequence: neighbor recurrence · case 05
The exact farey successor sequence result violates the stated contract at neighbor recurrence.
Farey successor sequence: terminal equality · case 01
The exact farey successor sequence result violates the stated contract at terminal equality.
Farey successor sequence: terminal equality · case 02
The exact farey successor sequence result violates the stated contract at terminal equality.
Farey successor sequence: terminal equality · case 03
The exact farey successor sequence result violates the stated contract at terminal equality.
Farey successor sequence: terminal equality · case 04
The exact farey successor sequence result violates the stated contract at terminal equality.
Farey successor sequence: terminal equality · case 05
The exact farey successor sequence result violates the stated contract at terminal equality.
Farey successor sequence: sequence direction · case 01
The exact farey successor sequence result violates the stated contract at sequence direction.
Farey successor sequence: sequence direction · case 02
The exact farey successor sequence result violates the stated contract at sequence direction.
Farey successor sequence: sequence direction · case 03
The exact farey successor sequence result violates the stated contract at sequence direction.
Farey successor sequence: sequence direction · case 04
The exact farey successor sequence result violates the stated contract at sequence direction.
Farey successor sequence: sequence direction · case 05
The exact farey successor sequence result violates the stated contract at sequence direction.
Stern brocot path: root termination · case 01
The exact stern brocot path result violates the stated contract at root termination.
Stern brocot path: root termination · case 02
The exact stern brocot path result violates the stated contract at root termination.
Stern brocot path: root termination · case 03
The exact stern brocot path result violates the stated contract at root termination.
Stern brocot path: root termination · case 04
The exact stern brocot path result violates the stated contract at root termination.
Stern brocot path: root termination · case 05
The exact stern brocot path result violates the stated contract at root termination.
Stern brocot path: left edge label · case 01
The exact stern brocot path result violates the stated contract at left edge label.
Stern brocot path: left edge label · case 02
The exact stern brocot path result violates the stated contract at left edge label.
Stern brocot path: left edge label · case 03
The exact stern brocot path result violates the stated contract at left edge label.
Stern brocot path: left edge label · case 04
The exact stern brocot path result violates the stated contract at left edge label.
Stern brocot path: left edge label · case 05
The exact stern brocot path result violates the stated contract at left edge label.
Stern brocot path: left residual · case 01
The exact stern brocot path result violates the stated contract at left residual.
Stern brocot path: left residual · case 02
The exact stern brocot path result violates the stated contract at left residual.
Stern brocot path: left residual · case 03
The exact stern brocot path result violates the stated contract at left residual.
Stern brocot path: left residual · case 04
The exact stern brocot path result violates the stated contract at left residual.
Stern brocot path: left residual · case 05
The exact stern brocot path result violates the stated contract at left residual.
Stern brocot path: right edge label · case 01
The exact stern brocot path result violates the stated contract at right edge label.
Stern brocot path: right edge label · case 02
The exact stern brocot path result violates the stated contract at right edge label.
Stern brocot path: right edge label · case 03
The exact stern brocot path result violates the stated contract at right edge label.
Stern brocot path: right edge label · case 04
The exact stern brocot path result violates the stated contract at right edge label.
Stern brocot path: right edge label · case 05
The exact stern brocot path result violates the stated contract at right edge label.
Stern brocot path: right residual · case 01
The exact stern brocot path result violates the stated contract at right residual.
Stern brocot path: right residual · case 02
The exact stern brocot path result violates the stated contract at right residual.
Stern brocot path: right residual · case 03
The exact stern brocot path result violates the stated contract at right residual.
Stern brocot path: right residual · case 04
The exact stern brocot path result violates the stated contract at right residual.
Stern brocot path: right residual · case 05
The exact stern brocot path result violates the stated contract at right residual.
Calkin wilf successors: successor sequence seed · case 01
The exact calkin wilf successors result violates the stated contract at successor sequence seed.
Calkin wilf successors: successor sequence seed · case 02
The exact calkin wilf successors result violates the stated contract at successor sequence seed.
Calkin wilf successors: successor sequence seed · case 03
The exact calkin wilf successors result violates the stated contract at successor sequence seed.
Calkin wilf successors: successor sequence seed · case 04
The exact calkin wilf successors result violates the stated contract at successor sequence seed.
Calkin wilf successors: successor sequence seed · case 05
The exact calkin wilf successors result violates the stated contract at successor sequence seed.
Calkin wilf successors: successor output count · case 01
The exact calkin wilf successors result violates the stated contract at successor output count.
Calkin wilf successors: successor output count · case 02
The exact calkin wilf successors result violates the stated contract at successor output count.
Calkin wilf successors: successor output count · case 03
The exact calkin wilf successors result violates the stated contract at successor output count.
Calkin wilf successors: successor output count · case 04
The exact calkin wilf successors result violates the stated contract at successor output count.
Calkin wilf successors: successor output count · case 05
The exact calkin wilf successors result violates the stated contract at successor output count.
Calkin wilf successors: integer part at breadth boundary · case 01
The exact calkin wilf successors result violates the stated contract at integer part at breadth boundary.
Calkin wilf successors: integer part at breadth boundary · case 02
The exact calkin wilf successors result violates the stated contract at integer part at breadth boundary.
Calkin wilf successors: integer part at breadth boundary · case 03
The exact calkin wilf successors result violates the stated contract at integer part at breadth boundary.
Calkin wilf successors: integer part at breadth boundary · case 04
The exact calkin wilf successors result violates the stated contract at integer part at breadth boundary.
Calkin wilf successors: integer part at breadth boundary · case 05
The exact calkin wilf successors result violates the stated contract at integer part at breadth boundary.
Calkin wilf successors: next rational denominator · case 01
The exact calkin wilf successors result violates the stated contract at next rational denominator.
Calkin wilf successors: next rational denominator · case 02
The exact calkin wilf successors result violates the stated contract at next rational denominator.
Calkin wilf successors: next rational denominator · case 03
The exact calkin wilf successors result violates the stated contract at next rational denominator.
Calkin wilf successors: next rational denominator · case 04
The exact calkin wilf successors result violates the stated contract at next rational denominator.
Calkin wilf successors: next rational denominator · case 05
The exact calkin wilf successors result violates the stated contract at next rational denominator.
Calkin wilf successors: successor coordinate transfer · case 01
The exact calkin wilf successors result violates the stated contract at successor coordinate transfer.
Calkin wilf successors: successor coordinate transfer · case 02
The exact calkin wilf successors result violates the stated contract at successor coordinate transfer.
Calkin wilf successors: successor coordinate transfer · case 03
The exact calkin wilf successors result violates the stated contract at successor coordinate transfer.
Calkin wilf successors: successor coordinate transfer · case 04
The exact calkin wilf successors result violates the stated contract at successor coordinate transfer.
Calkin wilf successors: successor coordinate transfer · case 05
The exact calkin wilf successors result violates the stated contract at successor coordinate transfer.
Rational mediant walk: lower infinite interval seed · case 01
The exact rational mediant walk result violates the stated contract at lower infinite interval seed.
Rational mediant walk: lower infinite interval seed · case 02
The exact rational mediant walk result violates the stated contract at lower infinite interval seed.
Rational mediant walk: lower infinite interval seed · case 03
The exact rational mediant walk result violates the stated contract at lower infinite interval seed.
Rational mediant walk: lower infinite interval seed · case 04
The exact rational mediant walk result violates the stated contract at lower infinite interval seed.
Rational mediant walk: lower infinite interval seed · case 05
The exact rational mediant walk result violates the stated contract at lower infinite interval seed.
Rational mediant walk: upper infinite interval seed · case 01
The exact rational mediant walk result violates the stated contract at upper infinite interval seed.
Rational mediant walk: upper infinite interval seed · case 02
The exact rational mediant walk result violates the stated contract at upper infinite interval seed.
Rational mediant walk: upper infinite interval seed · case 03
The exact rational mediant walk result violates the stated contract at upper infinite interval seed.
Rational mediant walk: upper infinite interval seed · case 04
The exact rational mediant walk result violates the stated contract at upper infinite interval seed.
Rational mediant walk: upper infinite interval seed · case 05
The exact rational mediant walk result violates the stated contract at upper infinite interval seed.
Rational mediant walk: mediant construction · case 01
The exact rational mediant walk result violates the stated contract at mediant construction.
Rational mediant walk: mediant construction · case 02
The exact rational mediant walk result violates the stated contract at mediant construction.
Rational mediant walk: mediant construction · case 03
The exact rational mediant walk result violates the stated contract at mediant construction.
Rational mediant walk: mediant construction · case 04
The exact rational mediant walk result violates the stated contract at mediant construction.
Rational mediant walk: mediant construction · case 05
The exact rational mediant walk result violates the stated contract at mediant construction.
Rational mediant walk: left bound replacement · case 01
The exact rational mediant walk result violates the stated contract at left bound replacement.
Rational mediant walk: left bound replacement · case 02
The exact rational mediant walk result violates the stated contract at left bound replacement.
Rational mediant walk: left bound replacement · case 03
The exact rational mediant walk result violates the stated contract at left bound replacement.
Rational mediant walk: left bound replacement · case 04
The exact rational mediant walk result violates the stated contract at left bound replacement.
Rational mediant walk: left bound replacement · case 05
The exact rational mediant walk result violates the stated contract at left bound replacement.
Rational mediant walk: right bound replacement · case 01
The exact rational mediant walk result violates the stated contract at right bound replacement.
Rational mediant walk: right bound replacement · case 02
The exact rational mediant walk result violates the stated contract at right bound replacement.
Rational mediant walk: right bound replacement · case 03
The exact rational mediant walk result violates the stated contract at right bound replacement.
Rational mediant walk: right bound replacement · case 04
The exact rational mediant walk result violates the stated contract at right bound replacement.
Rational mediant walk: right bound replacement · case 05
The exact rational mediant walk result violates the stated contract at right bound replacement.
Polynomial long division: quotient degree displacement · case 01
The exact polynomial long division result violates the stated contract at quotient degree displacement.
Polynomial long division: quotient degree displacement · case 02
The exact polynomial long division result violates the stated contract at quotient degree displacement.
Polynomial long division: quotient degree displacement · case 03
The exact polynomial long division result violates the stated contract at quotient degree displacement.
Polynomial long division: quotient degree displacement · case 04
The exact polynomial long division result violates the stated contract at quotient degree displacement.
Polynomial long division: quotient degree displacement · case 05
The exact polynomial long division result violates the stated contract at quotient degree displacement.
Polynomial long division: leading coefficient cancellation · case 01
The exact polynomial long division result violates the stated contract at leading coefficient cancellation.
Polynomial long division: leading coefficient cancellation · case 02
The exact polynomial long division result violates the stated contract at leading coefficient cancellation.
Polynomial long division: leading coefficient cancellation · case 03
The exact polynomial long division result violates the stated contract at leading coefficient cancellation.
Polynomial long division: leading coefficient cancellation · case 04
The exact polynomial long division result violates the stated contract at leading coefficient cancellation.
Polynomial long division: leading coefficient cancellation · case 05
The exact polynomial long division result violates the stated contract at leading coefficient cancellation.
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 ↗