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
Mip Major Array: Per-layer byte tag omitted or scaled as a texel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitches.
Mip Major Array: Per-layer byte tag omitted or scaled as a texel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitches.
Mip Major Array: Per-layer byte tag omitted or scaled as a texel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitches.
Mip Major Array: Per-layer byte tag omitted or scaled as a texel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitches.
Mip Major Array: Per-layer byte tag omitted or scaled as a texel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_pitches.
Mip Major Array: Mip header is applied per layer instead of per level · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at level_spans.
Mip Major Array: Mip header is applied per layer instead of per level · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at level_spans.
Mip Major Array: Mip header is applied per layer instead of per level · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at level_spans.
Mip Major Array: Mip header is applied per layer instead of per level · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at level_spans.
Mip Major Array: Mip header is applied per layer instead of per level · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at level_spans.
Mip Major Array: Mip-major directory sums one layer or includes current level · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Major Array: Mip-major directory sums one layer or includes current level · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Major Array: Mip-major directory sums one layer or includes current level · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Major Array: Mip-major directory sums one layer or includes current level · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Major Array: Mip-major directory sums one layer or includes current level · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Major Array: Layer address stride uses base mip or entire level span · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_pitch.
Mip Major Array: Layer address stride uses base mip or entire level span · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_pitch.
Mip Major Array: Layer address stride uses base mip or entire level span · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_pitch.
Mip Major Array: Layer address stride uses base mip or entire level span · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_pitch.
Mip Major Array: Layer address stride uses base mip or entire level span · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_pitch.
Mip Major Array: Mip-major storage is interpreted as layer-major · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_header.
Mip Major Array: Mip-major storage is interpreted as layer-major · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_header.
Mip Major Array: Mip-major storage is interpreted as layer-major · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_header.
Mip Major Array: Mip-major storage is interpreted as layer-major · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_header.
Mip Major Array: Mip-major storage is interpreted as layer-major · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_header.
Mip Major Array: Layer origin omits mip header or advances one extra layer · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Mip Major Array: Layer origin omits mip header or advances one extra layer · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Mip Major Array: Layer origin omits mip header or advances one extra layer · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Mip Major Array: Layer origin omits mip header or advances one extra layer · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Mip Major Array: Layer origin omits mip header or advances one extra layer · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at layer_origin.
Mip Major Array: Layer tag is ignored or skipped as one whole texel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Major Array: Layer tag is ignored or skipped as one whole texel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Major Array: Layer tag is ignored or skipped as one whole texel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Major Array: Layer tag is ignored or skipped as one whole texel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Major Array: Layer tag is ignored or skipped as one whole texel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Major Array: Array allocation counts one layer or only largest mip · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Major Array: Array allocation counts one layer or only largest mip · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Major Array: Array allocation counts one layer or only largest mip · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Major Array: Array allocation counts one layer or only largest mip · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Major Array: Array allocation counts one layer or only largest mip · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Cube Face Cross Atlas: Atlas cell reserves only one gutter edge or none · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_size.
Cube Face Cross Atlas: Atlas cell reserves only one gutter edge or none · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_size.
Cube Face Cross Atlas: Atlas cell reserves only one gutter edge or none · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_size.
Cube Face Cross Atlas: Atlas cell reserves only one gutter edge or none · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_size.
Cube Face Cross Atlas: Atlas cell reserves only one gutter edge or none · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_size.
Cube Face Cross Atlas: Cube cross width uses row count or excludes gutters · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_width.
Cube Face Cross Atlas: Cube cross width uses row count or excludes gutters · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_width.
Cube Face Cross Atlas: Cube cross width uses row count or excludes gutters · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_width.
Cube Face Cross Atlas: Cube cross width uses row count or excludes gutters · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_width.
Cube Face Cross Atlas: Cube cross width uses row count or excludes gutters · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_width.
Cube Face Cross Atlas: Cube cross height uses column count or excludes gutters · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_height.
Cube Face Cross Atlas: Cube cross height uses column count or excludes gutters · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_height.
Cube Face Cross Atlas: Cube cross height uses column count or excludes gutters · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_height.
Cube Face Cross Atlas: Cube cross height uses column count or excludes gutters · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_height.
Cube Face Cross Atlas: Cube cross height uses column count or excludes gutters · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at atlas_height.
Cube Face Cross Atlas: Face directory swaps signed X faces or assumes packed face grid · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at face_cell.
Cube Face Cross Atlas: Face directory swaps signed X faces or assumes packed face grid · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at face_cell.
Cube Face Cross Atlas: Face directory swaps signed X faces or assumes packed face grid · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at face_cell.
Cube Face Cross Atlas: Face directory swaps signed X faces or assumes packed face grid · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at face_cell.
Cube Face Cross Atlas: Face directory swaps signed X faces or assumes packed face grid · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at face_cell.
Cube Face Cross Atlas: Face-cell origin transposes axes or omits neighboring gutters · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Cube Face Cross Atlas: Face-cell origin transposes axes or omits neighboring gutters · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Cube Face Cross Atlas: Face-cell origin transposes axes or omits neighboring gutters · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Cube Face Cross Atlas: Face-cell origin transposes axes or omits neighboring gutters · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Cube Face Cross Atlas: Face-cell origin transposes axes or omits neighboring gutters · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_origin.
Cube Face Cross Atlas: Face coordinates omit inner gutter or transpose texels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_position.
Cube Face Cross Atlas: Face coordinates omit inner gutter or transpose texels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_position.
Cube Face Cross Atlas: Face coordinates omit inner gutter or transpose texels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_position.
Cube Face Cross Atlas: Face coordinates omit inner gutter or transpose texels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_position.
Cube Face Cross Atlas: Face coordinates omit inner gutter or transpose texels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_position.
Cube Face Cross Atlas: Atlas row guard is omitted or interpreted in texels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Cube Face Cross Atlas: Atlas row guard is omitted or interpreted in texels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Cube Face Cross Atlas: Atlas row guard is omitted or interpreted in texels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Cube Face Cross Atlas: Atlas row guard is omitted or interpreted in texels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Cube Face Cross Atlas: Atlas row guard is omitted or interpreted in texels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Cube Face Cross Atlas: Cube atlas address swaps row axis or loses texel-byte conversion · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Cube Face Cross Atlas: Cube atlas address swaps row axis or loses texel-byte conversion · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Cube Face Cross Atlas: Cube atlas address swaps row axis or loses texel-byte conversion · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Cube Face Cross Atlas: Cube atlas address swaps row axis or loses texel-byte conversion · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Cube Face Cross Atlas: Cube atlas address swaps row axis or loses texel-byte conversion · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Cube Face Cross Atlas: Face row bound includes far gutter or loses cell origin · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at face_row_end.
Cube Face Cross Atlas: Face row bound includes far gutter or loses cell origin · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at face_row_end.
Cube Face Cross Atlas: Face row bound includes far gutter or loses cell origin · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at face_row_end.
Cube Face Cross Atlas: Face row bound includes far gutter or loses cell origin · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at face_row_end.
Cube Face Cross Atlas: Face row bound includes far gutter or loses cell origin · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at face_row_end.
Cube Face Cross Atlas: Cube atlas allocation omits empty cross cells or uses width as height · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Cube Face Cross Atlas: Cube atlas allocation omits empty cross cells or uses width as height · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Cube Face Cross Atlas: Cube atlas allocation omits empty cross cells or uses width as height · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Cube Face Cross Atlas: Cube atlas allocation omits empty cross cells or uses width as height · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Cube Face Cross Atlas: Cube atlas allocation omits empty cross cells or uses width as height · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Independent Chroma Planes: Chroma width truncates odd luma edge or skips subsampling · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_width.
Independent Chroma Planes: Chroma width truncates odd luma edge or skips subsampling · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_width.
Independent Chroma Planes: Chroma width truncates odd luma edge or skips subsampling · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_width.
Independent Chroma Planes: Chroma width truncates odd luma edge or skips subsampling · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_width.
Independent Chroma Planes: Chroma width truncates odd luma edge or skips subsampling · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_width.
Independent Chroma Planes: Chroma height truncates odd luma edge or skips subsampling · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_height.
Independent Chroma Planes: Chroma height truncates odd luma edge or skips subsampling · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_height.
Independent Chroma Planes: Chroma height truncates odd luma edge or skips subsampling · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_height.
Independent Chroma Planes: Chroma height truncates odd luma edge or skips subsampling · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_height.
Independent Chroma Planes: Chroma height truncates odd luma edge or skips subsampling · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_height.
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 ↗