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
Chunked Row Groups: Within-group scanline retains global row coordinate · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at group_row.
Chunked Row Groups: Within-group scanline retains global row coordinate · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at group_row.
Chunked Row Groups: Within-group scanline retains global row coordinate · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at group_row.
Chunked Row Groups: Within-group scanline retains global row coordinate · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at group_row.
Chunked Row Groups: Within-group scanline retains global row coordinate · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at group_row.
Chunked Row Groups: Per-scanline checksum omitted or charged for every pixel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_span.
Chunked Row Groups: Per-scanline checksum omitted or charged for every pixel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_span.
Chunked Row Groups: Per-scanline checksum omitted or charged for every pixel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_span.
Chunked Row Groups: Per-scanline checksum omitted or charged for every pixel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_span.
Chunked Row Groups: Per-scanline checksum omitted or charged for every pixel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_span.
Chunked Row Groups: Row-group directory entry size confused with header or counted per row · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Chunked Row Groups: Row-group directory entry size confused with header or counted per row · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Chunked Row Groups: Row-group directory entry size confused with header or counted per row · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Chunked Row Groups: Row-group directory entry size confused with header or counted per row · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Chunked Row Groups: Row-group directory entry size confused with header or counted per row · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at directory_bytes.
Chunked Row Groups: Final group allocates nonexistent rows or headers omitted · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at group_sizes.
Chunked Row Groups: Final group allocates nonexistent rows or headers omitted · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at group_sizes.
Chunked Row Groups: Final group allocates nonexistent rows or headers omitted · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at group_sizes.
Chunked Row Groups: Final group allocates nonexistent rows or headers omitted · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at group_sizes.
Chunked Row Groups: Final group allocates nonexistent rows or headers omitted · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at group_sizes.
Chunked Row Groups: Group start omits intervening headers or directory prefix · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at group_origin.
Chunked Row Groups: Group start omits intervening headers or directory prefix · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at group_origin.
Chunked Row Groups: Group start omits intervening headers or directory prefix · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at group_origin.
Chunked Row Groups: Group start omits intervening headers or directory prefix · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at group_origin.
Chunked Row Groups: Group start omits intervening headers or directory prefix · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at group_origin.
Chunked Row Groups: Row-group pixel access reads header or ignores preceding checksums · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Chunked Row Groups: Row-group pixel access reads header or ignores preceding checksums · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Chunked Row Groups: Row-group pixel access reads header or ignores preceding checksums · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Chunked Row Groups: Row-group pixel access reads header or ignores preceding checksums · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Chunked Row Groups: Row-group pixel access reads header or ignores preceding checksums · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Chunked Row Groups: Checksum points to next row or start of pixel data · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at checksum.
Chunked Row Groups: Checksum points to next row or start of pixel data · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at checksum.
Chunked Row Groups: Checksum points to next row or start of pixel data · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at checksum.
Chunked Row Groups: Checksum points to next row or start of pixel data · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at checksum.
Chunked Row Groups: Checksum points to next row or start of pixel data · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at checksum.
Chunked Row Groups: Row-group allocation pads partial final group or omits directory · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Chunked Row Groups: Row-group allocation pads partial final group or omits directory · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Chunked Row Groups: Row-group allocation pads partial final group or omits directory · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Chunked Row Groups: Row-group allocation pads partial final group or omits directory · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Chunked Row Groups: Row-group allocation pads partial final group or omits directory · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Packed 422 Macropixels: Packed 422 allocation loses odd macropixel or doubles pairs · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pairs.
Packed 422 Macropixels: Packed 422 allocation loses odd macropixel or doubles pairs · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pairs.
Packed 422 Macropixels: Packed 422 allocation loses odd macropixel or doubles pairs · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pairs.
Packed 422 Macropixels: Packed 422 allocation loses odd macropixel or doubles pairs · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pairs.
Packed 422 Macropixels: Packed 422 allocation loses odd macropixel or doubles pairs · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pairs.
Packed 422 Macropixels: 422 pair lookup uses luma position or parity as pair index · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_id.
Packed 422 Macropixels: 422 pair lookup uses luma position or parity as pair index · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_id.
Packed 422 Macropixels: 422 pair lookup uses luma position or parity as pair index · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_id.
Packed 422 Macropixels: 422 pair lookup uses luma position or parity as pair index · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_id.
Packed 422 Macropixels: 422 pair lookup uses luma position or parity as pair index · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_id.
Packed 422 Macropixels: Second luma lane is confused with U or reversed · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_lane.
Packed 422 Macropixels: Second luma lane is confused with U or reversed · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_lane.
Packed 422 Macropixels: Second luma lane is confused with U or reversed · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_lane.
Packed 422 Macropixels: Second luma lane is confused with U or reversed · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_lane.
Packed 422 Macropixels: Second luma lane is confused with U or reversed · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_lane.
Packed 422 Macropixels: Component selector ignores odd luma lane or swaps chroma lanes · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at component_lane.
Packed 422 Macropixels: Component selector ignores odd luma lane or swaps chroma lanes · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at component_lane.
Packed 422 Macropixels: Component selector ignores odd luma lane or swaps chroma lanes · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at component_lane.
Packed 422 Macropixels: Component selector ignores odd luma lane or swaps chroma lanes · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at component_lane.
Packed 422 Macropixels: Component selector ignores odd luma lane or swaps chroma lanes · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at component_lane.
Packed 422 Macropixels: 422 pitch drops component width or odd-pair reserved luma · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Packed 422 Macropixels: 422 pitch drops component width or odd-pair reserved luma · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Packed 422 Macropixels: 422 pitch drops component width or odd-pair reserved luma · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Packed 422 Macropixels: 422 pitch drops component width or odd-pair reserved luma · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Packed 422 Macropixels: 422 pitch drops component width or odd-pair reserved luma · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
Packed 422 Macropixels: 422 rows are vertically subsampled or prefix omitted · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Packed 422 Macropixels: 422 rows are vertically subsampled or prefix omitted · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Packed 422 Macropixels: 422 rows are vertically subsampled or prefix omitted · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Packed 422 Macropixels: 422 rows are vertically subsampled or prefix omitted · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Packed 422 Macropixels: 422 rows are vertically subsampled or prefix omitted · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at row_origin.
Packed 422 Macropixels: 422 pair pitch counts byte components or omits duplicated luma · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_origin.
Packed 422 Macropixels: 422 pair pitch counts byte components or omits duplicated luma · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_origin.
Packed 422 Macropixels: 422 pair pitch counts byte components or omits duplicated luma · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_origin.
Packed 422 Macropixels: 422 pair pitch counts byte components or omits duplicated luma · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_origin.
Packed 422 Macropixels: 422 pair pitch counts byte components or omits duplicated luma · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_origin.
Packed 422 Macropixels: 422 lane offset uses one- or four-byte components · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Packed 422 Macropixels: 422 lane offset uses one- or four-byte components · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Packed 422 Macropixels: 422 lane offset uses one- or four-byte components · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Packed 422 Macropixels: 422 lane offset uses one- or four-byte components · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Packed 422 Macropixels: 422 lane offset uses one- or four-byte components · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at address.
Packed 422 Macropixels: Macropixel validity includes padding luma or drops every second pixel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_luma_slots.
Packed 422 Macropixels: Macropixel validity includes padding luma or drops every second pixel · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_luma_slots.
Packed 422 Macropixels: Macropixel validity includes padding luma or drops every second pixel · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_luma_slots.
Packed 422 Macropixels: Macropixel validity includes padding luma or drops every second pixel · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_luma_slots.
Packed 422 Macropixels: Macropixel validity includes padding luma or drops every second pixel · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at valid_luma_slots.
Packed 422 Macropixels: 422 allocation omits row prefixes or applies 420 height · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Packed 422 Macropixels: 422 allocation omits row prefixes or applies 420 height · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Packed 422 Macropixels: 422 allocation omits row prefixes or applies 420 height · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Packed 422 Macropixels: 422 allocation omits row prefixes or applies 420 height · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Packed 422 Macropixels: 422 allocation omits row prefixes or applies 420 height · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Capture Ring Frame Slots: Capture payload ignores pixel width or counts entire ring · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_bytes.
Capture Ring Frame Slots: Capture payload ignores pixel width or counts entire ring · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_bytes.
Capture Ring Frame Slots: Capture payload ignores pixel width or counts entire ring · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_bytes.
Capture Ring Frame Slots: Capture payload ignores pixel width or counts entire ring · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_bytes.
Capture Ring Frame Slots: Capture payload ignores pixel width or counts entire ring · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at payload_bytes.
Capture Ring Frame Slots: Capture slot pitch excludes fence or generation header · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Capture Ring Frame Slots: Capture slot pitch excludes fence or generation header · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Capture Ring Frame Slots: Capture slot pitch excludes fence or generation header · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Capture Ring Frame Slots: Capture slot pitch excludes fence or generation header · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_pitch.
Capture Ring Frame Slots: Capture slot pitch excludes fence or generation header · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at slot_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 ↗