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
Compressed Block Payload: Block-row padding misses partial groups or overpads exact groups · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at padded_columns.
Compressed Block Payload: Block-row padding misses partial groups or overpads exact groups · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at padded_columns.
Compressed Block Payload: Block-row padding misses partial groups or overpads exact groups · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at padded_columns.
Compressed Block Payload: Block-row padding misses partial groups or overpads exact groups · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at padded_columns.
Compressed Block Payload: Block-row padding misses partial groups or overpads exact groups · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at padded_columns.
Compressed Block Payload: Endpoint and selector segments are multiplied or prefix dropped · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at block_size.
Compressed Block Payload: Endpoint and selector segments are multiplied or prefix dropped · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at block_size.
Compressed Block Payload: Endpoint and selector segments are multiplied or prefix dropped · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at block_size.
Compressed Block Payload: Endpoint and selector segments are multiplied or prefix dropped · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at block_size.
Compressed Block Payload: Endpoint and selector segments are multiplied or prefix dropped · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at block_size.
Compressed Block Payload: Compressed row pitch ignores padding or endpoint bytes · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Compressed Block Payload: Compressed row pitch ignores padding or endpoint bytes · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Compressed Block Payload: Compressed row pitch ignores padding or endpoint bytes · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Compressed Block Payload: Compressed row pitch ignores padding or endpoint bytes · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Compressed Block Payload: Compressed row pitch ignores padding or endpoint bytes · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Compressed Block Payload: Compressed texel coordinates are not converted to block coordinates · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at block_start.
Compressed Block Payload: Compressed texel coordinates are not converted to block coordinates · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at block_start.
Compressed Block Payload: Compressed texel coordinates are not converted to block coordinates · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at block_start.
Compressed Block Payload: Compressed texel coordinates are not converted to block coordinates · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at block_start.
Compressed Block Payload: Compressed texel coordinates are not converted to block coordinates · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at block_start.
Compressed Block Payload: Selector ordering is transposed or assumes square blocks · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_id.
Compressed Block Payload: Selector ordering is transposed or assumes square blocks · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_id.
Compressed Block Payload: Selector ordering is transposed or assumes square blocks · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_id.
Compressed Block Payload: Selector ordering is transposed or assumes square blocks · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_id.
Compressed Block Payload: Selector ordering is transposed or assumes square blocks · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_id.
Compressed Block Payload: Selector starts in endpoint prefix or uses endpoint count as stride · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_address.
Compressed Block Payload: Selector starts in endpoint prefix or uses endpoint count as stride · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_address.
Compressed Block Payload: Selector starts in endpoint prefix or uses endpoint count as stride · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_address.
Compressed Block Payload: Selector starts in endpoint prefix or uses endpoint count as stride · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_address.
Compressed Block Payload: Selector starts in endpoint prefix or uses endpoint count as stride · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selector_address.
Compressed Block Payload: Compressed allocation uses texel rows or omits block-row padding · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation.
Compressed Block Payload: Compressed allocation uses texel rows or omits block-row padding · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation.
Compressed Block Payload: Compressed allocation uses texel rows or omits block-row padding · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation.
Compressed Block Payload: Compressed allocation uses texel rows or omits block-row padding · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation.
Compressed Block Payload: Compressed allocation uses texel rows or omits block-row padding · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation.
Compressed Block Payload: Edge-block valid extent is replaced by full or image-wide footprint · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at block_valid_texels.
Compressed Block Payload: Edge-block valid extent is replaced by full or image-wide footprint · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at block_valid_texels.
Compressed Block Payload: Edge-block valid extent is replaced by full or image-wide footprint · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at block_valid_texels.
Compressed Block Payload: Edge-block valid extent is replaced by full or image-wide footprint · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at block_valid_texels.
Compressed Block Payload: Edge-block valid extent is replaced by full or image-wide footprint · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at block_valid_texels.
Mip Chain Directory: Mip widths truncate odd edges or use linear divisors · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at widths.
Mip Chain Directory: Mip widths truncate odd edges or use linear divisors · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at widths.
Mip Chain Directory: Mip widths truncate odd edges or use linear divisors · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at widths.
Mip Chain Directory: Mip widths truncate odd edges or use linear divisors · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at widths.
Mip Chain Directory: Mip widths truncate odd edges or use linear divisors · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at widths.
Mip Chain Directory: Mip heights drop odd rows or never shrink · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at heights.
Mip Chain Directory: Mip heights drop odd rows or never shrink · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at heights.
Mip Chain Directory: Mip heights drop odd rows or never shrink · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at heights.
Mip Chain Directory: Mip heights drop odd rows or never shrink · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at heights.
Mip Chain Directory: Mip heights drop odd rows or never shrink · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at heights.
Mip Chain Directory: Mip row guards are missing or level-zero stride reused · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitches.
Mip Chain Directory: Mip row guards are missing or level-zero stride reused · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitches.
Mip Chain Directory: Mip row guards are missing or level-zero stride reused · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitches.
Mip Chain Directory: Mip row guards are missing or level-zero stride reused · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitches.
Mip Chain Directory: Mip row guards are missing or level-zero stride reused · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitches.
Mip Chain Directory: Level header omitted or inserted before every row · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at level_sizes.
Mip Chain Directory: Level header omitted or inserted before every row · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at level_sizes.
Mip Chain Directory: Level header omitted or inserted before every row · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at level_sizes.
Mip Chain Directory: Level header omitted or inserted before every row · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at level_sizes.
Mip Chain Directory: Level header omitted or inserted before every row · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at level_sizes.
Mip Chain Directory: Mip directory size uses entry count or texel width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_size.
Mip Chain Directory: Mip directory size uses entry count or texel width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_size.
Mip Chain Directory: Mip directory size uses entry count or texel width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_size.
Mip Chain Directory: Mip directory size uses entry count or texel width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_size.
Mip Chain Directory: Mip directory size uses entry count or texel width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_size.
Mip Chain Directory: Mip starts include current size or use constant largest-level pitch · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Chain Directory: Mip starts include current size or use constant largest-level pitch · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Chain Directory: Mip starts include current size or use constant largest-level pitch · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Chain Directory: Mip starts include current size or use constant largest-level pitch · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Chain Directory: Mip starts include current size or use constant largest-level pitch · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at level_offsets.
Mip Chain Directory: Selected mip extent is read from base or terminal level · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_size.
Mip Chain Directory: Selected mip extent is read from base or terminal level · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_size.
Mip Chain Directory: Selected mip extent is read from base or terminal level · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_size.
Mip Chain Directory: Selected mip extent is read from base or terminal level · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_size.
Mip Chain Directory: Selected mip extent is read from base or terminal level · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_size.
Mip Chain Directory: Selected mip origin loses level index or allocation relocation · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at level_origin.
Mip Chain Directory: Selected mip origin loses level index or allocation relocation · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at level_origin.
Mip Chain Directory: Selected mip origin loses level index or allocation relocation · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at level_origin.
Mip Chain Directory: Selected mip origin loses level index or allocation relocation · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at level_origin.
Mip Chain Directory: Selected mip origin loses level index or allocation relocation · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at level_origin.
Mip Chain Directory: Mip payload origin ignores header or counts it per scanline · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Chain Directory: Mip payload origin ignores header or counts it per scanline · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Chain Directory: Mip payload origin ignores header or counts it per scanline · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Chain Directory: Mip payload origin ignores header or counts it per scanline · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Chain Directory: Mip payload origin ignores header or counts it per scanline · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_origin.
Mip Chain Directory: Mip chain extent excludes directory or later levels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Chain Directory: Mip chain extent excludes directory or later levels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Chain Directory: Mip chain extent excludes directory or later levels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Chain Directory: Mip chain extent excludes directory or later levels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Chain Directory: Mip chain extent excludes directory or later levels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Mip Major Array: Array mip dimensions are truncated or held constant · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at dims.
Mip Major Array: Array mip dimensions are truncated or held constant · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at dims.
Mip Major Array: Array mip dimensions are truncated or held constant · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at dims.
Mip Major Array: Array mip dimensions are truncated or held constant · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at dims.
Mip Major Array: Array mip dimensions are truncated or held constant · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at dims.
Mip Major Array: Rectangular array mip area uses sum or square · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at texel_counts.
Mip Major Array: Rectangular array mip area uses sum or square · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at texel_counts.
Mip Major Array: Rectangular array mip area uses sum or square · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at texel_counts.
Mip Major Array: Rectangular array mip area uses sum or square · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at texel_counts.
Mip Major Array: Rectangular array mip area uses sum or square · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at texel_counts.
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 ↗