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
Stencil increment saturates · case 01
Stencil increment wraps a saturated 255 value back to zero.
Stencil increment saturates · case 02
Stencil increment wraps a saturated 255 value back to zero.
Stencil increment saturates · case 03
Stencil increment wraps a saturated 255 value back to zero.
Stencil increment saturates · case 04
Stencil increment wraps a saturated 255 value back to zero.
Stencil increment saturates · case 05
Stencil increment wraps a saturated 255 value back to zero.
Stencil operation on depth fail · case 01
A stencil-pass result selects the pass operation without checking depth failure.
Stencil operation on depth fail · case 02
A stencil-pass result selects the pass operation without checking depth failure.
Stencil operation on depth fail · case 03
A stencil-pass result selects the pass operation without checking depth failure.
Stencil operation on depth fail · case 04
A stencil-pass result selects the pass operation without checking depth failure.
Stencil operation on depth fail · case 05
A stencil-pass result selects the pass operation without checking depth failure.
Texture unit binding isolation · case 01
Binding a texture replaces the complete texture-unit map.
Texture unit binding isolation · case 02
Binding a texture replaces the complete texture-unit map.
Texture unit binding isolation · case 03
Binding a texture replaces the complete texture-unit map.
Texture unit binding isolation · case 04
Binding a texture replaces the complete texture-unit map.
Texture unit binding isolation · case 05
Binding a texture replaces the complete texture-unit map.
Blend state separate alpha · case 01
The RGB blend factor is reused for a separately configured alpha factor.
Blend state separate alpha · case 02
The RGB blend factor is reused for a separately configured alpha factor.
Blend state separate alpha · case 03
The RGB blend factor is reused for a separately configured alpha factor.
Blend state separate alpha · case 04
The RGB blend factor is reused for a separately configured alpha factor.
Blend state separate alpha · case 05
The RGB blend factor is reused for a separately configured alpha factor.
Render target clear selected · case 01
Clearing one framebuffer operation overwrites all attachments.
Render target clear selected · case 02
Clearing one framebuffer operation overwrites all attachments.
Render target clear selected · case 03
Clearing one framebuffer operation overwrites all attachments.
Render target clear selected · case 04
Clearing one framebuffer operation overwrites all attachments.
Render target clear selected · case 05
Clearing one framebuffer operation overwrites all attachments.
Draw range base vertex · case 01
Draw first-index is ignored when selecting index-buffer elements.
Draw range base vertex · case 02
Draw first-index is ignored when selecting index-buffer elements.
Draw range base vertex · case 03
Draw first-index is ignored when selecting index-buffer elements.
Draw range base vertex · case 04
Draw first-index is ignored when selecting index-buffer elements.
Draw range base vertex · case 05
Draw first-index is ignored when selecting index-buffer elements.
Row stride addressing · case 01
Packed-row addressing reads alignment padding as pixels in subsequent rows.
Row stride addressing · case 02
Packed-row addressing reads alignment padding as pixels in subsequent rows.
Row stride addressing · case 03
Packed-row addressing reads alignment padding as pixels in subsequent rows.
Row stride addressing · case 04
Packed-row addressing reads alignment padding as pixels in subsequent rows.
Row stride addressing · case 05
Packed-row addressing reads alignment padding as pixels in subsequent rows.
Bottom up image rows · case 01
Bottom-up scanlines are displayed without vertical orientation conversion.
Bottom up image rows · case 02
Bottom-up scanlines are displayed without vertical orientation conversion.
Bottom up image rows · case 03
Bottom-up scanlines are displayed without vertical orientation conversion.
Bottom up image rows · case 04
Bottom-up scanlines are displayed without vertical orientation conversion.
Bottom up image rows · case 05
Bottom-up scanlines are displayed without vertical orientation conversion.
Planar rgb interleave · case 01
Concatenating planes does not produce per-pixel interleaved storage.
Planar rgb interleave · case 02
Concatenating planes does not produce per-pixel interleaved storage.
Planar rgb interleave · case 03
Concatenating planes does not produce per-pixel interleaved storage.
Planar rgb interleave · case 04
Concatenating planes does not produce per-pixel interleaved storage.
Planar rgb interleave · case 05
Concatenating planes does not produce per-pixel interleaved storage.
Subimage row offset · case 01
The horizontal subimage origin is ignored.
Subimage row offset · case 02
The horizontal subimage origin is ignored.
Subimage row offset · case 03
The horizontal subimage origin is ignored.
Subimage row offset · case 04
The horizontal subimage origin is ignored.
Subimage row offset · case 05
The horizontal subimage origin is ignored.
Pixel unpack alignment · case 01
Row addresses ignore required unpack padding.
Pixel unpack alignment · case 02
Row addresses ignore required unpack padding.
Pixel unpack alignment · case 03
Row addresses ignore required unpack padding.
Pixel unpack alignment · case 04
Row addresses ignore required unpack padding.
Pixel unpack alignment · case 05
Row addresses ignore required unpack padding.
Overlapping row copy snapshot · case 01
Overlapping source pixels are overwritten before they are read.
Overlapping row copy snapshot · case 02
Overlapping source pixels are overwritten before they are read.
Overlapping row copy snapshot · case 03
Overlapping source pixels are overwritten before they are read.
Overlapping row copy snapshot · case 04
Overlapping source pixels are overwritten before they are read.
Overlapping row copy snapshot · case 05
Overlapping source pixels are overwritten before they are read.
Rgb triplet count · case 01
The loop stopping bound omits the final complete pixel.
Rgb triplet count · case 02
The loop stopping bound omits the final complete pixel.
Rgb triplet count · case 03
The loop stopping bound omits the final complete pixel.
Rgb triplet count · case 04
The loop stopping bound omits the final complete pixel.
Rgb triplet count · case 05
The loop stopping bound omits the final complete pixel.
Texture repeat negative coordinate · case 01
A repeat sampler clamps out-of-range coordinates to edge texels.
Texture repeat negative coordinate · case 02
A repeat sampler clamps out-of-range coordinates to edge texels.
Texture repeat negative coordinate · case 03
A repeat sampler clamps out-of-range coordinates to edge texels.
Texture repeat negative coordinate · case 04
A repeat sampler clamps out-of-range coordinates to edge texels.
Texture repeat negative coordinate · case 05
A repeat sampler clamps out-of-range coordinates to edge texels.
Texture mirror repeat period · case 01
Ordinary repeat wraps instead of reversing every alternate texture copy.
Texture mirror repeat period · case 02
Ordinary repeat wraps instead of reversing every alternate texture copy.
Texture mirror repeat period · case 03
Ordinary repeat wraps instead of reversing every alternate texture copy.
Texture mirror repeat period · case 04
Ordinary repeat wraps instead of reversing every alternate texture copy.
Texture mirror repeat period · case 05
Ordinary repeat wraps instead of reversing every alternate texture copy.
Primitive restart index separation · case 01
The restart sentinel is consumed as an ordinary vertex index.
Primitive restart index separation · case 02
The restart sentinel is consumed as an ordinary vertex index.
Primitive restart index separation · case 03
The restart sentinel is consumed as an ordinary vertex index.
Primitive restart index separation · case 04
The restart sentinel is consumed as an ordinary vertex index.
Primitive restart index separation · case 05
The restart sentinel is consumed as an ordinary vertex index.
Unsigned eight bit silence center · case 01
Unsigned PCM silence is interpreted as a positive amplitude.
Unsigned eight bit silence center · case 02
Unsigned PCM silence is interpreted as a positive amplitude.
Unsigned eight bit silence center · case 03
Unsigned PCM silence is interpreted as a positive amplitude.
Unsigned eight bit silence center · case 04
Unsigned PCM silence is interpreted as a positive amplitude.
Unsigned eight bit silence center · case 05
Unsigned PCM silence is interpreted as a positive amplitude.
Signed sixteen little endian decode · case 01
Byte order swaps the significance of each PCM sample byte.
Signed sixteen little endian decode · case 02
Byte order swaps the significance of each PCM sample byte.
Signed sixteen little endian decode · case 03
Byte order swaps the significance of each PCM sample byte.
Signed sixteen little endian decode · case 04
Byte order swaps the significance of each PCM sample byte.
Signed sixteen little endian decode · case 05
Byte order swaps the significance of each PCM sample byte.
Signed twenty four sign extension · case 01
A 24-bit negative sample is decoded without sign extension.
Signed twenty four sign extension · case 02
A 24-bit negative sample is decoded without sign extension.
Signed twenty four sign extension · case 03
A 24-bit negative sample is decoded without sign extension.
Signed twenty four sign extension · case 04
A 24-bit negative sample is decoded without sign extension.
Signed twenty four sign extension · case 05
A 24-bit negative sample is decoded without sign extension.
Signed sixteen encode little endian · case 01
Sample bytes are emitted in network order for a little-endian PCM sink.
Signed sixteen encode little endian · case 02
Sample bytes are emitted in network order for a little-endian PCM sink.
Signed sixteen encode little endian · case 03
Sample bytes are emitted in network order for a little-endian PCM sink.
Signed sixteen encode little endian · case 04
Sample bytes are emitted in network order for a little-endian PCM sink.
Signed sixteen encode little endian · case 05
Sample bytes are emitted in network order for a little-endian PCM sink.
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 ↗