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
Pick buffer clip coverage: id zero · case 01
Object ID zero is treated as absent and never reaches the picking attachment.
Pick buffer clip coverage: id zero · case 02
Object ID zero is treated as absent and never reaches the picking attachment.
Pick buffer clip coverage: id zero · case 03
Object ID zero is treated as absent and never reaches the picking attachment.
Pick buffer clip coverage: id zero · case 04
Object ID zero is treated as absent and never reaches the picking attachment.
Pick buffer clip coverage: id zero · case 05
Object ID zero is treated as absent and never reaches the picking attachment.
Pick buffer clip coverage: disabled id write · case 01
A draw with ID writes disabled replaces the pick result.
Pick buffer clip coverage: disabled id write · case 02
A draw with ID writes disabled replaces the pick result.
Pick buffer clip coverage: disabled id write · case 03
A draw with ID writes disabled replaces the pick result.
Pick buffer clip coverage: disabled id write · case 04
A draw with ID writes disabled replaces the pick result.
Pick buffer clip coverage: disabled id write · case 05
A draw with ID writes disabled replaces the pick result.
Pick buffer clip coverage: clear depth · case 01
Clearing the pick sample leaves old depth that rejects new objects.
Pick buffer clip coverage: clear depth · case 02
Clearing the pick sample leaves old depth that rejects new objects.
Pick buffer clip coverage: clear depth · case 03
Clearing the pick sample leaves old depth that rejects new objects.
Pick buffer clip coverage: clear depth · case 04
Clearing the pick sample leaves old depth that rejects new objects.
Pick buffer clip coverage: clear depth · case 05
Clearing the pick sample leaves old depth that rejects new objects.
Pick buffer clip coverage: clear region · case 01
A clipped clear erases pick samples outside the requested clear region.
Pick buffer clip coverage: clear region · case 02
A clipped clear erases pick samples outside the requested clear region.
Pick buffer clip coverage: clear region · case 03
A clipped clear erases pick samples outside the requested clear region.
Pick buffer clip coverage: clear region · case 04
A clipped clear erases pick samples outside the requested clear region.
Pick buffer clip coverage: clear region · case 05
A clipped clear erases pick samples outside the requested clear region.
Pick buffer clip coverage: query outside · case 01
Out-of-target picking clamps to an edge object instead of returning no hit.
Pick buffer clip coverage: query outside · case 02
Out-of-target picking clamps to an edge object instead of returning no hit.
Pick buffer clip coverage: query outside · case 03
Out-of-target picking clamps to an edge object instead of returning no hit.
Pick buffer clip coverage: query outside · case 04
Out-of-target picking clamps to an edge object instead of returning no hit.
Pick buffer clip coverage: query outside · case 05
Out-of-target picking clamps to an edge object instead of returning no hit.
Pick buffer clip coverage: query order · case 01
Pick results are sorted by sample coordinate rather than matching request order.
Pick buffer clip coverage: query order · case 02
Pick results are sorted by sample coordinate rather than matching request order.
Pick buffer clip coverage: query order · case 03
Pick results are sorted by sample coordinate rather than matching request order.
Pick buffer clip coverage: query order · case 04
Pick results are sorted by sample coordinate rather than matching request order.
Pick buffer clip coverage: query order · case 05
Pick results are sorted by sample coordinate rather than matching request order.
User distance clip cull: discard ignored · case 01
Rasterizer discard is ignored by the distance-classification stage.
User distance clip cull: discard ignored · case 02
Rasterizer discard is ignored by the distance-classification stage.
User distance clip cull: discard ignored · case 03
Rasterizer discard is ignored by the distance-classification stage.
User distance clip cull: discard ignored · case 04
Rasterizer discard is ignored by the distance-classification stage.
User distance clip cull: discard ignored · case 05
Rasterizer discard is ignored by the distance-classification stage.
User distance clip cull: clip reject any · case 01
A single negative clip vertex rejects a straddling primitive instead of clipping it.
User distance clip cull: clip reject any · case 02
A single negative clip vertex rejects a straddling primitive instead of clipping it.
User distance clip cull: clip reject any · case 03
A single negative clip vertex rejects a straddling primitive instead of clipping it.
User distance clip cull: clip reject any · case 04
A single negative clip vertex rejects a straddling primitive instead of clipping it.
User distance clip cull: clip reject any · case 05
A single negative clip vertex rejects a straddling primitive instead of clipping it.
User distance clip cull: clip partial all · case 01
A surviving plane-straddling primitive is classified accepted and skips clipping.
User distance clip cull: clip partial all · case 02
A surviving plane-straddling primitive is classified accepted and skips clipping.
User distance clip cull: clip partial all · case 03
A surviving plane-straddling primitive is classified accepted and skips clipping.
User distance clip cull: clip partial all · case 04
A surviving plane-straddling primitive is classified accepted and skips clipping.
User distance clip cull: clip partial all · case 05
A surviving plane-straddling primitive is classified accepted and skips clipping.
User distance clip cull: cull reject any · case 01
Cull distances reject primitives with one negative vertex rather than requiring the full primitive outside.
User distance clip cull: cull reject any · case 02
Cull distances reject primitives with one negative vertex rather than requiring the full primitive outside.
User distance clip cull: cull reject any · case 03
Cull distances reject primitives with one negative vertex rather than requiring the full primitive outside.
User distance clip cull: cull reject any · case 04
Cull distances reject primitives with one negative vertex rather than requiring the full primitive outside.
User distance clip cull: cull reject any · case 05
Cull distances reject primitives with one negative vertex rather than requiring the full primitive outside.
User distance clip cull: cull is clip · case 01
Mixed-sign cull planes incorrectly request geometric clipping.
User distance clip cull: cull is clip · case 02
Mixed-sign cull planes incorrectly request geometric clipping.
User distance clip cull: cull is clip · case 03
Mixed-sign cull planes incorrectly request geometric clipping.
User distance clip cull: cull is clip · case 04
Mixed-sign cull planes incorrectly request geometric clipping.
User distance clip cull: cull is clip · case 05
Mixed-sign cull planes incorrectly request geometric clipping.
User distance clip cull: missing clip component · case 01
Absent clip-distance components are treated as outside rather than on the plane.
User distance clip cull: missing clip component · case 02
Absent clip-distance components are treated as outside rather than on the plane.
User distance clip cull: missing clip component · case 03
Absent clip-distance components are treated as outside rather than on the plane.
User distance clip cull: missing clip component · case 04
Absent clip-distance components are treated as outside rather than on the plane.
User distance clip cull: missing clip component · case 05
Absent clip-distance components are treated as outside rather than on the plane.
User distance clip cull: missing cull component · case 01
Missing cull distances create false full-primitive rejection.
User distance clip cull: missing cull component · case 02
Missing cull distances create false full-primitive rejection.
User distance clip cull: missing cull component · case 03
Missing cull distances create false full-primitive rejection.
User distance clip cull: missing cull component · case 04
Missing cull distances create false full-primitive rejection.
User distance clip cull: missing cull component · case 05
Missing cull distances create false full-primitive rejection.
User distance clip cull: cull enable confusion · case 01
Cull plane activation incorrectly reuses the clip-distance enable mask.
User distance clip cull: cull enable confusion · case 02
Cull plane activation incorrectly reuses the clip-distance enable mask.
User distance clip cull: cull enable confusion · case 03
Cull plane activation incorrectly reuses the clip-distance enable mask.
User distance clip cull: cull enable confusion · case 04
Cull plane activation incorrectly reuses the clip-distance enable mask.
User distance clip cull: cull enable confusion · case 05
Cull plane activation incorrectly reuses the clip-distance enable mask.
User distance clip cull: clip enable confusion · case 01
Clip-plane activation incorrectly depends on cull-distance enables.
User distance clip cull: clip enable confusion · case 02
Clip-plane activation incorrectly depends on cull-distance enables.
User distance clip cull: clip enable confusion · case 03
Clip-plane activation incorrectly depends on cull-distance enables.
User distance clip cull: clip enable confusion · case 04
Clip-plane activation incorrectly depends on cull-distance enables.
User distance clip cull: clip enable confusion · case 05
Clip-plane activation incorrectly depends on cull-distance enables.
User distance clip cull: rejection precedence · case 01
Partial clipping overrides a rejection by another active plane.
User distance clip cull: rejection precedence · case 02
Partial clipping overrides a rejection by another active plane.
User distance clip cull: rejection precedence · case 03
Partial clipping overrides a rejection by another active plane.
User distance clip cull: rejection precedence · case 04
Partial clipping overrides a rejection by another active plane.
User distance clip cull: rejection precedence · case 05
Partial clipping overrides a rejection by another active plane.
Ranked alpha clip coverage: fraction before scale · case 01
Integer division discards fractional alpha before converting it to sample coverage.
Ranked alpha clip coverage: fraction before scale · case 02
Integer division discards fractional alpha before converting it to sample coverage.
Ranked alpha clip coverage: fraction before scale · case 03
Integer division discards fractional alpha before converting it to sample coverage.
Ranked alpha clip coverage: fraction before scale · case 04
Integer division discards fractional alpha before converting it to sample coverage.
Ranked alpha clip coverage: fraction before scale · case 05
Integer division discards fractional alpha before converting it to sample coverage.
Ranked alpha clip coverage: coverage round up · case 01
Upward coverage rounding selects an extra sample below the next rank threshold.
Ranked alpha clip coverage: coverage round up · case 02
Upward coverage rounding selects an extra sample below the next rank threshold.
Ranked alpha clip coverage: coverage round up · case 03
Upward coverage rounding selects an extra sample below the next rank threshold.
Ranked alpha clip coverage: coverage round up · case 04
Upward coverage rounding selects an extra sample below the next rank threshold.
Ranked alpha clip coverage: coverage round up · case 05
Upward coverage rounding selects an extra sample below the next rank threshold.
Ranked alpha clip coverage: rank order · case 01
Sorting rank IDs destroys the supplied alpha coverage permutation.
Ranked alpha clip coverage: rank order · case 02
Sorting rank IDs destroys the supplied alpha coverage permutation.
Ranked alpha clip coverage: rank order · case 03
Sorting rank IDs destroys the supplied alpha coverage permutation.
Ranked alpha clip coverage: rank order · case 04
Sorting rank IDs destroys the supplied alpha coverage permutation.
Ranked alpha clip coverage: rank order · case 05
Sorting rank IDs destroys the supplied alpha coverage permutation.
Ranked alpha clip coverage: rank tail · case 01
Alpha covers the last ranks instead of the first ranks.
Ranked alpha clip coverage: rank tail · case 02
Alpha covers the last ranks instead of the first ranks.
Ranked alpha clip coverage: rank tail · case 03
Alpha covers the last ranks instead of the first ranks.
Ranked alpha clip coverage: rank tail · case 04
Alpha covers the last ranks instead of the first ranks.
Ranked alpha clip coverage: rank tail · case 05
Alpha covers the last ranks instead of the first ranks.
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 ↗