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
Raster Dma Descriptor Chain: DMA destination origin inherits source pitch or source row skip · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_start.
Raster Dma Descriptor Chain: DMA destination origin inherits source pitch or source row skip · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_start.
Raster Dma Descriptor Chain: DMA destination origin inherits source pitch or source row skip · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_start.
Raster Dma Descriptor Chain: DMA destination origin inherits source pitch or source row skip · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_start.
Raster Dma Descriptor Chain: DMA destination origin inherits source pitch or source row skip · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_start.
Raster Dma Descriptor Chain: DMA source chain drops source row padding or repeats first row · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at sources.
Raster Dma Descriptor Chain: DMA source chain drops source row padding or repeats first row · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at sources.
Raster Dma Descriptor Chain: DMA source chain drops source row padding or repeats first row · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at sources.
Raster Dma Descriptor Chain: DMA source chain drops source row padding or repeats first row · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at sources.
Raster Dma Descriptor Chain: DMA source chain drops source row padding or repeats first row · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at sources.
Raster Dma Descriptor Chain: DMA destination chain inherits source stride or packed row length · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at destinations.
Raster Dma Descriptor Chain: DMA destination chain inherits source stride or packed row length · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at destinations.
Raster Dma Descriptor Chain: DMA destination chain inherits source stride or packed row length · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at destinations.
Raster Dma Descriptor Chain: DMA destination chain inherits source stride or packed row length · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at destinations.
Raster Dma Descriptor Chain: DMA destination chain inherits source stride or packed row length · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at destinations.
Raster Dma Descriptor Chain: DMA descriptor stride uses payload length or loses descriptor relocation · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptor_addresses.
Raster Dma Descriptor Chain: DMA descriptor stride uses payload length or loses descriptor relocation · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptor_addresses.
Raster Dma Descriptor Chain: DMA descriptor stride uses payload length or loses descriptor relocation · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptor_addresses.
Raster Dma Descriptor Chain: DMA descriptor stride uses payload length or loses descriptor relocation · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptor_addresses.
Raster Dma Descriptor Chain: DMA descriptor stride uses payload length or loses descriptor relocation · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptor_addresses.
Raster Dma Descriptor Chain: DMA chain final pointer is not terminated or self-loops · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at next_pointers.
Raster Dma Descriptor Chain: DMA chain final pointer is not terminated or self-loops · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at next_pointers.
Raster Dma Descriptor Chain: DMA chain final pointer is not terminated or self-loops · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at next_pointers.
Raster Dma Descriptor Chain: DMA chain final pointer is not terminated or self-loops · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at next_pointers.
Raster Dma Descriptor Chain: DMA chain final pointer is not terminated or self-loops · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at next_pointers.
Raster Dma Descriptor Chain: DMA completion marker is on first descriptor or absent · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at terminal_flags.
Raster Dma Descriptor Chain: DMA completion marker is on first descriptor or absent · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at terminal_flags.
Raster Dma Descriptor Chain: DMA completion marker is on first descriptor or absent · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at terminal_flags.
Raster Dma Descriptor Chain: DMA completion marker is on first descriptor or absent · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at terminal_flags.
Raster Dma Descriptor Chain: DMA completion marker is on first descriptor or absent · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at terminal_flags.
Raster Dma Descriptor Chain: Zero-row DMA starts an uninitialized descriptor or every chain is suppressed · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at head.
Raster Dma Descriptor Chain: Zero-row DMA starts an uninitialized descriptor or every chain is suppressed · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at head.
Raster Dma Descriptor Chain: Zero-row DMA starts an uninitialized descriptor or every chain is suppressed · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at head.
Raster Dma Descriptor Chain: Zero-row DMA starts an uninitialized descriptor or every chain is suppressed · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at head.
Raster Dma Descriptor Chain: Zero-row DMA starts an uninitialized descriptor or every chain is suppressed · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at head.
Raster Dma Descriptor Chain: DMA record swaps read and write addresses or transmits row padding · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptors.
Raster Dma Descriptor Chain: DMA record swaps read and write addresses or transmits row padding · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptors.
Raster Dma Descriptor Chain: DMA record swaps read and write addresses or transmits row padding · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptors.
Raster Dma Descriptor Chain: DMA record swaps read and write addresses or transmits row padding · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptors.
Raster Dma Descriptor Chain: DMA record swaps read and write addresses or transmits row padding · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at descriptors.
Page Split Texel Spans: Virtual texel byte address drops relocation or scanline padding · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_start.
Page Split Texel Spans: Virtual texel byte address drops relocation or scanline padding · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_start.
Page Split Texel Spans: Virtual texel byte address drops relocation or scanline padding · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_start.
Page Split Texel Spans: Virtual texel byte address drops relocation or scanline padding · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_start.
Page Split Texel Spans: Virtual texel byte address drops relocation or scanline padding · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at virtual_start.
Page Split Texel Spans: Virtual page ID uses texel size or rounds upward · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at first_page.
Page Split Texel Spans: Virtual page ID uses texel size or rounds upward · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at first_page.
Page Split Texel Spans: Virtual page ID uses texel size or rounds upward · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at first_page.
Page Split Texel Spans: Virtual page ID uses texel size or rounds upward · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at first_page.
Page Split Texel Spans: Virtual page ID uses texel size or rounds upward · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at first_page.
Page Split Texel Spans: Offset within page is replaced by page ID or texel-local offset · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at page_offset.
Page Split Texel Spans: Offset within page is replaced by page ID or texel-local offset · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at page_offset.
Page Split Texel Spans: Offset within page is replaced by page ID or texel-local offset · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at page_offset.
Page Split Texel Spans: Offset within page is replaced by page ID or texel-local offset · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at page_offset.
Page Split Texel Spans: Offset within page is replaced by page ID or texel-local offset · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at page_offset.
Page Split Texel Spans: First page transfer ignores page boundary or counts preceding bytes · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at first_bytes.
Page Split Texel Spans: First page transfer ignores page boundary or counts preceding bytes · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at first_bytes.
Page Split Texel Spans: First page transfer ignores page boundary or counts preceding bytes · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at first_bytes.
Page Split Texel Spans: First page transfer ignores page boundary or counts preceding bytes · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at first_bytes.
Page Split Texel Spans: First page transfer ignores page boundary or counts preceding bytes · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at first_bytes.
Page Split Texel Spans: Second page transfer repeats full texel or is always suppressed · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at remaining.
Page Split Texel Spans: Second page transfer repeats full texel or is always suppressed · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at remaining.
Page Split Texel Spans: Second page transfer repeats full texel or is always suppressed · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at remaining.
Page Split Texel Spans: Second page transfer repeats full texel or is always suppressed · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at remaining.
Page Split Texel Spans: Second page transfer repeats full texel or is always suppressed · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at remaining.
Page Split Texel Spans: Physical mapping bypassed or physical page ID not scaled · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at first_physical.
Page Split Texel Spans: Physical mapping bypassed or physical page ID not scaled · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at first_physical.
Page Split Texel Spans: Physical mapping bypassed or physical page ID not scaled · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at first_physical.
Page Split Texel Spans: Physical mapping bypassed or physical page ID not scaled · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at first_physical.
Page Split Texel Spans: Physical mapping bypassed or physical page ID not scaled · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at first_physical.
Page Split Texel Spans: Cross-page lookup assumes contiguous physical pages or repeats first page · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at second_physical.
Page Split Texel Spans: Cross-page lookup assumes contiguous physical pages or repeats first page · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at second_physical.
Page Split Texel Spans: Cross-page lookup assumes contiguous physical pages or repeats first page · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at second_physical.
Page Split Texel Spans: Cross-page lookup assumes contiguous physical pages or repeats first page · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at second_physical.
Page Split Texel Spans: Cross-page lookup assumes contiguous physical pages or repeats first page · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at second_physical.
Page Split Texel Spans: Texel gather drops second physical span or emits zero-length tail · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Page Split Texel Spans: Texel gather drops second physical span or emits zero-length tail · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Page Split Texel Spans: Texel gather drops second physical span or emits zero-length tail · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Page Split Texel Spans: Texel gather drops second physical span or emits zero-length tail · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Page Split Texel Spans: Texel gather drops second physical span or emits zero-length tail · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Page Split Texel Spans: Texel reassembly overwrites first chunk or uses page-size destination offset · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Page Split Texel Spans: Texel reassembly overwrites first chunk or uses page-size destination offset · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Page Split Texel Spans: Texel reassembly overwrites first chunk or uses page-size destination offset · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Page Split Texel Spans: Texel reassembly overwrites first chunk or uses page-size destination offset · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Page Split Texel Spans: Texel reassembly overwrites first chunk or uses page-size destination offset · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Page Split Texel Spans: Page-split texel byte list assumes contiguity or reverses page chunks · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_addresses.
Page Split Texel Spans: Page-split texel byte list assumes contiguity or reverses page chunks · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_addresses.
Page Split Texel Spans: Page-split texel byte list assumes contiguity or reverses page chunks · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_addresses.
Page Split Texel Spans: Page-split texel byte list assumes contiguity or reverses page chunks · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_addresses.
Page Split Texel Spans: Page-split texel byte list assumes contiguity or reverses page chunks · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at byte_addresses.
Heterogeneous Channel Records: Heterogeneous channel offsets assume uniform bytes or include current width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at channel_offsets.
Heterogeneous Channel Records: Heterogeneous channel offsets assume uniform bytes or include current width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at channel_offsets.
Heterogeneous Channel Records: Heterogeneous channel offsets assume uniform bytes or include current width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at channel_offsets.
Heterogeneous Channel Records: Heterogeneous channel offsets assume uniform bytes or include current width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at channel_offsets.
Heterogeneous Channel Records: Heterogeneous channel offsets assume uniform bytes or include current width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at channel_offsets.
Heterogeneous Channel Records: Pixel record pitch omits footer or pads all channels to largest width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_pitch.
Heterogeneous Channel Records: Pixel record pitch omits footer or pads all channels to largest width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_pitch.
Heterogeneous Channel Records: Pixel record pitch omits footer or pads all channels to largest width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_pitch.
Heterogeneous Channel Records: Pixel record pitch omits footer or pads all channels to largest width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_pitch.
Heterogeneous Channel Records: Pixel record pitch omits footer or pads all channels to largest width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_pitch.
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 ↗