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
Homogeneous segment clip: intersection denominator · case 01
Intersection divides by summed endpoint distances rather than their difference.
Homogeneous segment clip: intersection denominator · case 02
Intersection divides by summed endpoint distances rather than their difference.
Homogeneous segment clip: intersection denominator · case 03
Intersection divides by summed endpoint distances rather than their difference.
Homogeneous segment clip: intersection denominator · case 04
Intersection divides by summed endpoint distances rather than their difference.
Homogeneous segment clip: intersection denominator · case 05
Intersection divides by summed endpoint distances rather than their difference.
Homogeneous segment clip: intersection rounding · case 01
Integer conversion snaps a crossing intersection to an endpoint.
Homogeneous segment clip: intersection rounding · case 02
Integer conversion snaps a crossing intersection to an endpoint.
Homogeneous segment clip: intersection rounding · case 03
Integer conversion snaps a crossing intersection to an endpoint.
Homogeneous segment clip: intersection rounding · case 04
Integer conversion snaps a crossing intersection to an endpoint.
Homogeneous segment clip: intersection rounding · case 05
Integer conversion snaps a crossing intersection to an endpoint.
Homogeneous segment clip: attribute interpolation · case 01
Clipping interpolates position but leaves the vertex attribute at the original endpoint.
Homogeneous segment clip: attribute interpolation · case 02
Clipping interpolates position but leaves the vertex attribute at the original endpoint.
Homogeneous segment clip: attribute interpolation · case 03
Clipping interpolates position but leaves the vertex attribute at the original endpoint.
Homogeneous segment clip: attribute interpolation · case 04
Clipping interpolates position but leaves the vertex attribute at the original endpoint.
Homogeneous segment clip: attribute interpolation · case 05
Clipping interpolates position but leaves the vertex attribute at the original endpoint.
Homogeneous segment clip: entering endpoint · case 01
An entering intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: entering endpoint · case 02
An entering intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: entering endpoint · case 03
An entering intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: entering endpoint · case 04
An entering intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: entering endpoint · case 05
An entering intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: leaving endpoint · case 01
A leaving intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: leaving endpoint · case 02
A leaving intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: leaving endpoint · case 03
A leaving intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: leaving endpoint · case 04
A leaving intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: leaving endpoint · case 05
A leaving intersection replaces the inside endpoint and retains the outside endpoint.
Homogeneous segment clip: plane distance stale · case 01
Later planes classify original vertices rather than endpoints already clipped by earlier planes.
Homogeneous segment clip: plane distance stale · case 02
Later planes classify original vertices rather than endpoints already clipped by earlier planes.
Homogeneous segment clip: plane distance stale · case 03
Later planes classify original vertices rather than endpoints already clipped by earlier planes.
Homogeneous segment clip: plane distance stale · case 04
Later planes classify original vertices rather than endpoints already clipped by earlier planes.
Homogeneous segment clip: plane distance stale · case 05
Later planes classify original vertices rather than endpoints already clipped by earlier planes.
Triangle strip clip culling: restart history · case 01
Primitive restart retains vertices from the previous strip.
Triangle strip clip culling: restart history · case 02
Primitive restart retains vertices from the previous strip.
Triangle strip clip culling: restart history · case 03
Primitive restart retains vertices from the previous strip.
Triangle strip clip culling: restart history · case 04
Primitive restart retains vertices from the previous strip.
Triangle strip clip culling: restart history · case 05
Primitive restart retains vertices from the previous strip.
Triangle strip clip culling: restart parity · case 01
Primitive restart does not reset winding parity.
Triangle strip clip culling: restart parity · case 02
Primitive restart does not reset winding parity.
Triangle strip clip culling: restart parity · case 03
Primitive restart does not reset winding parity.
Triangle strip clip culling: restart parity · case 04
Primitive restart does not reset winding parity.
Triangle strip clip culling: restart parity · case 05
Primitive restart does not reset winding parity.
Triangle strip clip culling: vertex window · case 01
Every triangle reuses the first three strip vertices.
Triangle strip clip culling: vertex window · case 02
Every triangle reuses the first three strip vertices.
Triangle strip clip culling: vertex window · case 03
Every triangle reuses the first three strip vertices.
Triangle strip clip culling: vertex window · case 04
Every triangle reuses the first three strip vertices.
Triangle strip clip culling: vertex window · case 05
Every triangle reuses the first three strip vertices.
Triangle strip clip culling: winding parity · case 01
Alternating triangle orientation starts with the wrong parity.
Triangle strip clip culling: winding parity · case 02
Alternating triangle orientation starts with the wrong parity.
Triangle strip clip culling: winding parity · case 03
Alternating triangle orientation starts with the wrong parity.
Triangle strip clip culling: winding parity · case 04
Alternating triangle orientation starts with the wrong parity.
Triangle strip clip culling: winding parity · case 05
Alternating triangle orientation starts with the wrong parity.
Triangle strip clip culling: winding swap · case 01
Odd strip winding changes the final provoking vertex.
Triangle strip clip culling: winding swap · case 02
Odd strip winding changes the final provoking vertex.
Triangle strip clip culling: winding swap · case 03
Odd strip winding changes the final provoking vertex.
Triangle strip clip culling: winding swap · case 04
Odd strip winding changes the final provoking vertex.
Triangle strip clip culling: winding swap · case 05
Odd strip winding changes the final provoking vertex.
Triangle strip clip culling: degenerate parity · case 01
Degenerate primitives do not advance strip parity and misorient later visible triangles.
Triangle strip clip culling: degenerate parity · case 02
Degenerate primitives do not advance strip parity and misorient later visible triangles.
Triangle strip clip culling: degenerate parity · case 03
Degenerate primitives do not advance strip parity and misorient later visible triangles.
Triangle strip clip culling: degenerate parity · case 04
Degenerate primitives do not advance strip parity and misorient later visible triangles.
Triangle strip clip culling: degenerate parity · case 05
Degenerate primitives do not advance strip parity and misorient later visible triangles.
Triangle strip clip culling: clip parity · case 01
Culled triangles fail to advance strip parity before later visible triangles.
Triangle strip clip culling: clip parity · case 02
Culled triangles fail to advance strip parity before later visible triangles.
Triangle strip clip culling: clip parity · case 03
Culled triangles fail to advance strip parity before later visible triangles.
Triangle strip clip culling: clip parity · case 04
Culled triangles fail to advance strip parity before later visible triangles.
Triangle strip clip culling: clip parity · case 05
Culled triangles fail to advance strip parity before later visible triangles.
Triangle strip clip culling: outside mask union · case 01
Culling combines vertex outside masks by union and rejects plane-crossing triangles.
Triangle strip clip culling: outside mask union · case 02
Culling combines vertex outside masks by union and rejects plane-crossing triangles.
Triangle strip clip culling: outside mask union · case 03
Culling combines vertex outside masks by union and rejects plane-crossing triangles.
Triangle strip clip culling: outside mask union · case 04
Culling combines vertex outside masks by union and rejects plane-crossing triangles.
Triangle strip clip culling: outside mask union · case 05
Culling combines vertex outside masks by union and rejects plane-crossing triangles.
Triangle strip clip culling: inactive plane bits · case 01
Inactive user-plane bits participate in primitive rejection.
Triangle strip clip culling: inactive plane bits · case 02
Inactive user-plane bits participate in primitive rejection.
Triangle strip clip culling: inactive plane bits · case 03
Inactive user-plane bits participate in primitive rejection.
Triangle strip clip culling: inactive plane bits · case 04
Inactive user-plane bits participate in primitive rejection.
Triangle strip clip culling: inactive plane bits · case 05
Inactive user-plane bits participate in primitive rejection.
Triangle strip clip culling: degenerate accept · case 01
Triangles with two equal IDs pass the degenerate filter.
Triangle strip clip culling: degenerate accept · case 02
Triangles with two equal IDs pass the degenerate filter.
Triangle strip clip culling: degenerate accept · case 03
Triangles with two equal IDs pass the degenerate filter.
Triangle strip clip culling: degenerate accept · case 04
Triangles with two equal IDs pass the degenerate filter.
Triangle strip clip culling: degenerate accept · case 05
Triangles with two equal IDs pass the degenerate filter.
Clip occlusion query: preclip count · case 01
Occlusion counting happens before applying the path clip.
Clip occlusion query: preclip count · case 02
Occlusion counting happens before applying the path clip.
Clip occlusion query: preclip count · case 03
Occlusion counting happens before applying the path clip.
Clip occlusion query: preclip count · case 04
Occlusion counting happens before applying the path clip.
Clip occlusion query: preclip count · case 05
Occlusion counting happens before applying the path clip.
Clip occlusion query: duplicate samples · case 01
Duplicate IDs in one coverage draw are counted as independent raster samples.
Clip occlusion query: duplicate samples · case 02
Duplicate IDs in one coverage draw are counted as independent raster samples.
Clip occlusion query: duplicate samples · case 03
Duplicate IDs in one coverage draw are counted as independent raster samples.
Clip occlusion query: duplicate samples · case 04
Duplicate IDs in one coverage draw are counted as independent raster samples.
Clip occlusion query: duplicate samples · case 05
Duplicate IDs in one coverage draw are counted as independent raster samples.
Clip occlusion query: overwrite count · case 01
Each draw overwrites the earlier query count.
Clip occlusion query: overwrite count · case 02
Each draw overwrites the earlier query count.
Clip occlusion query: overwrite count · case 03
Each draw overwrites the earlier query count.
Clip occlusion query: overwrite count · case 04
Each draw overwrites the earlier query count.
Clip occlusion query: overwrite count · case 05
Each draw overwrites the earlier query count.
Clip occlusion query: begin retains · case 01
Reusing a query name retains its previous completed result.
Clip occlusion query: begin retains · case 02
Reusing a query name retains its previous completed result.
Clip occlusion query: begin retains · case 03
Reusing a query name retains its previous completed result.
Clip occlusion query: begin retains · case 04
Reusing a query name retains its previous completed result.
Clip occlusion query: begin retains · case 05
Reusing a query name retains its previous completed result.
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 ↗