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
Clip mask morphology: closing order · case 01
Closing performs opening and deletes narrow coverage instead of closing holes.
Clip mask morphology: closing order · case 02
Closing performs opening and deletes narrow coverage instead of closing holes.
Clip mask morphology: closing order · case 03
Closing performs opening and deletes narrow coverage instead of closing holes.
Clip mask morphology: closing order · case 04
Closing performs opening and deletes narrow coverage instead of closing holes.
Clip mask morphology: closing order · case 05
Closing performs opening and deletes narrow coverage instead of closing holes.
Clip mask morphology: gradient union · case 01
Morphological clip gradient retains the eroded interior.
Clip mask morphology: gradient union · case 02
Morphological clip gradient retains the eroded interior.
Clip mask morphology: gradient union · case 03
Morphological clip gradient retains the eroded interior.
Clip mask morphology: gradient union · case 04
Morphological clip gradient retains the eroded interior.
Clip mask morphology: gradient union · case 05
Morphological clip gradient retains the eroded interior.
Clip mask morphology: inner reversed · case 01
Inner clip boundary subtraction reverses operands and yields empty coverage.
Clip mask morphology: inner reversed · case 02
Inner clip boundary subtraction reverses operands and yields empty coverage.
Clip mask morphology: inner reversed · case 03
Inner clip boundary subtraction reverses operands and yields empty coverage.
Clip mask morphology: inner reversed · case 04
Inner clip boundary subtraction reverses operands and yields empty coverage.
Clip mask morphology: inner reversed · case 05
Inner clip boundary subtraction reverses operands and yields empty coverage.
Clip mask morphology: outer includes source · case 01
Exterior clip boundary incorrectly retains original covered samples.
Clip mask morphology: outer includes source · case 02
Exterior clip boundary incorrectly retains original covered samples.
Clip mask morphology: outer includes source · case 03
Exterior clip boundary incorrectly retains original covered samples.
Clip mask morphology: outer includes source · case 04
Exterior clip boundary incorrectly retains original covered samples.
Clip mask morphology: outer includes source · case 05
Exterior clip boundary incorrectly retains original covered samples.
Clip mask morphology: iteration original · case 01
Repeated morphology restarts from the original clip each iteration.
Clip mask morphology: iteration original · case 02
Repeated morphology restarts from the original clip each iteration.
Clip mask morphology: iteration original · case 03
Repeated morphology restarts from the original clip each iteration.
Clip mask morphology: iteration original · case 04
Repeated morphology restarts from the original clip each iteration.
Clip mask morphology: iteration original · case 05
Repeated morphology restarts from the original clip each iteration.
Clip mask morphology: zero iterations · case 01
Zero iterations still applies the morphology operator once.
Clip mask morphology: zero iterations · case 02
Zero iterations still applies the morphology operator once.
Clip mask morphology: zero iterations · case 03
Zero iterations still applies the morphology operator once.
Clip mask morphology: zero iterations · case 04
Zero iterations still applies the morphology operator once.
Clip mask morphology: zero iterations · case 05
Zero iterations still applies the morphology operator once.
Winding event raster: coincident overwrite · case 01
Coincident crossings overwrite each other and lose multiplicity.
Winding event raster: coincident overwrite · case 02
Coincident crossings overwrite each other and lose multiplicity.
Winding event raster: coincident overwrite · case 03
Coincident crossings overwrite each other and lose multiplicity.
Winding event raster: coincident overwrite · case 04
Coincident crossings overwrite each other and lose multiplicity.
Winding event raster: coincident overwrite · case 05
Coincident crossings overwrite each other and lose multiplicity.
Winding event raster: left history · case 01
Discarding crossings left of the target loses the winding state entering the raster.
Winding event raster: left history · case 02
Discarding crossings left of the target loses the winding state entering the raster.
Winding event raster: left history · case 03
Discarding crossings left of the target loses the winding state entering the raster.
Winding event raster: left history · case 04
Discarding crossings left of the target loses the winding state entering the raster.
Winding event raster: left history · case 05
Discarding crossings left of the target loses the winding state entering the raster.
Winding event raster: sample event order · case 01
Crossings are applied after their owning sample, shifting the filled span right.
Winding event raster: sample event order · case 02
Crossings are applied after their owning sample, shifting the filled span right.
Winding event raster: sample event order · case 03
Crossings are applied after their owning sample, shifting the filled span right.
Winding event raster: sample event order · case 04
Crossings are applied after their owning sample, shifting the filled span right.
Winding event raster: sample event order · case 05
Crossings are applied after their owning sample, shifting the filled span right.
Winding event raster: nonzero positive · case 01
Nonzero filling drops clockwise contours with negative winding.
Winding event raster: nonzero positive · case 02
Nonzero filling drops clockwise contours with negative winding.
Winding event raster: nonzero positive · case 03
Nonzero filling drops clockwise contours with negative winding.
Winding event raster: nonzero positive · case 04
Nonzero filling drops clockwise contours with negative winding.
Winding event raster: nonzero positive · case 05
Nonzero filling drops clockwise contours with negative winding.
Winding event raster: odd sign · case 01
Even-odd fill recognizes only positive unit winding.
Winding event raster: odd sign · case 02
Even-odd fill recognizes only positive unit winding.
Winding event raster: odd sign · case 03
Even-odd fill recognizes only positive unit winding.
Winding event raster: odd sign · case 04
Even-odd fill recognizes only positive unit winding.
Winding event raster: odd sign · case 05
Even-odd fill recognizes only positive unit winding.
Winding event raster: positive inclusive · case 01
Positive fill includes zero-winding gaps.
Winding event raster: positive inclusive · case 02
Positive fill includes zero-winding gaps.
Winding event raster: positive inclusive · case 03
Positive fill includes zero-winding gaps.
Winding event raster: positive inclusive · case 04
Positive fill includes zero-winding gaps.
Winding event raster: positive inclusive · case 05
Positive fill includes zero-winding gaps.
Winding event raster: negative inclusive · case 01
Negative fill includes zero-winding gaps.
Winding event raster: negative inclusive · case 02
Negative fill includes zero-winding gaps.
Winding event raster: negative inclusive · case 03
Negative fill includes zero-winding gaps.
Winding event raster: negative inclusive · case 04
Negative fill includes zero-winding gaps.
Winding event raster: negative inclusive · case 05
Negative fill includes zero-winding gaps.
Winding event raster: double signed · case 01
The overlap clip test rejects negatively oriented double coverage.
Winding event raster: double signed · case 02
The overlap clip test rejects negatively oriented double coverage.
Winding event raster: double signed · case 03
The overlap clip test rejects negatively oriented double coverage.
Winding event raster: double signed · case 04
The overlap clip test rejects negatively oriented double coverage.
Winding event raster: double signed · case 05
The overlap clip test rejects negatively oriented double coverage.
Winding event raster: inverse union · case 01
Inverse fill adds the exterior without removing the original interior.
Winding event raster: inverse union · case 02
Inverse fill adds the exterior without removing the original interior.
Winding event raster: inverse union · case 03
Inverse fill adds the exterior without removing the original interior.
Winding event raster: inverse union · case 04
Inverse fill adds the exterior without removing the original interior.
Winding event raster: inverse union · case 05
Inverse fill adds the exterior without removing the original interior.
Winding event raster: winding reset · case 01
Winding is recomputed from each local crossing rather than carried across the span.
Winding event raster: winding reset · case 02
Winding is recomputed from each local crossing rather than carried across the span.
Winding event raster: winding reset · case 03
Winding is recomputed from each local crossing rather than carried across the span.
Winding event raster: winding reset · case 04
Winding is recomputed from each local crossing rather than carried across the span.
Winding event raster: winding reset · case 05
Winding is recomputed from each local crossing rather than carried across the span.
Homogeneous segment clip: both outside test · case 01
A segment crossing a clip plane is rejected when only one endpoint is outside.
Homogeneous segment clip: both outside test · case 02
A segment crossing a clip plane is rejected when only one endpoint is outside.
Homogeneous segment clip: both outside test · case 03
A segment crossing a clip plane is rejected when only one endpoint is outside.
Homogeneous segment clip: both outside test · case 04
A segment crossing a clip plane is rejected when only one endpoint is outside.
Homogeneous segment clip: both outside test · case 05
A segment crossing a clip plane is rejected when only one endpoint is outside.
Homogeneous segment clip: outside rejection · case 01
Segments entirely outside a halfspace are returned unchanged.
Homogeneous segment clip: outside rejection · case 02
Segments entirely outside a halfspace are returned unchanged.
Homogeneous segment clip: outside rejection · case 03
Segments entirely outside a halfspace are returned unchanged.
Homogeneous segment clip: outside rejection · case 04
Segments entirely outside a halfspace are returned unchanged.
Homogeneous segment clip: outside rejection · case 05
Segments entirely outside a halfspace are returned unchanged.
Homogeneous segment clip: inside shortcut · case 01
The all-inside fast path accepts a segment with one exterior endpoint.
Homogeneous segment clip: inside shortcut · case 02
The all-inside fast path accepts a segment with one exterior endpoint.
Homogeneous segment clip: inside shortcut · case 03
The all-inside fast path accepts a segment with one exterior endpoint.
Homogeneous segment clip: inside shortcut · case 04
The all-inside fast path accepts a segment with one exterior endpoint.
Homogeneous segment clip: inside shortcut · case 05
The all-inside fast path accepts a segment with one exterior endpoint.
Homogeneous segment clip: boundary classification · case 01
Segments lying exactly on a clip plane are rejected as outside.
Homogeneous segment clip: boundary classification · case 02
Segments lying exactly on a clip plane are rejected as outside.
Homogeneous segment clip: boundary classification · case 03
Segments lying exactly on a clip plane are rejected as outside.
Homogeneous segment clip: boundary classification · case 04
Segments lying exactly on a clip plane are rejected as outside.
Homogeneous segment clip: boundary classification · case 05
Segments lying exactly on a clip plane are rejected as outside.
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 ↗