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
Capture Ring Frame Slots: Ring write slot uses epoch or previous generation · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at write_slot.
Capture Ring Frame Slots: Ring write slot uses epoch or previous generation · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at write_slot.
Capture Ring Frame Slots: Ring write slot uses epoch or previous generation · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at write_slot.
Capture Ring Frame Slots: Ring write slot uses epoch or previous generation · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at write_slot.
Capture Ring Frame Slots: Ring write slot uses epoch or previous generation · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at write_slot.
Capture Ring Frame Slots: Readback selects current write slot or generation epoch · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at read_slot.
Capture Ring Frame Slots: Readback selects current write slot or generation epoch · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at read_slot.
Capture Ring Frame Slots: Readback selects current write slot or generation epoch · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at read_slot.
Capture Ring Frame Slots: Readback selects current write slot or generation epoch · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at read_slot.
Capture Ring Frame Slots: Readback selects current write slot or generation epoch · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at read_slot.
Capture Ring Frame Slots: Ring write origin omits slot framing or fence pitch · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at write_header.
Capture Ring Frame Slots: Ring write origin omits slot framing or fence pitch · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at write_header.
Capture Ring Frame Slots: Ring write origin omits slot framing or fence pitch · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at write_header.
Capture Ring Frame Slots: Ring write origin omits slot framing or fence pitch · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at write_header.
Capture Ring Frame Slots: Ring write origin omits slot framing or fence pitch · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at write_header.
Capture Ring Frame Slots: Ring read origin aliases writer or excludes slot framing · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at read_header.
Capture Ring Frame Slots: Ring read origin aliases writer or excludes slot framing · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at read_header.
Capture Ring Frame Slots: Ring read origin aliases writer or excludes slot framing · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at read_header.
Capture Ring Frame Slots: Ring read origin aliases writer or excludes slot framing · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at read_header.
Capture Ring Frame Slots: Ring read origin aliases writer or excludes slot framing · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at read_header.
Capture Ring Frame Slots: Ring reuse freshness compares slots instead of full generations · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at fresh.
Capture Ring Frame Slots: Ring reuse freshness compares slots instead of full generations · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at fresh.
Capture Ring Frame Slots: Ring reuse freshness compares slots instead of full generations · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at fresh.
Capture Ring Frame Slots: Ring reuse freshness compares slots instead of full generations · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at fresh.
Capture Ring Frame Slots: Ring reuse freshness compares slots instead of full generations · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at fresh.
Capture Ring Frame Slots: Readback accesses header or current write frame · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at read_address.
Capture Ring Frame Slots: Readback accesses header or current write frame · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at read_address.
Capture Ring Frame Slots: Readback accesses header or current write frame · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at read_address.
Capture Ring Frame Slots: Readback accesses header or current write frame · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at read_address.
Capture Ring Frame Slots: Readback accesses header or current write frame · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at read_address.
Capture Ring Frame Slots: Capture fence overwrites final pixels or next slot header · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at fence_address.
Capture Ring Frame Slots: Capture fence overwrites final pixels or next slot header · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at fence_address.
Capture Ring Frame Slots: Capture fence overwrites final pixels or next slot header · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at fence_address.
Capture Ring Frame Slots: Capture fence overwrites final pixels or next slot header · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at fence_address.
Capture Ring Frame Slots: Capture fence overwrites final pixels or next slot header · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at fence_address.
Capture Ring Frame Slots: Ring allocation omits framing or one slot · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Capture Ring Frame Slots: Ring allocation omits framing or one slot · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Capture Ring Frame Slots: Ring allocation omits framing or one slot · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Capture Ring Frame Slots: Ring allocation omits framing or one slot · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Capture Ring Frame Slots: Ring allocation omits framing or one slot · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Scanline Scatter Gather: First segment length ignores request origin or request endpoint · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at left_count.
Scanline Scatter Gather: First segment length ignores request origin or request endpoint · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at left_count.
Scanline Scatter Gather: First segment length ignores request origin or request endpoint · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at left_count.
Scanline Scatter Gather: First segment length ignores request origin or request endpoint · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at left_count.
Scanline Scatter Gather: First segment length ignores request origin or request endpoint · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at left_count.
Scanline Scatter Gather: Second segment length includes first segment or subtracts absolute split · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at right_count.
Scanline Scatter Gather: Second segment length includes first segment or subtracts absolute split · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at right_count.
Scanline Scatter Gather: Second segment length includes first segment or subtracts absolute split · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at right_count.
Scanline Scatter Gather: Second segment length includes first segment or subtracts absolute split · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at right_count.
Scanline Scatter Gather: Second segment length includes first segment or subtracts absolute split · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at right_count.
Scanline Scatter Gather: First segment origin omits x offset or byte conversion · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at left_start.
Scanline Scatter Gather: First segment origin omits x offset or byte conversion · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at left_start.
Scanline Scatter Gather: First segment origin omits x offset or byte conversion · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at left_start.
Scanline Scatter Gather: First segment origin omits x offset or byte conversion · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at left_start.
Scanline Scatter Gather: First segment origin omits x offset or byte conversion · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at left_start.
Scanline Scatter Gather: Second segment local origin retains global coordinate or becomes negative · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at right_local.
Scanline Scatter Gather: Second segment local origin retains global coordinate or becomes negative · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at right_local.
Scanline Scatter Gather: Second segment local origin retains global coordinate or becomes negative · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at right_local.
Scanline Scatter Gather: Second segment local origin retains global coordinate or becomes negative · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at right_local.
Scanline Scatter Gather: Second segment local origin retains global coordinate or becomes negative · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at right_local.
Scanline Scatter Gather: Second segment assumes physical adjacency or loses pixel width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at right_start.
Scanline Scatter Gather: Second segment assumes physical adjacency or loses pixel width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at right_start.
Scanline Scatter Gather: Second segment assumes physical adjacency or loses pixel width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at right_start.
Scanline Scatter Gather: Second segment assumes physical adjacency or loses pixel width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at right_start.
Scanline Scatter Gather: Second segment assumes physical adjacency or loses pixel width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at right_start.
Scanline Scatter Gather: First span size is pixel count or entire segment extent · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at left_bytes.
Scanline Scatter Gather: First span size is pixel count or entire segment extent · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at left_bytes.
Scanline Scatter Gather: First span size is pixel count or entire segment extent · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at left_bytes.
Scanline Scatter Gather: First span size is pixel count or entire segment extent · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at left_bytes.
Scanline Scatter Gather: First span size is pixel count or entire segment extent · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at left_bytes.
Scanline Scatter Gather: Second span size is pixels or full remaining scanline · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at right_bytes.
Scanline Scatter Gather: Second span size is pixels or full remaining scanline · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at right_bytes.
Scanline Scatter Gather: Second span size is pixels or full remaining scanline · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at right_bytes.
Scanline Scatter Gather: Second span size is pixels or full remaining scanline · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at right_bytes.
Scanline Scatter Gather: Second span size is pixels or full remaining scanline · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at right_bytes.
Scanline Scatter Gather: Scatter-gather emits empty spans or reverses logical raster order · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Scanline Scatter Gather: Scatter-gather emits empty spans or reverses logical raster order · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Scanline Scatter Gather: Scatter-gather emits empty spans or reverses logical raster order · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Scanline Scatter Gather: Scatter-gather emits empty spans or reverses logical raster order · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Scanline Scatter Gather: Scatter-gather emits empty spans or reverses logical raster order · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at spans.
Scanline Scatter Gather: Gather destination overwrites first segment or uses pixel offset · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Scanline Scatter Gather: Gather destination overwrites first segment or uses pixel offset · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Scanline Scatter Gather: Gather destination overwrites first segment or uses pixel offset · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Scanline Scatter Gather: Gather destination overwrites first segment or uses pixel offset · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Scanline Scatter Gather: Gather destination overwrites first segment or uses pixel offset · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at destination_offsets.
Scanline Scatter Gather: Gather output extent uses full row or sums addresses · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at total_bytes.
Scanline Scatter Gather: Gather output extent uses full row or sums addresses · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at total_bytes.
Scanline Scatter Gather: Gather output extent uses full row or sums addresses · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at total_bytes.
Scanline Scatter Gather: Gather output extent uses full row or sums addresses · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at total_bytes.
Scanline Scatter Gather: Gather output extent uses full row or sums addresses · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at total_bytes.
Virtual Texture Gutter Atlas: Atlas residency mapping bypassed or physical row discarded · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at cell.
Virtual Texture Gutter Atlas: Atlas residency mapping bypassed or physical row discarded · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at cell.
Virtual Texture Gutter Atlas: Atlas residency mapping bypassed or physical row discarded · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at cell.
Virtual Texture Gutter Atlas: Atlas residency mapping bypassed or physical row discarded · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at cell.
Virtual Texture Gutter Atlas: Atlas residency mapping bypassed or physical row discarded · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at cell.
Virtual Texture Gutter Atlas: Atlas cells transpose coordinates or use tile interior width as columns · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_xy.
Virtual Texture Gutter Atlas: Atlas cells transpose coordinates or use tile interior width as columns · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_xy.
Virtual Texture Gutter Atlas: Atlas cells transpose coordinates or use tile interior width as columns · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_xy.
Virtual Texture Gutter Atlas: Atlas cells transpose coordinates or use tile interior width as columns · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_xy.
Virtual Texture Gutter Atlas: Atlas cells transpose coordinates or use tile interior width as columns · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at cell_xy.
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 ↗