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
Field Separated Scanlines: Scanline parity is replaced by field-local index or inverted · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at field.
Field Separated Scanlines: Scanline parity is replaced by field-local index or inverted · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at field.
Field Separated Scanlines: Scanline parity is replaced by field-local index or inverted · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at field.
Field Separated Scanlines: Scanline parity is replaced by field-local index or inverted · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at field.
Field Separated Scanlines: Scanline parity is replaced by field-local index or inverted · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at field.
Field Separated Scanlines: Field-local row retains frame stride or only parity · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at field_row.
Field Separated Scanlines: Field-local row retains frame stride or only parity · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at field_row.
Field Separated Scanlines: Field-local row retains frame stride or only parity · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at field_row.
Field Separated Scanlines: Field-local row retains frame stride or only parity · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at field_row.
Field Separated Scanlines: Field-local row retains frame stride or only parity · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at field_row.
Field Separated Scanlines: Per-field scanline guard omitted or inserted per pixel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Field Separated Scanlines: Per-field scanline guard omitted or inserted per pixel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Field Separated Scanlines: Per-field scanline guard omitted or inserted per pixel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Field Separated Scanlines: Per-field scanline guard omitted or inserted per pixel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Field Separated Scanlines: Per-field scanline guard omitted or inserted per pixel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Field Separated Scanlines: Odd field origin uses smaller odd-field extent or omits first tag · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_start.
Field Separated Scanlines: Odd field origin uses smaller odd-field extent or omits first tag · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_start.
Field Separated Scanlines: Odd field origin uses smaller odd-field extent or omits first tag · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_start.
Field Separated Scanlines: Odd field origin uses smaller odd-field extent or omits first tag · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_start.
Field Separated Scanlines: Odd field origin uses smaller odd-field extent or omits first tag · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_start.
Field Separated Scanlines: Field selection reverses parity or always addresses even storage · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at field_start.
Field Separated Scanlines: Field selection reverses parity or always addresses even storage · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at field_start.
Field Separated Scanlines: Field selection reverses parity or always addresses even storage · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at field_start.
Field Separated Scanlines: Field selection reverses parity or always addresses even storage · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at field_start.
Field Separated Scanlines: Field selection reverses parity or always addresses even storage · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at field_start.
Field Separated Scanlines: Field row address drops tag or scanline guards · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Field Separated Scanlines: Field row address drops tag or scanline guards · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Field Separated Scanlines: Field row address drops tag or scanline guards · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Field Separated Scanlines: Field row address drops tag or scanline guards · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Field Separated Scanlines: Field row address drops tag or scanline guards · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Field Separated Scanlines: Field pixel address loses byte width or mirrors horizontal order · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Field Separated Scanlines: Field pixel address loses byte width or mirrors horizontal order · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Field Separated Scanlines: Field pixel address loses byte width or mirrors horizontal order · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Field Separated Scanlines: Field pixel address loses byte width or mirrors horizontal order · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Field Separated Scanlines: Field pixel address loses byte width or mirrors horizontal order · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Field Separated Scanlines: Odd field extent omits its tag or uses even field row count · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Field Separated Scanlines: Odd field extent omits its tag or uses even field row count · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Field Separated Scanlines: Odd field extent omits its tag or uses even field row count · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Field Separated Scanlines: Odd field extent omits its tag or uses even field row count · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Field Separated Scanlines: Odd field extent omits its tag or uses even field row count · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Bitplane Word Storage: Bitmap row word count truncates tail or counts bytes · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at words.
Bitplane Word Storage: Bitmap row word count truncates tail or counts bytes · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at words.
Bitplane Word Storage: Bitmap row word count truncates tail or counts bytes · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at words.
Bitplane Word Storage: Bitmap row word count truncates tail or counts bytes · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at words.
Bitplane Word Storage: Bitmap row word count truncates tail or counts bytes · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at words.
Bitplane Word Storage: Bitmap sentinel word is omitted or multiplied into data words · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_words.
Bitplane Word Storage: Bitmap sentinel word is omitted or multiplied into data words · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_words.
Bitplane Word Storage: Bitmap sentinel word is omitted or multiplied into data words · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_words.
Bitplane Word Storage: Bitmap sentinel word is omitted or multiplied into data words · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_words.
Bitplane Word Storage: Bitmap sentinel word is omitted or multiplied into data words · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_words.
Bitplane Word Storage: Bitplane row-byte conversion loses word width or sentinel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_bytes.
Bitplane Word Storage: Bitplane row-byte conversion loses word width or sentinel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_bytes.
Bitplane Word Storage: Bitplane row-byte conversion loses word width or sentinel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_bytes.
Bitplane Word Storage: Bitplane row-byte conversion loses word width or sentinel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_bytes.
Bitplane Word Storage: Bitplane row-byte conversion loses word width or sentinel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_bytes.
Bitplane Word Storage: Bitplane header omitted or repeated for every row · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_bytes.
Bitplane Word Storage: Bitplane header omitted or repeated for every row · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_bytes.
Bitplane Word Storage: Bitplane header omitted or repeated for every row · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_bytes.
Bitplane Word Storage: Bitplane header omitted or repeated for every row · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_bytes.
Bitplane Word Storage: Bitplane header omitted or repeated for every row · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_bytes.
Bitplane Word Storage: Bitplane base uses row pitch or includes header as pixels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_origin.
Bitplane Word Storage: Bitplane base uses row pitch or includes header as pixels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_origin.
Bitplane Word Storage: Bitplane base uses row pitch or includes header as pixels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_origin.
Bitplane Word Storage: Bitplane base uses row pitch or includes header as pixels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_origin.
Bitplane Word Storage: Bitplane base uses row pitch or includes header as pixels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at plane_origin.
Bitplane Word Storage: Pixel-to-word lookup uses byte packing or local bit index · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Bitplane Word Storage: Pixel-to-word lookup uses byte packing or local bit index · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Bitplane Word Storage: Pixel-to-word lookup uses byte packing or local bit index · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Bitplane Word Storage: Pixel-to-word lookup uses byte packing or local bit index · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Bitplane Word Storage: Pixel-to-word lookup uses byte packing or local bit index · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Bitplane Word Storage: Bitmap bit significance reverses or resets each byte · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bit_index.
Bitplane Word Storage: Bitmap bit significance reverses or resets each byte · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bit_index.
Bitplane Word Storage: Bitmap bit significance reverses or resets each byte · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bit_index.
Bitplane Word Storage: Bitmap bit significance reverses or resets each byte · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bit_index.
Bitplane Word Storage: Bitmap bit significance reverses or resets each byte · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bit_index.
Bitplane Word Storage: Single pixel mask is replaced by bit number or inclusive prefix · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Bitplane Word Storage: Single pixel mask is replaced by bit number or inclusive prefix · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Bitplane Word Storage: Single pixel mask is replaced by bit number or inclusive prefix · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Bitplane Word Storage: Single pixel mask is replaced by bit number or inclusive prefix · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Bitplane Word Storage: Single pixel mask is replaced by bit number or inclusive prefix · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Bitplane Word Storage: Bitplane word address loses word size or reverses plane scanlines · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Bitplane Word Storage: Bitplane word address loses word size or reverses plane scanlines · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Bitplane Word Storage: Bitplane word address loses word size or reverses plane scanlines · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Bitplane Word Storage: Bitplane word address loses word size or reverses plane scanlines · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Bitplane Word Storage: Bitplane word address loses word size or reverses plane scanlines · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Bitplane Word Storage: Final bitplane word validity mask marks low bits or padding as pixels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at last_word_mask.
Bitplane Word Storage: Final bitplane word validity mask marks low bits or padding as pixels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at last_word_mask.
Bitplane Word Storage: Final bitplane word validity mask marks low bits or padding as pixels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at last_word_mask.
Bitplane Word Storage: Final bitplane word validity mask marks low bits or padding as pixels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at last_word_mask.
Bitplane Word Storage: Final bitplane word validity mask marks low bits or padding as pixels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at last_word_mask.
Indexed Nibble Records: Palette span drops count field or assumes four-byte entries · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at palette_bytes.
Indexed Nibble Records: Palette span drops count field or assumes four-byte entries · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at palette_bytes.
Indexed Nibble Records: Palette span drops count field or assumes four-byte entries · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at palette_bytes.
Indexed Nibble Records: Palette span drops count field or assumes four-byte entries · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at palette_bytes.
Indexed Nibble Records: Palette span drops count field or assumes four-byte entries · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at palette_bytes.
Indexed Nibble Records: Nibble rows discard odd pixel or allocate one byte per pixel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at packed_bytes.
Indexed Nibble Records: Nibble rows discard odd pixel or allocate one byte per pixel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at packed_bytes.
Indexed Nibble Records: Nibble rows discard odd pixel or allocate one byte per pixel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at packed_bytes.
Indexed Nibble Records: Nibble rows discard odd pixel or allocate one byte per pixel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at packed_bytes.
Indexed Nibble Records: Nibble rows discard odd pixel or allocate one byte per pixel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at packed_bytes.
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 ↗