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
Dyck word ranking: closing depth update · case 01
The exact dyck word ranking result violates the stated contract at closing depth update.
Dyck word ranking: closing depth update · case 02
The exact dyck word ranking result violates the stated contract at closing depth update.
Dyck word ranking: closing depth update · case 03
The exact dyck word ranking result violates the stated contract at closing depth update.
Dyck word ranking: closing depth update · case 04
The exact dyck word ranking result violates the stated contract at closing depth update.
Dyck word ranking: closing depth update · case 05
The exact dyck word ranking result violates the stated contract at closing depth update.
Dyck word ranking: opening depth update · case 01
The exact dyck word ranking result violates the stated contract at opening depth update.
Dyck word ranking: opening depth update · case 02
The exact dyck word ranking result violates the stated contract at opening depth update.
Dyck word ranking: opening depth update · case 03
The exact dyck word ranking result violates the stated contract at opening depth update.
Dyck word ranking: opening depth update · case 04
The exact dyck word ranking result violates the stated contract at opening depth update.
Dyck word ranking: opening depth update · case 05
The exact dyck word ranking result violates the stated contract at opening depth update.
Dyck word ranking: balanced word rank origin · case 01
The exact dyck word ranking result violates the stated contract at balanced word rank origin.
Dyck word ranking: balanced word rank origin · case 02
The exact dyck word ranking result violates the stated contract at balanced word rank origin.
Dyck word ranking: balanced word rank origin · case 03
The exact dyck word ranking result violates the stated contract at balanced word rank origin.
Dyck word ranking: balanced word rank origin · case 04
The exact dyck word ranking result violates the stated contract at balanced word rank origin.
Dyck word ranking: balanced word rank origin · case 05
The exact dyck word ranking result violates the stated contract at balanced word rank origin.
Multiset permutation unrank: multiset alphabet order · case 01
The exact multiset permutation unrank result violates the stated contract at multiset alphabet order.
Multiset permutation unrank: multiset alphabet order · case 02
The exact multiset permutation unrank result violates the stated contract at multiset alphabet order.
Multiset permutation unrank: multiset alphabet order · case 03
The exact multiset permutation unrank result violates the stated contract at multiset alphabet order.
Multiset permutation unrank: multiset alphabet order · case 04
The exact multiset permutation unrank result violates the stated contract at multiset alphabet order.
Multiset permutation unrank: multiset alphabet order · case 05
The exact multiset permutation unrank result violates the stated contract at multiset alphabet order.
Multiset permutation unrank: duplicate block normalization · case 01
The exact multiset permutation unrank result violates the stated contract at duplicate block normalization.
Multiset permutation unrank: duplicate block normalization · case 02
The exact multiset permutation unrank result violates the stated contract at duplicate block normalization.
Multiset permutation unrank: duplicate block normalization · case 03
The exact multiset permutation unrank result violates the stated contract at duplicate block normalization.
Multiset permutation unrank: duplicate block normalization · case 04
The exact multiset permutation unrank result violates the stated contract at duplicate block normalization.
Multiset permutation unrank: duplicate block normalization · case 05
The exact multiset permutation unrank result violates the stated contract at duplicate block normalization.
Multiset permutation unrank: rank block membership · case 01
The exact multiset permutation unrank result violates the stated contract at rank block membership.
Multiset permutation unrank: rank block membership · case 02
The exact multiset permutation unrank result violates the stated contract at rank block membership.
Multiset permutation unrank: rank block membership · case 03
The exact multiset permutation unrank result violates the stated contract at rank block membership.
Multiset permutation unrank: rank block membership · case 04
The exact multiset permutation unrank result violates the stated contract at rank block membership.
Multiset permutation unrank: rank block membership · case 05
The exact multiset permutation unrank result violates the stated contract at rank block membership.
Multiset permutation unrank: skipped block subtraction · case 01
The exact multiset permutation unrank result violates the stated contract at skipped block subtraction.
Multiset permutation unrank: skipped block subtraction · case 02
The exact multiset permutation unrank result violates the stated contract at skipped block subtraction.
Multiset permutation unrank: skipped block subtraction · case 03
The exact multiset permutation unrank result violates the stated contract at skipped block subtraction.
Multiset permutation unrank: skipped block subtraction · case 04
The exact multiset permutation unrank result violates the stated contract at skipped block subtraction.
Multiset permutation unrank: skipped block subtraction · case 05
The exact multiset permutation unrank result violates the stated contract at skipped block subtraction.
Multiset permutation unrank: trial symbol restoration · case 01
The exact multiset permutation unrank result violates the stated contract at trial symbol restoration.
Multiset permutation unrank: trial symbol restoration · case 02
The exact multiset permutation unrank result violates the stated contract at trial symbol restoration.
Multiset permutation unrank: trial symbol restoration · case 03
The exact multiset permutation unrank result violates the stated contract at trial symbol restoration.
Multiset permutation unrank: trial symbol restoration · case 04
The exact multiset permutation unrank result violates the stated contract at trial symbol restoration.
Multiset permutation unrank: trial symbol restoration · case 05
The exact multiset permutation unrank result violates the stated contract at trial symbol restoration.
Restricted growth strings: exact block count terminal · case 01
The exact restricted growth strings result violates the stated contract at exact block count terminal.
Restricted growth strings: exact block count terminal · case 02
The exact restricted growth strings result violates the stated contract at exact block count terminal.
Restricted growth strings: exact block count terminal · case 03
The exact restricted growth strings result violates the stated contract at exact block count terminal.
Restricted growth strings: exact block count terminal · case 04
The exact restricted growth strings result violates the stated contract at exact block count terminal.
Restricted growth strings: exact block count terminal · case 05
The exact restricted growth strings result violates the stated contract at exact block count terminal.
Restricted growth strings: new block choice inclusion · case 01
The exact restricted growth strings result violates the stated contract at new block choice inclusion.
Restricted growth strings: new block choice inclusion · case 02
The exact restricted growth strings result violates the stated contract at new block choice inclusion.
Restricted growth strings: new block choice inclusion · case 03
The exact restricted growth strings result violates the stated contract at new block choice inclusion.
Restricted growth strings: new block choice inclusion · case 04
The exact restricted growth strings result violates the stated contract at new block choice inclusion.
Restricted growth strings: new block choice inclusion · case 05
The exact restricted growth strings result violates the stated contract at new block choice inclusion.
Restricted growth strings: block budget pruning · case 01
The exact restricted growth strings result violates the stated contract at block budget pruning.
Restricted growth strings: block budget pruning · case 02
The exact restricted growth strings result violates the stated contract at block budget pruning.
Restricted growth strings: block budget pruning · case 03
The exact restricted growth strings result violates the stated contract at block budget pruning.
Restricted growth strings: block budget pruning · case 04
The exact restricted growth strings result violates the stated contract at block budget pruning.
Restricted growth strings: block budget pruning · case 05
The exact restricted growth strings result violates the stated contract at block budget pruning.
Restricted growth strings: prefix extension position · case 01
The exact restricted growth strings result violates the stated contract at prefix extension position.
Restricted growth strings: prefix extension position · case 02
The exact restricted growth strings result violates the stated contract at prefix extension position.
Restricted growth strings: prefix extension position · case 03
The exact restricted growth strings result violates the stated contract at prefix extension position.
Restricted growth strings: prefix extension position · case 04
The exact restricted growth strings result violates the stated contract at prefix extension position.
Restricted growth strings: prefix extension position · case 05
The exact restricted growth strings result violates the stated contract at prefix extension position.
Restricted growth strings: highest used block tracking · case 01
The exact restricted growth strings result violates the stated contract at highest used block tracking.
Restricted growth strings: highest used block tracking · case 02
The exact restricted growth strings result violates the stated contract at highest used block tracking.
Restricted growth strings: highest used block tracking · case 03
The exact restricted growth strings result violates the stated contract at highest used block tracking.
Restricted growth strings: highest used block tracking · case 04
The exact restricted growth strings result violates the stated contract at highest used block tracking.
Restricted growth strings: highest used block tracking · case 05
The exact restricted growth strings result violates the stated contract at highest used block tracking.
Integer partition enumeration: partition candidate order · case 01
The exact integer partition enumeration result violates the stated contract at partition candidate order.
Integer partition enumeration: partition candidate order · case 02
The exact integer partition enumeration result violates the stated contract at partition candidate order.
Integer partition enumeration: partition candidate order · case 03
The exact integer partition enumeration result violates the stated contract at partition candidate order.
Integer partition enumeration: partition candidate order · case 04
The exact integer partition enumeration result violates the stated contract at partition candidate order.
Integer partition enumeration: partition candidate order · case 05
The exact integer partition enumeration result violates the stated contract at partition candidate order.
Integer partition enumeration: positive part admission · case 01
The exact integer partition enumeration result violates the stated contract at positive part admission.
Integer partition enumeration: positive part admission · case 02
The exact integer partition enumeration result violates the stated contract at positive part admission.
Integer partition enumeration: positive part admission · case 03
The exact integer partition enumeration result violates the stated contract at positive part admission.
Integer partition enumeration: positive part admission · case 04
The exact integer partition enumeration result violates the stated contract at positive part admission.
Integer partition enumeration: positive part admission · case 05
The exact integer partition enumeration result violates the stated contract at positive part admission.
Integer partition enumeration: partition remainder subtraction · case 01
The exact integer partition enumeration result violates the stated contract at partition remainder subtraction.
Integer partition enumeration: partition remainder subtraction · case 02
The exact integer partition enumeration result violates the stated contract at partition remainder subtraction.
Integer partition enumeration: partition remainder subtraction · case 03
The exact integer partition enumeration result violates the stated contract at partition remainder subtraction.
Integer partition enumeration: partition remainder subtraction · case 04
The exact integer partition enumeration result violates the stated contract at partition remainder subtraction.
Integer partition enumeration: partition remainder subtraction · case 05
The exact integer partition enumeration result violates the stated contract at partition remainder subtraction.
Integer partition enumeration: nonincreasing part bound · case 01
The exact integer partition enumeration result violates the stated contract at nonincreasing part bound.
Integer partition enumeration: nonincreasing part bound · case 02
The exact integer partition enumeration result violates the stated contract at nonincreasing part bound.
Integer partition enumeration: nonincreasing part bound · case 03
The exact integer partition enumeration result violates the stated contract at nonincreasing part bound.
Integer partition enumeration: nonincreasing part bound · case 04
The exact integer partition enumeration result violates the stated contract at nonincreasing part bound.
Integer partition enumeration: nonincreasing part bound · case 05
The exact integer partition enumeration result violates the stated contract at nonincreasing part bound.
Integer partition enumeration: partition prefix append · case 01
The exact integer partition enumeration result violates the stated contract at partition prefix append.
Integer partition enumeration: partition prefix append · case 02
The exact integer partition enumeration result violates the stated contract at partition prefix append.
Integer partition enumeration: partition prefix append · case 03
The exact integer partition enumeration result violates the stated contract at partition prefix append.
Integer partition enumeration: partition prefix append · case 04
The exact integer partition enumeration result violates the stated contract at partition prefix append.
Integer partition enumeration: partition prefix append · case 05
The exact integer partition enumeration result violates the stated contract at partition prefix append.
Josephus elimination order: ring label origin · case 01
The exact josephus elimination order result violates the stated contract at ring label origin.
Josephus elimination order: ring label origin · case 02
The exact josephus elimination order result violates the stated contract at ring label origin.
Josephus elimination order: ring label origin · case 03
The exact josephus elimination order result violates the stated contract at ring label origin.
Josephus elimination order: ring label origin · case 04
The exact josephus elimination order result violates the stated contract at ring label origin.
Josephus elimination order: ring label origin · case 05
The exact josephus elimination order result violates the stated contract at ring label origin.
Josephus elimination order: starting position · case 01
The exact josephus elimination order result violates the stated contract at starting position.
Josephus elimination order: starting position · case 02
The exact josephus elimination order result violates the stated contract at starting position.
Josephus elimination order: starting position · case 03
The exact josephus elimination order result violates the stated contract at starting position.
Josephus elimination order: starting position · case 04
The exact josephus elimination order result violates the stated contract at starting position.
Josephus elimination order: starting position · case 05
The exact josephus elimination order result violates the stated contract at starting position.
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 ↗