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
Rejected MERGE returns a source-modified target · case 01
Rejected MERGE returns a source-modified target.
Rejected MERGE returns a source-modified target · case 02
Rejected MERGE returns a source-modified target.
Rejected MERGE returns a source-modified target · case 03
Rejected MERGE returns a source-modified target.
Rejected MERGE returns a source-modified target · case 04
Rejected MERGE returns a source-modified target.
Rejected MERGE returns a source-modified target · case 05
Rejected MERGE returns a source-modified target.
MERGE treats matched rows as insert-if-absent · case 01
MERGE treats matched rows as insert-if-absent.
MERGE treats matched rows as insert-if-absent · case 02
MERGE treats matched rows as insert-if-absent.
MERGE treats matched rows as insert-if-absent · case 03
MERGE treats matched rows as insert-if-absent.
MERGE treats matched rows as insert-if-absent · case 04
MERGE treats matched rows as insert-if-absent.
MERGE treats matched rows as insert-if-absent · case 05
MERGE treats matched rows as insert-if-absent.
MERGE updates matched rows but drops new source keys · case 01
MERGE updates matched rows but drops new source keys.
MERGE updates matched rows but drops new source keys · case 02
MERGE updates matched rows but drops new source keys.
MERGE updates matched rows but drops new source keys · case 03
MERGE updates matched rows but drops new source keys.
MERGE updates matched rows but drops new source keys · case 04
MERGE updates matched rows but drops new source keys.
MERGE updates matched rows but drops new source keys · case 05
MERGE updates matched rows but drops new source keys.
MERGE writes payloads as target identities · case 01
MERGE writes payloads as target identities.
MERGE writes payloads as target identities · case 02
MERGE writes payloads as target identities.
MERGE writes payloads as target identities · case 03
MERGE writes payloads as target identities.
MERGE writes payloads as target identities · case 04
MERGE writes payloads as target identities.
MERGE writes payloads as target identities · case 05
MERGE writes payloads as target identities.
UNION pagination resets its offset for each branch · case 01
UNION pagination resets its offset for each branch.
UNION pagination resets its offset for each branch · case 02
UNION pagination resets its offset for each branch.
UNION pagination resets its offset for each branch · case 03
UNION pagination resets its offset for each branch.
UNION pagination resets its offset for each branch · case 04
UNION pagination resets its offset for each branch.
UNION pagination resets its offset for each branch · case 05
UNION pagination resets its offset for each branch.
UNION pagination applies output limit independently to each branch · case 01
UNION pagination applies output limit independently to each branch.
UNION pagination applies output limit independently to each branch · case 02
UNION pagination applies output limit independently to each branch.
UNION pagination applies output limit independently to each branch · case 03
UNION pagination applies output limit independently to each branch.
UNION pagination applies output limit independently to each branch · case 04
UNION pagination applies output limit independently to each branch.
UNION pagination applies output limit independently to each branch · case 05
UNION pagination applies output limit independently to each branch.
UNION pagination stops skipping after the first branch · case 01
UNION pagination stops skipping after the first branch.
UNION pagination stops skipping after the first branch · case 02
UNION pagination stops skipping after the first branch.
UNION pagination stops skipping after the first branch · case 03
UNION pagination stops skipping after the first branch.
UNION pagination stops skipping after the first branch · case 04
UNION pagination stops skipping after the first branch.
UNION pagination stops skipping after the first branch · case 05
UNION pagination stops skipping after the first branch.
UNION pagination reverses branch traversal · case 01
UNION pagination reverses branch traversal.
UNION pagination reverses branch traversal · case 02
UNION pagination reverses branch traversal.
UNION pagination reverses branch traversal · case 03
UNION pagination reverses branch traversal.
UNION pagination reverses branch traversal · case 04
UNION pagination reverses branch traversal.
UNION pagination reverses branch traversal · case 05
UNION pagination reverses branch traversal.
UNION pagination discards duplicate result rows · case 01
UNION pagination discards duplicate result rows.
UNION pagination discards duplicate result rows · case 02
UNION pagination discards duplicate result rows.
UNION pagination discards duplicate result rows · case 03
UNION pagination discards duplicate result rows.
UNION pagination discards duplicate result rows · case 04
UNION pagination discards duplicate result rows.
UNION pagination discards duplicate result rows · case 05
UNION pagination discards duplicate result rows.
UNION pagination allows one row past its global limit · case 01
UNION pagination allows one row past its global limit.
UNION pagination allows one row past its global limit · case 02
UNION pagination allows one row past its global limit.
UNION pagination allows one row past its global limit · case 03
UNION pagination allows one row past its global limit.
UNION pagination allows one row past its global limit · case 04
UNION pagination allows one row past its global limit.
UNION pagination allows one row past its global limit · case 05
UNION pagination allows one row past its global limit.
Row-group pruning drops groups with missing minimum statistics · case 01
Row-group pruning drops groups with missing minimum statistics.
Row-group pruning drops groups with missing minimum statistics · case 02
Row-group pruning drops groups with missing minimum statistics.
Row-group pruning drops groups with missing minimum statistics · case 03
Row-group pruning drops groups with missing minimum statistics.
Row-group pruning drops groups with missing minimum statistics · case 04
Row-group pruning drops groups with missing minimum statistics.
Row-group pruning drops groups with missing minimum statistics · case 05
Row-group pruning drops groups with missing minimum statistics.
Row-group pruning drops groups with missing maximum statistics · case 01
Row-group pruning drops groups with missing maximum statistics.
Row-group pruning drops groups with missing maximum statistics · case 02
Row-group pruning drops groups with missing maximum statistics.
Row-group pruning drops groups with missing maximum statistics · case 03
Row-group pruning drops groups with missing maximum statistics.
Row-group pruning drops groups with missing maximum statistics · case 04
Row-group pruning drops groups with missing maximum statistics.
Row-group pruning drops groups with missing maximum statistics · case 05
Row-group pruning drops groups with missing maximum statistics.
Row-group pruning excludes a maximum equal to the range lower bound · case 01
Row-group pruning excludes a maximum equal to the range lower bound.
Row-group pruning excludes a maximum equal to the range lower bound · case 02
Row-group pruning excludes a maximum equal to the range lower bound.
Row-group pruning excludes a maximum equal to the range lower bound · case 03
Row-group pruning excludes a maximum equal to the range lower bound.
Row-group pruning excludes a maximum equal to the range lower bound · case 04
Row-group pruning excludes a maximum equal to the range lower bound.
Row-group pruning excludes a maximum equal to the range lower bound · case 05
Row-group pruning excludes a maximum equal to the range lower bound.
Row-group pruning excludes a minimum equal to the range upper bound · case 01
Row-group pruning excludes a minimum equal to the range upper bound.
Row-group pruning excludes a minimum equal to the range upper bound · case 02
Row-group pruning excludes a minimum equal to the range upper bound.
Row-group pruning excludes a minimum equal to the range upper bound · case 03
Row-group pruning excludes a minimum equal to the range upper bound.
Row-group pruning excludes a minimum equal to the range upper bound · case 04
Row-group pruning excludes a minimum equal to the range upper bound.
Row-group pruning excludes a minimum equal to the range upper bound · case 05
Row-group pruning excludes a minimum equal to the range upper bound.
Row-group pruning admits null-only groups to a non-null scan · case 01
Row-group pruning admits null-only groups to a non-null scan.
Row-group pruning admits null-only groups to a non-null scan · case 02
Row-group pruning admits null-only groups to a non-null scan.
Row-group pruning admits null-only groups to a non-null scan · case 03
Row-group pruning admits null-only groups to a non-null scan.
Row-group pruning admits null-only groups to a non-null scan · case 04
Row-group pruning admits null-only groups to a non-null scan.
Row-group pruning admits null-only groups to a non-null scan · case 05
Row-group pruning admits null-only groups to a non-null scan.
Row-group pruning reports physically empty groups as scan candidates · case 01
Row-group pruning reports physically empty groups as scan candidates.
Row-group pruning reports physically empty groups as scan candidates · case 02
Row-group pruning reports physically empty groups as scan candidates.
Row-group pruning reports physically empty groups as scan candidates · case 03
Row-group pruning reports physically empty groups as scan candidates.
Row-group pruning reports physically empty groups as scan candidates · case 04
Row-group pruning reports physically empty groups as scan candidates.
Row-group pruning reports physically empty groups as scan candidates · case 05
Row-group pruning reports physically empty groups as scan candidates.
Position deletes erase the same row ordinal in unrelated files · case 01
Position deletes erase the same row ordinal in unrelated files.
Position deletes erase the same row ordinal in unrelated files · case 02
Position deletes erase the same row ordinal in unrelated files.
Position deletes erase the same row ordinal in unrelated files · case 03
Position deletes erase the same row ordinal in unrelated files.
Position deletes erase the same row ordinal in unrelated files · case 04
Position deletes erase the same row ordinal in unrelated files.
Position deletes erase the same row ordinal in unrelated files · case 05
Position deletes erase the same row ordinal in unrelated files.
Position deletes use fragment-local row positions · case 01
Position deletes use fragment-local row positions.
Position deletes use fragment-local row positions · case 02
Position deletes use fragment-local row positions.
Position deletes use fragment-local row positions · case 03
Position deletes use fragment-local row positions.
Position deletes use fragment-local row positions · case 04
Position deletes use fragment-local row positions.
Position deletes use fragment-local row positions · case 05
Position deletes use fragment-local row positions.
Position deletes number rows after previous deletions · case 01
Position deletes number rows after previous deletions.
Position deletes number rows after previous deletions · case 02
Position deletes number rows after previous deletions.
Position deletes number rows after previous deletions · case 03
Position deletes number rows after previous deletions.
Position deletes number rows after previous deletions · case 04
Position deletes number rows after previous deletions.
Position deletes number rows after previous deletions · case 05
Position deletes number rows after previous deletions.
A repeated position-delete entry cancels itself · case 01
A repeated position-delete entry cancels itself.
A repeated position-delete entry cancels itself · case 02
A repeated position-delete entry cancels itself.
A repeated position-delete entry cancels itself · case 03
A repeated position-delete entry cancels itself.
A repeated position-delete entry cancels itself · case 04
A repeated position-delete entry cancels itself.
A repeated position-delete entry cancels itself · case 05
A repeated position-delete entry cancels itself.
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 ↗