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
Layer clip isolation: clear clip · case 01
Clearing a layer also clears its clipping region, preventing subsequent draws.
Layer clip isolation: clear clip · case 02
Clearing a layer also clears its clipping region, preventing subsequent draws.
Layer clip isolation: clear clip · case 03
Clearing a layer also clears its clipping region, preventing subsequent draws.
Layer clip isolation: clear clip · case 04
Clearing a layer also clears its clipping region, preventing subsequent draws.
Layer clip isolation: clear clip · case 05
Clearing a layer also clears its clipping region, preventing subsequent draws.
Layer clip isolation: end unmasked · case 01
Layer composition publishes child coverage outside the saved parent clip.
Layer clip isolation: end unmasked · case 02
Layer composition publishes child coverage outside the saved parent clip.
Layer clip isolation: end unmasked · case 03
Layer composition publishes child coverage outside the saved parent clip.
Layer clip isolation: end unmasked · case 04
Layer composition publishes child coverage outside the saved parent clip.
Layer clip isolation: end unmasked · case 05
Layer composition publishes child coverage outside the saved parent clip.
Layer clip isolation: end erases parent · case 01
Resolving a child replaces previously drawn parent samples.
Layer clip isolation: end erases parent · case 02
Resolving a child replaces previously drawn parent samples.
Layer clip isolation: end erases parent · case 03
Resolving a child replaces previously drawn parent samples.
Layer clip isolation: end erases parent · case 04
Resolving a child replaces previously drawn parent samples.
Layer clip isolation: end erases parent · case 05
Resolving a child replaces previously drawn parent samples.
Layer clip isolation: end restore region · case 01
Ending a layer loses the enclosing clip for later parent drawing.
Layer clip isolation: end restore region · case 02
Ending a layer loses the enclosing clip for later parent drawing.
Layer clip isolation: end restore region · case 03
Ending a layer loses the enclosing clip for later parent drawing.
Layer clip isolation: end restore region · case 04
Ending a layer loses the enclosing clip for later parent drawing.
Layer clip isolation: end restore region · case 05
Ending a layer loses the enclosing clip for later parent drawing.
Layer clip isolation: discard publishes · case 01
Discarding a layer leaks its temporary coverage into the parent.
Layer clip isolation: discard publishes · case 02
Discarding a layer leaks its temporary coverage into the parent.
Layer clip isolation: discard publishes · case 03
Discarding a layer leaks its temporary coverage into the parent.
Layer clip isolation: discard publishes · case 04
Discarding a layer leaks its temporary coverage into the parent.
Layer clip isolation: discard publishes · case 05
Discarding a layer leaks its temporary coverage into the parent.
Layer clip isolation: nested order · case 01
Nested layer completion resolves into the outermost parent first.
Layer clip isolation: nested order · case 02
Nested layer completion resolves into the outermost parent first.
Layer clip isolation: nested order · case 03
Nested layer completion resolves into the outermost parent first.
Layer clip isolation: nested order · case 04
Nested layer completion resolves into the outermost parent first.
Layer clip isolation: nested order · case 05
Nested layer completion resolves into the outermost parent first.
Deferred draw clip: snapshot current · case 01
Flush clips old submissions with the current clip rather than the submit-time snapshot.
Deferred draw clip: snapshot current · case 02
Flush clips old submissions with the current clip rather than the submit-time snapshot.
Deferred draw clip: snapshot current · case 03
Flush clips old submissions with the current clip rather than the submit-time snapshot.
Deferred draw clip: snapshot current · case 04
Flush clips old submissions with the current clip rather than the submit-time snapshot.
Deferred draw clip: snapshot current · case 05
Flush clips old submissions with the current clip rather than the submit-time snapshot.
Deferred draw clip: submit disable · case 01
A disabled clipping test suppresses drawing instead of passing full target coverage.
Deferred draw clip: submit disable · case 02
A disabled clipping test suppresses drawing instead of passing full target coverage.
Deferred draw clip: submit disable · case 03
A disabled clipping test suppresses drawing instead of passing full target coverage.
Deferred draw clip: submit disable · case 04
A disabled clipping test suppresses drawing instead of passing full target coverage.
Deferred draw clip: submit disable · case 05
A disabled clipping test suppresses drawing instead of passing full target coverage.
Deferred draw clip: submit inverted · case 01
Queue capture reverses normal and inverse-clip polarity.
Deferred draw clip: submit inverted · case 02
Queue capture reverses normal and inverse-clip polarity.
Deferred draw clip: submit inverted · case 03
Queue capture reverses normal and inverse-clip polarity.
Deferred draw clip: submit inverted · case 04
Queue capture reverses normal and inverse-clip polarity.
Deferred draw clip: submit inverted · case 05
Queue capture reverses normal and inverse-clip polarity.
Deferred draw clip: queue overwrite · case 01
A second deferred draw overwrites the first pending submission.
Deferred draw clip: queue overwrite · case 02
A second deferred draw overwrites the first pending submission.
Deferred draw clip: queue overwrite · case 03
A second deferred draw overwrites the first pending submission.
Deferred draw clip: queue overwrite · case 04
A second deferred draw overwrites the first pending submission.
Deferred draw clip: queue overwrite · case 05
A second deferred draw overwrites the first pending submission.
Deferred draw clip: cancel keeps · case 01
Cancellation keeps only the draw requested for removal.
Deferred draw clip: cancel keeps · case 02
Cancellation keeps only the draw requested for removal.
Deferred draw clip: cancel keeps · case 03
Cancellation keeps only the draw requested for removal.
Deferred draw clip: cancel keeps · case 04
Cancellation keeps only the draw requested for removal.
Deferred draw clip: cancel keeps · case 05
Cancellation keeps only the draw requested for removal.
Deferred draw clip: resize queued · case 01
Queued coverage outside a resized target survives into flush.
Deferred draw clip: resize queued · case 02
Queued coverage outside a resized target survives into flush.
Deferred draw clip: resize queued · case 03
Queued coverage outside a resized target survives into flush.
Deferred draw clip: resize queued · case 04
Queued coverage outside a resized target survives into flush.
Deferred draw clip: resize queued · case 05
Queued coverage outside a resized target survives into flush.
Deferred draw clip: resize expands · case 01
Resizing expands the remembered clip used by later submissions.
Deferred draw clip: resize expands · case 02
Resizing expands the remembered clip used by later submissions.
Deferred draw clip: resize expands · case 03
Resizing expands the remembered clip used by later submissions.
Deferred draw clip: resize expands · case 04
Resizing expands the remembered clip used by later submissions.
Deferred draw clip: resize expands · case 05
Resizing expands the remembered clip used by later submissions.
Deferred draw clip: flush reverses · case 01
Batch flushing reverses the order of submitted clipped draws.
Deferred draw clip: flush reverses · case 02
Batch flushing reverses the order of submitted clipped draws.
Deferred draw clip: flush reverses · case 03
Batch flushing reverses the order of submitted clipped draws.
Deferred draw clip: flush reverses · case 04
Batch flushing reverses the order of submitted clipped draws.
Deferred draw clip: flush reverses · case 05
Batch flushing reverses the order of submitted clipped draws.
Deferred draw clip: flush retains · case 01
Flushed submissions remain pending and are emitted again at the next barrier.
Deferred draw clip: flush retains · case 02
Flushed submissions remain pending and are emitted again at the next barrier.
Deferred draw clip: flush retains · case 03
Flushed submissions remain pending and are emitted again at the next barrier.
Deferred draw clip: flush retains · case 04
Flushed submissions remain pending and are emitted again at the next barrier.
Deferred draw clip: flush retains · case 05
Flushed submissions remain pending and are emitted again at the next barrier.
Deferred draw clip: barrier ignored · case 01
A clip-state barrier fails to emit pending coverage before following work.
Deferred draw clip: barrier ignored · case 02
A clip-state barrier fails to emit pending coverage before following work.
Deferred draw clip: barrier ignored · case 03
A clip-state barrier fails to emit pending coverage before following work.
Deferred draw clip: barrier ignored · case 04
A clip-state barrier fails to emit pending coverage before following work.
Deferred draw clip: barrier ignored · case 05
A clip-state barrier fails to emit pending coverage before following work.
Run length clip stream: seek relative · case 01
An absolute stream seek is decoded as a relative skip.
Run length clip stream: seek relative · case 02
An absolute stream seek is decoded as a relative skip.
Run length clip stream: seek relative · case 03
An absolute stream seek is decoded as a relative skip.
Run length clip stream: seek relative · case 04
An absolute stream seek is decoded as a relative skip.
Run length clip stream: seek relative · case 05
An absolute stream seek is decoded as a relative skip.
Run length clip stream: move clamped · case 01
A negative skip is clamped before the following run can be clipped correctly.
Run length clip stream: move clamped · case 02
A negative skip is clamped before the following run can be clipped correctly.
Run length clip stream: move clamped · case 03
A negative skip is clamped before the following run can be clipped correctly.
Run length clip stream: move clamped · case 04
A negative skip is clamped before the following run can be clipped correctly.
Run length clip stream: move clamped · case 05
A negative skip is clamped before the following run can be clipped correctly.
Run length clip stream: gap no advance · case 01
Uncovered runs fail to advance the clip stream cursor.
Run length clip stream: gap no advance · case 02
Uncovered runs fail to advance the clip stream cursor.
Run length clip stream: gap no advance · case 03
Uncovered runs fail to advance the clip stream cursor.
Run length clip stream: gap no advance · case 04
Uncovered runs fail to advance the clip stream cursor.
Run length clip stream: gap no advance · case 05
Uncovered runs fail to advance the clip stream cursor.
Run length clip stream: negative run advance · case 01
An invalid negative run silently rewinds the cursor instead of consuming zero samples.
Run length clip stream: negative run advance · case 02
An invalid negative run silently rewinds the cursor instead of consuming zero samples.
Run length clip stream: negative run advance · case 03
An invalid negative run silently rewinds the cursor instead of consuming zero samples.
Run length clip stream: negative run advance · case 04
An invalid negative run silently rewinds the cursor instead of consuming zero samples.
Run length clip stream: negative run advance · case 05
An invalid negative run silently rewinds the cursor instead of consuming zero samples.
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 ↗