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
Integer polynomial pseudodivision: pseudo quotient insertion · case 01
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient insertion.
Integer polynomial pseudodivision: pseudo quotient insertion · case 02
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient insertion.
Integer polynomial pseudodivision: pseudo quotient insertion · case 03
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient insertion.
Integer polynomial pseudodivision: pseudo quotient insertion · case 04
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient insertion.
Integer polynomial pseudodivision: pseudo quotient insertion · case 05
The exact integer polynomial pseudodivision result violates the stated contract at pseudo quotient insertion.
Integer polynomial pseudodivision: scaled remainder cancellation · case 01
The exact integer polynomial pseudodivision result violates the stated contract at scaled remainder cancellation.
Integer polynomial pseudodivision: scaled remainder cancellation · case 02
The exact integer polynomial pseudodivision result violates the stated contract at scaled remainder cancellation.
Integer polynomial pseudodivision: scaled remainder cancellation · case 03
The exact integer polynomial pseudodivision result violates the stated contract at scaled remainder cancellation.
Integer polynomial pseudodivision: scaled remainder cancellation · case 04
The exact integer polynomial pseudodivision result violates the stated contract at scaled remainder cancellation.
Integer polynomial pseudodivision: scaled remainder cancellation · case 05
The exact integer polynomial pseudodivision result violates the stated contract at scaled remainder cancellation.
Integer polynomial pseudodivision: denominator clearing factor · case 01
The exact integer polynomial pseudodivision result violates the stated contract at denominator clearing factor.
Integer polynomial pseudodivision: denominator clearing factor · case 02
The exact integer polynomial pseudodivision result violates the stated contract at denominator clearing factor.
Integer polynomial pseudodivision: denominator clearing factor · case 03
The exact integer polynomial pseudodivision result violates the stated contract at denominator clearing factor.
Integer polynomial pseudodivision: denominator clearing factor · case 04
The exact integer polynomial pseudodivision result violates the stated contract at denominator clearing factor.
Integer polynomial pseudodivision: denominator clearing factor · case 05
The exact integer polynomial pseudodivision result violates the stated contract at denominator clearing factor.
Polynomial squarefree characteristic p: formal derivative in finite characteristic · case 01
The exact polynomial squarefree characteristic p result violates the stated contract at formal derivative in finite characteristic.
Polynomial squarefree characteristic p: formal derivative in finite characteristic · case 02
The exact polynomial squarefree characteristic p result violates the stated contract at formal derivative in finite characteristic.
Polynomial squarefree characteristic p: formal derivative in finite characteristic · case 03
The exact polynomial squarefree characteristic p result violates the stated contract at formal derivative in finite characteristic.
Polynomial squarefree characteristic p: formal derivative in finite characteristic · case 04
The exact polynomial squarefree characteristic p result violates the stated contract at formal derivative in finite characteristic.
Polynomial squarefree characteristic p: formal derivative in finite characteristic · case 05
The exact polynomial squarefree characteristic p result violates the stated contract at formal derivative in finite characteristic.
Polynomial squarefree characteristic p: field leading cancellation · case 01
The exact polynomial squarefree characteristic p result violates the stated contract at field leading cancellation.
Polynomial squarefree characteristic p: field leading cancellation · case 02
The exact polynomial squarefree characteristic p result violates the stated contract at field leading cancellation.
Polynomial squarefree characteristic p: field leading cancellation · case 03
The exact polynomial squarefree characteristic p result violates the stated contract at field leading cancellation.
Polynomial squarefree characteristic p: field leading cancellation · case 04
The exact polynomial squarefree characteristic p result violates the stated contract at field leading cancellation.
Polynomial squarefree characteristic p: field leading cancellation · case 05
The exact polynomial squarefree characteristic p result violates the stated contract at field leading cancellation.
Polynomial squarefree characteristic p: field subtraction reduction · case 01
The exact polynomial squarefree characteristic p result violates the stated contract at field subtraction reduction.
Polynomial squarefree characteristic p: field subtraction reduction · case 02
The exact polynomial squarefree characteristic p result violates the stated contract at field subtraction reduction.
Polynomial squarefree characteristic p: field subtraction reduction · case 03
The exact polynomial squarefree characteristic p result violates the stated contract at field subtraction reduction.
Polynomial squarefree characteristic p: field subtraction reduction · case 04
The exact polynomial squarefree characteristic p result violates the stated contract at field subtraction reduction.
Polynomial squarefree characteristic p: field subtraction reduction · case 05
The exact polynomial squarefree characteristic p result violates the stated contract at field subtraction reduction.
Polynomial squarefree characteristic p: euclidean divisor transfer · case 01
The exact polynomial squarefree characteristic p result violates the stated contract at euclidean divisor transfer.
Polynomial squarefree characteristic p: euclidean divisor transfer · case 02
The exact polynomial squarefree characteristic p result violates the stated contract at euclidean divisor transfer.
Polynomial squarefree characteristic p: euclidean divisor transfer · case 03
The exact polynomial squarefree characteristic p result violates the stated contract at euclidean divisor transfer.
Polynomial squarefree characteristic p: euclidean divisor transfer · case 04
The exact polynomial squarefree characteristic p result violates the stated contract at euclidean divisor transfer.
Polynomial squarefree characteristic p: euclidean divisor transfer · case 05
The exact polynomial squarefree characteristic p result violates the stated contract at euclidean divisor transfer.
Polynomial squarefree characteristic p: unit gcd criterion · case 01
The exact polynomial squarefree characteristic p result violates the stated contract at unit gcd criterion.
Polynomial squarefree characteristic p: unit gcd criterion · case 02
The exact polynomial squarefree characteristic p result violates the stated contract at unit gcd criterion.
Polynomial squarefree characteristic p: unit gcd criterion · case 03
The exact polynomial squarefree characteristic p result violates the stated contract at unit gcd criterion.
Polynomial squarefree characteristic p: unit gcd criterion · case 04
The exact polynomial squarefree characteristic p result violates the stated contract at unit gcd criterion.
Polynomial squarefree characteristic p: unit gcd criterion · case 05
The exact polynomial squarefree characteristic p result violates the stated contract at unit gcd criterion.
Jacobi symbol: initial residue · case 01
The exact jacobi symbol result violates the stated contract at initial residue.
Jacobi symbol: initial residue · case 02
The exact jacobi symbol result violates the stated contract at initial residue.
Jacobi symbol: initial residue · case 03
The exact jacobi symbol result violates the stated contract at initial residue.
Jacobi symbol: initial residue · case 04
The exact jacobi symbol result violates the stated contract at initial residue.
Jacobi symbol: initial residue · case 05
The exact jacobi symbol result violates the stated contract at initial residue.
Jacobi symbol: supplementary two law · case 01
The exact jacobi symbol result violates the stated contract at supplementary two law.
Jacobi symbol: supplementary two law · case 02
The exact jacobi symbol result violates the stated contract at supplementary two law.
Jacobi symbol: supplementary two law · case 03
The exact jacobi symbol result violates the stated contract at supplementary two law.
Jacobi symbol: supplementary two law · case 04
The exact jacobi symbol result violates the stated contract at supplementary two law.
Jacobi symbol: supplementary two law · case 05
The exact jacobi symbol result violates the stated contract at supplementary two law.
Jacobi symbol: quadratic reciprocity · case 01
The exact jacobi symbol result violates the stated contract at quadratic reciprocity.
Jacobi symbol: quadratic reciprocity · case 02
The exact jacobi symbol result violates the stated contract at quadratic reciprocity.
Jacobi symbol: quadratic reciprocity · case 03
The exact jacobi symbol result violates the stated contract at quadratic reciprocity.
Jacobi symbol: quadratic reciprocity · case 04
The exact jacobi symbol result violates the stated contract at quadratic reciprocity.
Jacobi symbol: quadratic reciprocity · case 05
The exact jacobi symbol result violates the stated contract at quadratic reciprocity.
Jacobi symbol: reciprocity remainder transfer · case 01
The exact jacobi symbol result violates the stated contract at reciprocity remainder transfer.
Jacobi symbol: reciprocity remainder transfer · case 02
The exact jacobi symbol result violates the stated contract at reciprocity remainder transfer.
Jacobi symbol: reciprocity remainder transfer · case 03
The exact jacobi symbol result violates the stated contract at reciprocity remainder transfer.
Jacobi symbol: reciprocity remainder transfer · case 04
The exact jacobi symbol result violates the stated contract at reciprocity remainder transfer.
Jacobi symbol: reciprocity remainder transfer · case 05
The exact jacobi symbol result violates the stated contract at reciprocity remainder transfer.
Jacobi symbol: common factor terminal · case 01
The exact jacobi symbol result violates the stated contract at common factor terminal.
Jacobi symbol: common factor terminal · case 02
The exact jacobi symbol result violates the stated contract at common factor terminal.
Jacobi symbol: common factor terminal · case 03
The exact jacobi symbol result violates the stated contract at common factor terminal.
Jacobi symbol: common factor terminal · case 04
The exact jacobi symbol result violates the stated contract at common factor terminal.
Jacobi symbol: common factor terminal · case 05
The exact jacobi symbol result violates the stated contract at common factor terminal.
Extended euclidean certificate: first Bezout seed · case 01
The exact extended euclidean certificate result violates the stated contract at first Bezout seed.
Extended euclidean certificate: first Bezout seed · case 02
The exact extended euclidean certificate result violates the stated contract at first Bezout seed.
Extended euclidean certificate: first Bezout seed · case 03
The exact extended euclidean certificate result violates the stated contract at first Bezout seed.
Extended euclidean certificate: first Bezout seed · case 04
The exact extended euclidean certificate result violates the stated contract at first Bezout seed.
Extended euclidean certificate: first Bezout seed · case 05
The exact extended euclidean certificate result violates the stated contract at first Bezout seed.
Extended euclidean certificate: second Bezout seed · case 01
The exact extended euclidean certificate result violates the stated contract at second Bezout seed.
Extended euclidean certificate: second Bezout seed · case 02
The exact extended euclidean certificate result violates the stated contract at second Bezout seed.
Extended euclidean certificate: second Bezout seed · case 03
The exact extended euclidean certificate result violates the stated contract at second Bezout seed.
Extended euclidean certificate: second Bezout seed · case 04
The exact extended euclidean certificate result violates the stated contract at second Bezout seed.
Extended euclidean certificate: second Bezout seed · case 05
The exact extended euclidean certificate result violates the stated contract at second Bezout seed.
Extended euclidean certificate: first coefficient recurrence · case 01
The exact extended euclidean certificate result violates the stated contract at first coefficient recurrence.
Extended euclidean certificate: first coefficient recurrence · case 02
The exact extended euclidean certificate result violates the stated contract at first coefficient recurrence.
Extended euclidean certificate: first coefficient recurrence · case 03
The exact extended euclidean certificate result violates the stated contract at first coefficient recurrence.
Extended euclidean certificate: first coefficient recurrence · case 04
The exact extended euclidean certificate result violates the stated contract at first coefficient recurrence.
Extended euclidean certificate: first coefficient recurrence · case 05
The exact extended euclidean certificate result violates the stated contract at first coefficient recurrence.
Extended euclidean certificate: second coefficient recurrence · case 01
The exact extended euclidean certificate result violates the stated contract at second coefficient recurrence.
Extended euclidean certificate: second coefficient recurrence · case 02
The exact extended euclidean certificate result violates the stated contract at second coefficient recurrence.
Extended euclidean certificate: second coefficient recurrence · case 03
The exact extended euclidean certificate result violates the stated contract at second coefficient recurrence.
Extended euclidean certificate: second coefficient recurrence · case 04
The exact extended euclidean certificate result violates the stated contract at second coefficient recurrence.
Extended euclidean certificate: second coefficient recurrence · case 05
The exact extended euclidean certificate result violates the stated contract at second coefficient recurrence.
Extended euclidean certificate: gcd sign normalization · case 01
The exact extended euclidean certificate result violates the stated contract at gcd sign normalization.
Extended euclidean certificate: gcd sign normalization · case 02
The exact extended euclidean certificate result violates the stated contract at gcd sign normalization.
Extended euclidean certificate: gcd sign normalization · case 03
The exact extended euclidean certificate result violates the stated contract at gcd sign normalization.
Extended euclidean certificate: gcd sign normalization · case 04
The exact extended euclidean certificate result violates the stated contract at gcd sign normalization.
Extended euclidean certificate: gcd sign normalization · case 05
The exact extended euclidean certificate result violates the stated contract at gcd sign normalization.
Quadratic surd period: surd numerator recurrence · case 01
The exact quadratic surd period result violates the stated contract at surd numerator recurrence.
Quadratic surd period: surd numerator recurrence · case 02
The exact quadratic surd period result violates the stated contract at surd numerator recurrence.
Quadratic surd period: surd numerator recurrence · case 03
The exact quadratic surd period result violates the stated contract at surd numerator recurrence.
Quadratic surd period: surd numerator recurrence · case 04
The exact quadratic surd period result violates the stated contract at surd numerator recurrence.
Quadratic surd period: surd numerator recurrence · case 05
The exact quadratic surd period result violates the stated contract at surd numerator recurrence.
Quadratic surd period: surd denominator numerator · case 01
The exact quadratic surd period result violates the stated contract at surd denominator numerator.
Quadratic surd period: surd denominator numerator · case 02
The exact quadratic surd period result violates the stated contract at surd denominator numerator.
Quadratic surd period: surd denominator numerator · case 03
The exact quadratic surd period result violates the stated contract at surd denominator numerator.
Quadratic surd period: surd denominator numerator · case 04
The exact quadratic surd period result violates the stated contract at surd denominator numerator.
Quadratic surd period: surd denominator numerator · case 05
The exact quadratic surd period result violates the stated contract at surd denominator numerator.
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 ↗