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
Foreign key orphans: Treats existing inactive parents as absent · case 01
The query violates its result contract: treats existing inactive parents as absent.
Foreign key orphans: Treats existing inactive parents as absent · case 02
The query violates its result contract: treats existing inactive parents as absent.
Foreign key orphans: Treats existing inactive parents as absent · case 03
The query violates its result contract: treats existing inactive parents as absent.
Foreign key orphans: Treats existing inactive parents as absent · case 04
The query violates its result contract: treats existing inactive parents as absent.
Foreign key orphans: Treats existing inactive parents as absent · case 05
The query violates its result contract: treats existing inactive parents as absent.
Null backfill: Overwrites known zero values as if missing · case 01
The query violates its result contract: overwrites known zero values as if missing.
Null backfill: Overwrites known zero values as if missing · case 02
The query violates its result contract: overwrites known zero values as if missing.
Null backfill: Overwrites known zero values as if missing · case 03
The query violates its result contract: overwrites known zero values as if missing.
Null backfill: Overwrites known zero values as if missing · case 04
The query violates its result contract: overwrites known zero values as if missing.
Null backfill: Overwrites known zero values as if missing · case 05
The query violates its result contract: overwrites known zero values as if missing.
Null backfill: Prioritizes fallback over existing values · case 01
The query violates its result contract: prioritizes fallback over existing values.
Null backfill: Prioritizes fallback over existing values · case 02
The query violates its result contract: prioritizes fallback over existing values.
Null backfill: Prioritizes fallback over existing values · case 03
The query violates its result contract: prioritizes fallback over existing values.
Null backfill: Prioritizes fallback over existing values · case 04
The query violates its result contract: prioritizes fallback over existing values.
Null backfill: Prioritizes fallback over existing values · case 05
The query violates its result contract: prioritizes fallback over existing values.
Null backfill: Uses equality to NULL and never backfills · case 01
The query violates its result contract: uses equality to null and never backfills.
Null backfill: Uses equality to NULL and never backfills · case 02
The query violates its result contract: uses equality to null and never backfills.
Null backfill: Uses equality to NULL and never backfills · case 03
The query violates its result contract: uses equality to null and never backfills.
Null backfill: Uses equality to NULL and never backfills · case 04
The query violates its result contract: uses equality to null and never backfills.
Null backfill: Uses equality to NULL and never backfills · case 05
The query violates its result contract: uses equality to null and never backfills.
Null backfill: Overwrites populated values during backfill · case 01
The query violates its result contract: overwrites populated values during backfill.
Null backfill: Overwrites populated values during backfill · case 02
The query violates its result contract: overwrites populated values during backfill.
Null backfill: Overwrites populated values during backfill · case 03
The query violates its result contract: overwrites populated values during backfill.
Null backfill: Overwrites populated values during backfill · case 04
The query violates its result contract: overwrites populated values during backfill.
Null backfill: Overwrites populated values during backfill · case 05
The query violates its result contract: overwrites populated values during backfill.
Null backfill: Returns only updated rows and loses untouched records · case 01
The query violates its result contract: returns only updated rows and loses untouched records.
Null backfill: Returns only updated rows and loses untouched records · case 02
The query violates its result contract: returns only updated rows and loses untouched records.
Null backfill: Returns only updated rows and loses untouched records · case 03
The query violates its result contract: returns only updated rows and loses untouched records.
Null backfill: Returns only updated rows and loses untouched records · case 04
The query violates its result contract: returns only updated rows and loses untouched records.
Null backfill: Returns only updated rows and loses untouched records · case 05
The query violates its result contract: returns only updated rows and loses untouched records.
Boolean backfill: Fills NULL without normalizing nonzero values · case 01
The query violates its result contract: fills null without normalizing nonzero values.
Boolean backfill: Fills NULL without normalizing nonzero values · case 02
The query violates its result contract: fills null without normalizing nonzero values.
Boolean backfill: Fills NULL without normalizing nonzero values · case 03
The query violates its result contract: fills null without normalizing nonzero values.
Boolean backfill: Fills NULL without normalizing nonzero values · case 04
The query violates its result contract: fills null without normalizing nonzero values.
Boolean backfill: Fills NULL without normalizing nonzero values · case 05
The query violates its result contract: fills null without normalizing nonzero values.
Boolean backfill: Treats only literal one as true · case 01
The query violates its result contract: treats only literal one as true.
Boolean backfill: Treats only literal one as true · case 02
The query violates its result contract: treats only literal one as true.
Boolean backfill: Treats only literal one as true · case 03
The query violates its result contract: treats only literal one as true.
Boolean backfill: Treats only literal one as true · case 04
The query violates its result contract: treats only literal one as true.
Boolean backfill: Treats only literal one as true · case 05
The query violates its result contract: treats only literal one as true.
Boolean backfill: Misclassifies negative true flags as false · case 01
The query violates its result contract: misclassifies negative true flags as false.
Boolean backfill: Misclassifies negative true flags as false · case 02
The query violates its result contract: misclassifies negative true flags as false.
Boolean backfill: Misclassifies negative true flags as false · case 03
The query violates its result contract: misclassifies negative true flags as false.
Boolean backfill: Misclassifies negative true flags as false · case 04
The query violates its result contract: misclassifies negative true flags as false.
Boolean backfill: Misclassifies negative true flags as false · case 05
The query violates its result contract: misclassifies negative true flags as false.
Boolean backfill: Migrates unknown flags to true · case 01
The query violates its result contract: migrates unknown flags to true.
Boolean backfill: Migrates unknown flags to true · case 02
The query violates its result contract: migrates unknown flags to true.
Boolean backfill: Migrates unknown flags to true · case 03
The query violates its result contract: migrates unknown flags to true.
Boolean backfill: Migrates unknown flags to true · case 04
The query violates its result contract: migrates unknown flags to true.
Boolean backfill: Migrates unknown flags to true · case 05
The query violates its result contract: migrates unknown flags to true.
Boolean backfill: Treats known false flags as true · case 01
The query violates its result contract: treats known false flags as true.
Boolean backfill: Treats known false flags as true · case 02
The query violates its result contract: treats known false flags as true.
Boolean backfill: Treats known false flags as true · case 03
The query violates its result contract: treats known false flags as true.
Boolean backfill: Treats known false flags as true · case 04
The query violates its result contract: treats known false flags as true.
Boolean backfill: Treats known false flags as true · case 05
The query violates its result contract: treats known false flags as true.
Latest key deduplication: Keeps the oldest row rather than latest · case 01
The query violates its result contract: keeps the oldest row rather than latest.
Latest key deduplication: Keeps the oldest row rather than latest · case 02
The query violates its result contract: keeps the oldest row rather than latest.
Latest key deduplication: Keeps the oldest row rather than latest · case 03
The query violates its result contract: keeps the oldest row rather than latest.
Latest key deduplication: Keeps the oldest row rather than latest · case 04
The query violates its result contract: keeps the oldest row rather than latest.
Latest key deduplication: Keeps the oldest row rather than latest · case 05
The query violates its result contract: keeps the oldest row rather than latest.
Latest key deduplication: Selects greatest measurement rather than greatest identity · case 01
The query violates its result contract: selects greatest measurement rather than greatest identity.
Latest key deduplication: Selects greatest measurement rather than greatest identity · case 02
The query violates its result contract: selects greatest measurement rather than greatest identity.
Latest key deduplication: Selects greatest measurement rather than greatest identity · case 03
The query violates its result contract: selects greatest measurement rather than greatest identity.
Latest key deduplication: Selects greatest measurement rather than greatest identity · case 04
The query violates its result contract: selects greatest measurement rather than greatest identity.
Latest key deduplication: Selects greatest measurement rather than greatest identity · case 05
The query violates its result contract: selects greatest measurement rather than greatest identity.
Latest key deduplication: Deduplicates the whole relation as one group · case 01
The query violates its result contract: deduplicates the whole relation as one group.
Latest key deduplication: Deduplicates the whole relation as one group · case 02
The query violates its result contract: deduplicates the whole relation as one group.
Latest key deduplication: Deduplicates the whole relation as one group · case 03
The query violates its result contract: deduplicates the whole relation as one group.
Latest key deduplication: Deduplicates the whole relation as one group · case 04
The query violates its result contract: deduplicates the whole relation as one group.
Latest key deduplication: Deduplicates the whole relation as one group · case 05
The query violates its result contract: deduplicates the whole relation as one group.
Latest key deduplication: Drops the NULL-key group during survivor lookup · case 01
The query violates its result contract: drops the null-key group during survivor lookup.
Latest key deduplication: Drops the NULL-key group during survivor lookup · case 02
The query violates its result contract: drops the null-key group during survivor lookup.
Latest key deduplication: Drops the NULL-key group during survivor lookup · case 03
The query violates its result contract: drops the null-key group during survivor lookup.
Latest key deduplication: Drops the NULL-key group during survivor lookup · case 04
The query violates its result contract: drops the null-key group during survivor lookup.
Latest key deduplication: Drops the NULL-key group during survivor lookup · case 05
The query violates its result contract: drops the null-key group during survivor lookup.
Latest key deduplication: Deduplicates by both key and payload · case 01
The query violates its result contract: deduplicates by both key and payload.
Latest key deduplication: Deduplicates by both key and payload · case 02
The query violates its result contract: deduplicates by both key and payload.
Latest key deduplication: Deduplicates by both key and payload · case 03
The query violates its result contract: deduplicates by both key and payload.
Latest key deduplication: Deduplicates by both key and payload · case 04
The query violates its result contract: deduplicates by both key and payload.
Latest key deduplication: Deduplicates by both key and payload · case 05
The query violates its result contract: deduplicates by both key and payload.
Check constraint validation: Treats unknown CHECK results as violations · case 01
The query violates its result contract: treats unknown check results as violations.
Check constraint validation: Treats unknown CHECK results as violations · case 02
The query violates its result contract: treats unknown check results as violations.
Check constraint validation: Treats unknown CHECK results as violations · case 03
The query violates its result contract: treats unknown check results as violations.
Check constraint validation: Treats unknown CHECK results as violations · case 04
The query violates its result contract: treats unknown check results as violations.
Check constraint validation: Treats unknown CHECK results as violations · case 05
The query violates its result contract: treats unknown check results as violations.
Check constraint validation: Mistakes a valid boundary zero for a violation · case 01
The query violates its result contract: mistakes a valid boundary zero for a violation.
Check constraint validation: Mistakes a valid boundary zero for a violation · case 02
The query violates its result contract: mistakes a valid boundary zero for a violation.
Check constraint validation: Mistakes a valid boundary zero for a violation · case 03
The query violates its result contract: mistakes a valid boundary zero for a violation.
Check constraint validation: Mistakes a valid boundary zero for a violation · case 04
The query violates its result contract: mistakes a valid boundary zero for a violation.
Check constraint validation: Mistakes a valid boundary zero for a violation · case 05
The query violates its result contract: mistakes a valid boundary zero for a violation.
Check constraint validation: Inverts the check and reports valid positive rows · case 01
The query violates its result contract: inverts the check and reports valid positive rows.
Check constraint validation: Inverts the check and reports valid positive rows · case 02
The query violates its result contract: inverts the check and reports valid positive rows.
Check constraint validation: Inverts the check and reports valid positive rows · case 03
The query violates its result contract: inverts the check and reports valid positive rows.
Check constraint validation: Inverts the check and reports valid positive rows · case 04
The query violates its result contract: inverts the check and reports valid positive rows.
Check constraint validation: Inverts the check and reports valid positive rows · case 05
The query violates its result contract: inverts the check and reports valid positive rows.
Check constraint validation: Validates flag instead of the migrated measurement · case 01
The query violates its result contract: validates flag instead of the migrated measurement.
Check constraint validation: Validates flag instead of the migrated measurement · case 02
The query violates its result contract: validates flag instead of the migrated measurement.
Check constraint validation: Validates flag instead of the migrated measurement · case 03
The query violates its result contract: validates flag instead of the migrated measurement.
Check constraint validation: Validates flag instead of the migrated measurement · case 04
The query violates its result contract: validates flag instead of the migrated measurement.
Check constraint validation: Validates flag instead of the migrated measurement · case 05
The query violates its result contract: validates flag instead of the migrated measurement.
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 ↗