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
Award assignment: remaining original obligation · case 01
Partial assignment misstates the original bidder remaining delivery obligation.
Award assignment: remaining original obligation · case 02
Partial assignment misstates the original bidder remaining delivery obligation.
Award assignment: remaining original obligation · case 03
Partial assignment misstates the original bidder remaining delivery obligation.
Award assignment: remaining original obligation · case 04
Partial assignment misstates the original bidder remaining delivery obligation.
Award assignment: remaining original obligation · case 05
Partial assignment misstates the original bidder remaining delivery obligation.
Award assignment: assigned unpaid units · case 01
Assignment charges prepaid units or applies all prepayment to only the transferred tranche.
Award assignment: assigned unpaid units · case 02
Assignment charges prepaid units or applies all prepayment to only the transferred tranche.
Award assignment: assigned unpaid units · case 03
Assignment charges prepaid units or applies all prepayment to only the transferred tranche.
Award assignment: assigned unpaid units · case 04
Assignment charges prepaid units or applies all prepayment to only the transferred tranche.
Award assignment: assigned unpaid units · case 05
Assignment charges prepaid units or applies all prepayment to only the transferred tranche.
Award assignment: guarantee novation · case 01
Original guarantee releases before completed novation.
Award assignment: guarantee novation · case 02
Original guarantee releases before completed novation.
Award assignment: guarantee novation · case 03
Original guarantee releases before completed novation.
Award assignment: guarantee novation · case 04
Original guarantee releases before completed novation.
Award assignment: guarantee novation · case 05
Original guarantee releases before completed novation.
Award assignment: assignee admission · case 01
An approved-but-banned or unapproved assignee receives a regulated award.
Award assignment: assignee admission · case 02
An approved-but-banned or unapproved assignee receives a regulated award.
Award assignment: assignee admission · case 03
An approved-but-banned or unapproved assignee receives a regulated award.
Award assignment: assignee admission · case 04
An approved-but-banned or unapproved assignee receives a regulated award.
Award assignment: assignee admission · case 05
An approved-but-banned or unapproved assignee receives a regulated award.
Award assignment: self assignment noop · case 01
Self-assignment consumes award capacity as if a different buyer received it.
Award assignment: self assignment noop · case 02
Self-assignment consumes award capacity as if a different buyer received it.
Award assignment: self assignment noop · case 03
Self-assignment consumes award capacity as if a different buyer received it.
Award assignment: self assignment noop · case 04
Self-assignment consumes award capacity as if a different buyer received it.
Award assignment: self assignment noop · case 05
Self-assignment consumes award capacity as if a different buyer received it.
Award assignment: assignment provenance · case 01
Assignment overwrites original award provenance or reverses transfer parties.
Award assignment: assignment provenance · case 02
Assignment overwrites original award provenance or reverses transfer parties.
Award assignment: assignment provenance · case 03
Assignment overwrites original award provenance or reverses transfer parties.
Award assignment: assignment provenance · case 04
Assignment overwrites original award provenance or reverses transfer parties.
Award assignment: assignment provenance · case 05
Assignment overwrites original award provenance or reverses transfer parties.
Award assignment: distinct assignment id · case 01
Assignment writes over its source award identity.
Award assignment: distinct assignment id · case 02
Assignment writes over its source award identity.
Award assignment: distinct assignment id · case 03
Assignment writes over its source award identity.
Award assignment: distinct assignment id · case 04
Assignment writes over its source award identity.
Award assignment: distinct assignment id · case 05
Assignment writes over its source award identity.
Award assignment: escrow and assignment fee · case 01
Assignee collateral approval ignores the independently payable transfer fee.
Award assignment: escrow and assignment fee · case 02
Assignee collateral approval ignores the independently payable transfer fee.
Award assignment: escrow and assignment fee · case 03
Assignee collateral approval ignores the independently payable transfer fee.
Award assignment: escrow and assignment fee · case 04
Assignee collateral approval ignores the independently payable transfer fee.
Award assignment: escrow and assignment fee · case 05
Assignee collateral approval ignores the independently payable transfer fee.
Journal posting engine: dividend normal side · case 01
Owner drawings show a negative balance after a debit posting.
Journal posting engine: dividend normal side · case 02
Owner drawings show a negative balance after a debit posting.
Journal posting engine: dividend normal side · case 03
Owner drawings show a negative balance after a debit posting.
Journal posting engine: dividend normal side · case 04
Owner drawings show a negative balance after a debit posting.
Journal posting engine: dividend normal side · case 05
Owner drawings show a negative balance after a debit posting.
Journal posting engine: zero amount line · case 01
Entries padded with zero-amount lines are posted instead of rejected.
Journal posting engine: zero amount line · case 02
Entries padded with zero-amount lines are posted instead of rejected.
Journal posting engine: zero amount line · case 03
Entries padded with zero-amount lines are posted instead of rejected.
Journal posting engine: zero amount line · case 04
Entries padded with zero-amount lines are posted instead of rejected.
Journal posting engine: zero amount line · case 05
Entries padded with zero-amount lines are posted instead of rejected.
Journal posting engine: balance equality check · case 01
Unbalanced journal entries are posted and the ledger no longer nets to zero.
Journal posting engine: balance equality check · case 02
Unbalanced journal entries are posted and the ledger no longer nets to zero.
Journal posting engine: balance equality check · case 03
Unbalanced journal entries are posted and the ledger no longer nets to zero.
Journal posting engine: balance equality check · case 04
Unbalanced journal entries are posted and the ledger no longer nets to zero.
Journal posting engine: balance equality check · case 05
Unbalanced journal entries are posted and the ledger no longer nets to zero.
Journal posting engine: posting sign by side and normal balance · case 01
Liability and revenue balances come out negative after ordinary credit postings.
Journal posting engine: posting sign by side and normal balance · case 02
Liability and revenue balances come out negative after ordinary credit postings.
Journal posting engine: posting sign by side and normal balance · case 03
Liability and revenue balances come out negative after ordinary credit postings.
Journal posting engine: posting sign by side and normal balance · case 04
Liability and revenue balances come out negative after ordinary credit postings.
Journal posting engine: posting sign by side and normal balance · case 05
Liability and revenue balances come out negative after ordinary credit postings.
Journal posting engine: duplicate id bookkeeping · case 01
A corrected resubmission of a previously rejected entry is refused as a duplicate.
Journal posting engine: duplicate id bookkeeping · case 02
A corrected resubmission of a previously rejected entry is refused as a duplicate.
Journal posting engine: duplicate id bookkeeping · case 03
A corrected resubmission of a previously rejected entry is refused as a duplicate.
Journal posting engine: duplicate id bookkeeping · case 04
A corrected resubmission of a previously rejected entry is refused as a duplicate.
Journal posting engine: duplicate id bookkeeping · case 05
A corrected resubmission of a previously rejected entry is refused as a duplicate.
Journal posting engine: zero and abnormal balance reporting · case 01
Chart accounts with no activity disappear from the balance report.
Journal posting engine: zero and abnormal balance reporting · case 02
Chart accounts with no activity disappear from the balance report.
Journal posting engine: zero and abnormal balance reporting · case 03
Chart accounts with no activity disappear from the balance report.
Journal posting engine: zero and abnormal balance reporting · case 04
Chart accounts with no activity disappear from the balance report.
Journal posting engine: zero and abnormal balance reporting · case 05
Chart accounts with no activity disappear from the balance report.
Trial balance columns: column selection · case 01
An overdrawn cash account appears as a negative number in the debit column.
Trial balance columns: column selection · case 02
An overdrawn cash account appears as a negative number in the debit column.
Trial balance columns: column selection · case 03
An overdrawn cash account appears as a negative number in the debit column.
Trial balance columns: column selection · case 04
An overdrawn cash account appears as a negative number in the debit column.
Trial balance columns: column selection · case 05
An overdrawn cash account appears as a negative number in the debit column.
Trial balance columns: zero net omission · case 01
Fully offset accounts clutter the trial balance as all-zero rows.
Trial balance columns: zero net omission · case 02
Fully offset accounts clutter the trial balance as all-zero rows.
Trial balance columns: zero net omission · case 03
Fully offset accounts clutter the trial balance as all-zero rows.
Trial balance columns: zero net omission · case 04
Fully offset accounts clutter the trial balance as all-zero rows.
Trial balance columns: zero net omission · case 05
Fully offset accounts clutter the trial balance as all-zero rows.
Trial balance columns: abnormal balance flag · case 01
Every liability and revenue account is flagged as abnormal.
Trial balance columns: abnormal balance flag · case 02
Every liability and revenue account is flagged as abnormal.
Trial balance columns: abnormal balance flag · case 03
Every liability and revenue account is flagged as abnormal.
Trial balance columns: abnormal balance flag · case 04
Every liability and revenue account is flagged as abnormal.
Trial balance columns: abnormal balance flag · case 05
Every liability and revenue account is flagged as abnormal.
Trial balance columns: credit column total · case 01
The credit total exceeds the credit column whenever a credit account also has debits.
Trial balance columns: credit column total · case 02
The credit total exceeds the credit column whenever a credit account also has debits.
Trial balance columns: credit column total · case 03
The credit total exceeds the credit column whenever a credit account also has debits.
Trial balance columns: credit column total · case 04
The credit total exceeds the credit column whenever a credit account also has debits.
Trial balance columns: credit column total · case 05
The credit total exceeds the credit column whenever a credit account also has debits.
Trial balance columns: numeric code ordering · case 01
Account 1010 is listed before account 150.
Trial balance columns: numeric code ordering · case 02
Account 1010 is listed before account 150.
Trial balance columns: numeric code ordering · case 03
Account 1010 is listed before account 150.
Trial balance columns: numeric code ordering · case 04
Account 1010 is listed before account 150.
Trial balance columns: numeric code ordering · case 05
Account 1010 is listed before account 150.
Trial balance columns: balanced flag tolerance · case 01
A trial balance off by one cent is reported as balanced.
Trial balance columns: balanced flag tolerance · case 02
A trial balance off by one cent is reported as balanced.
Trial balance columns: balanced flag tolerance · case 03
A trial balance off by one cent is reported as balanced.
Trial balance columns: balanced flag tolerance · case 04
A trial balance off by one cent is reported as balanced.
Trial balance columns: balanced flag tolerance · case 05
A trial balance off by one cent is reported as balanced.
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 ↗