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
Sparse Resident Tile Map: Physical slot remap is bypassed or valid slot zero treated absent · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at slot.
Sparse Resident Tile Map: Physical slot remap is bypassed or valid slot zero treated absent · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at slot.
Sparse Resident Tile Map: Physical slot remap is bypassed or valid slot zero treated absent · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at slot.
Sparse Resident Tile Map: Physical slot remap is bypassed or valid slot zero treated absent · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at slot.
Sparse Resident Tile Map: Physical slot remap is bypassed or valid slot zero treated absent · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at slot.
Sparse Resident Tile Map: Residency predicate rejects slot zero or accepts missing tiles · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at resident.
Sparse Resident Tile Map: Residency predicate rejects slot zero or accepts missing tiles · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at resident.
Sparse Resident Tile Map: Residency predicate rejects slot zero or accepts missing tiles · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at resident.
Sparse Resident Tile Map: Residency predicate rejects slot zero or accepts missing tiles · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at resident.
Sparse Resident Tile Map: Residency predicate rejects slot zero or accepts missing tiles · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at resident.
Sparse Resident Tile Map: Sparse physical slot tag omitted or scaled as texels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Sparse Resident Tile Map: Sparse physical slot tag omitted or scaled as texels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Sparse Resident Tile Map: Sparse physical slot tag omitted or scaled as texels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Sparse Resident Tile Map: Sparse physical slot tag omitted or scaled as texels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Sparse Resident Tile Map: Sparse physical slot tag omitted or scaled as texels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Sparse Resident Tile Map: Sparse slot local coordinates transpose or retain virtual tile origin · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at local_index.
Sparse Resident Tile Map: Sparse slot local coordinates transpose or retain virtual tile origin · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at local_index.
Sparse Resident Tile Map: Sparse slot local coordinates transpose or retain virtual tile origin · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at local_index.
Sparse Resident Tile Map: Sparse slot local coordinates transpose or retain virtual tile origin · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at local_index.
Sparse Resident Tile Map: Sparse slot local coordinates transpose or retain virtual tile origin · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at local_index.
Sparse Resident Tile Map: Physical tile base ignores remapping or tagged slot pitch · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at physical_start.
Sparse Resident Tile Map: Physical tile base ignores remapping or tagged slot pitch · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at physical_start.
Sparse Resident Tile Map: Physical tile base ignores remapping or tagged slot pitch · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at physical_start.
Sparse Resident Tile Map: Physical tile base ignores remapping or tagged slot pitch · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at physical_start.
Sparse Resident Tile Map: Physical tile base ignores remapping or tagged slot pitch · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at physical_start.
Sparse Resident Tile Map: Resident candidate points into slot tag or loses texel width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at candidate.
Sparse Resident Tile Map: Resident candidate points into slot tag or loses texel width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at candidate.
Sparse Resident Tile Map: Resident candidate points into slot tag or loses texel width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at candidate.
Sparse Resident Tile Map: Resident candidate points into slot tag or loses texel width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at candidate.
Sparse Resident Tile Map: Resident candidate points into slot tag or loses texel width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at candidate.
Sparse Resident Tile Map: Sparse read fallback is ignored or inverted · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sparse Resident Tile Map: Sparse read fallback is ignored or inverted · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sparse Resident Tile Map: Sparse read fallback is ignored or inverted · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sparse Resident Tile Map: Sparse read fallback is ignored or inverted · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sparse Resident Tile Map: Sparse read fallback is ignored or inverted · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Sparse Resident Tile Map: Page-table update addresses physical slot instead of virtual directory entry · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Sparse Resident Tile Map: Page-table update addresses physical slot instead of virtual directory entry · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Sparse Resident Tile Map: Page-table update addresses physical slot instead of virtual directory entry · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Sparse Resident Tile Map: Page-table update addresses physical slot instead of virtual directory entry · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Sparse Resident Tile Map: Page-table update addresses physical slot instead of virtual directory entry · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Xor Bank Swizzle: Banked texture tile columns use truncated or half tile width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Xor Bank Swizzle: Banked texture tile columns use truncated or half tile width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Xor Bank Swizzle: Banked texture tile columns use truncated or half tile width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Xor Bank Swizzle: Banked texture tile columns use truncated or half tile width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Xor Bank Swizzle: Banked texture tile columns use truncated or half tile width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Xor Bank Swizzle: Banked tile x resolves bank group instead of tile · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_x.
Xor Bank Swizzle: Banked tile x resolves bank group instead of tile · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_x.
Xor Bank Swizzle: Banked tile x resolves bank group instead of tile · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_x.
Xor Bank Swizzle: Banked tile x resolves bank group instead of tile · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_x.
Xor Bank Swizzle: Banked tile x resolves bank group instead of tile · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_x.
Xor Bank Swizzle: Banked tile y uses local row or square footprint · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_y.
Xor Bank Swizzle: Banked tile y uses local row or square footprint · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_y.
Xor Bank Swizzle: Banked tile y uses local row or square footprint · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_y.
Xor Bank Swizzle: Banked tile y uses local row or square footprint · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_y.
Xor Bank Swizzle: Banked tile y uses local row or square footprint · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_y.
Xor Bank Swizzle: Bank selection omits row XOR or substitutes modular addition · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bank.
Xor Bank Swizzle: Bank selection omits row XOR or substitutes modular addition · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bank.
Xor Bank Swizzle: Bank selection omits row XOR or substitutes modular addition · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bank.
Xor Bank Swizzle: Bank selection omits row XOR or substitutes modular addition · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bank.
Xor Bank Swizzle: Bank selection omits row XOR or substitutes modular addition · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bank.
Xor Bank Swizzle: In-bank x lane uses adjacent parity or column-major layout · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_local.
Xor Bank Swizzle: In-bank x lane uses adjacent parity or column-major layout · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_local.
Xor Bank Swizzle: In-bank x lane uses adjacent parity or column-major layout · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_local.
Xor Bank Swizzle: In-bank x lane uses adjacent parity or column-major layout · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_local.
Xor Bank Swizzle: In-bank x lane uses adjacent parity or column-major layout · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_local.
Xor Bank Swizzle: Per-bank tag omitted or scaled as texel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Xor Bank Swizzle: Per-bank tag omitted or scaled as texel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Xor Bank Swizzle: Per-bank tag omitted or scaled as texel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Xor Bank Swizzle: Per-bank tag omitted or scaled as texel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Xor Bank Swizzle: Per-bank tag omitted or scaled as texel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Xor Bank Swizzle: Tile pitch excludes bank tags or counts one bank · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_pitch.
Xor Bank Swizzle: Tile pitch excludes bank tags or counts one bank · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_pitch.
Xor Bank Swizzle: Tile pitch excludes bank tags or counts one bank · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_pitch.
Xor Bank Swizzle: Tile pitch excludes bank tags or counts one bank · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_pitch.
Xor Bank Swizzle: Tile pitch excludes bank tags or counts one bank · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_pitch.
Xor Bank Swizzle: Tile-row trailer omitted or repeated per tile · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_row_pitch.
Xor Bank Swizzle: Tile-row trailer omitted or repeated per tile · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_row_pitch.
Xor Bank Swizzle: Tile-row trailer omitted or repeated per tile · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_row_pitch.
Xor Bank Swizzle: Tile-row trailer omitted or repeated per tile · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_row_pitch.
Xor Bank Swizzle: Tile-row trailer omitted or repeated per tile · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_row_pitch.
Xor Bank Swizzle: Banked tile origin ignores row trailer or transposes tile axes · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_origin.
Xor Bank Swizzle: Banked tile origin ignores row trailer or transposes tile axes · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_origin.
Xor Bank Swizzle: Banked tile origin ignores row trailer or transposes tile axes · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_origin.
Xor Bank Swizzle: Banked tile origin ignores row trailer or transposes tile axes · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_origin.
Xor Bank Swizzle: Banked tile origin ignores row trailer or transposes tile axes · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_origin.
Xor Bank Swizzle: Banked sample points at tag or assumes bank-interleaved storage · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Xor Bank Swizzle: Banked sample points at tag or assumes bank-interleaved storage · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Xor Bank Swizzle: Banked sample points at tag or assumes bank-interleaved storage · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Xor Bank Swizzle: Banked sample points at tag or assumes bank-interleaved storage · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Xor Bank Swizzle: Banked sample points at tag or assumes bank-interleaved storage · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Small Mip Tail Packing: Mip-tail start uses page capacity instead of configured threshold · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_first.
Small Mip Tail Packing: Mip-tail start uses page capacity instead of configured threshold · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_first.
Small Mip Tail Packing: Mip-tail start uses page capacity instead of configured threshold · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_first.
Small Mip Tail Packing: Mip-tail start uses page capacity instead of configured threshold · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_first.
Small Mip Tail Packing: Mip-tail start uses page capacity instead of configured threshold · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tail_first.
Small Mip Tail Packing: Large mip allocation truncates or caps page count · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at large_pages.
Small Mip Tail Packing: Large mip allocation truncates or caps page count · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at large_pages.
Small Mip Tail Packing: Large mip allocation truncates or caps page count · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at large_pages.
Small Mip Tail Packing: Large mip allocation truncates or caps page count · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at large_pages.
Small Mip Tail Packing: Large mip allocation truncates or caps page count · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at large_pages.
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 ↗