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
Table export projection: selected view intersection · case 01
The table selected view intersection result violates the stipulated table export projection contract.
Table export projection: selected view intersection · case 02
The table selected view intersection result violates the stipulated table export projection contract.
Table export projection: selected view intersection · case 03
The table selected view intersection result violates the stipulated table export projection contract.
Table export projection: selected view intersection · case 04
The table selected view intersection result violates the stipulated table export projection contract.
Table export projection: selected view intersection · case 05
The table selected view intersection result violates the stipulated table export projection contract.
Table export projection: nonexportable column · case 01
The table nonexportable column result violates the stipulated table export projection contract.
Table export projection: nonexportable column · case 02
The table nonexportable column result violates the stipulated table export projection contract.
Table export projection: nonexportable column · case 03
The table nonexportable column result violates the stipulated table export projection contract.
Table export projection: nonexportable column · case 04
The table nonexportable column result violates the stipulated table export projection contract.
Table export projection: nonexportable column · case 05
The table nonexportable column result violates the stipulated table export projection contract.
Table export projection: include hidden export · case 01
The table include hidden export result violates the stipulated table export projection contract.
Table export projection: include hidden export · case 02
The table include hidden export result violates the stipulated table export projection contract.
Table export projection: include hidden export · case 03
The table include hidden export result violates the stipulated table export projection contract.
Table export projection: include hidden export · case 04
The table include hidden export result violates the stipulated table export projection contract.
Table export projection: include hidden export · case 05
The table include hidden export result violates the stipulated table export projection contract.
Table export projection: duplicate label counter · case 01
The table duplicate label counter result violates the stipulated table export projection contract.
Table export projection: duplicate label counter · case 02
The table duplicate label counter result violates the stipulated table export projection contract.
Table export projection: duplicate label counter · case 03
The table duplicate label counter result violates the stipulated table export projection contract.
Table export projection: duplicate label counter · case 04
The table duplicate label counter result violates the stipulated table export projection contract.
Table export projection: duplicate label counter · case 05
The table duplicate label counter result violates the stipulated table export projection contract.
Table export projection: duplicate label suffix · case 01
The table duplicate label suffix result violates the stipulated table export projection contract.
Table export projection: duplicate label suffix · case 02
The table duplicate label suffix result violates the stipulated table export projection contract.
Table export projection: duplicate label suffix · case 03
The table duplicate label suffix result violates the stipulated table export projection contract.
Table export projection: duplicate label suffix · case 04
The table duplicate label suffix result violates the stipulated table export projection contract.
Table export projection: duplicate label suffix · case 05
The table duplicate label suffix result violates the stipulated table export projection contract.
Table export projection: formatted value fallback · case 01
The table formatted value fallback result violates the stipulated table export projection contract.
Table export projection: formatted value fallback · case 02
The table formatted value fallback result violates the stipulated table export projection contract.
Table export projection: formatted value fallback · case 03
The table formatted value fallback result violates the stipulated table export projection contract.
Table export projection: formatted value fallback · case 04
The table formatted value fallback result violates the stipulated table export projection contract.
Table export projection: formatted value fallback · case 05
The table formatted value fallback result violates the stipulated table export projection contract.
Table export projection: explicit raw export · case 01
The table explicit raw export result violates the stipulated table export projection contract.
Table export projection: explicit raw export · case 02
The table explicit raw export result violates the stipulated table export projection contract.
Table export projection: explicit raw export · case 03
The table explicit raw export result violates the stipulated table export projection contract.
Table export projection: explicit raw export · case 04
The table explicit raw export result violates the stipulated table export projection contract.
Table export projection: explicit raw export · case 05
The table explicit raw export result violates the stipulated table export projection contract.
Table export projection: export column order · case 01
The table export column order result violates the stipulated table export projection contract.
Table export projection: export column order · case 02
The table export column order result violates the stipulated table export projection contract.
Table export projection: export column order · case 03
The table export column order result violates the stipulated table export projection contract.
Table export projection: export column order · case 04
The table export column order result violates the stipulated table export projection contract.
Table export projection: export column order · case 05
The table export column order result violates the stipulated table export projection contract.
Table grouped row projection: group hidden members · case 01
The table group hidden members result violates the stipulated table grouped row projection contract.
Table grouped row projection: group hidden members · case 02
The table group hidden members result violates the stipulated table grouped row projection contract.
Table grouped row projection: group hidden members · case 03
The table group hidden members result violates the stipulated table grouped row projection contract.
Table grouped row projection: group hidden members · case 04
The table group hidden members result violates the stipulated table grouped row projection contract.
Table grouped row projection: group hidden members · case 05
The table group hidden members result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group policy · case 01
The table empty group policy result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group policy · case 02
The table empty group policy result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group policy · case 03
The table empty group policy result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group policy · case 04
The table empty group policy result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group policy · case 05
The table empty group policy result violates the stipulated table grouped row projection contract.
Table grouped row projection: group key namespace · case 01
The table group key namespace result violates the stipulated table grouped row projection contract.
Table grouped row projection: group key namespace · case 02
The table group key namespace result violates the stipulated table grouped row projection contract.
Table grouped row projection: group key namespace · case 03
The table group key namespace result violates the stipulated table grouped row projection contract.
Table grouped row projection: group key namespace · case 04
The table group key namespace result violates the stipulated table grouped row projection contract.
Table grouped row projection: group key namespace · case 05
The table group key namespace result violates the stipulated table grouped row projection contract.
Table grouped row projection: group display label · case 01
The table group display label result violates the stipulated table grouped row projection contract.
Table grouped row projection: group display label · case 02
The table group display label result violates the stipulated table grouped row projection contract.
Table grouped row projection: group display label · case 03
The table group display label result violates the stipulated table grouped row projection contract.
Table grouped row projection: group display label · case 04
The table group display label result violates the stipulated table grouped row projection contract.
Table grouped row projection: group display label · case 05
The table group display label result violates the stipulated table grouped row projection contract.
Table grouped row projection: visible group count · case 01
The table visible group count result violates the stipulated table grouped row projection contract.
Table grouped row projection: visible group count · case 02
The table visible group count result violates the stipulated table grouped row projection contract.
Table grouped row projection: visible group count · case 03
The table visible group count result violates the stipulated table grouped row projection contract.
Table grouped row projection: visible group count · case 04
The table visible group count result violates the stipulated table grouped row projection contract.
Table grouped row projection: visible group count · case 05
The table visible group count result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group unchecked · case 01
The table empty group unchecked result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group unchecked · case 02
The table empty group unchecked result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group unchecked · case 03
The table empty group unchecked result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group unchecked · case 04
The table empty group unchecked result violates the stipulated table grouped row projection contract.
Table grouped row projection: empty group unchecked · case 05
The table empty group unchecked result violates the stipulated table grouped row projection contract.
Table grouped row projection: partial group checkbox · case 01
The table partial group checkbox result violates the stipulated table grouped row projection contract.
Table grouped row projection: partial group checkbox · case 02
The table partial group checkbox result violates the stipulated table grouped row projection contract.
Table grouped row projection: partial group checkbox · case 03
The table partial group checkbox result violates the stipulated table grouped row projection contract.
Table grouped row projection: partial group checkbox · case 04
The table partial group checkbox result violates the stipulated table grouped row projection contract.
Table grouped row projection: partial group checkbox · case 05
The table partial group checkbox result violates the stipulated table grouped row projection contract.
Table grouped row projection: collapsed group body · case 01
The table collapsed group body result violates the stipulated table grouped row projection contract.
Table grouped row projection: collapsed group body · case 02
The table collapsed group body result violates the stipulated table grouped row projection contract.
Table grouped row projection: collapsed group body · case 03
The table collapsed group body result violates the stipulated table grouped row projection contract.
Table grouped row projection: collapsed group body · case 04
The table collapsed group body result violates the stipulated table grouped row projection contract.
Table grouped row projection: collapsed group body · case 05
The table collapsed group body result violates the stipulated table grouped row projection contract.
Table grouped row projection: group row key · case 01
The table group row key result violates the stipulated table grouped row projection contract.
Table grouped row projection: group row key · case 02
The table group row key result violates the stipulated table grouped row projection contract.
Table grouped row projection: group row key · case 03
The table group row key result violates the stipulated table grouped row projection contract.
Table grouped row projection: group row key · case 04
The table group row key result violates the stipulated table grouped row projection contract.
Table grouped row projection: group row key · case 05
The table group row key result violates the stipulated table grouped row projection contract.
Table grouped row projection: group stripe reset · case 01
The table group stripe reset result violates the stipulated table grouped row projection contract.
Table grouped row projection: group stripe reset · case 02
The table group stripe reset result violates the stipulated table grouped row projection contract.
Table grouped row projection: group stripe reset · case 03
The table group stripe reset result violates the stipulated table grouped row projection contract.
Table grouped row projection: group stripe reset · case 04
The table group stripe reset result violates the stipulated table grouped row projection contract.
Table grouped row projection: group stripe reset · case 05
The table group stripe reset result violates the stipulated table grouped row projection contract.
Pivot table column descriptor generation: duplicate pivot path · case 01
The table duplicate pivot path result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: duplicate pivot path · case 02
The table duplicate pivot path result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: duplicate pivot path · case 03
The table duplicate pivot path result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: duplicate pivot path · case 04
The table duplicate pivot path result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: duplicate pivot path · case 05
The table duplicate pivot path result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: tuple column key · case 01
The table tuple column key result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: tuple column key · case 02
The table tuple column key result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: tuple column key · case 03
The table tuple column key result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: tuple column key · case 04
The table tuple column key result violates the stipulated pivot table column descriptor generation contract.
Pivot table column descriptor generation: tuple column key · case 05
The table tuple column key result violates the stipulated pivot table column descriptor generation contract.
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 ↗