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
Indexed Nibble Records: Scanline checksum omitted or mistaken for per-byte data · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Indexed Nibble Records: Scanline checksum omitted or mistaken for per-byte data · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Indexed Nibble Records: Scanline checksum omitted or mistaken for per-byte data · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Indexed Nibble Records: Scanline checksum omitted or mistaken for per-byte data · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Indexed Nibble Records: Scanline checksum omitted or mistaken for per-byte data · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Indexed Nibble Records: Image payload begins at palette or loses relocation · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at image_origin.
Indexed Nibble Records: Image payload begins at palette or loses relocation · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at image_origin.
Indexed Nibble Records: Image payload begins at palette or loses relocation · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at image_origin.
Indexed Nibble Records: Image payload begins at palette or loses relocation · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at image_origin.
Indexed Nibble Records: Image payload begins at palette or loses relocation · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at image_origin.
Indexed Nibble Records: Indexed sample address skips checksum incorrectly or counts pixels as bytes · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_address.
Indexed Nibble Records: Indexed sample address skips checksum incorrectly or counts pixels as bytes · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_address.
Indexed Nibble Records: Indexed sample address skips checksum incorrectly or counts pixels as bytes · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_address.
Indexed Nibble Records: Indexed sample address skips checksum incorrectly or counts pixels as bytes · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_address.
Indexed Nibble Records: Indexed sample address skips checksum incorrectly or counts pixels as bytes · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_address.
Indexed Nibble Records: Packed nibble significance is reversed or always low · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Indexed Nibble Records: Packed nibble significance is reversed or always low · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Indexed Nibble Records: Packed nibble significance is reversed or always low · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Indexed Nibble Records: Packed nibble significance is reversed or always low · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Indexed Nibble Records: Packed nibble significance is reversed or always low · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Indexed Nibble Records: Nibble write preservation mask selects replaced lane or one bit · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at keep_mask.
Indexed Nibble Records: Nibble write preservation mask selects replaced lane or one bit · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at keep_mask.
Indexed Nibble Records: Nibble write preservation mask selects replaced lane or one bit · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at keep_mask.
Indexed Nibble Records: Nibble write preservation mask selects replaced lane or one bit · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at keep_mask.
Indexed Nibble Records: Nibble write preservation mask selects replaced lane or one bit · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at keep_mask.
Indexed Nibble Records: Nibble write omits lane shift or fails to clear prior bits · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at written_byte.
Indexed Nibble Records: Nibble write omits lane shift or fails to clear prior bits · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at written_byte.
Indexed Nibble Records: Nibble write omits lane shift or fails to clear prior bits · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at written_byte.
Indexed Nibble Records: Nibble write omits lane shift or fails to clear prior bits · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at written_byte.
Indexed Nibble Records: Nibble write omits lane shift or fails to clear prior bits · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at written_byte.
Indexed Nibble Records: Odd-row valid nibble mask selects padding or discards even-width pixel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_mask.
Indexed Nibble Records: Odd-row valid nibble mask selects padding or discards even-width pixel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_mask.
Indexed Nibble Records: Odd-row valid nibble mask selects padding or discards even-width pixel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_mask.
Indexed Nibble Records: Odd-row valid nibble mask selects padding or discards even-width pixel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_mask.
Indexed Nibble Records: Odd-row valid nibble mask selects padding or discards even-width pixel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_mask.
Indexed Nibble Records: Indexed allocation excludes checksums or adds nonexistent scanline · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Indexed Nibble Records: Indexed allocation excludes checksums or adds nonexistent scanline · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Indexed Nibble Records: Indexed allocation excludes checksums or adds nonexistent scanline · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Indexed Nibble Records: Indexed allocation excludes checksums or adds nonexistent scanline · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Indexed Nibble Records: Indexed allocation excludes checksums or adds nonexistent scanline · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Sample Planar Multisample: Multisample image area is computed as perimeter or square · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at image_pixels.
Sample Planar Multisample: Multisample image area is computed as perimeter or square · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at image_pixels.
Sample Planar Multisample: Multisample image area is computed as perimeter or square · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at image_pixels.
Sample Planar Multisample: Multisample image area is computed as perimeter or square · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at image_pixels.
Sample Planar Multisample: Multisample image area is computed as perimeter or square · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at image_pixels.
Sample Planar Multisample: Coverage header omitted or scaled as texels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_pitch.
Sample Planar Multisample: Coverage header omitted or scaled as texels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_pitch.
Sample Planar Multisample: Coverage header omitted or scaled as texels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_pitch.
Sample Planar Multisample: Coverage header omitted or scaled as texels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_pitch.
Sample Planar Multisample: Coverage header omitted or scaled as texels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_pitch.
Sample Planar Multisample: Layer footer repeated per sample or sample planes omitted · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitch.
Sample Planar Multisample: Layer footer repeated per sample or sample planes omitted · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitch.
Sample Planar Multisample: Layer footer repeated per sample or sample planes omitted · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitch.
Sample Planar Multisample: Layer footer repeated per sample or sample planes omitted · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitch.
Sample Planar Multisample: Layer footer repeated per sample or sample planes omitted · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitch.
Sample Planar Multisample: Multisample layer origin uses sample pitch or double counts samples · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Sample Planar Multisample: Multisample layer origin uses sample pitch or double counts samples · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Sample Planar Multisample: Multisample layer origin uses sample pitch or double counts samples · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Sample Planar Multisample: Multisample layer origin uses sample pitch or double counts samples · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Sample Planar Multisample: Multisample layer origin uses sample pitch or double counts samples · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Sample Planar Multisample: Sample-plane origin assumes interleaved samples or includes coverage header · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_origin.
Sample Planar Multisample: Sample-plane origin assumes interleaved samples or includes coverage header · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_origin.
Sample Planar Multisample: Sample-plane origin assumes interleaved samples or includes coverage header · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_origin.
Sample Planar Multisample: Sample-plane origin assumes interleaved samples or includes coverage header · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_origin.
Sample Planar Multisample: Sample-plane origin assumes interleaved samples or includes coverage header · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_origin.
Sample Planar Multisample: Sample-plane pixel index transposes or retains interleaved sample factor · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_index.
Sample Planar Multisample: Sample-plane pixel index transposes or retains interleaved sample factor · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_index.
Sample Planar Multisample: Sample-plane pixel index transposes or retains interleaved sample factor · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_index.
Sample Planar Multisample: Sample-plane pixel index transposes or retains interleaved sample factor · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_index.
Sample Planar Multisample: Sample-plane pixel index transposes or retains interleaved sample factor · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_index.
Sample Planar Multisample: Planar multisample address uses interleaved pixel spacing · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sample Planar Multisample: Planar multisample address uses interleaved pixel spacing · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sample Planar Multisample: Planar multisample address uses interleaved pixel spacing · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sample Planar Multisample: Planar multisample address uses interleaved pixel spacing · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sample Planar Multisample: Planar multisample address uses interleaved pixel spacing · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sample Planar Multisample: Coverage lookup selects layer header or payload origin · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at coverage_address.
Sample Planar Multisample: Coverage lookup selects layer header or payload origin · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at coverage_address.
Sample Planar Multisample: Coverage lookup selects layer header or payload origin · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at coverage_address.
Sample Planar Multisample: Coverage lookup selects layer header or payload origin · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at coverage_address.
Sample Planar Multisample: Coverage lookup selects layer header or payload origin · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at coverage_address.
Sample Planar Multisample: Layer footer address points to last sample or next layer · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at footer_address.
Sample Planar Multisample: Layer footer address points to last sample or next layer · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at footer_address.
Sample Planar Multisample: Layer footer address points to last sample or next layer · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at footer_address.
Sample Planar Multisample: Layer footer address points to last sample or next layer · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at footer_address.
Sample Planar Multisample: Layer footer address points to last sample or next layer · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at footer_address.
Sample Planar Multisample: Multisample allocation omits sample planes or adds an extra layer · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Sample Planar Multisample: Multisample allocation omits sample planes or adds an extra layer · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Sample Planar Multisample: Multisample allocation omits sample planes or adds an extra layer · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Sample Planar Multisample: Multisample allocation omits sample planes or adds an extra layer · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Sample Planar Multisample: Multisample allocation omits sample planes or adds an extra layer · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Pixel Interleaved Sample Banks: Sample-bank count drops odd pixel or creates one bank per pixel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_columns.
Pixel Interleaved Sample Banks: Sample-bank count drops odd pixel or creates one bank per pixel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_columns.
Pixel Interleaved Sample Banks: Sample-bank count drops odd pixel or creates one bank per pixel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_columns.
Pixel Interleaved Sample Banks: Sample-bank count drops odd pixel or creates one bank per pixel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_columns.
Pixel Interleaved Sample Banks: Sample-bank count drops odd pixel or creates one bank per pixel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_columns.
Pixel Interleaved Sample Banks: Sample-to-storage inverse permutation replaced by identity or forward map · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Pixel Interleaved Sample Banks: Sample-to-storage inverse permutation replaced by identity or forward map · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Pixel Interleaved Sample Banks: Sample-to-storage inverse permutation replaced by identity or forward map · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Pixel Interleaved Sample Banks: Sample-to-storage inverse permutation replaced by identity or forward map · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Pixel Interleaved Sample Banks: Sample-to-storage inverse permutation replaced by identity or forward map · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
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 ↗