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
Best bounded rational: two nearest numerator candidates · case 01
The exact best bounded rational result violates the stated contract at two nearest numerator candidates.
Best bounded rational: two nearest numerator candidates · case 02
The exact best bounded rational result violates the stated contract at two nearest numerator candidates.
Best bounded rational: two nearest numerator candidates · case 03
The exact best bounded rational result violates the stated contract at two nearest numerator candidates.
Best bounded rational: two nearest numerator candidates · case 04
The exact best bounded rational result violates the stated contract at two nearest numerator candidates.
Best bounded rational: two nearest numerator candidates · case 05
The exact best bounded rational result violates the stated contract at two nearest numerator candidates.
Best bounded rational: rational distance · case 01
The exact best bounded rational result violates the stated contract at rational distance.
Best bounded rational: rational distance · case 02
The exact best bounded rational result violates the stated contract at rational distance.
Best bounded rational: rational distance · case 03
The exact best bounded rational result violates the stated contract at rational distance.
Best bounded rational: rational distance · case 04
The exact best bounded rational result violates the stated contract at rational distance.
Best bounded rational: rational distance · case 05
The exact best bounded rational result violates the stated contract at rational distance.
Best bounded rational: tie selection · case 01
The exact best bounded rational result violates the stated contract at tie selection.
Best bounded rational: tie selection · case 02
The exact best bounded rational result violates the stated contract at tie selection.
Best bounded rational: tie selection · case 03
The exact best bounded rational result violates the stated contract at tie selection.
Best bounded rational: tie selection · case 04
The exact best bounded rational result violates the stated contract at tie selection.
Best bounded rational: tie selection · case 05
The exact best bounded rational result violates the stated contract at tie selection.
Balanced odd radix encoding: zero digit representation · case 01
The exact balanced odd radix encoding result violates the stated contract at zero digit representation.
Balanced odd radix encoding: zero digit representation · case 02
The exact balanced odd radix encoding result violates the stated contract at zero digit representation.
Balanced odd radix encoding: zero digit representation · case 03
The exact balanced odd radix encoding result violates the stated contract at zero digit representation.
Balanced odd radix encoding: zero digit representation · case 04
The exact balanced odd radix encoding result violates the stated contract at zero digit representation.
Balanced odd radix encoding: zero digit representation · case 05
The exact balanced odd radix encoding result violates the stated contract at zero digit representation.
Balanced odd radix encoding: unsigned residue extraction · case 01
The exact balanced odd radix encoding result violates the stated contract at unsigned residue extraction.
Balanced odd radix encoding: unsigned residue extraction · case 02
The exact balanced odd radix encoding result violates the stated contract at unsigned residue extraction.
Balanced odd radix encoding: unsigned residue extraction · case 03
The exact balanced odd radix encoding result violates the stated contract at unsigned residue extraction.
Balanced odd radix encoding: unsigned residue extraction · case 04
The exact balanced odd radix encoding result violates the stated contract at unsigned residue extraction.
Balanced odd radix encoding: unsigned residue extraction · case 05
The exact balanced odd radix encoding result violates the stated contract at unsigned residue extraction.
Balanced odd radix encoding: balanced carry threshold · case 01
The exact balanced odd radix encoding result violates the stated contract at balanced carry threshold.
Balanced odd radix encoding: balanced carry threshold · case 02
The exact balanced odd radix encoding result violates the stated contract at balanced carry threshold.
Balanced odd radix encoding: balanced carry threshold · case 03
The exact balanced odd radix encoding result violates the stated contract at balanced carry threshold.
Balanced odd radix encoding: balanced carry threshold · case 04
The exact balanced odd radix encoding result violates the stated contract at balanced carry threshold.
Balanced odd radix encoding: balanced carry threshold · case 05
The exact balanced odd radix encoding result violates the stated contract at balanced carry threshold.
Balanced odd radix encoding: carry quotient · case 01
The exact balanced odd radix encoding result violates the stated contract at carry quotient.
Balanced odd radix encoding: carry quotient · case 02
The exact balanced odd radix encoding result violates the stated contract at carry quotient.
Balanced odd radix encoding: carry quotient · case 03
The exact balanced odd radix encoding result violates the stated contract at carry quotient.
Balanced odd radix encoding: carry quotient · case 04
The exact balanced odd radix encoding result violates the stated contract at carry quotient.
Balanced odd radix encoding: carry quotient · case 05
The exact balanced odd radix encoding result violates the stated contract at carry quotient.
Balanced odd radix encoding: digit significance order · case 01
The exact balanced odd radix encoding result violates the stated contract at digit significance order.
Balanced odd radix encoding: digit significance order · case 02
The exact balanced odd radix encoding result violates the stated contract at digit significance order.
Balanced odd radix encoding: digit significance order · case 03
The exact balanced odd radix encoding result violates the stated contract at digit significance order.
Balanced odd radix encoding: digit significance order · case 04
The exact balanced odd radix encoding result violates the stated contract at digit significance order.
Balanced odd radix encoding: digit significance order · case 05
The exact balanced odd radix encoding result violates the stated contract at digit significance order.
Negative radix encoding: negative base zero representation · case 01
The exact negative radix encoding result violates the stated contract at negative base zero representation.
Negative radix encoding: negative base zero representation · case 02
The exact negative radix encoding result violates the stated contract at negative base zero representation.
Negative radix encoding: negative base zero representation · case 03
The exact negative radix encoding result violates the stated contract at negative base zero representation.
Negative radix encoding: negative base zero representation · case 04
The exact negative radix encoding result violates the stated contract at negative base zero representation.
Negative radix encoding: negative base zero representation · case 05
The exact negative radix encoding result violates the stated contract at negative base zero representation.
Negative radix encoding: nonnegative negative radix remainder · case 01
The exact negative radix encoding result violates the stated contract at nonnegative negative radix remainder.
Negative radix encoding: nonnegative negative radix remainder · case 02
The exact negative radix encoding result violates the stated contract at nonnegative negative radix remainder.
Negative radix encoding: nonnegative negative radix remainder · case 03
The exact negative radix encoding result violates the stated contract at nonnegative negative radix remainder.
Negative radix encoding: nonnegative negative radix remainder · case 04
The exact negative radix encoding result violates the stated contract at nonnegative negative radix remainder.
Negative radix encoding: nonnegative negative radix remainder · case 05
The exact negative radix encoding result violates the stated contract at nonnegative negative radix remainder.
Negative radix encoding: negative base carry · case 01
The exact negative radix encoding result violates the stated contract at negative base carry.
Negative radix encoding: negative base carry · case 02
The exact negative radix encoding result violates the stated contract at negative base carry.
Negative radix encoding: negative base carry · case 03
The exact negative radix encoding result violates the stated contract at negative base carry.
Negative radix encoding: negative base carry · case 04
The exact negative radix encoding result violates the stated contract at negative base carry.
Negative radix encoding: negative base carry · case 05
The exact negative radix encoding result violates the stated contract at negative base carry.
Negative radix encoding: negative base digit order · case 01
The exact negative radix encoding result violates the stated contract at negative base digit order.
Negative radix encoding: negative base digit order · case 02
The exact negative radix encoding result violates the stated contract at negative base digit order.
Negative radix encoding: negative base digit order · case 03
The exact negative radix encoding result violates the stated contract at negative base digit order.
Negative radix encoding: negative base digit order · case 04
The exact negative radix encoding result violates the stated contract at negative base digit order.
Negative radix encoding: negative base digit order · case 05
The exact negative radix encoding result violates the stated contract at negative base digit order.
Negative radix encoding: nonzero digit preservation · case 01
The exact negative radix encoding result violates the stated contract at nonzero digit preservation.
Negative radix encoding: nonzero digit preservation · case 02
The exact negative radix encoding result violates the stated contract at nonzero digit preservation.
Negative radix encoding: nonzero digit preservation · case 03
The exact negative radix encoding result violates the stated contract at nonzero digit preservation.
Negative radix encoding: nonzero digit preservation · case 04
The exact negative radix encoding result violates the stated contract at nonzero digit preservation.
Negative radix encoding: nonzero digit preservation · case 05
The exact negative radix encoding result violates the stated contract at nonzero digit preservation.
Baby step giant step logarithm: baby exponent coverage · case 01
The exact baby step giant step logarithm result violates the stated contract at baby exponent coverage.
Baby step giant step logarithm: baby exponent coverage · case 02
The exact baby step giant step logarithm result violates the stated contract at baby exponent coverage.
Baby step giant step logarithm: baby exponent coverage · case 03
The exact baby step giant step logarithm result violates the stated contract at baby exponent coverage.
Baby step giant step logarithm: baby exponent coverage · case 04
The exact baby step giant step logarithm result violates the stated contract at baby exponent coverage.
Baby step giant step logarithm: baby exponent coverage · case 05
The exact baby step giant step logarithm result violates the stated contract at baby exponent coverage.
Baby step giant step logarithm: baby group progression · case 01
The exact baby step giant step logarithm result violates the stated contract at baby group progression.
Baby step giant step logarithm: baby group progression · case 02
The exact baby step giant step logarithm result violates the stated contract at baby group progression.
Baby step giant step logarithm: baby group progression · case 03
The exact baby step giant step logarithm result violates the stated contract at baby group progression.
Baby step giant step logarithm: baby group progression · case 04
The exact baby step giant step logarithm result violates the stated contract at baby group progression.
Baby step giant step logarithm: baby group progression · case 05
The exact baby step giant step logarithm result violates the stated contract at baby group progression.
Baby step giant step logarithm: inverse giant factor · case 01
The exact baby step giant step logarithm result violates the stated contract at inverse giant factor.
Baby step giant step logarithm: inverse giant factor · case 02
The exact baby step giant step logarithm result violates the stated contract at inverse giant factor.
Baby step giant step logarithm: inverse giant factor · case 03
The exact baby step giant step logarithm result violates the stated contract at inverse giant factor.
Baby step giant step logarithm: inverse giant factor · case 04
The exact baby step giant step logarithm result violates the stated contract at inverse giant factor.
Baby step giant step logarithm: inverse giant factor · case 05
The exact baby step giant step logarithm result violates the stated contract at inverse giant factor.
Baby step giant step logarithm: giant exponent reconstruction · case 01
The exact baby step giant step logarithm result violates the stated contract at giant exponent reconstruction.
Baby step giant step logarithm: giant exponent reconstruction · case 02
The exact baby step giant step logarithm result violates the stated contract at giant exponent reconstruction.
Baby step giant step logarithm: giant exponent reconstruction · case 03
The exact baby step giant step logarithm result violates the stated contract at giant exponent reconstruction.
Baby step giant step logarithm: giant exponent reconstruction · case 04
The exact baby step giant step logarithm result violates the stated contract at giant exponent reconstruction.
Baby step giant step logarithm: giant exponent reconstruction · case 05
The exact baby step giant step logarithm result violates the stated contract at giant exponent reconstruction.
Baby step giant step logarithm: giant group progression · case 01
The exact baby step giant step logarithm result violates the stated contract at giant group progression.
Baby step giant step logarithm: giant group progression · case 02
The exact baby step giant step logarithm result violates the stated contract at giant group progression.
Baby step giant step logarithm: giant group progression · case 03
The exact baby step giant step logarithm result violates the stated contract at giant group progression.
Baby step giant step logarithm: giant group progression · case 04
The exact baby step giant step logarithm result violates the stated contract at giant group progression.
Baby step giant step logarithm: giant group progression · case 05
The exact baby step giant step logarithm result violates the stated contract at giant group progression.
Lehmer permutation rank: unused alphabet initialization · case 01
The exact lehmer permutation rank result violates the stated contract at unused alphabet initialization.
Lehmer permutation rank: unused alphabet initialization · case 02
The exact lehmer permutation rank result violates the stated contract at unused alphabet initialization.
Lehmer permutation rank: unused alphabet initialization · case 03
The exact lehmer permutation rank result violates the stated contract at unused alphabet initialization.
Lehmer permutation rank: unused alphabet initialization · case 04
The exact lehmer permutation rank result violates the stated contract at unused alphabet initialization.
Lehmer permutation rank: unused alphabet initialization · case 05
The exact lehmer permutation rank result violates the stated contract at unused alphabet initialization.
Lehmer permutation rank: inversion digit lookup · case 01
The exact lehmer permutation rank result violates the stated contract at inversion digit lookup.
Lehmer permutation rank: inversion digit lookup · case 02
The exact lehmer permutation rank result violates the stated contract at inversion digit lookup.
Lehmer permutation rank: inversion digit lookup · case 03
The exact lehmer permutation rank result violates the stated contract at inversion digit lookup.
Lehmer permutation rank: inversion digit lookup · case 04
The exact lehmer permutation rank result violates the stated contract at inversion digit lookup.
Lehmer permutation rank: inversion digit lookup · case 05
The exact lehmer permutation rank result violates the stated contract at inversion digit lookup.
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 ↗