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
Josephus elimination order: elimination cardinality · case 01
The exact josephus elimination order result violates the stated contract at elimination cardinality.
Josephus elimination order: elimination cardinality · case 02
The exact josephus elimination order result violates the stated contract at elimination cardinality.
Josephus elimination order: elimination cardinality · case 03
The exact josephus elimination order result violates the stated contract at elimination cardinality.
Josephus elimination order: elimination cardinality · case 04
The exact josephus elimination order result violates the stated contract at elimination cardinality.
Josephus elimination order: elimination cardinality · case 05
The exact josephus elimination order result violates the stated contract at elimination cardinality.
Josephus elimination order: counted removal position · case 01
The exact josephus elimination order result violates the stated contract at counted removal position.
Josephus elimination order: counted removal position · case 02
The exact josephus elimination order result violates the stated contract at counted removal position.
Josephus elimination order: counted removal position · case 03
The exact josephus elimination order result violates the stated contract at counted removal position.
Josephus elimination order: counted removal position · case 04
The exact josephus elimination order result violates the stated contract at counted removal position.
Josephus elimination order: counted removal position · case 05
The exact josephus elimination order result violates the stated contract at counted removal position.
Josephus elimination order: successor cursor after deletion · case 01
The exact josephus elimination order result violates the stated contract at successor cursor after deletion.
Josephus elimination order: successor cursor after deletion · case 02
The exact josephus elimination order result violates the stated contract at successor cursor after deletion.
Josephus elimination order: successor cursor after deletion · case 03
The exact josephus elimination order result violates the stated contract at successor cursor after deletion.
Josephus elimination order: successor cursor after deletion · case 04
The exact josephus elimination order result violates the stated contract at successor cursor after deletion.
Josephus elimination order: successor cursor after deletion · case 05
The exact josephus elimination order result violates the stated contract at successor cursor after deletion.
Involution permutations: complete assignment terminal · case 01
The exact involution permutations result violates the stated contract at complete assignment terminal.
Involution permutations: complete assignment terminal · case 02
The exact involution permutations result violates the stated contract at complete assignment terminal.
Involution permutations: complete assignment terminal · case 03
The exact involution permutations result violates the stated contract at complete assignment terminal.
Involution permutations: complete assignment terminal · case 04
The exact involution permutations result violates the stated contract at complete assignment terminal.
Involution permutations: complete assignment terminal · case 05
The exact involution permutations result violates the stated contract at complete assignment terminal.
Involution permutations: fixed point image · case 01
The exact involution permutations result violates the stated contract at fixed point image.
Involution permutations: fixed point image · case 02
The exact involution permutations result violates the stated contract at fixed point image.
Involution permutations: fixed point image · case 03
The exact involution permutations result violates the stated contract at fixed point image.
Involution permutations: fixed point image · case 04
The exact involution permutations result violates the stated contract at fixed point image.
Involution permutations: fixed point image · case 05
The exact involution permutations result violates the stated contract at fixed point image.
Involution permutations: transposition partner coverage · case 01
The exact involution permutations result violates the stated contract at transposition partner coverage.
Involution permutations: transposition partner coverage · case 02
The exact involution permutations result violates the stated contract at transposition partner coverage.
Involution permutations: transposition partner coverage · case 03
The exact involution permutations result violates the stated contract at transposition partner coverage.
Involution permutations: transposition partner coverage · case 04
The exact involution permutations result violates the stated contract at transposition partner coverage.
Involution permutations: transposition partner coverage · case 05
The exact involution permutations result violates the stated contract at transposition partner coverage.
Involution permutations: transposition first image · case 01
The exact involution permutations result violates the stated contract at transposition first image.
Involution permutations: transposition first image · case 02
The exact involution permutations result violates the stated contract at transposition first image.
Involution permutations: transposition first image · case 03
The exact involution permutations result violates the stated contract at transposition first image.
Involution permutations: transposition first image · case 04
The exact involution permutations result violates the stated contract at transposition first image.
Involution permutations: transposition first image · case 05
The exact involution permutations result violates the stated contract at transposition first image.
Involution permutations: paired positions removal · case 01
The exact involution permutations result violates the stated contract at paired positions removal.
Involution permutations: paired positions removal · case 02
The exact involution permutations result violates the stated contract at paired positions removal.
Involution permutations: paired positions removal · case 03
The exact involution permutations result violates the stated contract at paired positions removal.
Involution permutations: paired positions removal · case 04
The exact involution permutations result violates the stated contract at paired positions removal.
Involution permutations: paired positions removal · case 05
The exact involution permutations result violates the stated contract at paired positions removal.
Bareiss determinant: elimination pivot count · case 01
The exact bareiss determinant result violates the stated contract at elimination pivot count.
Bareiss determinant: elimination pivot count · case 02
The exact bareiss determinant result violates the stated contract at elimination pivot count.
Bareiss determinant: elimination pivot count · case 03
The exact bareiss determinant result violates the stated contract at elimination pivot count.
Bareiss determinant: elimination pivot count · case 04
The exact bareiss determinant result violates the stated contract at elimination pivot count.
Bareiss determinant: elimination pivot count · case 05
The exact bareiss determinant result violates the stated contract at elimination pivot count.
Bareiss determinant: nonzero pivot selection · case 01
The exact bareiss determinant result violates the stated contract at nonzero pivot selection.
Bareiss determinant: nonzero pivot selection · case 02
The exact bareiss determinant result violates the stated contract at nonzero pivot selection.
Bareiss determinant: nonzero pivot selection · case 03
The exact bareiss determinant result violates the stated contract at nonzero pivot selection.
Bareiss determinant: nonzero pivot selection · case 04
The exact bareiss determinant result violates the stated contract at nonzero pivot selection.
Bareiss determinant: nonzero pivot selection · case 05
The exact bareiss determinant result violates the stated contract at nonzero pivot selection.
Bareiss determinant: row interchange parity · case 01
The exact bareiss determinant result violates the stated contract at row interchange parity.
Bareiss determinant: row interchange parity · case 02
The exact bareiss determinant result violates the stated contract at row interchange parity.
Bareiss determinant: row interchange parity · case 03
The exact bareiss determinant result violates the stated contract at row interchange parity.
Bareiss determinant: row interchange parity · case 04
The exact bareiss determinant result violates the stated contract at row interchange parity.
Bareiss determinant: row interchange parity · case 05
The exact bareiss determinant result violates the stated contract at row interchange parity.
Bareiss determinant: fraction free cross product · case 01
The exact bareiss determinant result violates the stated contract at fraction free cross product.
Bareiss determinant: fraction free cross product · case 02
The exact bareiss determinant result violates the stated contract at fraction free cross product.
Bareiss determinant: fraction free cross product · case 03
The exact bareiss determinant result violates the stated contract at fraction free cross product.
Bareiss determinant: fraction free cross product · case 04
The exact bareiss determinant result violates the stated contract at fraction free cross product.
Bareiss determinant: fraction free cross product · case 05
The exact bareiss determinant result violates the stated contract at fraction free cross product.
Bareiss determinant: previous pivot divisor · case 01
The exact bareiss determinant result violates the stated contract at previous pivot divisor.
Bareiss determinant: previous pivot divisor · case 02
The exact bareiss determinant result violates the stated contract at previous pivot divisor.
Bareiss determinant: previous pivot divisor · case 03
The exact bareiss determinant result violates the stated contract at previous pivot divisor.
Bareiss determinant: previous pivot divisor · case 04
The exact bareiss determinant result violates the stated contract at previous pivot divisor.
Bareiss determinant: previous pivot divisor · case 05
The exact bareiss determinant result violates the stated contract at previous pivot divisor.
Rational row reduction: pivot column traversal · case 01
The exact rational row reduction result violates the stated contract at pivot column traversal.
Rational row reduction: pivot column traversal · case 02
The exact rational row reduction result violates the stated contract at pivot column traversal.
Rational row reduction: pivot column traversal · case 03
The exact rational row reduction result violates the stated contract at pivot column traversal.
Rational row reduction: pivot column traversal · case 04
The exact rational row reduction result violates the stated contract at pivot column traversal.
Rational row reduction: pivot column traversal · case 05
The exact rational row reduction result violates the stated contract at pivot column traversal.
Rational row reduction: pivot admissibility · case 01
The exact rational row reduction result violates the stated contract at pivot admissibility.
Rational row reduction: pivot admissibility · case 02
The exact rational row reduction result violates the stated contract at pivot admissibility.
Rational row reduction: pivot admissibility · case 03
The exact rational row reduction result violates the stated contract at pivot admissibility.
Rational row reduction: pivot admissibility · case 04
The exact rational row reduction result violates the stated contract at pivot admissibility.
Rational row reduction: pivot admissibility · case 05
The exact rational row reduction result violates the stated contract at pivot admissibility.
Rational row reduction: pivot row normalization · case 01
The exact rational row reduction result violates the stated contract at pivot row normalization.
Rational row reduction: pivot row normalization · case 02
The exact rational row reduction result violates the stated contract at pivot row normalization.
Rational row reduction: pivot row normalization · case 03
The exact rational row reduction result violates the stated contract at pivot row normalization.
Rational row reduction: pivot row normalization · case 04
The exact rational row reduction result violates the stated contract at pivot row normalization.
Rational row reduction: pivot row normalization · case 05
The exact rational row reduction result violates the stated contract at pivot row normalization.
Rational row reduction: other row elimination · case 01
The exact rational row reduction result violates the stated contract at other row elimination.
Rational row reduction: other row elimination · case 02
The exact rational row reduction result violates the stated contract at other row elimination.
Rational row reduction: other row elimination · case 03
The exact rational row reduction result violates the stated contract at other row elimination.
Rational row reduction: other row elimination · case 04
The exact rational row reduction result violates the stated contract at other row elimination.
Rational row reduction: other row elimination · case 05
The exact rational row reduction result violates the stated contract at other row elimination.
Rational row reduction: pivot row cursor · case 01
The exact rational row reduction result violates the stated contract at pivot row cursor.
Rational row reduction: pivot row cursor · case 02
The exact rational row reduction result violates the stated contract at pivot row cursor.
Rational row reduction: pivot row cursor · case 03
The exact rational row reduction result violates the stated contract at pivot row cursor.
Rational row reduction: pivot row cursor · case 04
The exact rational row reduction result violates the stated contract at pivot row cursor.
Rational row reduction: pivot row cursor · case 05
The exact rational row reduction result violates the stated contract at pivot row cursor.
Rational nullspace basis: free column classification · case 01
The exact rational nullspace basis result violates the stated contract at free column classification.
Rational nullspace basis: free column classification · case 02
The exact rational nullspace basis result violates the stated contract at free column classification.
Rational nullspace basis: free column classification · case 03
The exact rational nullspace basis result violates the stated contract at free column classification.
Rational nullspace basis: free column classification · case 04
The exact rational nullspace basis result violates the stated contract at free column classification.
Rational nullspace basis: free column classification · case 05
The exact rational nullspace basis result violates the stated contract at free column classification.
Rational nullspace basis: basis free coordinate order · case 01
The exact rational nullspace basis result violates the stated contract at basis free coordinate order.
Rational nullspace basis: basis free coordinate order · case 02
The exact rational nullspace basis result violates the stated contract at basis free coordinate order.
Rational nullspace basis: basis free coordinate order · case 03
The exact rational nullspace basis result violates the stated contract at basis free coordinate order.
Rational nullspace basis: basis free coordinate order · case 04
The exact rational nullspace basis result violates the stated contract at basis free coordinate order.
Rational nullspace basis: basis free coordinate order · case 05
The exact rational nullspace basis result violates the stated contract at basis free coordinate order.
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 ↗