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
Failed background refresh leaves a permanent in-flight marker · case 01
Failed background refresh leaves a permanent in-flight marker.
Failed background refresh leaves a permanent in-flight marker · case 02
Failed background refresh leaves a permanent in-flight marker.
Failed background refresh leaves a permanent in-flight marker · case 03
Failed background refresh leaves a permanent in-flight marker.
Failed background refresh leaves a permanent in-flight marker · case 04
Failed background refresh leaves a permanent in-flight marker.
Failed background refresh leaves a permanent in-flight marker · case 05
Failed background refresh leaves a permanent in-flight marker.
An older refresh completion overwrites a newer cached representation · case 01
An older refresh completion overwrites a newer cached representation.
An older refresh completion overwrites a newer cached representation · case 02
An older refresh completion overwrites a newer cached representation.
An older refresh completion overwrites a newer cached representation · case 03
An older refresh completion overwrites a newer cached representation.
An older refresh completion overwrites a newer cached representation · case 04
An older refresh completion overwrites a newer cached representation.
An older refresh completion overwrites a newer cached representation · case 05
An older refresh completion overwrites a newer cached representation.
An expiration sweep stops at a live entry and leaves later expired entries · case 01
An expiration sweep stops at a live entry and leaves later expired entries.
An expiration sweep stops at a live entry and leaves later expired entries · case 02
An expiration sweep stops at a live entry and leaves later expired entries.
An expiration sweep stops at a live entry and leaves later expired entries · case 03
An expiration sweep stops at a live entry and leaves later expired entries.
An expiration sweep stops at a live entry and leaves later expired entries · case 04
An expiration sweep stops at a live entry and leaves later expired entries.
An expiration sweep stops at a live entry and leaves later expired entries · case 05
An expiration sweep stops at a live entry and leaves later expired entries.
A sliding cache read moves the deadline even when the entry has already expired · case 01
A sliding cache read moves the deadline even when the entry has already expired.
A sliding cache read moves the deadline even when the entry has already expired · case 02
A sliding cache read moves the deadline even when the entry has already expired.
A sliding cache read moves the deadline even when the entry has already expired · case 03
A sliding cache read moves the deadline even when the entry has already expired.
A sliding cache read moves the deadline even when the entry has already expired · case 04
A sliding cache read moves the deadline even when the entry has already expired.
A sliding cache read moves the deadline even when the entry has already expired · case 05
A sliding cache read moves the deadline even when the entry has already expired.
Batch cache retrieval loses request order and duplicate positions · case 01
Batch cache retrieval loses request order and duplicate positions.
Batch cache retrieval loses request order and duplicate positions · case 02
Batch cache retrieval loses request order and duplicate positions.
Batch cache retrieval loses request order and duplicate positions · case 03
Batch cache retrieval loses request order and duplicate positions.
Batch cache retrieval loses request order and duplicate positions · case 04
Batch cache retrieval loses request order and duplicate positions.
Batch cache retrieval loses request order and duplicate positions · case 05
Batch cache retrieval loses request order and duplicate positions.
An L2 hit fails to populate the faster cache tier · case 01
An L2 hit fails to populate the faster cache tier.
An L2 hit fails to populate the faster cache tier · case 02
An L2 hit fails to populate the faster cache tier.
An L2 hit fails to populate the faster cache tier · case 03
An L2 hit fails to populate the faster cache tier.
An L2 hit fails to populate the faster cache tier · case 04
An L2 hit fails to populate the faster cache tier.
An L2 hit fails to populate the faster cache tier · case 05
An L2 hit fails to populate the faster cache tier.
Straight alpha source over channel · case 01
A straight source channel is treated as already premultiplied.
Straight alpha source over channel · case 02
A straight source channel is treated as already premultiplied.
Straight alpha source over channel · case 03
A straight source channel is treated as already premultiplied.
Straight alpha source over channel · case 04
A straight source channel is treated as already premultiplied.
Straight alpha source over channel · case 05
A straight source channel is treated as already premultiplied.
Premultiplied source over channel · case 01
Premultiplied foreground is multiplied by opacity a second time.
Premultiplied source over channel · case 02
Premultiplied foreground is multiplied by opacity a second time.
Premultiplied source over channel · case 03
Premultiplied foreground is multiplied by opacity a second time.
Premultiplied source over channel · case 04
Premultiplied foreground is multiplied by opacity a second time.
Premultiplied source over channel · case 05
Premultiplied foreground is multiplied by opacity a second time.
Source over alpha union · case 01
Adding opacities treats overlap as disjoint coverage.
Source over alpha union · case 02
Adding opacities treats overlap as disjoint coverage.
Source over alpha union · case 03
Adding opacities treats overlap as disjoint coverage.
Source over alpha union · case 04
Adding opacities treats overlap as disjoint coverage.
Source over alpha union · case 05
Adding opacities treats overlap as disjoint coverage.
Premultiply all color channels · case 01
Straight RGB channels enter a pipeline that expects premultiplied channels.
Premultiply all color channels · case 02
Straight RGB channels enter a pipeline that expects premultiplied channels.
Premultiply all color channels · case 03
Straight RGB channels enter a pipeline that expects premultiplied channels.
Premultiply all color channels · case 04
Straight RGB channels enter a pipeline that expects premultiplied channels.
Premultiply all color channels · case 05
Straight RGB channels enter a pipeline that expects premultiplied channels.
Unpremultiply transparent color · case 01
Premultiplied channels are exposed as straight channels and darken translucent pixels.
Unpremultiply transparent color · case 02
Premultiplied channels are exposed as straight channels and darken translucent pixels.
Unpremultiply transparent color · case 03
Premultiplied channels are exposed as straight channels and darken translucent pixels.
Unpremultiply transparent color · case 04
Premultiplied channels are exposed as straight channels and darken translucent pixels.
Unpremultiply transparent color · case 05
Premultiplied channels are exposed as straight channels and darken translucent pixels.
Global opacity premultiplied · case 01
Layer opacity reduces alpha while leaving premultiplied color unchanged.
Global opacity premultiplied · case 02
Layer opacity reduces alpha while leaving premultiplied color unchanged.
Global opacity premultiplied · case 03
Layer opacity reduces alpha while leaving premultiplied color unchanged.
Global opacity premultiplied · case 04
Layer opacity reduces alpha while leaving premultiplied color unchanged.
Global opacity premultiplied · case 05
Layer opacity reduces alpha while leaving premultiplied color unchanged.
Destination out preserves uncovered · case 01
The erased coverage is retained instead of its complement.
Destination out preserves uncovered · case 02
The erased coverage is retained instead of its complement.
Destination out preserves uncovered · case 03
The erased coverage is retained instead of its complement.
Destination out preserves uncovered · case 04
The erased coverage is retained instead of its complement.
Destination out preserves uncovered · case 05
The erased coverage is retained instead of its complement.
Source in clips premultiplied · case 01
Source-in ignores the destination coverage mask.
Source in clips premultiplied · case 02
Source-in ignores the destination coverage mask.
Source in clips premultiplied · case 03
Source-in ignores the destination coverage mask.
Source in clips premultiplied · case 04
Source-in ignores the destination coverage mask.
Source in clips premultiplied · case 05
Source-in ignores the destination coverage mask.
Xor disjoint coverage · case 01
Adding both channels retains their overlap during exclusive compositing.
Xor disjoint coverage · case 02
Adding both channels retains their overlap during exclusive compositing.
Xor disjoint coverage · case 03
Adding both channels retains their overlap during exclusive compositing.
Xor disjoint coverage · case 04
Adding both channels retains their overlap during exclusive compositing.
Xor disjoint coverage · case 05
Adding both channels retains their overlap during exclusive compositing.
Plus blend clamps channel · case 01
Additive blend writes values above the normalized render-target maximum.
Plus blend clamps channel · case 02
Additive blend writes values above the normalized render-target maximum.
Plus blend clamps channel · case 03
Additive blend writes values above the normalized render-target maximum.
Plus blend clamps channel · case 04
Additive blend writes values above the normalized render-target maximum.
Plus blend clamps channel · case 05
Additive blend writes values above the normalized render-target maximum.
Screen blend complement product · case 01
Multiplication computes a darkening blend rather than screen.
Screen blend complement product · case 02
Multiplication computes a darkening blend rather than screen.
Screen blend complement product · case 03
Multiplication computes a darkening blend rather than screen.
Screen blend complement product · case 04
Multiplication computes a darkening blend rather than screen.
Screen blend complement product · case 05
Multiplication computes a darkening blend rather than screen.
Overlay branches on backdrop · case 01
Overlay uses source brightness to choose its branch, yielding hard-light instead.
Overlay branches on backdrop · case 02
Overlay uses source brightness to choose its branch, yielding hard-light instead.
Overlay branches on backdrop · case 03
Overlay uses source brightness to choose its branch, yielding hard-light instead.
Overlay branches on backdrop · case 04
Overlay uses source brightness to choose its branch, yielding hard-light instead.
Overlay branches on backdrop · case 05
Overlay uses source brightness to choose its branch, yielding hard-light instead.
Rgba byte channel reorder · case 01
An RGBA source buffer is uploaded unchanged to a BGRA consumer.
Rgba byte channel reorder · case 02
An RGBA source buffer is uploaded unchanged to a BGRA consumer.
Rgba byte channel reorder · case 03
An RGBA source buffer is uploaded unchanged to a BGRA consumer.
Rgba byte channel reorder · case 04
An RGBA source buffer is uploaded unchanged to a BGRA consumer.
Rgba byte channel reorder · case 05
An RGBA source buffer is uploaded unchanged to a BGRA consumer.
Pack rgba big endian word · case 01
Packing assumes little-endian channel significance instead of the stated integer layout.
Pack rgba big endian word · case 02
Packing assumes little-endian channel significance instead of the stated integer layout.
Pack rgba big endian word · case 03
Packing assumes little-endian channel significance instead of the stated integer layout.
Pack rgba big endian word · case 04
Packing assumes little-endian channel significance instead of the stated integer layout.
Pack rgba big endian word · case 05
Packing assumes little-endian channel significance instead of the stated integer layout.
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 ↗