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
Nullable predicate: Compares NULL with ordinary equality · case 01
The query violates its result contract: compares null with ordinary equality.
Nullable predicate: Compares NULL with ordinary equality · case 02
The query violates its result contract: compares null with ordinary equality.
Nullable predicate: Compares NULL with ordinary equality · case 03
The query violates its result contract: compares null with ordinary equality.
Nullable predicate: Compares NULL with ordinary equality · case 04
The query violates its result contract: compares null with ordinary equality.
Nullable predicate: Compares NULL with ordinary equality · case 05
The query violates its result contract: compares null with ordinary equality.
Nullable predicate: Negates unknown equality expecting a Boolean · case 01
The query violates its result contract: negates unknown equality expecting a boolean.
Nullable predicate: Negates unknown equality expecting a Boolean · case 02
The query violates its result contract: negates unknown equality expecting a boolean.
Nullable predicate: Negates unknown equality expecting a Boolean · case 03
The query violates its result contract: negates unknown equality expecting a boolean.
Nullable predicate: Negates unknown equality expecting a Boolean · case 04
The query violates its result contract: negates unknown equality expecting a boolean.
Nullable predicate: Negates unknown equality expecting a Boolean · case 05
The query violates its result contract: negates unknown equality expecting a boolean.
Nullable predicate: Treats a measured zero as missing · case 01
The query violates its result contract: treats a measured zero as missing.
Nullable predicate: Treats a measured zero as missing · case 02
The query violates its result contract: treats a measured zero as missing.
Nullable predicate: Treats a measured zero as missing · case 03
The query violates its result contract: treats a measured zero as missing.
Nullable predicate: Treats a measured zero as missing · case 04
The query violates its result contract: treats a measured zero as missing.
Nullable predicate: Treats a measured zero as missing · case 05
The query violates its result contract: treats a measured zero as missing.
Nullable predicate: Uses the inverse NULL predicate · case 01
The query violates its result contract: uses the inverse null predicate.
Nullable predicate: Uses the inverse NULL predicate · case 02
The query violates its result contract: uses the inverse null predicate.
Nullable predicate: Uses the inverse NULL predicate · case 03
The query violates its result contract: uses the inverse null predicate.
Nullable predicate: Uses the inverse NULL predicate · case 04
The query violates its result contract: uses the inverse null predicate.
Nullable predicate: Uses the inverse NULL predicate · case 05
The query violates its result contract: uses the inverse null predicate.
Nullable predicate: Tests the nullable flag instead of the measurement · case 01
The query violates its result contract: tests the nullable flag instead of the measurement.
Nullable predicate: Tests the nullable flag instead of the measurement · case 02
The query violates its result contract: tests the nullable flag instead of the measurement.
Nullable predicate: Tests the nullable flag instead of the measurement · case 03
The query violates its result contract: tests the nullable flag instead of the measurement.
Nullable predicate: Tests the nullable flag instead of the measurement · case 04
The query violates its result contract: tests the nullable flag instead of the measurement.
Nullable predicate: Tests the nullable flag instead of the measurement · case 05
The query violates its result contract: tests the nullable flag instead of the measurement.
Truth selection: Restricts truth to the literal one · case 01
The query violates its result contract: restricts truth to the literal one.
Truth selection: Restricts truth to the literal one · case 02
The query violates its result contract: restricts truth to the literal one.
Truth selection: Restricts truth to the literal one · case 03
The query violates its result contract: restricts truth to the literal one.
Truth selection: Restricts truth to the literal one · case 04
The query violates its result contract: restricts truth to the literal one.
Truth selection: Restricts truth to the literal one · case 05
The query violates its result contract: restricts truth to the literal one.
Truth selection: Confuses known false with true · case 01
The query violates its result contract: confuses known false with true.
Truth selection: Confuses known false with true · case 02
The query violates its result contract: confuses known false with true.
Truth selection: Confuses known false with true · case 03
The query violates its result contract: confuses known false with true.
Truth selection: Confuses known false with true · case 04
The query violates its result contract: confuses known false with true.
Truth selection: Confuses known false with true · case 05
The query violates its result contract: confuses known false with true.
Truth selection: Defaults unknown flags to true · case 01
The query violates its result contract: defaults unknown flags to true.
Truth selection: Defaults unknown flags to true · case 02
The query violates its result contract: defaults unknown flags to true.
Truth selection: Defaults unknown flags to true · case 03
The query violates its result contract: defaults unknown flags to true.
Truth selection: Defaults unknown flags to true · case 04
The query violates its result contract: defaults unknown flags to true.
Truth selection: Defaults unknown flags to true · case 05
The query violates its result contract: defaults unknown flags to true.
Truth selection: Selects false flags instead of true · case 01
The query violates its result contract: selects false flags instead of true.
Truth selection: Selects false flags instead of true · case 02
The query violates its result contract: selects false flags instead of true.
Truth selection: Selects false flags instead of true · case 03
The query violates its result contract: selects false flags instead of true.
Truth selection: Selects false flags instead of true · case 04
The query violates its result contract: selects false flags instead of true.
Truth selection: Selects false flags instead of true · case 05
The query violates its result contract: selects false flags instead of true.
Truth selection: Rejects negative integers that SQL treats as true · case 01
The query violates its result contract: rejects negative integers that sql treats as true.
Truth selection: Rejects negative integers that SQL treats as true · case 02
The query violates its result contract: rejects negative integers that sql treats as true.
Truth selection: Rejects negative integers that SQL treats as true · case 03
The query violates its result contract: rejects negative integers that sql treats as true.
Truth selection: Rejects negative integers that SQL treats as true · case 04
The query violates its result contract: rejects negative integers that sql treats as true.
Truth selection: Rejects negative integers that SQL treats as true · case 05
The query violates its result contract: rejects negative integers that sql treats as true.
Not true selection: Boolean NOT discards unknown flags · case 01
The query violates its result contract: boolean not discards unknown flags.
Not true selection: Boolean NOT discards unknown flags · case 02
The query violates its result contract: boolean not discards unknown flags.
Not true selection: Boolean NOT discards unknown flags · case 03
The query violates its result contract: boolean not discards unknown flags.
Not true selection: Boolean NOT discards unknown flags · case 04
The query violates its result contract: boolean not discards unknown flags.
Not true selection: Boolean NOT discards unknown flags · case 05
The query violates its result contract: boolean not discards unknown flags.
Not true selection: Drops known false flags · case 01
The query violates its result contract: drops known false flags.
Not true selection: Drops known false flags · case 02
The query violates its result contract: drops known false flags.
Not true selection: Drops known false flags · case 03
The query violates its result contract: drops known false flags.
Not true selection: Drops known false flags · case 04
The query violates its result contract: drops known false flags.
Not true selection: Drops known false flags · case 05
The query violates its result contract: drops known false flags.
Not true selection: Interprets true as the literal one · case 01
The query violates its result contract: interprets true as the literal one.
Not true selection: Interprets true as the literal one · case 02
The query violates its result contract: interprets true as the literal one.
Not true selection: Interprets true as the literal one · case 03
The query violates its result contract: interprets true as the literal one.
Not true selection: Interprets true as the literal one · case 04
The query violates its result contract: interprets true as the literal one.
Not true selection: Interprets true as the literal one · case 05
The query violates its result contract: interprets true as the literal one.
Not true selection: Defaults unknown flags to true before inversion · case 01
The query violates its result contract: defaults unknown flags to true before inversion.
Not true selection: Defaults unknown flags to true before inversion · case 02
The query violates its result contract: defaults unknown flags to true before inversion.
Not true selection: Defaults unknown flags to true before inversion · case 03
The query violates its result contract: defaults unknown flags to true before inversion.
Not true selection: Defaults unknown flags to true before inversion · case 04
The query violates its result contract: defaults unknown flags to true before inversion.
Not true selection: Defaults unknown flags to true before inversion · case 05
The query violates its result contract: defaults unknown flags to true before inversion.
Not true selection: Treats negative true flags as false · case 01
The query violates its result contract: treats negative true flags as false.
Not true selection: Treats negative true flags as false · case 02
The query violates its result contract: treats negative true flags as false.
Not true selection: Treats negative true flags as false · case 03
The query violates its result contract: treats negative true flags as false.
Not true selection: Treats negative true flags as false · case 04
The query violates its result contract: treats negative true flags as false.
Not true selection: Treats negative true flags as false · case 05
The query violates its result contract: treats negative true flags as false.
Closed range: Excludes the inclusive lower bound · case 01
The query violates its result contract: excludes the inclusive lower bound.
Closed range: Excludes the inclusive lower bound · case 02
The query violates its result contract: excludes the inclusive lower bound.
Closed range: Excludes the inclusive lower bound · case 03
The query violates its result contract: excludes the inclusive lower bound.
Closed range: Excludes the inclusive lower bound · case 04
The query violates its result contract: excludes the inclusive lower bound.
Closed range: Excludes the inclusive lower bound · case 05
The query violates its result contract: excludes the inclusive lower bound.
Closed range: Excludes the inclusive upper bound · case 01
The query violates its result contract: excludes the inclusive upper bound.
Closed range: Excludes the inclusive upper bound · case 02
The query violates its result contract: excludes the inclusive upper bound.
Closed range: Excludes the inclusive upper bound · case 03
The query violates its result contract: excludes the inclusive upper bound.
Closed range: Excludes the inclusive upper bound · case 04
The query violates its result contract: excludes the inclusive upper bound.
Closed range: Excludes the inclusive upper bound · case 05
The query violates its result contract: excludes the inclusive upper bound.
Closed range: Uses OR between the two range constraints · case 01
The query violates its result contract: uses or between the two range constraints.
Closed range: Uses OR between the two range constraints · case 02
The query violates its result contract: uses or between the two range constraints.
Closed range: Uses OR between the two range constraints · case 03
The query violates its result contract: uses or between the two range constraints.
Closed range: Uses OR between the two range constraints · case 04
The query violates its result contract: uses or between the two range constraints.
Closed range: Uses OR between the two range constraints · case 05
The query violates its result contract: uses or between the two range constraints.
Closed range: Supplies upper bound before lower bound · case 01
The query violates its result contract: supplies upper bound before lower bound.
Closed range: Supplies upper bound before lower bound · case 02
The query violates its result contract: supplies upper bound before lower bound.
Closed range: Supplies upper bound before lower bound · case 03
The query violates its result contract: supplies upper bound before lower bound.
Closed range: Supplies upper bound before lower bound · case 04
The query violates its result contract: supplies upper bound before lower bound.
Closed range: Supplies upper bound before lower bound · case 05
The query violates its result contract: supplies upper bound before lower bound.
Closed range: Coalesces missing values into the range · case 01
The query violates its result contract: coalesces missing values into the range.
Closed range: Coalesces missing values into the range · case 02
The query violates its result contract: coalesces missing values into the range.
Closed range: Coalesces missing values into the range · case 03
The query violates its result contract: coalesces missing values into the range.
Closed range: Coalesces missing values into the range · case 04
The query violates its result contract: coalesces missing values into the range.
Closed range: Coalesces missing values into the range · case 05
The query violates its result contract: coalesces missing values into the range.
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 ↗