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
Independent Chroma Planes: U pitch ignores plane guard or uses luma width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at u_pitch.
Independent Chroma Planes: U pitch ignores plane guard or uses luma width · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at u_pitch.
Independent Chroma Planes: U pitch ignores plane guard or uses luma width · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at u_pitch.
Independent Chroma Planes: U pitch ignores plane guard or uses luma width · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at u_pitch.
Independent Chroma Planes: U pitch ignores plane guard or uses luma width · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at u_pitch.
Independent Chroma Planes: V plane incorrectly inherits U pitch or drops its guard · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at v_pitch.
Independent Chroma Planes: V plane incorrectly inherits U pitch or drops its guard · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at v_pitch.
Independent Chroma Planes: V plane incorrectly inherits U pitch or drops its guard · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at v_pitch.
Independent Chroma Planes: V plane incorrectly inherits U pitch or drops its guard · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at v_pitch.
Independent Chroma Planes: V plane incorrectly inherits U pitch or drops its guard · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at v_pitch.
Independent Chroma Planes: U payload start omits plane headers · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at u_origin.
Independent Chroma Planes: U payload start omits plane headers · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at u_origin.
Independent Chroma Planes: U payload start omits plane headers · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at u_origin.
Independent Chroma Planes: U payload start omits plane headers · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at u_origin.
Independent Chroma Planes: U payload start omits plane headers · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at u_origin.
Independent Chroma Planes: V origin uses truncated U height or V pitch for U span · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at v_origin.
Independent Chroma Planes: V origin uses truncated U height or V pitch for U span · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at v_origin.
Independent Chroma Planes: V origin uses truncated U height or V pitch for U span · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at v_origin.
Independent Chroma Planes: V origin uses truncated U height or V pitch for U span · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at v_origin.
Independent Chroma Planes: V origin uses truncated U height or V pitch for U span · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at v_origin.
Independent Chroma Planes: Luma samples skip header or are accidentally subsampled · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Independent Chroma Planes: Luma samples skip header or are accidentally subsampled · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Independent Chroma Planes: Luma samples skip header or are accidentally subsampled · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Independent Chroma Planes: Luma samples skip header or are accidentally subsampled · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Independent Chroma Planes: Luma samples skip header or are accidentally subsampled · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Independent Chroma Planes: U addressing subsamples only one axis · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at u_address.
Independent Chroma Planes: U addressing subsamples only one axis · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at u_address.
Independent Chroma Planes: U addressing subsamples only one axis · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at u_address.
Independent Chroma Planes: U addressing subsamples only one axis · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at u_address.
Independent Chroma Planes: U addressing subsamples only one axis · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at u_address.
Independent Chroma Planes: V sample uses U base or U row pitch · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at v_address.
Independent Chroma Planes: V sample uses U base or U row pitch · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at v_address.
Independent Chroma Planes: V sample uses U base or U row pitch · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at v_address.
Independent Chroma Planes: V sample uses U base or U row pitch · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at v_address.
Independent Chroma Planes: V sample uses U base or U row pitch · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at v_address.
Independent Chroma Planes: Final planar extent uses U pitch or full luma height · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Independent Chroma Planes: Final planar extent uses U pitch or full luma height · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Independent Chroma Planes: Final planar extent uses U pitch or full luma height · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Independent Chroma Planes: Final planar extent uses U pitch or full luma height · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Independent Chroma Planes: Final planar extent uses U pitch or full luma height · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Semiplanar Padded Components: Semiplanar luma pitch drops sample width or guard · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_pitch.
Semiplanar Padded Components: Semiplanar luma pitch drops sample width or guard · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_pitch.
Semiplanar Padded Components: Semiplanar luma pitch drops sample width or guard · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_pitch.
Semiplanar Padded Components: Semiplanar luma pitch drops sample width or guard · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_pitch.
Semiplanar Padded Components: Semiplanar luma pitch drops sample width or guard · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_pitch.
Semiplanar Padded Components: UV-pair count drops odd edge or treats every luma texel as a pair · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pairs.
Semiplanar Padded Components: UV-pair count drops odd edge or treats every luma texel as a pair · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pairs.
Semiplanar Padded Components: UV-pair count drops odd edge or treats every luma texel as a pair · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pairs.
Semiplanar Padded Components: UV-pair count drops odd edge or treats every luma texel as a pair · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pairs.
Semiplanar Padded Components: UV-pair count drops odd edge or treats every luma texel as a pair · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pairs.
Semiplanar Padded Components: UV row count drops odd edge or remains full resolution · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_rows.
Semiplanar Padded Components: UV row count drops odd edge or remains full resolution · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_rows.
Semiplanar Padded Components: UV row count drops odd edge or remains full resolution · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_rows.
Semiplanar Padded Components: UV row count drops odd edge or remains full resolution · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_rows.
Semiplanar Padded Components: UV row count drops odd edge or remains full resolution · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_rows.
Semiplanar Padded Components: UV stride treats pair as one component or omits guard · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pitch.
Semiplanar Padded Components: UV stride treats pair as one component or omits guard · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pitch.
Semiplanar Padded Components: UV stride treats pair as one component or omits guard · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pitch.
Semiplanar Padded Components: UV stride treats pair as one component or omits guard · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pitch.
Semiplanar Padded Components: UV stride treats pair as one component or omits guard · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_pitch.
Semiplanar Padded Components: Chroma start excludes luma guards or separator · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_base.
Semiplanar Padded Components: Chroma start excludes luma guards or separator · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_base.
Semiplanar Padded Components: Chroma start excludes luma guards or separator · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_base.
Semiplanar Padded Components: Chroma start excludes luma guards or separator · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_base.
Semiplanar Padded Components: Chroma start excludes luma guards or separator · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at chroma_base.
Semiplanar Padded Components: Chroma pair addressing uses component stride or full-height coordinate · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_offset.
Semiplanar Padded Components: Chroma pair addressing uses component stride or full-height coordinate · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_offset.
Semiplanar Padded Components: Chroma pair addressing uses component stride or full-height coordinate · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_offset.
Semiplanar Padded Components: Chroma pair addressing uses component stride or full-height coordinate · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_offset.
Semiplanar Padded Components: Chroma pair addressing uses component stride or full-height coordinate · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at pair_offset.
Semiplanar Padded Components: UV component lane uses byte stride or reverses U and V · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at component_offset.
Semiplanar Padded Components: UV component lane uses byte stride or reverses U and V · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at component_offset.
Semiplanar Padded Components: UV component lane uses byte stride or reverses U and V · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at component_offset.
Semiplanar Padded Components: UV component lane uses byte stride or reverses U and V · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at component_offset.
Semiplanar Padded Components: UV component lane uses byte stride or reverses U and V · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at component_offset.
Semiplanar Padded Components: Already-byte UV offsets are scaled a second time · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_address.
Semiplanar Padded Components: Already-byte UV offsets are scaled a second time · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_address.
Semiplanar Padded Components: Already-byte UV offsets are scaled a second time · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_address.
Semiplanar Padded Components: Already-byte UV offsets are scaled a second time · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_address.
Semiplanar Padded Components: Already-byte UV offsets are scaled a second time · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at sample_address.
Semiplanar Padded Components: Luma addressing inherits chroma pitch or chroma row coordinate · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Semiplanar Padded Components: Luma addressing inherits chroma pitch or chroma row coordinate · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Semiplanar Padded Components: Luma addressing inherits chroma pitch or chroma row coordinate · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Semiplanar Padded Components: Luma addressing inherits chroma pitch or chroma row coordinate · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Semiplanar Padded Components: Luma addressing inherits chroma pitch or chroma row coordinate · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at luma_address.
Semiplanar Padded Components: Semiplanar allocation excludes UV guards or reuses luma pitch · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Semiplanar Padded Components: Semiplanar allocation excludes UV guards or reuses luma pitch · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Semiplanar Padded Components: Semiplanar allocation excludes UV guards or reuses luma pitch · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Semiplanar Padded Components: Semiplanar allocation excludes UV guards or reuses luma pitch · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Semiplanar Padded Components: Semiplanar allocation excludes UV guards or reuses luma pitch · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at allocation_end.
Field Separated Scanlines: Even field loses the extra row of odd-height frames · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at even_rows.
Field Separated Scanlines: Even field loses the extra row of odd-height frames · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at even_rows.
Field Separated Scanlines: Even field loses the extra row of odd-height frames · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at even_rows.
Field Separated Scanlines: Even field loses the extra row of odd-height frames · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at even_rows.
Field Separated Scanlines: Even field loses the extra row of odd-height frames · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at even_rows.
Field Separated Scanlines: Odd field allocates the even field extra scanline · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_rows.
Field Separated Scanlines: Odd field allocates the even field extra scanline · case 02
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_rows.
Field Separated Scanlines: Odd field allocates the even field extra scanline · case 03
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_rows.
Field Separated Scanlines: Odd field allocates the even field extra scanline · case 04
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_rows.
Field Separated Scanlines: Odd field allocates the even field extra scanline · case 05
The returned physical layout descriptor disagrees with the declared buffer mapping at odd_rows.
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 ↗