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
Gf2 field multiplication: multiplier bit progression · case 01
The exact gf2 field multiplication result violates the stated contract at multiplier bit progression.
Gf2 field multiplication: multiplier bit progression · case 02
The exact gf2 field multiplication result violates the stated contract at multiplier bit progression.
Gf2 field multiplication: multiplier bit progression · case 03
The exact gf2 field multiplication result violates the stated contract at multiplier bit progression.
Gf2 field multiplication: multiplier bit progression · case 04
The exact gf2 field multiplication result violates the stated contract at multiplier bit progression.
Gf2 field multiplication: multiplier bit progression · case 05
The exact gf2 field multiplication result violates the stated contract at multiplier bit progression.
Gf2 field multiplication: irreducible polynomial reduction · case 01
The exact gf2 field multiplication result violates the stated contract at irreducible polynomial reduction.
Gf2 field multiplication: irreducible polynomial reduction · case 02
The exact gf2 field multiplication result violates the stated contract at irreducible polynomial reduction.
Gf2 field multiplication: irreducible polynomial reduction · case 03
The exact gf2 field multiplication result violates the stated contract at irreducible polynomial reduction.
Gf2 field multiplication: irreducible polynomial reduction · case 04
The exact gf2 field multiplication result violates the stated contract at irreducible polynomial reduction.
Gf2 field multiplication: irreducible polynomial reduction · case 05
The exact gf2 field multiplication result violates the stated contract at irreducible polynomial reduction.
Gf2 field multiplication: field result projection · case 01
The exact gf2 field multiplication result violates the stated contract at field result projection.
Gf2 field multiplication: field result projection · case 02
The exact gf2 field multiplication result violates the stated contract at field result projection.
Gf2 field multiplication: field result projection · case 03
The exact gf2 field multiplication result violates the stated contract at field result projection.
Gf2 field multiplication: field result projection · case 04
The exact gf2 field multiplication result violates the stated contract at field result projection.
Gf2 field multiplication: field result projection · case 05
The exact gf2 field multiplication result violates the stated contract at field result projection.
Binary polynomial division: degree termination · case 01
The exact binary polynomial division result violates the stated contract at degree termination.
Binary polynomial division: degree termination · case 02
The exact binary polynomial division result violates the stated contract at degree termination.
Binary polynomial division: degree termination · case 03
The exact binary polynomial division result violates the stated contract at degree termination.
Binary polynomial division: degree termination · case 04
The exact binary polynomial division result violates the stated contract at degree termination.
Binary polynomial division: degree termination · case 05
The exact binary polynomial division result violates the stated contract at degree termination.
Binary polynomial division: leading term shift · case 01
The exact binary polynomial division result violates the stated contract at leading term shift.
Binary polynomial division: leading term shift · case 02
The exact binary polynomial division result violates the stated contract at leading term shift.
Binary polynomial division: leading term shift · case 03
The exact binary polynomial division result violates the stated contract at leading term shift.
Binary polynomial division: leading term shift · case 04
The exact binary polynomial division result violates the stated contract at leading term shift.
Binary polynomial division: leading term shift · case 05
The exact binary polynomial division result violates the stated contract at leading term shift.
Binary polynomial division: quotient monomial accumulation · case 01
The exact binary polynomial division result violates the stated contract at quotient monomial accumulation.
Binary polynomial division: quotient monomial accumulation · case 02
The exact binary polynomial division result violates the stated contract at quotient monomial accumulation.
Binary polynomial division: quotient monomial accumulation · case 03
The exact binary polynomial division result violates the stated contract at quotient monomial accumulation.
Binary polynomial division: quotient monomial accumulation · case 04
The exact binary polynomial division result violates the stated contract at quotient monomial accumulation.
Binary polynomial division: quotient monomial accumulation · case 05
The exact binary polynomial division result violates the stated contract at quotient monomial accumulation.
Binary polynomial division: carryless leading cancellation · case 01
The exact binary polynomial division result violates the stated contract at carryless leading cancellation.
Binary polynomial division: carryless leading cancellation · case 02
The exact binary polynomial division result violates the stated contract at carryless leading cancellation.
Binary polynomial division: carryless leading cancellation · case 03
The exact binary polynomial division result violates the stated contract at carryless leading cancellation.
Binary polynomial division: carryless leading cancellation · case 04
The exact binary polynomial division result violates the stated contract at carryless leading cancellation.
Binary polynomial division: carryless leading cancellation · case 05
The exact binary polynomial division result violates the stated contract at carryless leading cancellation.
Binary polynomial division: quotient remainder result positions · case 01
The exact binary polynomial division result violates the stated contract at quotient remainder result positions.
Binary polynomial division: quotient remainder result positions · case 02
The exact binary polynomial division result violates the stated contract at quotient remainder result positions.
Binary polynomial division: quotient remainder result positions · case 03
The exact binary polynomial division result violates the stated contract at quotient remainder result positions.
Binary polynomial division: quotient remainder result positions · case 04
The exact binary polynomial division result violates the stated contract at quotient remainder result positions.
Binary polynomial division: quotient remainder result positions · case 05
The exact binary polynomial division result violates the stated contract at quotient remainder result positions.
Binary field inversion: first polynomial Bezout seed · case 01
The exact binary field inversion result violates the stated contract at first polynomial Bezout seed.
Binary field inversion: first polynomial Bezout seed · case 02
The exact binary field inversion result violates the stated contract at first polynomial Bezout seed.
Binary field inversion: first polynomial Bezout seed · case 03
The exact binary field inversion result violates the stated contract at first polynomial Bezout seed.
Binary field inversion: first polynomial Bezout seed · case 04
The exact binary field inversion result violates the stated contract at first polynomial Bezout seed.
Binary field inversion: first polynomial Bezout seed · case 05
The exact binary field inversion result violates the stated contract at first polynomial Bezout seed.
Binary field inversion: second polynomial Bezout seed · case 01
The exact binary field inversion result violates the stated contract at second polynomial Bezout seed.
Binary field inversion: second polynomial Bezout seed · case 02
The exact binary field inversion result violates the stated contract at second polynomial Bezout seed.
Binary field inversion: second polynomial Bezout seed · case 03
The exact binary field inversion result violates the stated contract at second polynomial Bezout seed.
Binary field inversion: second polynomial Bezout seed · case 04
The exact binary field inversion result violates the stated contract at second polynomial Bezout seed.
Binary field inversion: second polynomial Bezout seed · case 05
The exact binary field inversion result violates the stated contract at second polynomial Bezout seed.
Binary field inversion: Euclidean polynomial cancellation · case 01
The exact binary field inversion result violates the stated contract at Euclidean polynomial cancellation.
Binary field inversion: Euclidean polynomial cancellation · case 02
The exact binary field inversion result violates the stated contract at Euclidean polynomial cancellation.
Binary field inversion: Euclidean polynomial cancellation · case 03
The exact binary field inversion result violates the stated contract at Euclidean polynomial cancellation.
Binary field inversion: Euclidean polynomial cancellation · case 04
The exact binary field inversion result violates the stated contract at Euclidean polynomial cancellation.
Binary field inversion: Euclidean polynomial cancellation · case 05
The exact binary field inversion result violates the stated contract at Euclidean polynomial cancellation.
Binary field inversion: polynomial Bezout update · case 01
The exact binary field inversion result violates the stated contract at polynomial Bezout update.
Binary field inversion: polynomial Bezout update · case 02
The exact binary field inversion result violates the stated contract at polynomial Bezout update.
Binary field inversion: polynomial Bezout update · case 03
The exact binary field inversion result violates the stated contract at polynomial Bezout update.
Binary field inversion: polynomial Bezout update · case 04
The exact binary field inversion result violates the stated contract at polynomial Bezout update.
Binary field inversion: polynomial Bezout update · case 05
The exact binary field inversion result violates the stated contract at polynomial Bezout update.
Binary field inversion: constant polynomial termination · case 01
The exact binary field inversion result violates the stated contract at constant polynomial termination.
Binary field inversion: constant polynomial termination · case 02
The exact binary field inversion result violates the stated contract at constant polynomial termination.
Binary field inversion: constant polynomial termination · case 03
The exact binary field inversion result violates the stated contract at constant polynomial termination.
Binary field inversion: constant polynomial termination · case 04
The exact binary field inversion result violates the stated contract at constant polynomial termination.
Binary field inversion: constant polynomial termination · case 05
The exact binary field inversion result violates the stated contract at constant polynomial termination.
Binary field trace: Frobenius orbit initial element · case 01
The exact binary field trace result violates the stated contract at Frobenius orbit initial element.
Binary field trace: Frobenius orbit initial element · case 02
The exact binary field trace result violates the stated contract at Frobenius orbit initial element.
Binary field trace: Frobenius orbit initial element · case 03
The exact binary field trace result violates the stated contract at Frobenius orbit initial element.
Binary field trace: Frobenius orbit initial element · case 04
The exact binary field trace result violates the stated contract at Frobenius orbit initial element.
Binary field trace: Frobenius orbit initial element · case 05
The exact binary field trace result violates the stated contract at Frobenius orbit initial element.
Binary field trace: field extension degree orbit length · case 01
The exact binary field trace result violates the stated contract at field extension degree orbit length.
Binary field trace: field extension degree orbit length · case 02
The exact binary field trace result violates the stated contract at field extension degree orbit length.
Binary field trace: field extension degree orbit length · case 03
The exact binary field trace result violates the stated contract at field extension degree orbit length.
Binary field trace: field extension degree orbit length · case 04
The exact binary field trace result violates the stated contract at field extension degree orbit length.
Binary field trace: field extension degree orbit length · case 05
The exact binary field trace result violates the stated contract at field extension degree orbit length.
Binary field trace: trace field addition · case 01
The exact binary field trace result violates the stated contract at trace field addition.
Binary field trace: trace field addition · case 02
The exact binary field trace result violates the stated contract at trace field addition.
Binary field trace: trace field addition · case 03
The exact binary field trace result violates the stated contract at trace field addition.
Binary field trace: trace field addition · case 04
The exact binary field trace result violates the stated contract at trace field addition.
Binary field trace: trace field addition · case 05
The exact binary field trace result violates the stated contract at trace field addition.
Binary field trace: Frobenius squaring transition · case 01
The exact binary field trace result violates the stated contract at Frobenius squaring transition.
Binary field trace: Frobenius squaring transition · case 02
The exact binary field trace result violates the stated contract at Frobenius squaring transition.
Binary field trace: Frobenius squaring transition · case 03
The exact binary field trace result violates the stated contract at Frobenius squaring transition.
Binary field trace: Frobenius squaring transition · case 04
The exact binary field trace result violates the stated contract at Frobenius squaring transition.
Binary field trace: Frobenius squaring transition · case 05
The exact binary field trace result violates the stated contract at Frobenius squaring transition.
Binary field trace: prime field trace representation · case 01
The exact binary field trace result violates the stated contract at prime field trace representation.
Binary field trace: prime field trace representation · case 02
The exact binary field trace result violates the stated contract at prime field trace representation.
Binary field trace: prime field trace representation · case 03
The exact binary field trace result violates the stated contract at prime field trace representation.
Binary field trace: prime field trace representation · case 04
The exact binary field trace result violates the stated contract at prime field trace representation.
Binary field trace: prime field trace representation · case 05
The exact binary field trace result violates the stated contract at prime field trace representation.
Binary field minimal polynomial: distinct conjugate stopping · case 01
The exact binary field minimal polynomial result violates the stated contract at distinct conjugate stopping.
Binary field minimal polynomial: distinct conjugate stopping · case 02
The exact binary field minimal polynomial result violates the stated contract at distinct conjugate stopping.
Binary field minimal polynomial: distinct conjugate stopping · case 03
The exact binary field minimal polynomial result violates the stated contract at distinct conjugate stopping.
Binary field minimal polynomial: distinct conjugate stopping · case 04
The exact binary field minimal polynomial result violates the stated contract at distinct conjugate stopping.
Binary field minimal polynomial: distinct conjugate stopping · case 05
The exact binary field minimal polynomial result violates the stated contract at distinct conjugate stopping.
Binary field minimal polynomial: conjugate Frobenius successor · case 01
The exact binary field minimal polynomial result violates the stated contract at conjugate Frobenius successor.
Binary field minimal polynomial: conjugate Frobenius successor · case 02
The exact binary field minimal polynomial result violates the stated contract at conjugate Frobenius successor.
Binary field minimal polynomial: conjugate Frobenius successor · case 03
The exact binary field minimal polynomial result violates the stated contract at conjugate Frobenius successor.
Binary field minimal polynomial: conjugate Frobenius successor · case 04
The exact binary field minimal polynomial result violates the stated contract at conjugate Frobenius successor.
Binary field minimal polynomial: conjugate Frobenius successor · case 05
The exact binary field minimal polynomial result violates the stated contract at conjugate Frobenius successor.
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 ↗