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 occlusion query: end still active · case 01
Ending a query leaves it active for subsequent draws.
Clip occlusion query: end still active · case 02
Ending a query leaves it active for subsequent draws.
Clip occlusion query: end still active · case 03
Ending a query leaves it active for subsequent draws.
Clip occlusion query: end still active · case 04
Ending a query leaves it active for subsequent draws.
Clip occlusion query: end still active · case 05
Ending a query leaves it active for subsequent draws.
Clip occlusion query: pause ignored · case 01
Query pause does not stop coverage accumulation.
Clip occlusion query: pause ignored · case 02
Query pause does not stop coverage accumulation.
Clip occlusion query: pause ignored · case 03
Query pause does not stop coverage accumulation.
Clip occlusion query: pause ignored · case 04
Query pause does not stop coverage accumulation.
Clip occlusion query: pause ignored · case 05
Query pause does not stop coverage accumulation.
Clip occlusion query: pending readable · case 01
Reading an active query exposes an incomplete result.
Clip occlusion query: pending readable · case 02
Reading an active query exposes an incomplete result.
Clip occlusion query: pending readable · case 03
Reading an active query exposes an incomplete result.
Clip occlusion query: pending readable · case 04
Reading an active query exposes an incomplete result.
Clip occlusion query: pending readable · case 05
Reading an active query exposes an incomplete result.
Clip occlusion query: conditional pending · case 01
Conditional rendering uses the partial count of the currently active query.
Clip occlusion query: conditional pending · case 02
Conditional rendering uses the partial count of the currently active query.
Clip occlusion query: conditional pending · case 03
Conditional rendering uses the partial count of the currently active query.
Clip occlusion query: conditional pending · case 04
Conditional rendering uses the partial count of the currently active query.
Clip occlusion query: conditional pending · case 05
Conditional rendering uses the partial count of the currently active query.
Clip occlusion query: conditional missing · case 01
A missing conditional query defaults to visible and executes the draw.
Clip occlusion query: conditional missing · case 02
A missing conditional query defaults to visible and executes the draw.
Clip occlusion query: conditional missing · case 03
A missing conditional query defaults to visible and executes the draw.
Clip occlusion query: conditional missing · case 04
A missing conditional query defaults to visible and executes the draw.
Clip occlusion query: conditional missing · case 05
A missing conditional query defaults to visible and executes the draw.
Clip occlusion query: query name read · case 01
Reading a query returns the first recorded query rather than the requested name.
Clip occlusion query: query name read · case 02
Reading a query returns the first recorded query rather than the requested name.
Clip occlusion query: query name read · case 03
Reading a query returns the first recorded query rather than the requested name.
Clip occlusion query: query name read · case 04
Reading a query returns the first recorded query rather than the requested name.
Clip occlusion query: query name read · case 05
Reading a query returns the first recorded query rather than the requested name.
Multiview clip routing: active mask shift · case 01
A view index is used directly as its activation bit.
Multiview clip routing: active mask shift · case 02
A view index is used directly as its activation bit.
Multiview clip routing: active mask shift · case 03
A view index is used directly as its activation bit.
Multiview clip routing: active mask shift · case 04
A view index is used directly as its activation bit.
Multiview clip routing: active mask shift · case 05
A view index is used directly as its activation bit.
Multiview clip routing: viewmask union · case 01
A view renders when either global or primitive routing enables it instead of requiring both.
Multiview clip routing: viewmask union · case 02
A view renders when either global or primitive routing enables it instead of requiring both.
Multiview clip routing: viewmask union · case 03
A view renders when either global or primitive routing enables it instead of requiring both.
Multiview clip routing: viewmask union · case 04
A view renders when either global or primitive routing enables it instead of requiring both.
Multiview clip routing: viewmask union · case 05
A view renders when either global or primitive routing enables it instead of requiring both.
Multiview clip routing: route ignored · case 01
Each view uses its same-numbered viewport even when explicitly rerouted.
Multiview clip routing: route ignored · case 02
Each view uses its same-numbered viewport even when explicitly rerouted.
Multiview clip routing: route ignored · case 03
Each view uses its same-numbered viewport even when explicitly rerouted.
Multiview clip routing: route ignored · case 04
Each view uses its same-numbered viewport even when explicitly rerouted.
Multiview clip routing: route ignored · case 05
Each view uses its same-numbered viewport even when explicitly rerouted.
Multiview clip routing: null route default · case 01
An explicit null route falls back to the view index rather than suppressing the view.
Multiview clip routing: null route default · case 02
An explicit null route falls back to the view index rather than suppressing the view.
Multiview clip routing: null route default · case 03
An explicit null route falls back to the view index rather than suppressing the view.
Multiview clip routing: null route default · case 04
An explicit null route falls back to the view index rather than suppressing the view.
Multiview clip routing: null route default · case 05
An explicit null route falls back to the view index rather than suppressing the view.
Multiview clip routing: negative viewport · case 01
Negative viewport IDs wrap around the Python list and obtain another viewport clip.
Multiview clip routing: negative viewport · case 02
Negative viewport IDs wrap around the Python list and obtain another viewport clip.
Multiview clip routing: negative viewport · case 03
Negative viewport IDs wrap around the Python list and obtain another viewport clip.
Multiview clip routing: negative viewport · case 04
Negative viewport IDs wrap around the Python list and obtain another viewport clip.
Multiview clip routing: negative viewport · case 05
Negative viewport IDs wrap around the Python list and obtain another viewport clip.
Multiview clip routing: scissor enable index · case 01
Scissor enable state is looked up by output view instead of routed viewport.
Multiview clip routing: scissor enable index · case 02
Scissor enable state is looked up by output view instead of routed viewport.
Multiview clip routing: scissor enable index · case 03
Scissor enable state is looked up by output view instead of routed viewport.
Multiview clip routing: scissor enable index · case 04
Scissor enable state is looked up by output view instead of routed viewport.
Multiview clip routing: scissor enable index · case 05
Scissor enable state is looked up by output view instead of routed viewport.
Multiview clip routing: viewclip route confusion · case 01
Rerouting the viewport also reroutes the per-view clip, losing view-local coverage.
Multiview clip routing: viewclip route confusion · case 02
Rerouting the viewport also reroutes the per-view clip, losing view-local coverage.
Multiview clip routing: viewclip route confusion · case 03
Rerouting the viewport also reroutes the per-view clip, losing view-local coverage.
Multiview clip routing: viewclip route confusion · case 04
Rerouting the viewport also reroutes the per-view clip, losing view-local coverage.
Multiview clip routing: viewclip route confusion · case 05
Rerouting the viewport also reroutes the per-view clip, losing view-local coverage.
Multiview clip routing: disabled scissor empty · case 01
A viewport with scissor disabled becomes completely clipped.
Multiview clip routing: disabled scissor empty · case 02
A viewport with scissor disabled becomes completely clipped.
Multiview clip routing: disabled scissor empty · case 03
A viewport with scissor disabled becomes completely clipped.
Multiview clip routing: disabled scissor empty · case 04
A viewport with scissor disabled becomes completely clipped.
Multiview clip routing: disabled scissor empty · case 05
A viewport with scissor disabled becomes completely clipped.
Multiview clip routing: output view identity · case 01
Results are labeled by viewport ID instead of the view that rendered them.
Multiview clip routing: output view identity · case 02
Results are labeled by viewport ID instead of the view that rendered them.
Multiview clip routing: output view identity · case 03
Results are labeled by viewport ID instead of the view that rendered them.
Multiview clip routing: output view identity · case 04
Results are labeled by viewport ID instead of the view that rendered them.
Multiview clip routing: output view identity · case 05
Results are labeled by viewport ID instead of the view that rendered them.
Multiview clip routing: target bounds · case 01
Two clip masks agreeing on an exterior sample let it escape the finite target.
Multiview clip routing: target bounds · case 02
Two clip masks agreeing on an exterior sample let it escape the finite target.
Multiview clip routing: target bounds · case 03
Two clip masks agreeing on an exterior sample let it escape the finite target.
Multiview clip routing: target bounds · case 04
Two clip masks agreeing on an exterior sample let it escape the finite target.
Multiview clip routing: target bounds · case 05
Two clip masks agreeing on an exterior sample let it escape the finite target.
Dashed stroke clip phase: odd cycle parity · case 01
Odd dash arrays restart with the same on/off parity after each undoubled cycle.
Dashed stroke clip phase: odd cycle parity · case 02
Odd dash arrays restart with the same on/off parity after each undoubled cycle.
Dashed stroke clip phase: odd cycle parity · case 03
Odd dash arrays restart with the same on/off parity after each undoubled cycle.
Dashed stroke clip phase: odd cycle parity · case 04
Odd dash arrays restart with the same on/off parity after each undoubled cycle.
Dashed stroke clip phase: odd cycle parity · case 05
Odd dash arrays restart with the same on/off parity after each undoubled cycle.
Dashed stroke clip phase: pattern reset · case 01
Changing the pattern resets phase to zero rather than the configured offset.
Dashed stroke clip phase: pattern reset · case 02
Changing the pattern resets phase to zero rather than the configured offset.
Dashed stroke clip phase: pattern reset · case 03
Changing the pattern resets phase to zero rather than the configured offset.
Dashed stroke clip phase: pattern reset · case 04
Changing the pattern resets phase to zero rather than the configured offset.
Dashed stroke clip phase: pattern reset · case 05
Changing the pattern resets phase to zero rather than the configured offset.
Dashed stroke clip phase: offset immediate · case 01
Setting the next subpath offset shifts the current in-progress stroke.
Dashed stroke clip phase: offset immediate · case 02
Setting the next subpath offset shifts the current in-progress stroke.
Dashed stroke clip phase: offset immediate · case 03
Setting the next subpath offset shifts the current in-progress stroke.
Dashed stroke clip phase: offset immediate · case 04
Setting the next subpath offset shifts the current in-progress stroke.
Dashed stroke clip phase: offset immediate · case 05
Setting the next subpath offset shifts the current in-progress stroke.
Dashed stroke clip phase: move retains · case 01
A new subpath inherits the previous subpath dash phase.
Dashed stroke clip phase: move retains · case 02
A new subpath inherits the previous subpath dash phase.
Dashed stroke clip phase: move retains · case 03
A new subpath inherits the previous subpath dash phase.
Dashed stroke clip phase: move retains · case 04
A new subpath inherits the previous subpath dash phase.
Dashed stroke clip phase: move retains · case 05
A new subpath inherits the previous subpath dash phase.
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 ↗