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
Stroke component clip union: gap start caps · case 01
A visible segment after a dash gap does not receive its start cap.
Stroke component clip union: gap start caps · case 02
A visible segment after a dash gap does not receive its start cap.
Stroke component clip union: gap start caps · case 03
A visible segment after a dash gap does not receive its start cap.
Stroke component clip union: gap start caps · case 04
A visible segment after a dash gap does not receive its start cap.
Stroke component clip union: gap start caps · case 05
A visible segment after a dash gap does not receive its start cap.
Stroke component clip union: gap end caps · case 01
A visible segment before a dash gap does not receive its end cap.
Stroke component clip union: gap end caps · case 02
A visible segment before a dash gap does not receive its end cap.
Stroke component clip union: gap end caps · case 03
A visible segment before a dash gap does not receive its end cap.
Stroke component clip union: gap end caps · case 04
A visible segment before a dash gap does not receive its end cap.
Stroke component clip union: gap end caps · case 05
A visible segment before a dash gap does not receive its end cap.
Stroke component clip union: cap endpoints swapped · case 01
The component start receives the end-cap samples.
Stroke component clip union: cap endpoints swapped · case 02
The component start receives the end-cap samples.
Stroke component clip union: cap endpoints swapped · case 03
The component start receives the end-cap samples.
Stroke component clip union: cap endpoints swapped · case 04
The component start receives the end-cap samples.
Stroke component clip union: cap endpoints swapped · case 05
The component start receives the end-cap samples.
Stroke component clip union: join omitted · case 01
Adjacent active segments lose their precomputed connecting join coverage.
Stroke component clip union: join omitted · case 02
Adjacent active segments lose their precomputed connecting join coverage.
Stroke component clip union: join omitted · case 03
Adjacent active segments lose their precomputed connecting join coverage.
Stroke component clip union: join omitted · case 04
Adjacent active segments lose their precomputed connecting join coverage.
Stroke component clip union: join omitted · case 05
Adjacent active segments lose their precomputed connecting join coverage.
Stroke component clip union: join crosses gap · case 01
Joins are added across inactive dash gaps.
Stroke component clip union: join crosses gap · case 02
Joins are added across inactive dash gaps.
Stroke component clip union: join crosses gap · case 03
Joins are added across inactive dash gaps.
Stroke component clip union: join crosses gap · case 04
Joins are added across inactive dash gaps.
Stroke component clip union: join crosses gap · case 05
Joins are added across inactive dash gaps.
Stroke component clip union: clip components · case 01
Stroke cap and join coverage bypasses the requested final clip mask.
Stroke component clip union: clip components · case 02
Stroke cap and join coverage bypasses the requested final clip mask.
Stroke component clip union: clip components · case 03
Stroke cap and join coverage bypasses the requested final clip mask.
Stroke component clip union: clip components · case 04
Stroke cap and join coverage bypasses the requested final clip mask.
Stroke component clip union: clip components · case 05
Stroke cap and join coverage bypasses the requested final clip mask.
Opaque occlusion clip: front to back · case 01
Occlusion accumulates back to front and hides foreground samples behind background draws.
Opaque occlusion clip: front to back · case 02
Occlusion accumulates back to front and hides foreground samples behind background draws.
Opaque occlusion clip: front to back · case 03
Occlusion accumulates back to front and hides foreground samples behind background draws.
Opaque occlusion clip: front to back · case 04
Occlusion accumulates back to front and hides foreground samples behind background draws.
Opaque occlusion clip: front to back · case 05
Occlusion accumulates back to front and hides foreground samples behind background draws.
Opaque occlusion clip: transparent occludes · case 01
Transparent coverage is treated as fully occluding.
Opaque occlusion clip: transparent occludes · case 02
Transparent coverage is treated as fully occluding.
Opaque occlusion clip: transparent occludes · case 03
Transparent coverage is treated as fully occluding.
Opaque occlusion clip: transparent occludes · case 04
Transparent coverage is treated as fully occluding.
Opaque occlusion clip: transparent occludes · case 05
Transparent coverage is treated as fully occluding.
Opaque occlusion clip: clip before occlusion · case 01
Opaque samples outside a draw clip occlude backgrounds.
Opaque occlusion clip: clip before occlusion · case 02
Opaque samples outside a draw clip occlude backgrounds.
Opaque occlusion clip: clip before occlusion · case 03
Opaque samples outside a draw clip occlude backgrounds.
Opaque occlusion clip: clip before occlusion · case 04
Opaque samples outside a draw clip occlude backgrounds.
Opaque occlusion clip: clip before occlusion · case 05
Opaque samples outside a draw clip occlude backgrounds.
Opaque occlusion clip: write mask before occlusion · case 01
Color-write-disabled samples participate in opaque occlusion.
Opaque occlusion clip: write mask before occlusion · case 02
Color-write-disabled samples participate in opaque occlusion.
Opaque occlusion clip: write mask before occlusion · case 03
Color-write-disabled samples participate in opaque occlusion.
Opaque occlusion clip: write mask before occlusion · case 04
Color-write-disabled samples participate in opaque occlusion.
Opaque occlusion clip: write mask before occlusion · case 05
Color-write-disabled samples participate in opaque occlusion.
Opaque occlusion clip: overlap subtract · case 01
Visibility subtraction adds samples covered only by foreground draws.
Opaque occlusion clip: overlap subtract · case 02
Visibility subtraction adds samples covered only by foreground draws.
Opaque occlusion clip: overlap subtract · case 03
Visibility subtraction adds samples covered only by foreground draws.
Opaque occlusion clip: overlap subtract · case 04
Visibility subtraction adds samples covered only by foreground draws.
Opaque occlusion clip: overlap subtract · case 05
Visibility subtraction adds samples covered only by foreground draws.
Opaque occlusion clip: occlusion overwrite · case 01
Each opaque draw overwrites foreground occlusion accumulated from earlier draws.
Opaque occlusion clip: occlusion overwrite · case 02
Each opaque draw overwrites foreground occlusion accumulated from earlier draws.
Opaque occlusion clip: occlusion overwrite · case 03
Each opaque draw overwrites foreground occlusion accumulated from earlier draws.
Opaque occlusion clip: occlusion overwrite · case 04
Each opaque draw overwrites foreground occlusion accumulated from earlier draws.
Opaque occlusion clip: occlusion overwrite · case 05
Each opaque draw overwrites foreground occlusion accumulated from earlier draws.
Opaque occlusion clip: occlusion preclip · case 01
Occlusion history stores primitive coverage before clip and write masking.
Opaque occlusion clip: occlusion preclip · case 02
Occlusion history stores primitive coverage before clip and write masking.
Opaque occlusion clip: occlusion preclip · case 03
Occlusion history stores primitive coverage before clip and write masking.
Opaque occlusion clip: occlusion preclip · case 04
Occlusion history stores primitive coverage before clip and write masking.
Opaque occlusion clip: occlusion preclip · case 05
Occlusion history stores primitive coverage before clip and write masking.
Opaque occlusion clip: return order · case 01
Visibility records are returned in front-to-back traversal order rather than original submission order.
Opaque occlusion clip: return order · case 02
Visibility records are returned in front-to-back traversal order rather than original submission order.
Opaque occlusion clip: return order · case 03
Visibility records are returned in front-to-back traversal order rather than original submission order.
Opaque occlusion clip: return order · case 04
Visibility records are returned in front-to-back traversal order rather than original submission order.
Opaque occlusion clip: return order · case 05
Visibility records are returned in front-to-back traversal order rather than original submission order.
Opaque occlusion clip: empty records · case 01
Fully clipped or occluded draws lose their explicit empty visibility records.
Opaque occlusion clip: empty records · case 02
Fully clipped or occluded draws lose their explicit empty visibility records.
Opaque occlusion clip: empty records · case 03
Fully clipped or occluded draws lose their explicit empty visibility records.
Opaque occlusion clip: empty records · case 04
Fully clipped or occluded draws lose their explicit empty visibility records.
Opaque occlusion clip: empty records · case 05
Fully clipped or occluded draws lose their explicit empty visibility records.
Opaque occlusion clip: repeated identifiers · case 01
Visibility output deduplicates draw IDs and loses separate submissions.
Opaque occlusion clip: repeated identifiers · case 02
Visibility output deduplicates draw IDs and loses separate submissions.
Opaque occlusion clip: repeated identifiers · case 03
Visibility output deduplicates draw IDs and loses separate submissions.
Opaque occlusion clip: repeated identifiers · case 04
Visibility output deduplicates draw IDs and loses separate submissions.
Opaque occlusion clip: repeated identifiers · case 05
Visibility output deduplicates draw IDs and loses separate submissions.
Pick buffer clip coverage: clip pick bypass · case 01
The picking attachment writes IDs outside the raster clip.
Pick buffer clip coverage: clip pick bypass · case 02
The picking attachment writes IDs outside the raster clip.
Pick buffer clip coverage: clip pick bypass · case 03
The picking attachment writes IDs outside the raster clip.
Pick buffer clip coverage: clip pick bypass · case 04
The picking attachment writes IDs outside the raster clip.
Pick buffer clip coverage: clip pick bypass · case 05
The picking attachment writes IDs outside the raster clip.
Pick buffer clip coverage: depth tie · case 01
Equal-depth fragments replace the earlier pick ID despite strict-nearer policy.
Pick buffer clip coverage: depth tie · case 02
Equal-depth fragments replace the earlier pick ID despite strict-nearer policy.
Pick buffer clip coverage: depth tie · case 03
Equal-depth fragments replace the earlier pick ID despite strict-nearer policy.
Pick buffer clip coverage: depth tie · case 04
Equal-depth fragments replace the earlier pick ID despite strict-nearer policy.
Pick buffer clip coverage: depth tie · case 05
Equal-depth fragments replace the earlier pick ID despite strict-nearer policy.
Pick buffer clip coverage: disabled depth write · case 01
A depth-test-disabled picking draw changes the stored depth used by later tested draws.
Pick buffer clip coverage: disabled depth write · case 02
A depth-test-disabled picking draw changes the stored depth used by later tested draws.
Pick buffer clip coverage: disabled depth write · case 03
A depth-test-disabled picking draw changes the stored depth used by later tested draws.
Pick buffer clip coverage: disabled depth write · case 04
A depth-test-disabled picking draw changes the stored depth used by later tested draws.
Pick buffer clip coverage: disabled depth write · case 05
A depth-test-disabled picking draw changes the stored depth used by later tested draws.
Pick buffer clip coverage: id write gates depth · case 01
An ID-write-disabled depth-only draw fails to occlude later picking draws.
Pick buffer clip coverage: id write gates depth · case 02
An ID-write-disabled depth-only draw fails to occlude later picking draws.
Pick buffer clip coverage: id write gates depth · case 03
An ID-write-disabled depth-only draw fails to occlude later picking draws.
Pick buffer clip coverage: id write gates depth · case 04
An ID-write-disabled depth-only draw fails to occlude later picking draws.
Pick buffer clip coverage: id write gates depth · case 05
An ID-write-disabled depth-only draw fails to occlude later picking draws.
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 ↗