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
Journal void and reversal linkage: reversal amount · case 01
Voiding an entry doubles its effect on the balance.
Journal void and reversal linkage: reversal amount · case 02
Voiding an entry doubles its effect on the balance.
Journal void and reversal linkage: reversal amount · case 03
Voiding an entry doubles its effect on the balance.
Journal void and reversal linkage: reversal amount · case 04
Voiding an entry doubles its effect on the balance.
Journal void and reversal linkage: reversal amount · case 05
Voiding an entry doubles its effect on the balance.
Journal void and reversal linkage: reversal id collision · case 01
A void overwrites an existing entry that shares the reversal id.
Journal void and reversal linkage: reversal id collision · case 02
A void overwrites an existing entry that shares the reversal id.
Journal void and reversal linkage: reversal id collision · case 03
A void overwrites an existing entry that shares the reversal id.
Journal void and reversal linkage: reversal id collision · case 04
A void overwrites an existing entry that shares the reversal id.
Journal void and reversal linkage: reversal id collision · case 05
A void overwrites an existing entry that shares the reversal id.
Journal void and reversal linkage: duplicate post detection · case 01
Posting a new entry reuses the id of a voided entry and resurrects it.
Journal void and reversal linkage: duplicate post detection · case 02
Posting a new entry reuses the id of a voided entry and resurrects it.
Journal void and reversal linkage: duplicate post detection · case 03
Posting a new entry reuses the id of a voided entry and resurrects it.
Journal void and reversal linkage: duplicate post detection · case 04
Posting a new entry reuses the id of a voided entry and resurrects it.
Journal void and reversal linkage: duplicate post detection · case 05
Posting a new entry reuses the id of a voided entry and resurrects it.
Journal void and reversal linkage: failed void side effect · case 01
A rejected void still leaves the target entry marked voided.
Journal void and reversal linkage: failed void side effect · case 02
A rejected void still leaves the target entry marked voided.
Journal void and reversal linkage: failed void side effect · case 03
A rejected void still leaves the target entry marked voided.
Journal void and reversal linkage: failed void side effect · case 04
A rejected void still leaves the target entry marked voided.
Journal void and reversal linkage: failed void side effect · case 05
A rejected void still leaves the target entry marked voided.
Intercompany elimination: counterparty lookup · case 01
Intercompany receivables are matched against the same entity payables.
Intercompany elimination: counterparty lookup · case 02
Intercompany receivables are matched against the same entity payables.
Intercompany elimination: counterparty lookup · case 03
Intercompany receivables are matched against the same entity payables.
Intercompany elimination: counterparty lookup · case 04
Intercompany receivables are matched against the same entity payables.
Intercompany elimination: counterparty lookup · case 05
Intercompany receivables are matched against the same entity payables.
Intercompany elimination: mismatch direction · case 01
Mismatch reports never show which side is short.
Intercompany elimination: mismatch direction · case 02
Mismatch reports never show which side is short.
Intercompany elimination: mismatch direction · case 03
Mismatch reports never show which side is short.
Intercompany elimination: mismatch direction · case 04
Mismatch reports never show which side is short.
Intercompany elimination: mismatch direction · case 05
Mismatch reports never show which side is short.
Intercompany elimination: eliminated amount · case 01
Consolidation shows negative intercompany payables.
Intercompany elimination: eliminated amount · case 02
Consolidation shows negative intercompany payables.
Intercompany elimination: eliminated amount · case 03
Consolidation shows negative intercompany payables.
Intercompany elimination: eliminated amount · case 04
Consolidation shows negative intercompany payables.
Intercompany elimination: eliminated amount · case 05
Consolidation shows negative intercompany payables.
Intercompany elimination: orphan right-side balance · case 01
A payable with no matching receivable is eliminated against the wrong pair or reported backwards.
Intercompany elimination: orphan right-side balance · case 02
A payable with no matching receivable is eliminated against the wrong pair or reported backwards.
Intercompany elimination: orphan right-side balance · case 03
A payable with no matching receivable is eliminated against the wrong pair or reported backwards.
Intercompany elimination: orphan right-side balance · case 04
A payable with no matching receivable is eliminated against the wrong pair or reported backwards.
Intercompany elimination: orphan right-side balance · case 05
A payable with no matching receivable is eliminated against the wrong pair or reported backwards.
Intercompany elimination: self counterparty · case 01
Balances that name their own entity as counterparty are eliminated against themselves.
Intercompany elimination: self counterparty · case 02
Balances that name their own entity as counterparty are eliminated against themselves.
Intercompany elimination: self counterparty · case 03
Balances that name their own entity as counterparty are eliminated against themselves.
Intercompany elimination: self counterparty · case 04
Balances that name their own entity as counterparty are eliminated against themselves.
Intercompany elimination: self counterparty · case 05
Balances that name their own entity as counterparty are eliminated against themselves.
Intercompany elimination: zero balance filter · case 01
Fully eliminated accounts appear in the consolidation with zero totals.
Intercompany elimination: zero balance filter · case 02
Fully eliminated accounts appear in the consolidation with zero totals.
Intercompany elimination: zero balance filter · case 03
Fully eliminated accounts appear in the consolidation with zero totals.
Intercompany elimination: zero balance filter · case 04
Fully eliminated accounts appear in the consolidation with zero totals.
Intercompany elimination: zero balance filter · case 05
Fully eliminated accounts appear in the consolidation with zero totals.
Receivables subledger tie-out: control cutoff · case 01
The control account omits postings dated on the reconciliation date.
Receivables subledger tie-out: control cutoff · case 02
The control account omits postings dated on the reconciliation date.
Receivables subledger tie-out: control cutoff · case 03
The control account omits postings dated on the reconciliation date.
Receivables subledger tie-out: control cutoff · case 04
The control account omits postings dated on the reconciliation date.
Receivables subledger tie-out: control cutoff · case 05
The control account omits postings dated on the reconciliation date.
Receivables subledger tie-out: subledger cutoff · case 01
Future-dated invoices appear in the customer balances.
Receivables subledger tie-out: subledger cutoff · case 02
Future-dated invoices appear in the customer balances.
Receivables subledger tie-out: subledger cutoff · case 03
Future-dated invoices appear in the customer balances.
Receivables subledger tie-out: subledger cutoff · case 04
Future-dated invoices appear in the customer balances.
Receivables subledger tie-out: subledger cutoff · case 05
Future-dated invoices appear in the customer balances.
Receivables subledger tie-out: credit balances in total · case 01
Customer overpayments create a phantom reconciling difference.
Receivables subledger tie-out: credit balances in total · case 02
Customer overpayments create a phantom reconciling difference.
Receivables subledger tie-out: credit balances in total · case 03
Customer overpayments create a phantom reconciling difference.
Receivables subledger tie-out: credit balances in total · case 04
Customer overpayments create a phantom reconciling difference.
Receivables subledger tie-out: credit balances in total · case 05
Customer overpayments create a phantom reconciling difference.
Receivables subledger tie-out: difference orientation · case 01
Reconciling differences are reported with the opposite sign.
Receivables subledger tie-out: difference orientation · case 02
Reconciling differences are reported with the opposite sign.
Receivables subledger tie-out: difference orientation · case 03
Reconciling differences are reported with the opposite sign.
Receivables subledger tie-out: difference orientation · case 04
Reconciling differences are reported with the opposite sign.
Receivables subledger tie-out: difference orientation · case 05
Reconciling differences are reported with the opposite sign.
Receivables subledger tie-out: open customer count · case 01
Customers with credit balances are not counted as open.
Receivables subledger tie-out: open customer count · case 02
Customers with credit balances are not counted as open.
Receivables subledger tie-out: open customer count · case 03
Customers with credit balances are not counted as open.
Receivables subledger tie-out: open customer count · case 04
Customers with credit balances are not counted as open.
Receivables subledger tie-out: open customer count · case 05
Customers with credit balances are not counted as open.
Receivables subledger tie-out: credit balance threshold · case 01
Settled customers are listed as having credit balances.
Receivables subledger tie-out: credit balance threshold · case 02
Settled customers are listed as having credit balances.
Receivables subledger tie-out: credit balance threshold · case 03
Settled customers are listed as having credit balances.
Receivables subledger tie-out: credit balance threshold · case 04
Settled customers are listed as having credit balances.
Receivables subledger tie-out: credit balance threshold · case 05
Settled customers are listed as having credit balances.
Payroll journal entry: remaining wage base · case 01
Employees past the wage base get a social tax refund on each paycheck.
Payroll journal entry: remaining wage base · case 02
Employees past the wage base get a social tax refund on each paycheck.
Payroll journal entry: remaining wage base · case 03
Employees past the wage base get a social tax refund on each paycheck.
Payroll journal entry: remaining wage base · case 04
Employees past the wage base get a social tax refund on each paycheck.
Payroll journal entry: remaining wage base · case 05
Employees past the wage base get a social tax refund on each paycheck.
Payroll journal entry: year-to-date accumulation · case 01
A bonus paycheck in the same run is taxed as if the base had not been used.
Payroll journal entry: year-to-date accumulation · case 02
A bonus paycheck in the same run is taxed as if the base had not been used.
Payroll journal entry: year-to-date accumulation · case 03
A bonus paycheck in the same run is taxed as if the base had not been used.
Payroll journal entry: year-to-date accumulation · case 04
A bonus paycheck in the same run is taxed as if the base had not been used.
Payroll journal entry: year-to-date accumulation · case 05
A bonus paycheck in the same run is taxed as if the base had not been used.
Payroll journal entry: medicare cap · case 01
High earners stop paying medicare after crossing the social wage base.
Payroll journal entry: medicare cap · case 02
High earners stop paying medicare after crossing the social wage base.
Payroll journal entry: medicare cap · case 03
High earners stop paying medicare after crossing the social wage base.
Payroll journal entry: medicare cap · case 04
High earners stop paying medicare after crossing the social wage base.
Payroll journal entry: medicare cap · case 05
High earners stop paying medicare after crossing the social wage base.
Payroll journal entry: employer match composition · case 01
Employer payroll tax expense includes employee income tax withholding.
Payroll journal entry: employer match composition · case 02
Employer payroll tax expense includes employee income tax withholding.
Payroll journal entry: employer match composition · case 03
Employer payroll tax expense includes employee income tax withholding.
Payroll journal entry: employer match composition · case 04
Employer payroll tax expense includes employee income tax withholding.
Payroll journal entry: employer match composition · case 05
Employer payroll tax expense includes employee income tax withholding.
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 ↗