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
Small Mip Tail Packing: Tail packing order is ascending or excludes first tail level · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_levels.
Small Mip Tail Packing: Tail packing order is ascending or excludes first tail level · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_levels.
Small Mip Tail Packing: Tail packing order is ascending or excludes first tail level · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_levels.
Small Mip Tail Packing: Tail packing order is ascending or excludes first tail level · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_levels.
Small Mip Tail Packing: Tail packing order is ascending or excludes first tail level · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_levels.
Small Mip Tail Packing: Tail origin uses unrounded mip sizes or one page per mip · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_origin.
Small Mip Tail Packing: Tail origin uses unrounded mip sizes or one page per mip · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_origin.
Small Mip Tail Packing: Tail origin uses unrounded mip sizes or one page per mip · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_origin.
Small Mip Tail Packing: Tail origin uses unrounded mip sizes or one page per mip · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_origin.
Small Mip Tail Packing: Tail origin uses unrounded mip sizes or one page per mip · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_origin.
Small Mip Tail Packing: Tail span drops full or half of the level tag · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_spans.
Small Mip Tail Packing: Tail span drops full or half of the level tag · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_spans.
Small Mip Tail Packing: Tail span drops full or half of the level tag · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_spans.
Small Mip Tail Packing: Tail span drops full or half of the level tag · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_spans.
Small Mip Tail Packing: Tail span drops full or half of the level tag · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_spans.
Small Mip Tail Packing: Tail level directory points to tag or end of own record · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_map.
Small Mip Tail Packing: Tail level directory points to tag or end of own record · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_map.
Small Mip Tail Packing: Tail level directory points to tag or end of own record · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_map.
Small Mip Tail Packing: Tail level directory points to tag or end of own record · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_map.
Small Mip Tail Packing: Tail level directory points to tag or end of own record · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_map.
Small Mip Tail Packing: Large mip directory assumes one page or includes current allocation · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at large_map.
Small Mip Tail Packing: Large mip directory assumes one page or includes current allocation · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at large_map.
Small Mip Tail Packing: Large mip directory assumes one page or includes current allocation · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at large_map.
Small Mip Tail Packing: Large mip directory assumes one page or includes current allocation · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at large_map.
Small Mip Tail Packing: Large mip directory assumes one page or includes current allocation · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at large_map.
Small Mip Tail Packing: Mip lookup collapses tail offsets or rejects packed tail levels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selected.
Small Mip Tail Packing: Mip lookup collapses tail offsets or rejects packed tail levels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selected.
Small Mip Tail Packing: Mip lookup collapses tail offsets or rejects packed tail levels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selected.
Small Mip Tail Packing: Mip lookup collapses tail offsets or rejects packed tail levels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selected.
Small Mip Tail Packing: Mip lookup collapses tail offsets or rejects packed tail levels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selected.
Small Mip Tail Packing: Tail occupancy omits tags or counts only largest record · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_used.
Small Mip Tail Packing: Tail occupancy omits tags or counts only largest record · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_used.
Small Mip Tail Packing: Tail occupancy omits tags or counts only largest record · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_used.
Small Mip Tail Packing: Tail occupancy omits tags or counts only largest record · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_used.
Small Mip Tail Packing: Tail occupancy omits tags or counts only largest record · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_used.
Small Mip Tail Packing: Tail reserved extent shrinks to occupancy or one base page · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Small Mip Tail Packing: Tail reserved extent shrinks to occupancy or one base page · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Small Mip Tail Packing: Tail reserved extent shrinks to occupancy or one base page · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Small Mip Tail Packing: Tail reserved extent shrinks to occupancy or one base page · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Small Mip Tail Packing: Tail reserved extent shrinks to occupancy or one base page · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Split Depth Stencil Aspects: Split depth pitch assumes interleaved stencil or omits row pad · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_pitch.
Split Depth Stencil Aspects: Split depth pitch assumes interleaved stencil or omits row pad · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_pitch.
Split Depth Stencil Aspects: Split depth pitch assumes interleaved stencil or omits row pad · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_pitch.
Split Depth Stencil Aspects: Split depth pitch assumes interleaved stencil or omits row pad · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_pitch.
Split Depth Stencil Aspects: Split depth pitch assumes interleaved stencil or omits row pad · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_pitch.
Split Depth Stencil Aspects: Stencil rows inherit depth pitch or lose padding · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_pitch.
Split Depth Stencil Aspects: Stencil rows inherit depth pitch or lose padding · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_pitch.
Split Depth Stencil Aspects: Stencil rows inherit depth pitch or lose padding · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_pitch.
Split Depth Stencil Aspects: Stencil rows inherit depth pitch or lose padding · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_pitch.
Split Depth Stencil Aspects: Stencil rows inherit depth pitch or lose padding · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_pitch.
Split Depth Stencil Aspects: Depth plane origin uses no tag or stencil tag size · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_origin.
Split Depth Stencil Aspects: Depth plane origin uses no tag or stencil tag size · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_origin.
Split Depth Stencil Aspects: Depth plane origin uses no tag or stencil tag size · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_origin.
Split Depth Stencil Aspects: Depth plane origin uses no tag or stencil tag size · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_origin.
Split Depth Stencil Aspects: Depth plane origin uses no tag or stencil tag size · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_origin.
Split Depth Stencil Aspects: Stencil base ignores depth row padding or its own tag · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_origin.
Split Depth Stencil Aspects: Stencil base ignores depth row padding or its own tag · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_origin.
Split Depth Stencil Aspects: Stencil base ignores depth row padding or its own tag · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_origin.
Split Depth Stencil Aspects: Stencil base ignores depth row padding or its own tag · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_origin.
Split Depth Stencil Aspects: Stencil base ignores depth row padding or its own tag · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_origin.
Split Depth Stencil Aspects: Depth pixel stride includes stencil or uses stencil row pitch · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_address.
Split Depth Stencil Aspects: Depth pixel stride includes stencil or uses stencil row pitch · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_address.
Split Depth Stencil Aspects: Depth pixel stride includes stencil or uses stencil row pitch · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_address.
Split Depth Stencil Aspects: Depth pixel stride includes stencil or uses stencil row pitch · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_address.
Split Depth Stencil Aspects: Depth pixel stride includes stencil or uses stencil row pitch · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at depth_address.
Split Depth Stencil Aspects: Stencil address assumes packed four-byte texels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_address.
Split Depth Stencil Aspects: Stencil address assumes packed four-byte texels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_address.
Split Depth Stencil Aspects: Stencil address assumes packed four-byte texels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_address.
Split Depth Stencil Aspects: Stencil address assumes packed four-byte texels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_address.
Split Depth Stencil Aspects: Stencil address assumes packed four-byte texels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at stencil_address.
Split Depth Stencil Aspects: Aspect dispatch reverses depth and stencil or always selects depth · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_address.
Split Depth Stencil Aspects: Aspect dispatch reverses depth and stencil or always selects depth · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_address.
Split Depth Stencil Aspects: Aspect dispatch reverses depth and stencil or always selects depth · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_address.
Split Depth Stencil Aspects: Aspect dispatch reverses depth and stencil or always selects depth · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_address.
Split Depth Stencil Aspects: Aspect dispatch reverses depth and stencil or always selects depth · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_address.
Split Depth Stencil Aspects: Aspect copy width copies companion aspect or truncates depth · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_width.
Split Depth Stencil Aspects: Aspect copy width copies companion aspect or truncates depth · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_width.
Split Depth Stencil Aspects: Aspect copy width copies companion aspect or truncates depth · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_width.
Split Depth Stencil Aspects: Aspect copy width copies companion aspect or truncates depth · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_width.
Split Depth Stencil Aspects: Aspect copy width copies companion aspect or truncates depth · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_width.
Split Depth Stencil Aspects: Aspect byte range includes unrelated byte or uses inclusive endpoint · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_end.
Split Depth Stencil Aspects: Aspect byte range includes unrelated byte or uses inclusive endpoint · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_end.
Split Depth Stencil Aspects: Aspect byte range includes unrelated byte or uses inclusive endpoint · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_end.
Split Depth Stencil Aspects: Aspect byte range includes unrelated byte or uses inclusive endpoint · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_end.
Split Depth Stencil Aspects: Aspect byte range includes unrelated byte or uses inclusive endpoint · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at selected_end.
Split Depth Stencil Aspects: Depth-stencil allocation assumes packed layout or depth stride for stencil · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Split Depth Stencil Aspects: Depth-stencil allocation assumes packed layout or depth stride for stencil · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Split Depth Stencil Aspects: Depth-stencil allocation assumes packed layout or depth stride for stencil · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Split Depth Stencil Aspects: Depth-stencil allocation assumes packed layout or depth stride for stencil · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Split Depth Stencil Aspects: Depth-stencil allocation assumes packed layout or depth stride for stencil · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Chunked Row Groups: Row group count truncates final packet or counts each scanline · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at group_count.
Chunked Row Groups: Row group count truncates final packet or counts each scanline · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at group_count.
Chunked Row Groups: Row group count truncates final packet or counts each scanline · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at group_count.
Chunked Row Groups: Row group count truncates final packet or counts each scanline · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at group_count.
Chunked Row Groups: Row group count truncates final packet or counts each scanline · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at group_count.
Chunked Row Groups: Row group selection uses remainder or rounds up · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at group_id.
Chunked Row Groups: Row group selection uses remainder or rounds up · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at group_id.
Chunked Row Groups: Row group selection uses remainder or rounds up · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at group_id.
Chunked Row Groups: Row group selection uses remainder or rounds up · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at group_id.
Chunked Row Groups: Row group selection uses remainder or rounds up · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at group_id.
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 ↗