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
Virtual Texture Gutter Atlas: Atlas row pitch excludes gutters or texel byte width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Virtual Texture Gutter Atlas: Atlas row pitch excludes gutters or texel byte width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Virtual Texture Gutter Atlas: Atlas row pitch excludes gutters or texel byte width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Virtual Texture Gutter Atlas: Atlas row pitch excludes gutters or texel byte width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Virtual Texture Gutter Atlas: Atlas row pitch excludes gutters or texel byte width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Virtual Texture Gutter Atlas: Atlas cells interpreted as contiguous tile-major blocks or missing gutters · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Virtual Texture Gutter Atlas: Atlas cells interpreted as contiguous tile-major blocks or missing gutters · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Virtual Texture Gutter Atlas: Atlas cells interpreted as contiguous tile-major blocks or missing gutters · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Virtual Texture Gutter Atlas: Atlas cells interpreted as contiguous tile-major blocks or missing gutters · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Virtual Texture Gutter Atlas: Atlas cells interpreted as contiguous tile-major blocks or missing gutters · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Virtual Texture Gutter Atlas: Interior origin omits top and left or left gutter · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at interior_origin.
Virtual Texture Gutter Atlas: Interior origin omits top and left or left gutter · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at interior_origin.
Virtual Texture Gutter Atlas: Interior origin omits top and left or left gutter · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at interior_origin.
Virtual Texture Gutter Atlas: Interior origin omits top and left or left gutter · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at interior_origin.
Virtual Texture Gutter Atlas: Interior origin omits top and left or left gutter · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at interior_origin.
Virtual Texture Gutter Atlas: Interior row uses tile width instead of atlas pitch or transposes axes · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Virtual Texture Gutter Atlas: Interior row uses tile width instead of atlas pitch or transposes axes · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Virtual Texture Gutter Atlas: Interior row uses tile width instead of atlas pitch or transposes axes · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Virtual Texture Gutter Atlas: Interior row uses tile width instead of atlas pitch or transposes axes · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Virtual Texture Gutter Atlas: Interior row uses tile width instead of atlas pitch or transposes axes · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Virtual Texture Gutter Atlas: Left gutter update overwrites interior or shifts into top gutter · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at left_border.
Virtual Texture Gutter Atlas: Left gutter update overwrites interior or shifts into top gutter · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at left_border.
Virtual Texture Gutter Atlas: Left gutter update overwrites interior or shifts into top gutter · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at left_border.
Virtual Texture Gutter Atlas: Left gutter update overwrites interior or shifts into top gutter · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at left_border.
Virtual Texture Gutter Atlas: Left gutter update overwrites interior or shifts into top gutter · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at left_border.
Virtual Texture Gutter Atlas: Right gutter address selects last interior texel or adjacent atlas cell · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at right_border.
Virtual Texture Gutter Atlas: Right gutter address selects last interior texel or adjacent atlas cell · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at right_border.
Virtual Texture Gutter Atlas: Right gutter address selects last interior texel or adjacent atlas cell · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at right_border.
Virtual Texture Gutter Atlas: Right gutter address selects last interior texel or adjacent atlas cell · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at right_border.
Virtual Texture Gutter Atlas: Right gutter address selects last interior texel or adjacent atlas cell · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at right_border.
Virtual Texture Gutter Atlas: Top gutter update overwrites interior or shifts into corner · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at top_border.
Virtual Texture Gutter Atlas: Top gutter update overwrites interior or shifts into corner · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at top_border.
Virtual Texture Gutter Atlas: Top gutter update overwrites interior or shifts into corner · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at top_border.
Virtual Texture Gutter Atlas: Top gutter update overwrites interior or shifts into corner · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at top_border.
Virtual Texture Gutter Atlas: Top gutter update overwrites interior or shifts into corner · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at top_border.
Virtual Texture Gutter Atlas: Bottom gutter address selects last interior row or next cell row · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bottom_border.
Virtual Texture Gutter Atlas: Bottom gutter address selects last interior row or next cell row · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bottom_border.
Virtual Texture Gutter Atlas: Bottom gutter address selects last interior row or next cell row · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bottom_border.
Virtual Texture Gutter Atlas: Bottom gutter address selects last interior row or next cell row · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bottom_border.
Virtual Texture Gutter Atlas: Bottom gutter address selects last interior row or next cell row · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bottom_border.
Three Luma Ten Bit Words: Ten-bit raster word count drops partial group or assumes four samples · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at words_per_row.
Three Luma Ten Bit Words: Ten-bit raster word count drops partial group or assumes four samples · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at words_per_row.
Three Luma Ten Bit Words: Ten-bit raster word count drops partial group or assumes four samples · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at words_per_row.
Three Luma Ten Bit Words: Ten-bit raster word count drops partial group or assumes four samples · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at words_per_row.
Three Luma Ten Bit Words: Ten-bit raster word count drops partial group or assumes four samples · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at words_per_row.
Three Luma Ten Bit Words: Packed raster pitch drops exposure tag or assumes 24-bit groups · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Three Luma Ten Bit Words: Packed raster pitch drops exposure tag or assumes 24-bit groups · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Three Luma Ten Bit Words: Packed raster pitch drops exposure tag or assumes 24-bit groups · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Three Luma Ten Bit Words: Packed raster pitch drops exposure tag or assumes 24-bit groups · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Three Luma Ten Bit Words: Packed raster pitch drops exposure tag or assumes 24-bit groups · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Three Luma Ten Bit Words: Ten-bit word lookup uses four-lane packing or sample lane · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Three Luma Ten Bit Words: Ten-bit word lookup uses four-lane packing or sample lane · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Three Luma Ten Bit Words: Ten-bit word lookup uses four-lane packing or sample lane · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Three Luma Ten Bit Words: Ten-bit word lookup uses four-lane packing or sample lane · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Three Luma Ten Bit Words: Ten-bit word lookup uses four-lane packing or sample lane · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at word_column.
Three Luma Ten Bit Words: Packed sample lane uses nonexistent fourth lane or reverses order · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Three Luma Ten Bit Words: Packed sample lane uses nonexistent fourth lane or reverses order · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Three Luma Ten Bit Words: Packed sample lane uses nonexistent fourth lane or reverses order · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Three Luma Ten Bit Words: Packed sample lane uses nonexistent fourth lane or reverses order · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Three Luma Ten Bit Words: Packed sample lane uses nonexistent fourth lane or reverses order · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at lane.
Three Luma Ten Bit Words: Ten-bit sample offset uses byte or padded channel stride · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Three Luma Ten Bit Words: Ten-bit sample offset uses byte or padded channel stride · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Three Luma Ten Bit Words: Ten-bit sample offset uses byte or padded channel stride · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Three Luma Ten Bit Words: Ten-bit sample offset uses byte or padded channel stride · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Three Luma Ten Bit Words: Ten-bit sample offset uses byte or padded channel stride · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at shift.
Three Luma Ten Bit Words: Sample replacement mask uses byte width or always selects first lane · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Three Luma Ten Bit Words: Sample replacement mask uses byte width or always selects first lane · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Three Luma Ten Bit Words: Sample replacement mask uses byte width or always selects first lane · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Three Luma Ten Bit Words: Sample replacement mask uses byte width or always selects first lane · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Three Luma Ten Bit Words: Sample replacement mask uses byte width or always selects first lane · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at mask.
Three Luma Ten Bit Words: Packed word address includes tag or assumes three-byte words · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at word_address.
Three Luma Ten Bit Words: Packed word address includes tag or assumes three-byte words · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at word_address.
Three Luma Ten Bit Words: Packed word address includes tag or assumes three-byte words · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at word_address.
Three Luma Ten Bit Words: Packed word address includes tag or assumes three-byte words · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at word_address.
Three Luma Ten Bit Words: Packed word address includes tag or assumes three-byte words · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at word_address.
Three Luma Ten Bit Words: Ten-bit update omits lane shift or clears word metadata bits · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at updated.
Three Luma Ten Bit Words: Ten-bit update omits lane shift or clears word metadata bits · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at updated.
Three Luma Ten Bit Words: Ten-bit update omits lane shift or clears word metadata bits · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at updated.
Three Luma Ten Bit Words: Ten-bit update omits lane shift or clears word metadata bits · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at updated.
Three Luma Ten Bit Words: Ten-bit update omits lane shift or clears word metadata bits · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at updated.
Three Luma Ten Bit Words: Packed raster word serializes wrong byte order or drops metadata byte · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bytes.
Three Luma Ten Bit Words: Packed raster word serializes wrong byte order or drops metadata byte · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bytes.
Three Luma Ten Bit Words: Packed raster word serializes wrong byte order or drops metadata byte · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bytes.
Three Luma Ten Bit Words: Packed raster word serializes wrong byte order or drops metadata byte · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bytes.
Three Luma Ten Bit Words: Packed raster word serializes wrong byte order or drops metadata byte · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bytes.
Three Luma Ten Bit Words: Final word validity reports zero for full word or includes padding samples · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_tail_lanes.
Three Luma Ten Bit Words: Final word validity reports zero for full word or includes padding samples · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_tail_lanes.
Three Luma Ten Bit Words: Final word validity reports zero for full word or includes padding samples · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_tail_lanes.
Three Luma Ten Bit Words: Final word validity reports zero for full word or includes padding samples · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_tail_lanes.
Three Luma Ten Bit Words: Final word validity reports zero for full word or includes padding samples · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_tail_lanes.
Raster Dma Descriptor Chain: DMA row length is pixels or entire source pitch · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at copy_bytes.
Raster Dma Descriptor Chain: DMA row length is pixels or entire source pitch · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at copy_bytes.
Raster Dma Descriptor Chain: DMA row length is pixels or entire source pitch · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at copy_bytes.
Raster Dma Descriptor Chain: DMA row length is pixels or entire source pitch · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at copy_bytes.
Raster Dma Descriptor Chain: DMA row length is pixels or entire source pitch · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at copy_bytes.
Raster Dma Descriptor Chain: DMA source origin uses destination pitch or pixel offset as bytes · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at source_start.
Raster Dma Descriptor Chain: DMA source origin uses destination pitch or pixel offset as bytes · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at source_start.
Raster Dma Descriptor Chain: DMA source origin uses destination pitch or pixel offset as bytes · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at source_start.
Raster Dma Descriptor Chain: DMA source origin uses destination pitch or pixel offset as bytes · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at source_start.
Raster Dma Descriptor Chain: DMA source origin uses destination pitch or pixel offset as bytes · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at source_start.
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 ↗