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
Lehmer permutation rank: factoradic place weighting · case 01
The exact lehmer permutation rank result violates the stated contract at factoradic place weighting.
Lehmer permutation rank: factoradic place weighting · case 02
The exact lehmer permutation rank result violates the stated contract at factoradic place weighting.
Lehmer permutation rank: factoradic place weighting · case 03
The exact lehmer permutation rank result violates the stated contract at factoradic place weighting.
Lehmer permutation rank: factoradic place weighting · case 04
The exact lehmer permutation rank result violates the stated contract at factoradic place weighting.
Lehmer permutation rank: factoradic place weighting · case 05
The exact lehmer permutation rank result violates the stated contract at factoradic place weighting.
Lehmer permutation rank: used symbol removal · case 01
The exact lehmer permutation rank result violates the stated contract at used symbol removal.
Lehmer permutation rank: used symbol removal · case 02
The exact lehmer permutation rank result violates the stated contract at used symbol removal.
Lehmer permutation rank: used symbol removal · case 03
The exact lehmer permutation rank result violates the stated contract at used symbol removal.
Lehmer permutation rank: used symbol removal · case 04
The exact lehmer permutation rank result violates the stated contract at used symbol removal.
Lehmer permutation rank: used symbol removal · case 05
The exact lehmer permutation rank result violates the stated contract at used symbol removal.
Lehmer permutation rank: rank origin · case 01
The exact lehmer permutation rank result violates the stated contract at rank origin.
Lehmer permutation rank: rank origin · case 02
The exact lehmer permutation rank result violates the stated contract at rank origin.
Lehmer permutation rank: rank origin · case 03
The exact lehmer permutation rank result violates the stated contract at rank origin.
Lehmer permutation rank: rank origin · case 04
The exact lehmer permutation rank result violates the stated contract at rank origin.
Lehmer permutation rank: rank origin · case 05
The exact lehmer permutation rank result violates the stated contract at rank origin.
Factoradic permutation unrank: factoradic digit count · case 01
The exact factoradic permutation unrank result violates the stated contract at factoradic digit count.
Factoradic permutation unrank: factoradic digit count · case 02
The exact factoradic permutation unrank result violates the stated contract at factoradic digit count.
Factoradic permutation unrank: factoradic digit count · case 03
The exact factoradic permutation unrank result violates the stated contract at factoradic digit count.
Factoradic permutation unrank: factoradic digit count · case 04
The exact factoradic permutation unrank result violates the stated contract at factoradic digit count.
Factoradic permutation unrank: factoradic digit count · case 05
The exact factoradic permutation unrank result violates the stated contract at factoradic digit count.
Factoradic permutation unrank: permutation block size · case 01
The exact factoradic permutation unrank result violates the stated contract at permutation block size.
Factoradic permutation unrank: permutation block size · case 02
The exact factoradic permutation unrank result violates the stated contract at permutation block size.
Factoradic permutation unrank: permutation block size · case 03
The exact factoradic permutation unrank result violates the stated contract at permutation block size.
Factoradic permutation unrank: permutation block size · case 04
The exact factoradic permutation unrank result violates the stated contract at permutation block size.
Factoradic permutation unrank: permutation block size · case 05
The exact factoradic permutation unrank result violates the stated contract at permutation block size.
Factoradic permutation unrank: factoradic quotient digit · case 01
The exact factoradic permutation unrank result violates the stated contract at factoradic quotient digit.
Factoradic permutation unrank: factoradic quotient digit · case 02
The exact factoradic permutation unrank result violates the stated contract at factoradic quotient digit.
Factoradic permutation unrank: factoradic quotient digit · case 03
The exact factoradic permutation unrank result violates the stated contract at factoradic quotient digit.
Factoradic permutation unrank: factoradic quotient digit · case 04
The exact factoradic permutation unrank result violates the stated contract at factoradic quotient digit.
Factoradic permutation unrank: factoradic quotient digit · case 05
The exact factoradic permutation unrank result violates the stated contract at factoradic quotient digit.
Factoradic permutation unrank: alphabet selection removal · case 01
The exact factoradic permutation unrank result violates the stated contract at alphabet selection removal.
Factoradic permutation unrank: alphabet selection removal · case 02
The exact factoradic permutation unrank result violates the stated contract at alphabet selection removal.
Factoradic permutation unrank: alphabet selection removal · case 03
The exact factoradic permutation unrank result violates the stated contract at alphabet selection removal.
Factoradic permutation unrank: alphabet selection removal · case 04
The exact factoradic permutation unrank result violates the stated contract at alphabet selection removal.
Factoradic permutation unrank: alphabet selection removal · case 05
The exact factoradic permutation unrank result violates the stated contract at alphabet selection removal.
Factoradic permutation unrank: within block rank · case 01
The exact factoradic permutation unrank result violates the stated contract at within block rank.
Factoradic permutation unrank: within block rank · case 02
The exact factoradic permutation unrank result violates the stated contract at within block rank.
Factoradic permutation unrank: within block rank · case 03
The exact factoradic permutation unrank result violates the stated contract at within block rank.
Factoradic permutation unrank: within block rank · case 04
The exact factoradic permutation unrank result violates the stated contract at within block rank.
Factoradic permutation unrank: within block rank · case 05
The exact factoradic permutation unrank result violates the stated contract at within block rank.
Colex combination rank: selected element traversal · case 01
The exact colex combination rank result violates the stated contract at selected element traversal.
Colex combination rank: selected element traversal · case 02
The exact colex combination rank result violates the stated contract at selected element traversal.
Colex combination rank: selected element traversal · case 03
The exact colex combination rank result violates the stated contract at selected element traversal.
Colex combination rank: selected element traversal · case 04
The exact colex combination rank result violates the stated contract at selected element traversal.
Colex combination rank: selected element traversal · case 05
The exact colex combination rank result violates the stated contract at selected element traversal.
Colex combination rank: binomial top index · case 01
The exact colex combination rank result violates the stated contract at binomial top index.
Colex combination rank: binomial top index · case 02
The exact colex combination rank result violates the stated contract at binomial top index.
Colex combination rank: binomial top index · case 03
The exact colex combination rank result violates the stated contract at binomial top index.
Colex combination rank: binomial top index · case 04
The exact colex combination rank result violates the stated contract at binomial top index.
Colex combination rank: binomial top index · case 05
The exact colex combination rank result violates the stated contract at binomial top index.
Colex combination rank: binomial lower index · case 01
The exact colex combination rank result violates the stated contract at binomial lower index.
Colex combination rank: binomial lower index · case 02
The exact colex combination rank result violates the stated contract at binomial lower index.
Colex combination rank: binomial lower index · case 03
The exact colex combination rank result violates the stated contract at binomial lower index.
Colex combination rank: binomial lower index · case 04
The exact colex combination rank result violates the stated contract at binomial lower index.
Colex combination rank: binomial lower index · case 05
The exact colex combination rank result violates the stated contract at binomial lower index.
Colex combination rank: combinatorial place accumulation · case 01
The exact colex combination rank result violates the stated contract at combinatorial place accumulation.
Colex combination rank: combinatorial place accumulation · case 02
The exact colex combination rank result violates the stated contract at combinatorial place accumulation.
Colex combination rank: combinatorial place accumulation · case 03
The exact colex combination rank result violates the stated contract at combinatorial place accumulation.
Colex combination rank: combinatorial place accumulation · case 04
The exact colex combination rank result violates the stated contract at combinatorial place accumulation.
Colex combination rank: combinatorial place accumulation · case 05
The exact colex combination rank result violates the stated contract at combinatorial place accumulation.
Colex combination rank: colex origin offset · case 01
The exact colex combination rank result violates the stated contract at colex origin offset.
Colex combination rank: colex origin offset · case 02
The exact colex combination rank result violates the stated contract at colex origin offset.
Colex combination rank: colex origin offset · case 03
The exact colex combination rank result violates the stated contract at colex origin offset.
Colex combination rank: colex origin offset · case 04
The exact colex combination rank result violates the stated contract at colex origin offset.
Colex combination rank: colex origin offset · case 05
The exact colex combination rank result violates the stated contract at colex origin offset.
Combinadic unrank: descending binomial positions · case 01
The exact combinadic unrank result violates the stated contract at descending binomial positions.
Combinadic unrank: descending binomial positions · case 02
The exact combinadic unrank result violates the stated contract at descending binomial positions.
Combinadic unrank: descending binomial positions · case 03
The exact combinadic unrank result violates the stated contract at descending binomial positions.
Combinadic unrank: descending binomial positions · case 04
The exact combinadic unrank result violates the stated contract at descending binomial positions.
Combinadic unrank: descending binomial positions · case 05
The exact combinadic unrank result violates the stated contract at descending binomial positions.
Combinadic unrank: greedy upper bound · case 01
The exact combinadic unrank result violates the stated contract at greedy upper bound.
Combinadic unrank: greedy upper bound · case 02
The exact combinadic unrank result violates the stated contract at greedy upper bound.
Combinadic unrank: greedy upper bound · case 03
The exact combinadic unrank result violates the stated contract at greedy upper bound.
Combinadic unrank: greedy upper bound · case 04
The exact combinadic unrank result violates the stated contract at greedy upper bound.
Combinadic unrank: greedy upper bound · case 05
The exact combinadic unrank result violates the stated contract at greedy upper bound.
Combinadic unrank: residual colex rank · case 01
The exact combinadic unrank result violates the stated contract at residual colex rank.
Combinadic unrank: residual colex rank · case 02
The exact combinadic unrank result violates the stated contract at residual colex rank.
Combinadic unrank: residual colex rank · case 03
The exact combinadic unrank result violates the stated contract at residual colex rank.
Combinadic unrank: residual colex rank · case 04
The exact combinadic unrank result violates the stated contract at residual colex rank.
Combinadic unrank: residual colex rank · case 05
The exact combinadic unrank result violates the stated contract at residual colex rank.
Combinadic unrank: strict preceding element ceiling · case 01
The exact combinadic unrank result violates the stated contract at strict preceding element ceiling.
Combinadic unrank: strict preceding element ceiling · case 02
The exact combinadic unrank result violates the stated contract at strict preceding element ceiling.
Combinadic unrank: strict preceding element ceiling · case 03
The exact combinadic unrank result violates the stated contract at strict preceding element ceiling.
Combinadic unrank: strict preceding element ceiling · case 04
The exact combinadic unrank result violates the stated contract at strict preceding element ceiling.
Combinadic unrank: strict preceding element ceiling · case 05
The exact combinadic unrank result violates the stated contract at strict preceding element ceiling.
Combinadic unrank: increasing combination output · case 01
The exact combinadic unrank result violates the stated contract at increasing combination output.
Combinadic unrank: increasing combination output · case 02
The exact combinadic unrank result violates the stated contract at increasing combination output.
Combinadic unrank: increasing combination output · case 03
The exact combinadic unrank result violates the stated contract at increasing combination output.
Combinadic unrank: increasing combination output · case 04
The exact combinadic unrank result violates the stated contract at increasing combination output.
Combinadic unrank: increasing combination output · case 05
The exact combinadic unrank result violates the stated contract at increasing combination output.
Dyck word ranking: prefix balance rejection · case 01
The exact dyck word ranking result violates the stated contract at prefix balance rejection.
Dyck word ranking: prefix balance rejection · case 02
The exact dyck word ranking result violates the stated contract at prefix balance rejection.
Dyck word ranking: prefix balance rejection · case 03
The exact dyck word ranking result violates the stated contract at prefix balance rejection.
Dyck word ranking: prefix balance rejection · case 04
The exact dyck word ranking result violates the stated contract at prefix balance rejection.
Dyck word ranking: prefix balance rejection · case 05
The exact dyck word ranking result violates the stated contract at prefix balance rejection.
Dyck word ranking: skipped opening subtree · case 01
The exact dyck word ranking result violates the stated contract at skipped opening subtree.
Dyck word ranking: skipped opening subtree · case 02
The exact dyck word ranking result violates the stated contract at skipped opening subtree.
Dyck word ranking: skipped opening subtree · case 03
The exact dyck word ranking result violates the stated contract at skipped opening subtree.
Dyck word ranking: skipped opening subtree · case 04
The exact dyck word ranking result violates the stated contract at skipped opening subtree.
Dyck word ranking: skipped opening subtree · case 05
The exact dyck word ranking result violates the stated contract at skipped opening subtree.
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 ↗