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
Run length clip stream: repeat current mode · case 01
Repeat uses the current mode instead of the mode captured with the repeated run.
Run length clip stream: repeat current mode · case 02
Repeat uses the current mode instead of the mode captured with the repeated run.
Run length clip stream: repeat current mode · case 03
Repeat uses the current mode instead of the mode captured with the repeated run.
Run length clip stream: repeat current mode · case 04
Repeat uses the current mode instead of the mode captured with the repeated run.
Run length clip stream: repeat current mode · case 05
Repeat uses the current mode instead of the mode captured with the repeated run.
Run length clip stream: repeat one less · case 01
Repeat count includes the original run despite the additional-run contract.
Run length clip stream: repeat one less · case 02
Repeat count includes the original run despite the additional-run contract.
Run length clip stream: repeat one less · case 03
Repeat count includes the original run despite the additional-run contract.
Run length clip stream: repeat one less · case 04
Repeat count includes the original run despite the additional-run contract.
Run length clip stream: repeat one less · case 05
Repeat count includes the original run despite the additional-run contract.
Run length clip stream: row old cursor · case 01
Beginning a new scanline retains the previous row cursor.
Run length clip stream: row old cursor · case 02
Beginning a new scanline retains the previous row cursor.
Run length clip stream: row old cursor · case 03
Beginning a new scanline retains the previous row cursor.
Run length clip stream: row old cursor · case 04
Beginning a new scanline retains the previous row cursor.
Run length clip stream: row old cursor · case 05
Beginning a new scanline retains the previous row cursor.
Run length clip stream: row repeat leak · case 01
A repeat at the start of a row replays a run belonging to the previous row.
Run length clip stream: row repeat leak · case 02
A repeat at the start of a row replays a run belonging to the previous row.
Run length clip stream: row repeat leak · case 03
A repeat at the start of a row replays a run belonging to the previous row.
Run length clip stream: row repeat leak · case 04
A repeat at the start of a row replays a run belonging to the previous row.
Run length clip stream: row repeat leak · case 05
A repeat at the start of a row replays a run belonging to the previous row.
Run length clip stream: clear rewinds · case 01
Clearing the coverage accumulator unexpectedly rewinds the stream cursor.
Run length clip stream: clear rewinds · case 02
Clearing the coverage accumulator unexpectedly rewinds the stream cursor.
Run length clip stream: clear rewinds · case 03
Clearing the coverage accumulator unexpectedly rewinds the stream cursor.
Run length clip stream: clear rewinds · case 04
Clearing the coverage accumulator unexpectedly rewinds the stream cursor.
Run length clip stream: clear rewinds · case 05
Clearing the coverage accumulator unexpectedly rewinds the stream cursor.
Run length clip stream: repeat no advance · case 01
Repeated runs all cover the same sample range because the repeat cursor never advances.
Run length clip stream: repeat no advance · case 02
Repeated runs all cover the same sample range because the repeat cursor never advances.
Run length clip stream: repeat no advance · case 03
Repeated runs all cover the same sample range because the repeat cursor never advances.
Run length clip stream: repeat no advance · case 04
Repeated runs all cover the same sample range because the repeat cursor never advances.
Run length clip stream: repeat no advance · case 05
Repeated runs all cover the same sample range because the repeat cursor never advances.
Clip region expression: push unbounded · case 01
A pushed region escapes the finite raster universe.
Clip region expression: push unbounded · case 02
A pushed region escapes the finite raster universe.
Clip region expression: push unbounded · case 03
A pushed region escapes the finite raster universe.
Clip region expression: push unbounded · case 04
A pushed region escapes the finite raster universe.
Clip region expression: push unbounded · case 05
A pushed region escapes the finite raster universe.
Clip region expression: duplicate alias · case 01
Duplicating a mask aliases mutable stack entries.
Clip region expression: duplicate alias · case 02
Duplicating a mask aliases mutable stack entries.
Clip region expression: duplicate alias · case 03
Duplicating a mask aliases mutable stack entries.
Clip region expression: duplicate alias · case 04
Duplicating a mask aliases mutable stack entries.
Clip region expression: duplicate alias · case 05
Duplicating a mask aliases mutable stack entries.
Clip region expression: swap noop · case 01
Operand swap is lost before a directional region subtraction.
Clip region expression: swap noop · case 02
Operand swap is lost before a directional region subtraction.
Clip region expression: swap noop · case 03
Operand swap is lost before a directional region subtraction.
Clip region expression: swap noop · case 04
Operand swap is lost before a directional region subtraction.
Clip region expression: swap noop · case 05
Operand swap is lost before a directional region subtraction.
Clip region expression: not empty · case 01
Complement uses an empty universe and rejects all samples.
Clip region expression: not empty · case 02
Complement uses an empty universe and rejects all samples.
Clip region expression: not empty · case 03
Complement uses an empty universe and rejects all samples.
Clip region expression: not empty · case 04
Complement uses an empty universe and rejects all samples.
Clip region expression: not empty · case 05
Complement uses an empty universe and rejects all samples.
Clip region expression: and union · case 01
Intersection evaluates region union and exposes singly covered samples.
Clip region expression: and union · case 02
Intersection evaluates region union and exposes singly covered samples.
Clip region expression: and union · case 03
Intersection evaluates region union and exposes singly covered samples.
Clip region expression: and union · case 04
Intersection evaluates region union and exposes singly covered samples.
Clip region expression: and union · case 05
Intersection evaluates region union and exposes singly covered samples.
Clip region expression: or xor · case 01
Region union drops samples present in both masks.
Clip region expression: or xor · case 02
Region union drops samples present in both masks.
Clip region expression: or xor · case 03
Region union drops samples present in both masks.
Clip region expression: or xor · case 04
Region union drops samples present in both masks.
Clip region expression: or xor · case 05
Region union drops samples present in both masks.
Clip region expression: xor union · case 01
Exclusive region composition retains overlapping coverage.
Clip region expression: xor union · case 02
Exclusive region composition retains overlapping coverage.
Clip region expression: xor union · case 03
Exclusive region composition retains overlapping coverage.
Clip region expression: xor union · case 04
Exclusive region composition retains overlapping coverage.
Clip region expression: xor union · case 05
Exclusive region composition retains overlapping coverage.
Clip region expression: subtract reversed · case 01
Directional region subtraction reverses its operands.
Clip region expression: subtract reversed · case 02
Directional region subtraction reverses its operands.
Clip region expression: subtract reversed · case 03
Directional region subtraction reverses its operands.
Clip region expression: subtract reversed · case 04
Directional region subtraction reverses its operands.
Clip region expression: subtract reversed · case 05
Directional region subtraction reverses its operands.
Clip region expression: implication complement · case 01
A conditional clip combines the consequent complement instead of the antecedent complement.
Clip region expression: implication complement · case 02
A conditional clip combines the consequent complement instead of the antecedent complement.
Clip region expression: implication complement · case 03
A conditional clip combines the consequent complement instead of the antecedent complement.
Clip region expression: implication complement · case 04
A conditional clip combines the consequent complement instead of the antecedent complement.
Clip region expression: implication complement · case 05
A conditional clip combines the consequent complement instead of the antecedent complement.
Clip region expression: equivalence intersection · case 01
Coverage equivalence excludes samples absent from both regions.
Clip region expression: equivalence intersection · case 02
Coverage equivalence excludes samples absent from both regions.
Clip region expression: equivalence intersection · case 03
Coverage equivalence excludes samples absent from both regions.
Clip region expression: equivalence intersection · case 04
Coverage equivalence excludes samples absent from both regions.
Clip region expression: equivalence intersection · case 05
Coverage equivalence excludes samples absent from both regions.
Clip mask morphology: dilation kernel reflection · case 01
Dilation forgets to reflect an asymmetric structuring element.
Clip mask morphology: dilation kernel reflection · case 02
Dilation forgets to reflect an asymmetric structuring element.
Clip mask morphology: dilation kernel reflection · case 03
Dilation forgets to reflect an asymmetric structuring element.
Clip mask morphology: dilation kernel reflection · case 04
Dilation forgets to reflect an asymmetric structuring element.
Clip mask morphology: dilation kernel reflection · case 05
Dilation forgets to reflect an asymmetric structuring element.
Clip mask morphology: erosion outside · case 01
Erosion treats samples outside the target as covered and preserves clipped border pixels.
Clip mask morphology: erosion outside · case 02
Erosion treats samples outside the target as covered and preserves clipped border pixels.
Clip mask morphology: erosion outside · case 03
Erosion treats samples outside the target as covered and preserves clipped border pixels.
Clip mask morphology: erosion outside · case 04
Erosion treats samples outside the target as covered and preserves clipped border pixels.
Clip mask morphology: erosion outside · case 05
Erosion treats samples outside the target as covered and preserves clipped border pixels.
Clip mask morphology: empty kernel · case 01
An empty erosion kernel covers the whole target through vacuous truth.
Clip mask morphology: empty kernel · case 02
An empty erosion kernel covers the whole target through vacuous truth.
Clip mask morphology: empty kernel · case 03
An empty erosion kernel covers the whole target through vacuous truth.
Clip mask morphology: empty kernel · case 04
An empty erosion kernel covers the whole target through vacuous truth.
Clip mask morphology: empty kernel · case 05
An empty erosion kernel covers the whole target through vacuous truth.
Clip mask morphology: opening order · case 01
Opening performs closing and bridges gaps instead of removing isolated coverage.
Clip mask morphology: opening order · case 02
Opening performs closing and bridges gaps instead of removing isolated coverage.
Clip mask morphology: opening order · case 03
Opening performs closing and bridges gaps instead of removing isolated coverage.
Clip mask morphology: opening order · case 04
Opening performs closing and bridges gaps instead of removing isolated coverage.
Clip mask morphology: opening order · case 05
Opening performs closing and bridges gaps instead of removing isolated coverage.
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 ↗