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
Liang barsky parametric rect: bottom plane axis · case 01
The bottom inequality measures from the start x coordinate instead of the start y coordinate.
Liang barsky parametric rect: bottom plane axis · case 02
The bottom inequality measures from the start x coordinate instead of the start y coordinate.
Liang barsky parametric rect: bottom plane axis · case 03
The bottom inequality measures from the start x coordinate instead of the start y coordinate.
Liang barsky parametric rect: bottom plane axis · case 04
The bottom inequality measures from the start x coordinate instead of the start y coordinate.
Liang barsky parametric rect: bottom plane axis · case 05
The bottom inequality measures from the start x coordinate instead of the start y coordinate.
Sutherland hodgman raster rect: previous vertex direction · case 01
Each stage pairs a vertex with its successor instead of its predecessor, emitting intersections in reversed edge order.
Sutherland hodgman raster rect: previous vertex direction · case 02
Each stage pairs a vertex with its successor instead of its predecessor, emitting intersections in reversed edge order.
Sutherland hodgman raster rect: previous vertex direction · case 03
Each stage pairs a vertex with its successor instead of its predecessor, emitting intersections in reversed edge order.
Sutherland hodgman raster rect: previous vertex direction · case 04
Each stage pairs a vertex with its successor instead of its predecessor, emitting intersections in reversed edge order.
Sutherland hodgman raster rect: previous vertex direction · case 05
Each stage pairs a vertex with its successor instead of its predecessor, emitting intersections in reversed edge order.
Sutherland hodgman raster rect: entering emit order · case 01
On an entering edge the inside vertex is emitted before the boundary intersection, producing a self-crossing output order.
Sutherland hodgman raster rect: entering emit order · case 02
On an entering edge the inside vertex is emitted before the boundary intersection, producing a self-crossing output order.
Sutherland hodgman raster rect: entering emit order · case 03
On an entering edge the inside vertex is emitted before the boundary intersection, producing a self-crossing output order.
Sutherland hodgman raster rect: entering emit order · case 04
On an entering edge the inside vertex is emitted before the boundary intersection, producing a self-crossing output order.
Sutherland hodgman raster rect: entering emit order · case 05
On an entering edge the inside vertex is emitted before the boundary intersection, producing a self-crossing output order.
Sutherland hodgman raster rect: leaving intersection dropped · case 01
A leaving edge emits nothing, so the boundary exit point is missing and the clipped polygon cuts a diagonal.
Sutherland hodgman raster rect: leaving intersection dropped · case 02
A leaving edge emits nothing, so the boundary exit point is missing and the clipped polygon cuts a diagonal.
Sutherland hodgman raster rect: leaving intersection dropped · case 03
A leaving edge emits nothing, so the boundary exit point is missing and the clipped polygon cuts a diagonal.
Sutherland hodgman raster rect: leaving intersection dropped · case 04
A leaving edge emits nothing, so the boundary exit point is missing and the clipped polygon cuts a diagonal.
Sutherland hodgman raster rect: leaving intersection dropped · case 05
A leaving edge emits nothing, so the boundary exit point is missing and the clipped polygon cuts a diagonal.
Sutherland hodgman raster rect: vertical crossing base · case 01
Vertical-boundary intersections add the previous-vertex parameter to the current vertex y coordinate.
Sutherland hodgman raster rect: vertical crossing base · case 02
Vertical-boundary intersections add the previous-vertex parameter to the current vertex y coordinate.
Sutherland hodgman raster rect: vertical crossing base · case 03
Vertical-boundary intersections add the previous-vertex parameter to the current vertex y coordinate.
Sutherland hodgman raster rect: vertical crossing base · case 04
Vertical-boundary intersections add the previous-vertex parameter to the current vertex y coordinate.
Sutherland hodgman raster rect: vertical crossing base · case 05
Vertical-boundary intersections add the previous-vertex parameter to the current vertex y coordinate.
Sutherland hodgman raster rect: stage chaining · case 01
The bottom stage restarts from the unclipped source polygon, discarding the left and right clipping.
Sutherland hodgman raster rect: stage chaining · case 02
The bottom stage restarts from the unclipped source polygon, discarding the left and right clipping.
Sutherland hodgman raster rect: stage chaining · case 03
The bottom stage restarts from the unclipped source polygon, discarding the left and right clipping.
Sutherland hodgman raster rect: stage chaining · case 04
The bottom stage restarts from the unclipped source polygon, discarding the left and right clipping.
Sutherland hodgman raster rect: stage chaining · case 05
The bottom stage restarts from the unclipped source polygon, discarding the left and right clipping.
Sutherland hodgman raster rect: right edge pixel center · case 01
The right stage clips at the last pixel center rather than the raster edge, removing the final half pixel of coverage.
Sutherland hodgman raster rect: right edge pixel center · case 02
The right stage clips at the last pixel center rather than the raster edge, removing the final half pixel of coverage.
Sutherland hodgman raster rect: right edge pixel center · case 03
The right stage clips at the last pixel center rather than the raster edge, removing the final half pixel of coverage.
Sutherland hodgman raster rect: right edge pixel center · case 04
The right stage clips at the last pixel center rather than the raster edge, removing the final half pixel of coverage.
Sutherland hodgman raster rect: right edge pixel center · case 05
The right stage clips at the last pixel center rather than the raster edge, removing the final half pixel of coverage.
Sutherland hodgman raster rect: cyclic dedupe · case 01
Duplicate removal skips the wrap-around comparison, leaving the first vertex repeated at the end of the ring.
Sutherland hodgman raster rect: cyclic dedupe · case 02
Duplicate removal skips the wrap-around comparison, leaving the first vertex repeated at the end of the ring.
Sutherland hodgman raster rect: cyclic dedupe · case 03
Duplicate removal skips the wrap-around comparison, leaving the first vertex repeated at the end of the ring.
Sutherland hodgman raster rect: cyclic dedupe · case 04
Duplicate removal skips the wrap-around comparison, leaving the first vertex repeated at the end of the ring.
Sutherland hodgman raster rect: cyclic dedupe · case 05
Duplicate removal skips the wrap-around comparison, leaving the first vertex repeated at the end of the ring.
Sutherland hodgman raster rect: degenerate output · case 01
Clipped polygons that collapse to a point or a segment are emitted as polygons.
Sutherland hodgman raster rect: degenerate output · case 02
Clipped polygons that collapse to a point or a segment are emitted as polygons.
Sutherland hodgman raster rect: degenerate output · case 03
Clipped polygons that collapse to a point or a segment are emitted as polygons.
Sutherland hodgman raster rect: degenerate output · case 04
Clipped polygons that collapse to a point or a segment are emitted as polygons.
Sutherland hodgman raster rect: degenerate output · case 05
Clipped polygons that collapse to a point or a segment are emitted as polygons.
Blit source destination clip: negative source dest shift · case 01
Trimming a negative source origin shortens the copy but leaves the destination origin where the first discarded source column would have landed.
Blit source destination clip: negative source dest shift · case 02
Trimming a negative source origin shortens the copy but leaves the destination origin where the first discarded source column would have landed.
Blit source destination clip: negative source dest shift · case 03
Trimming a negative source origin shortens the copy but leaves the destination origin where the first discarded source column would have landed.
Blit source destination clip: negative source dest shift · case 04
Trimming a negative source origin shortens the copy but leaves the destination origin where the first discarded source column would have landed.
Blit source destination clip: negative source dest shift · case 05
Trimming a negative source origin shortens the copy but leaves the destination origin where the first discarded source column would have landed.
Blit source destination clip: source width offset · case 01
The source width limit ignores the source origin, so copies starting inside the image read past its right edge.
Blit source destination clip: source width offset · case 02
The source width limit ignores the source origin, so copies starting inside the image read past its right edge.
Blit source destination clip: source width offset · case 03
The source width limit ignores the source origin, so copies starting inside the image read past its right edge.
Blit source destination clip: source width offset · case 04
The source width limit ignores the source origin, so copies starting inside the image read past its right edge.
Blit source destination clip: source width offset · case 05
The source width limit ignores the source origin, so copies starting inside the image read past its right edge.
Blit source destination clip: scissor right unclamped · case 01
The destination scissor right edge is not intersected with the target, allowing writes beyond the target width.
Blit source destination clip: scissor right unclamped · case 02
The destination scissor right edge is not intersected with the target, allowing writes beyond the target width.
Blit source destination clip: scissor right unclamped · case 03
The destination scissor right edge is not intersected with the target, allowing writes beyond the target width.
Blit source destination clip: scissor right unclamped · case 04
The destination scissor right edge is not intersected with the target, allowing writes beyond the target width.
Blit source destination clip: scissor right unclamped · case 05
The destination scissor right edge is not intersected with the target, allowing writes beyond the target width.
Blit source destination clip: right trim inclusive · case 01
The half-open scissor right edge is treated as inclusive, writing one extra destination column.
Blit source destination clip: right trim inclusive · case 02
The half-open scissor right edge is treated as inclusive, writing one extra destination column.
Blit source destination clip: right trim inclusive · case 03
The half-open scissor right edge is treated as inclusive, writing one extra destination column.
Blit source destination clip: right trim inclusive · case 04
The half-open scissor right edge is treated as inclusive, writing one extra destination column.
Blit source destination clip: right trim inclusive · case 05
The half-open scissor right edge is treated as inclusive, writing one extra destination column.
Blit source destination clip: empty either dimension · case 01
A copy empty in one dimension is still reported as a blit with nonpositive width or height.
Blit source destination clip: empty either dimension · case 02
A copy empty in one dimension is still reported as a blit with nonpositive width or height.
Blit source destination clip: empty either dimension · case 03
A copy empty in one dimension is still reported as a blit with nonpositive width or height.
Blit source destination clip: empty either dimension · case 04
A copy empty in one dimension is still reported as a blit with nonpositive width or height.
Blit source destination clip: empty either dimension · case 05
A copy empty in one dimension is still reported as a blit with nonpositive width or height.
Blit source destination clip: scissor left origin · case 01
Left trimming only happens for negative destination origins, ignoring a scissor whose left edge is inside the target.
Blit source destination clip: scissor left origin · case 02
Left trimming only happens for negative destination origins, ignoring a scissor whose left edge is inside the target.
Blit source destination clip: scissor left origin · case 03
Left trimming only happens for negative destination origins, ignoring a scissor whose left edge is inside the target.
Blit source destination clip: scissor left origin · case 04
Left trimming only happens for negative destination origins, ignoring a scissor whose left edge is inside the target.
Blit source destination clip: scissor left origin · case 05
Left trimming only happens for negative destination origins, ignoring a scissor whose left edge is inside the target.
Blit source destination clip: source height axis · case 01
The source height limit uses the source width, over- or under-trimming non-square images.
Blit source destination clip: source height axis · case 02
The source height limit uses the source width, over- or under-trimming non-square images.
Blit source destination clip: source height axis · case 03
The source height limit uses the source width, over- or under-trimming non-square images.
Blit source destination clip: source height axis · case 04
The source height limit uses the source width, over- or under-trimming non-square images.
Blit source destination clip: source height axis · case 05
The source height limit uses the source width, over- or under-trimming non-square images.
Scanline polygon span clip: vertex double crossing · case 01
Closed edge ranges count a pass-through vertex on the sample row twice, flipping even-odd parity for the rest of the row.
Scanline polygon span clip: vertex double crossing · case 02
Closed edge ranges count a pass-through vertex on the sample row twice, flipping even-odd parity for the rest of the row.
Scanline polygon span clip: vertex double crossing · case 03
Closed edge ranges count a pass-through vertex on the sample row twice, flipping even-odd parity for the rest of the row.
Scanline polygon span clip: vertex double crossing · case 04
Closed edge ranges count a pass-through vertex on the sample row twice, flipping even-odd parity for the rest of the row.
Scanline polygon span clip: vertex double crossing · case 05
Closed edge ranges count a pass-through vertex on the sample row twice, flipping even-odd parity for the rest of the row.
Scanline polygon span clip: row sample top · case 01
Rows are sampled at their top edge instead of their pixel-center line.
Scanline polygon span clip: row sample top · case 02
Rows are sampled at their top edge instead of their pixel-center line.
Scanline polygon span clip: row sample top · case 03
Rows are sampled at their top edge instead of their pixel-center line.
Scanline polygon span clip: row sample top · case 04
Rows are sampled at their top edge instead of their pixel-center line.
Scanline polygon span clip: row sample top · case 05
Rows are sampled at their top edge instead of their pixel-center line.
Scanline polygon span clip: span start rounding · case 01
Span starts include the pixel containing the left crossing even when its center lies left of the edge.
Scanline polygon span clip: span start rounding · case 02
Span starts include the pixel containing the left crossing even when its center lies left of the edge.
Scanline polygon span clip: span start rounding · case 03
Span starts include the pixel containing the left crossing even when its center lies left of the edge.
Scanline polygon span clip: span start rounding · case 04
Span starts include the pixel containing the left crossing even when its center lies left of the edge.
Scanline polygon span clip: span start rounding · case 05
Span starts include the pixel containing the left crossing even when its center lies left of the edge.
Scanline polygon span clip: scissor left unclamped · case 01
Span starts are not clipped to the scissor left edge.
Scanline polygon span clip: scissor left unclamped · case 02
Span starts are not clipped to the scissor left edge.
Scanline polygon span clip: scissor left unclamped · case 03
Span starts are not clipped to the scissor left edge.
Scanline polygon span clip: scissor left unclamped · case 04
Span starts are not clipped to the scissor left edge.
Scanline polygon span clip: scissor left unclamped · case 05
Span starts are not clipped to the scissor left edge.
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 ↗