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
Dashed stroke clip phase: advance ignored · case 01
Skipped stroke distance does not advance dash phase.
Dashed stroke clip phase: advance ignored · case 02
Skipped stroke distance does not advance dash phase.
Dashed stroke clip phase: advance ignored · case 03
Skipped stroke distance does not advance dash phase.
Dashed stroke clip phase: advance ignored · case 04
Skipped stroke distance does not advance dash phase.
Dashed stroke clip phase: advance ignored · case 05
Skipped stroke distance does not advance dash phase.
Dashed stroke clip phase: clipped phase · case 01
Clipped-out and off-dash samples are omitted from path phase advancement.
Dashed stroke clip phase: clipped phase · case 02
Clipped-out and off-dash samples are omitted from path phase advancement.
Dashed stroke clip phase: clipped phase · case 03
Clipped-out and off-dash samples are omitted from path phase advancement.
Dashed stroke clip phase: clipped phase · case 04
Clipped-out and off-dash samples are omitted from path phase advancement.
Dashed stroke clip phase: clipped phase · case 05
Clipped-out and off-dash samples are omitted from path phase advancement.
Dashed stroke clip phase: dash boundary · case 01
An exact dash boundary is assigned to the preceding run.
Dashed stroke clip phase: dash boundary · case 02
An exact dash boundary is assigned to the preceding run.
Dashed stroke clip phase: dash boundary · case 03
An exact dash boundary is assigned to the preceding run.
Dashed stroke clip phase: dash boundary · case 04
An exact dash boundary is assigned to the preceding run.
Dashed stroke clip phase: dash boundary · case 05
An exact dash boundary is assigned to the preceding run.
Dashed stroke clip phase: phase offset sign · case 01
The configured phase is subtracted instead of added before dash lookup.
Dashed stroke clip phase: phase offset sign · case 02
The configured phase is subtracted instead of added before dash lookup.
Dashed stroke clip phase: phase offset sign · case 03
The configured phase is subtracted instead of added before dash lookup.
Dashed stroke clip phase: phase offset sign · case 04
The configured phase is subtracted instead of added before dash lookup.
Dashed stroke clip phase: phase offset sign · case 05
The configured phase is subtracted instead of added before dash lookup.
Dashed stroke clip phase: segment local index · case 01
All samples in a draw share the first sample dash decision.
Dashed stroke clip phase: segment local index · case 02
All samples in a draw share the first sample dash decision.
Dashed stroke clip phase: segment local index · case 03
All samples in a draw share the first sample dash decision.
Dashed stroke clip phase: segment local index · case 04
All samples in a draw share the first sample dash decision.
Dashed stroke clip phase: segment local index · case 05
All samples in a draw share the first sample dash decision.
Dashed stroke clip phase: solid empty · case 01
An empty dash array is interpreted as an entirely off stroke.
Dashed stroke clip phase: solid empty · case 02
An empty dash array is interpreted as an entirely off stroke.
Dashed stroke clip phase: solid empty · case 03
An empty dash array is interpreted as an entirely off stroke.
Dashed stroke clip phase: solid empty · case 04
An empty dash array is interpreted as an entirely off stroke.
Dashed stroke clip phase: solid empty · case 05
An empty dash array is interpreted as an entirely off stroke.
Overlap count clip regions: replacement subtract · case 01
Replacing or moving a source leaves its old coverage contribution behind.
Overlap count clip regions: replacement subtract · case 02
Replacing or moving a source leaves its old coverage contribution behind.
Overlap count clip regions: replacement subtract · case 03
Replacing or moving a source leaves its old coverage contribution behind.
Overlap count clip regions: replacement subtract · case 04
Replacing or moving a source leaves its old coverage contribution behind.
Overlap count clip regions: replacement subtract · case 05
Replacing or moving a source leaves its old coverage contribution behind.
Overlap count clip regions: source original retention · case 01
Storing only initially visible source samples loses exterior coverage needed by later translations.
Overlap count clip regions: source original retention · case 02
Storing only initially visible source samples loses exterior coverage needed by later translations.
Overlap count clip regions: source original retention · case 03
Storing only initially visible source samples loses exterior coverage needed by later translations.
Overlap count clip regions: source original retention · case 04
Storing only initially visible source samples loses exterior coverage needed by later translations.
Overlap count clip regions: source original retention · case 05
Storing only initially visible source samples loses exterior coverage needed by later translations.
Overlap count clip regions: move exterior · case 01
Clipping a source before translation prevents exterior coverage from entering the surface.
Overlap count clip regions: move exterior · case 02
Clipping a source before translation prevents exterior coverage from entering the surface.
Overlap count clip regions: move exterior · case 03
Clipping a source before translation prevents exterior coverage from entering the surface.
Overlap count clip regions: move exterior · case 04
Clipping a source before translation prevents exterior coverage from entering the surface.
Overlap count clip regions: move exterior · case 05
Clipping a source before translation prevents exterior coverage from entering the surface.
Overlap count clip regions: move direction · case 01
Moving a clip source applies displacement with reversed sign.
Overlap count clip regions: move direction · case 02
Moving a clip source applies displacement with reversed sign.
Overlap count clip regions: move direction · case 03
Moving a clip source applies displacement with reversed sign.
Overlap count clip regions: move direction · case 04
Moving a clip source applies displacement with reversed sign.
Overlap count clip regions: move direction · case 05
Moving a clip source applies displacement with reversed sign.
Overlap count clip regions: remove forgets id · case 01
Removing a source leaves its membership record live and a second remove decrements unrelated overlap counts.
Overlap count clip regions: remove forgets id · case 02
Removing a source leaves its membership record live and a second remove decrements unrelated overlap counts.
Overlap count clip regions: remove forgets id · case 03
Removing a source leaves its membership record live and a second remove decrements unrelated overlap counts.
Overlap count clip regions: remove forgets id · case 04
Removing a source leaves its membership record live and a second remove decrements unrelated overlap counts.
Overlap count clip regions: remove forgets id · case 05
Removing a source leaves its membership record live and a second remove decrements unrelated overlap counts.
Overlap count clip regions: new source count · case 01
Writing one instead of incrementing erases overlap multiplicity between independent sources.
Overlap count clip regions: new source count · case 02
Writing one instead of incrementing erases overlap multiplicity between independent sources.
Overlap count clip regions: new source count · case 03
Writing one instead of incrementing erases overlap multiplicity between independent sources.
Overlap count clip regions: new source count · case 04
Writing one instead of incrementing erases overlap multiplicity between independent sources.
Overlap count clip regions: new source count · case 05
Writing one instead of incrementing erases overlap multiplicity between independent sources.
Overlap count clip regions: union threshold · case 01
The union clip includes samples with no contributing source.
Overlap count clip regions: union threshold · case 02
The union clip includes samples with no contributing source.
Overlap count clip regions: union threshold · case 03
The union clip includes samples with no contributing source.
Overlap count clip regions: union threshold · case 04
The union clip includes samples with no contributing source.
Overlap count clip regions: union threshold · case 05
The union clip includes samples with no contributing source.
Overlap count clip regions: single threshold · case 01
Exactly-one clipping accepts multiply covered samples.
Overlap count clip regions: single threshold · case 02
Exactly-one clipping accepts multiply covered samples.
Overlap count clip regions: single threshold · case 03
Exactly-one clipping accepts multiply covered samples.
Overlap count clip regions: single threshold · case 04
Exactly-one clipping accepts multiply covered samples.
Overlap count clip regions: single threshold · case 05
Exactly-one clipping accepts multiply covered samples.
Overlap count clip regions: overlap threshold · case 01
At-least-two clipping rejects samples covered by three sources.
Overlap count clip regions: overlap threshold · case 02
At-least-two clipping rejects samples covered by three sources.
Overlap count clip regions: overlap threshold · case 03
At-least-two clipping rejects samples covered by three sources.
Overlap count clip regions: overlap threshold · case 04
At-least-two clipping rejects samples covered by three sources.
Overlap count clip regions: overlap threshold · case 05
At-least-two clipping rejects samples covered by three sources.
Overlap count clip regions: parity threshold · case 01
Odd clipping rejects triple coverage.
Overlap count clip regions: parity threshold · case 02
Odd clipping rejects triple coverage.
Overlap count clip regions: parity threshold · case 03
Odd clipping rejects triple coverage.
Overlap count clip regions: parity threshold · case 04
Odd clipping rejects triple coverage.
Overlap count clip regions: parity threshold · case 05
Odd clipping rejects triple coverage.
Stroke component clip union: inactive body · case 01
Inactive dash segments are rasterized whenever their body samples are nonempty.
Stroke component clip union: inactive body · case 02
Inactive dash segments are rasterized whenever their body samples are nonempty.
Stroke component clip union: inactive body · case 03
Inactive dash segments are rasterized whenever their body samples are nonempty.
Stroke component clip union: inactive body · case 04
Inactive dash segments are rasterized whenever their body samples are nonempty.
Stroke component clip union: inactive body · case 05
Inactive dash segments are rasterized whenever their body samples are nonempty.
Stroke component clip union: empty body caps · case 01
An active zero-length segment loses precomputed round-cap coverage.
Stroke component clip union: empty body caps · case 02
An active zero-length segment loses precomputed round-cap coverage.
Stroke component clip union: empty body caps · case 03
An active zero-length segment loses precomputed round-cap coverage.
Stroke component clip union: empty body caps · case 04
An active zero-length segment loses precomputed round-cap coverage.
Stroke component clip union: empty body caps · case 05
An active zero-length segment loses precomputed round-cap coverage.
Stroke component clip union: closed start adjacency · case 01
A closed path emits an open start cap at its seam.
Stroke component clip union: closed start adjacency · case 02
A closed path emits an open start cap at its seam.
Stroke component clip union: closed start adjacency · case 03
A closed path emits an open start cap at its seam.
Stroke component clip union: closed start adjacency · case 04
A closed path emits an open start cap at its seam.
Stroke component clip union: closed start adjacency · case 05
A closed path emits an open start cap at its seam.
Stroke component clip union: closed end adjacency · case 01
A closed path emits an end cap and omits its closing join.
Stroke component clip union: closed end adjacency · case 02
A closed path emits an end cap and omits its closing join.
Stroke component clip union: closed end adjacency · case 03
A closed path emits an end cap and omits its closing join.
Stroke component clip union: closed end adjacency · case 04
A closed path emits an end cap and omits its closing join.
Stroke component clip union: closed end adjacency · case 05
A closed path emits an end cap and omits its closing join.
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 ↗