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
Pixel Interleaved Sample Banks: Pixel lane within paired bank uses bank coordinate or swaps pixels · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_lane.
Pixel Interleaved Sample Banks: Pixel lane within paired bank uses bank coordinate or swaps pixels · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_lane.
Pixel Interleaved Sample Banks: Pixel lane within paired bank uses bank coordinate or swaps pixels · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_lane.
Pixel Interleaved Sample Banks: Pixel lane within paired bank uses bank coordinate or swaps pixels · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_lane.
Pixel Interleaved Sample Banks: Pixel lane within paired bank uses bank coordinate or swaps pixels · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_lane.
Pixel Interleaved Sample Banks: Bank addressing counts pixel columns as bank columns · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_index.
Pixel Interleaved Sample Banks: Bank addressing counts pixel columns as bank columns · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_index.
Pixel Interleaved Sample Banks: Bank addressing counts pixel columns as bank columns · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_index.
Pixel Interleaved Sample Banks: Bank addressing counts pixel columns as bank columns · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_index.
Pixel Interleaved Sample Banks: Bank addressing counts pixel columns as bank columns · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_index.
Pixel Interleaved Sample Banks: Bank span drops tag or allocates only one pixel samples · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Pixel Interleaved Sample Banks: Bank span drops tag or allocates only one pixel samples · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Pixel Interleaved Sample Banks: Bank span drops tag or allocates only one pixel samples · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Pixel Interleaved Sample Banks: Bank span drops tag or allocates only one pixel samples · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Pixel Interleaved Sample Banks: Bank span drops tag or allocates only one pixel samples · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_pitch.
Pixel Interleaved Sample Banks: Bank start ignores tags or counts each tag twice · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_start.
Pixel Interleaved Sample Banks: Bank start ignores tags or counts each tag twice · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_start.
Pixel Interleaved Sample Banks: Bank start ignores tags or counts each tag twice · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_start.
Pixel Interleaved Sample Banks: Bank start ignores tags or counts each tag twice · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_start.
Pixel Interleaved Sample Banks: Bank start ignores tags or counts each tag twice · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at bank_start.
Pixel Interleaved Sample Banks: Per-pixel sample order interpreted as per-sample pixel order · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_slot.
Pixel Interleaved Sample Banks: Per-pixel sample order interpreted as per-sample pixel order · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_slot.
Pixel Interleaved Sample Banks: Per-pixel sample order interpreted as per-sample pixel order · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_slot.
Pixel Interleaved Sample Banks: Per-pixel sample order interpreted as per-sample pixel order · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_slot.
Pixel Interleaved Sample Banks: Per-pixel sample order interpreted as per-sample pixel order · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_slot.
Pixel Interleaved Sample Banks: Sample bank address drops tag or element byte width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Pixel Interleaved Sample Banks: Sample bank address drops tag or element byte width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Pixel Interleaved Sample Banks: Sample bank address drops tag or element byte width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Pixel Interleaved Sample Banks: Sample bank address drops tag or element byte width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Pixel Interleaved Sample Banks: Sample bank address drops tag or element byte width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Pixel Interleaved Sample Banks: Edge bank validity includes padded pixel or counts pixels as samples · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_lanes.
Pixel Interleaved Sample Banks: Edge bank validity includes padded pixel or counts pixels as samples · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_lanes.
Pixel Interleaved Sample Banks: Edge bank validity includes padded pixel or counts pixels as samples · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_lanes.
Pixel Interleaved Sample Banks: Edge bank validity includes padded pixel or counts pixels as samples · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_lanes.
Pixel Interleaved Sample Banks: Edge bank validity includes padded pixel or counts pixels as samples · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_lanes.
Pixel Interleaved Sample Banks: Sample-bank allocation ignores edge padding and bank tags · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Pixel Interleaved Sample Banks: Sample-bank allocation ignores edge padding and bank tags · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Pixel Interleaved Sample Banks: Sample-bank allocation ignores edge padding and bank tags · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Pixel Interleaved Sample Banks: Sample-bank allocation ignores edge padding and bank tags · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Pixel Interleaved Sample Banks: Sample-bank allocation ignores edge padding and bank tags · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Variable Scanline Packets: Empty encoded scanline is omitted from directory row count · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at rows.
Variable Scanline Packets: Empty encoded scanline is omitted from directory row count · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at rows.
Variable Scanline Packets: Empty encoded scanline is omitted from directory row count · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at rows.
Variable Scanline Packets: Empty encoded scanline is omitted from directory row count · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at rows.
Variable Scanline Packets: Empty encoded scanline is omitted from directory row count · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at rows.
Variable Scanline Packets: Scanline directory counts bytes as entries or adds sentinel entry · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Variable Scanline Packets: Scanline directory counts bytes as entries or adds sentinel entry · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Variable Scanline Packets: Scanline directory counts bytes as entries or adds sentinel entry · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Variable Scanline Packets: Scanline directory counts bytes as entries or adds sentinel entry · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Variable Scanline Packets: Scanline directory counts bytes as entries or adds sentinel entry · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Variable Scanline Packets: Packet extent excludes terminator or all framing · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_sizes.
Variable Scanline Packets: Packet extent excludes terminator or all framing · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_sizes.
Variable Scanline Packets: Packet extent excludes terminator or all framing · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_sizes.
Variable Scanline Packets: Packet extent excludes terminator or all framing · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_sizes.
Variable Scanline Packets: Packet extent excludes terminator or all framing · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_sizes.
Variable Scanline Packets: Scanline packet prefix sum omits framing or includes current packet · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at relative_offsets.
Variable Scanline Packets: Scanline packet prefix sum omits framing or includes current packet · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at relative_offsets.
Variable Scanline Packets: Scanline packet prefix sum omits framing or includes current packet · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at relative_offsets.
Variable Scanline Packets: Scanline packet prefix sum omits framing or includes current packet · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at relative_offsets.
Variable Scanline Packets: Scanline packet prefix sum omits framing or includes current packet · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at relative_offsets.
Variable Scanline Packets: Absolute scanline directory omits relocation or directory prefix · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_origins.
Variable Scanline Packets: Absolute scanline directory omits relocation or directory prefix · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_origins.
Variable Scanline Packets: Absolute scanline directory omits relocation or directory prefix · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_origins.
Variable Scanline Packets: Absolute scanline directory omits relocation or directory prefix · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_origins.
Variable Scanline Packets: Absolute scanline directory omits relocation or directory prefix · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at packet_origins.
Variable Scanline Packets: Directory slot uses byte index or skips first record · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Variable Scanline Packets: Directory slot uses byte index or skips first record · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Variable Scanline Packets: Directory slot uses byte index or skips first record · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Variable Scanline Packets: Directory slot uses byte index or skips first record · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Variable Scanline Packets: Directory slot uses byte index or skips first record · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_entry.
Variable Scanline Packets: Payload begins at tag or skips first encoded byte · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_start.
Variable Scanline Packets: Payload begins at tag or skips first encoded byte · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_start.
Variable Scanline Packets: Payload begins at tag or skips first encoded byte · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_start.
Variable Scanline Packets: Payload begins at tag or skips first encoded byte · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_start.
Variable Scanline Packets: Payload begins at tag or skips first encoded byte · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_start.
Variable Scanline Packets: Payload range includes framing or uses longest row length · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_end.
Variable Scanline Packets: Payload range includes framing or uses longest row length · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_end.
Variable Scanline Packets: Payload range includes framing or uses longest row length · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_end.
Variable Scanline Packets: Payload range includes framing or uses longest row length · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_end.
Variable Scanline Packets: Payload range includes framing or uses longest row length · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_end.
Variable Scanline Packets: Packet terminator overwrites last payload byte or skips one byte · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at terminator.
Variable Scanline Packets: Packet terminator overwrites last payload byte or skips one byte · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at terminator.
Variable Scanline Packets: Packet terminator overwrites last payload byte or skips one byte · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at terminator.
Variable Scanline Packets: Packet terminator overwrites last payload byte or skips one byte · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at terminator.
Variable Scanline Packets: Packet terminator overwrites last payload byte or skips one byte · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at terminator.
Variable Scanline Packets: Packet allocation excludes framing or directory storage · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Variable Scanline Packets: Packet allocation excludes framing or directory storage · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Variable Scanline Packets: Packet allocation excludes framing or directory storage · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Variable Scanline Packets: Packet allocation excludes framing or directory storage · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Variable Scanline Packets: Packet allocation excludes framing or directory storage · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Sparse Resident Tile Map: Sparse tile directory width truncates partial tiles · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Sparse Resident Tile Map: Sparse tile directory width truncates partial tiles · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Sparse Resident Tile Map: Sparse tile directory width truncates partial tiles · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Sparse Resident Tile Map: Sparse tile directory width truncates partial tiles · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Sparse Resident Tile Map: Sparse tile directory width truncates partial tiles · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at tile_columns.
Sparse Resident Tile Map: Sparse virtual tile index transposes coordinates · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_id.
Sparse Resident Tile Map: Sparse virtual tile index transposes coordinates · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_id.
Sparse Resident Tile Map: Sparse virtual tile index transposes coordinates · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_id.
Sparse Resident Tile Map: Sparse virtual tile index transposes coordinates · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_id.
Sparse Resident Tile Map: Sparse virtual tile index transposes coordinates · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_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 ↗