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
Unpack rgba byte mask · case 01
Shifted higher-order channels leak into lower byte values.
Unpack rgba byte mask · case 02
Shifted higher-order channels leak into lower byte values.
Unpack rgba byte mask · case 03
Shifted higher-order channels leak into lower byte values.
Unpack rgba byte mask · case 04
Shifted higher-order channels leak into lower byte values.
Unpack rgba byte mask · case 05
Shifted higher-order channels leak into lower byte values.
Normalized channel to byte half up · case 01
Truncating scaled color introduces a downward quantization bias.
Normalized channel to byte half up · case 02
Truncating scaled color introduces a downward quantization bias.
Normalized channel to byte half up · case 03
Truncating scaled color introduces a downward quantization bias.
Normalized channel to byte half up · case 04
Truncating scaled color introduces a downward quantization bias.
Normalized channel to byte half up · case 05
Truncating scaled color introduces a downward quantization bias.
Byte channel normalization · case 01
Dividing by 256 makes the maximum representable white less than one.
Byte channel normalization · case 02
Dividing by 256 makes the maximum representable white less than one.
Byte channel normalization · case 03
Dividing by 256 makes the maximum representable white less than one.
Byte channel normalization · case 04
Dividing by 256 makes the maximum representable white less than one.
Byte channel normalization · case 05
Dividing by 256 makes the maximum representable white less than one.
Rgb565 green width · case 01
Green is quantized to five bits in a six-bit field.
Rgb565 green width · case 02
Green is quantized to five bits in a six-bit field.
Rgb565 green width · case 03
Green is quantized to five bits in a six-bit field.
Rgb565 green width · case 04
Green is quantized to five bits in a six-bit field.
Rgb565 green width · case 05
Green is quantized to five bits in a six-bit field.
Rgb565 bit replication · case 01
Zero-padding low bits leaves decoded maximum channels below 255.
Rgb565 bit replication · case 02
Zero-padding low bits leaves decoded maximum channels below 255.
Rgb565 bit replication · case 03
Zero-padding low bits leaves decoded maximum channels below 255.
Rgb565 bit replication · case 04
Zero-padding low bits leaves decoded maximum channels below 255.
Rgb565 bit replication · case 05
Zero-padding low bits leaves decoded maximum channels below 255.
Palette alpha lookup · case 01
Palette expansion makes every transparent palette entry opaque.
Palette alpha lookup · case 02
Palette expansion makes every transparent palette entry opaque.
Palette alpha lookup · case 03
Palette expansion makes every transparent palette entry opaque.
Palette alpha lookup · case 04
Palette expansion makes every transparent palette entry opaque.
Palette alpha lookup · case 05
Palette expansion makes every transparent palette entry opaque.
Grayscale opacity independent · case 01
The grayscale luminance value is incorrectly copied into alpha.
Grayscale opacity independent · case 02
The grayscale luminance value is incorrectly copied into alpha.
Grayscale opacity independent · case 03
The grayscale luminance value is incorrectly copied into alpha.
Grayscale opacity independent · case 04
The grayscale luminance value is incorrectly copied into alpha.
Grayscale opacity independent · case 05
The grayscale luminance value is incorrectly copied into alpha.
Color key before opacity · case 01
Color-key transparency is ignored during RGBA conversion.
Color key before opacity · case 02
Color-key transparency is ignored during RGBA conversion.
Color key before opacity · case 03
Color-key transparency is ignored during RGBA conversion.
Color key before opacity · case 04
Color-key transparency is ignored during RGBA conversion.
Color key before opacity · case 05
Color-key transparency is ignored during RGBA conversion.
Clip row both ends · case 01
Negative clipping coordinates are interpreted as Python indices from the row end.
Clip row both ends · case 02
Negative clipping coordinates are interpreted as Python indices from the row end.
Clip row both ends · case 03
Negative clipping coordinates are interpreted as Python indices from the row end.
Clip row both ends · case 04
Negative clipping coordinates are interpreted as Python indices from the row end.
Clip row both ends · case 05
Negative clipping coordinates are interpreted as Python indices from the row end.
Clipped blit source offset · case 01
Clamping the destination origin shifts discarded source pixels back into view.
Clipped blit source offset · case 02
Clamping the destination origin shifts discarded source pixels back into view.
Clipped blit source offset · case 03
Clamping the destination origin shifts discarded source pixels back into view.
Clipped blit source offset · case 04
Clamping the destination origin shifts discarded source pixels back into view.
Clipped blit source offset · case 05
Clamping the destination origin shifts discarded source pixels back into view.
Scissor intersection empty · case 01
Combining scissor bounds as a union enlarges the drawable region.
Scissor intersection empty · case 02
Combining scissor bounds as a union enlarges the drawable region.
Scissor intersection empty · case 03
Combining scissor bounds as a union enlarges the drawable region.
Scissor intersection empty · case 04
Combining scissor bounds as a union enlarges the drawable region.
Scissor intersection empty · case 05
Combining scissor bounds as a union enlarges the drawable region.
Viewport bottom origin flip · case 01
Origin conversion flips the top edge without accounting for rectangle height.
Viewport bottom origin flip · case 02
Origin conversion flips the top edge without accounting for rectangle height.
Viewport bottom origin flip · case 03
Origin conversion flips the top edge without accounting for rectangle height.
Viewport bottom origin flip · case 04
Origin conversion flips the top edge without accounting for rectangle height.
Viewport bottom origin flip · case 05
Origin conversion flips the top edge without accounting for rectangle height.
Pixel center coverage · case 01
Coverage samples pixel corners instead of pixel centers.
Pixel center coverage · case 02
Coverage samples pixel corners instead of pixel centers.
Pixel center coverage · case 03
Coverage samples pixel corners instead of pixel centers.
Pixel center coverage · case 04
Coverage samples pixel corners instead of pixel centers.
Pixel center coverage · case 05
Coverage samples pixel corners instead of pixel centers.
Damage tiles exclusive end · case 01
A damage interval ending on a tile boundary invalidates the following clean tile.
Damage tiles exclusive end · case 02
A damage interval ending on a tile boundary invalidates the following clean tile.
Damage tiles exclusive end · case 03
A damage interval ending on a tile boundary invalidates the following clean tile.
Damage tiles exclusive end · case 04
A damage interval ending on a tile boundary invalidates the following clean tile.
Damage tiles exclusive end · case 05
A damage interval ending on a tile boundary invalidates the following clean tile.
Scissor disabled full target · case 01
A remembered scissor rectangle still clips rendering after scissor testing is disabled.
Scissor disabled full target · case 02
A remembered scissor rectangle still clips rendering after scissor testing is disabled.
Scissor disabled full target · case 03
A remembered scissor rectangle still clips rendering after scissor testing is disabled.
Scissor disabled full target · case 04
A remembered scissor rectangle still clips rendering after scissor testing is disabled.
Scissor disabled full target · case 05
A remembered scissor rectangle still clips rendering after scissor testing is disabled.
Span merge touching · case 01
Touching coverage spans remain separate and create redundant raster work.
Span merge touching · case 02
Touching coverage spans remain separate and create redundant raster work.
Span merge touching · case 03
Touching coverage spans remain separate and create redundant raster work.
Span merge touching · case 04
Touching coverage spans remain separate and create redundant raster work.
Span merge touching · case 05
Touching coverage spans remain separate and create redundant raster work.
State push deep copy · case 01
The saved state aliases a mutable color list and changes when current state changes.
State push deep copy · case 02
The saved state aliases a mutable color list and changes when current state changes.
State push deep copy · case 03
The saved state aliases a mutable color list and changes when current state changes.
State push deep copy · case 04
The saved state aliases a mutable color list and changes when current state changes.
State push deep copy · case 05
The saved state aliases a mutable color list and changes when current state changes.
Color write mask channelwise · case 01
Any enabled color channel causes the entire pixel to be overwritten.
Color write mask channelwise · case 02
Any enabled color channel causes the entire pixel to be overwritten.
Color write mask channelwise · case 03
Any enabled color channel causes the entire pixel to be overwritten.
Color write mask channelwise · case 04
Any enabled color channel causes the entire pixel to be overwritten.
Color write mask channelwise · case 05
Any enabled color channel causes the entire pixel to be overwritten.
Depth write independent test · case 01
Passing depth testing overrides a disabled depth write mask.
Depth write independent test · case 02
Passing depth testing overrides a disabled depth write mask.
Depth write independent test · case 03
Passing depth testing overrides a disabled depth write mask.
Depth write independent test · case 04
Passing depth testing overrides a disabled depth write mask.
Depth write independent test · case 05
Passing depth testing overrides a disabled depth write mask.
Stencil write mask preserves bits · case 01
Masking only the new stencil value clears protected existing bits.
Stencil write mask preserves bits · case 02
Masking only the new stencil value clears protected existing bits.
Stencil write mask preserves bits · case 03
Masking only the new stencil value clears protected existing bits.
Stencil write mask preserves bits · case 04
Masking only the new stencil value clears protected existing bits.
Stencil write mask preserves bits · case 05
Masking only the new stencil value clears protected existing bits.
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 ↗