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
False-only filtering remains an active constraint · case 01
False-only filtering remains an active constraint is violated by the widget projection.
False-only filtering remains an active constraint · case 02
False-only filtering remains an active constraint is violated by the widget projection.
False-only filtering remains an active constraint · case 03
False-only filtering remains an active constraint is violated by the widget projection.
False-only filtering remains an active constraint · case 04
False-only filtering remains an active constraint is violated by the widget projection.
False-only filtering remains an active constraint · case 05
False-only filtering remains an active constraint is violated by the widget projection.
Boolean filter operands preserve the absent state separately from false · case 01
Boolean filter operands preserve the absent state separately from false is violated by the widget projection.
Boolean filter operands preserve the absent state separately from false · case 02
Boolean filter operands preserve the absent state separately from false is violated by the widget projection.
Boolean filter operands preserve the absent state separately from false · case 03
Boolean filter operands preserve the absent state separately from false is violated by the widget projection.
Boolean filter operands preserve the absent state separately from false · case 04
Boolean filter operands preserve the absent state separately from false is violated by the widget projection.
Boolean filter operands preserve the absent state separately from false · case 05
Boolean filter operands preserve the absent state separately from false is violated by the widget projection.
Boolean captions distinguish no restriction from false restriction · case 01
Boolean captions distinguish no restriction from false restriction is violated by the widget projection.
Boolean captions distinguish no restriction from false restriction · case 02
Boolean captions distinguish no restriction from false restriction is violated by the widget projection.
Boolean captions distinguish no restriction from false restriction · case 03
Boolean captions distinguish no restriction from false restriction is violated by the widget projection.
Boolean captions distinguish no restriction from false restriction · case 04
Boolean captions distinguish no restriction from false restriction is violated by the widget projection.
Boolean captions distinguish no restriction from false restriction · case 05
Boolean captions distinguish no restriction from false restriction is violated by the widget projection.
Inverting a boolean criterion leaves the unrestricted state unchanged · case 01
Inverting a boolean criterion leaves the unrestricted state unchanged is violated by the widget projection.
Inverting a boolean criterion leaves the unrestricted state unchanged · case 02
Inverting a boolean criterion leaves the unrestricted state unchanged is violated by the widget projection.
Inverting a boolean criterion leaves the unrestricted state unchanged · case 03
Inverting a boolean criterion leaves the unrestricted state unchanged is violated by the widget projection.
Inverting a boolean criterion leaves the unrestricted state unchanged · case 04
Inverting a boolean criterion leaves the unrestricted state unchanged is violated by the widget projection.
Inverting a boolean criterion leaves the unrestricted state unchanged · case 05
Inverting a boolean criterion leaves the unrestricted state unchanged is violated by the widget projection.
Hydration accepts explicit boolean strings and rejects unknown tokens · case 01
Hydration accepts explicit boolean strings and rejects unknown tokens is violated by the widget projection.
Hydration accepts explicit boolean strings and rejects unknown tokens · case 02
Hydration accepts explicit boolean strings and rejects unknown tokens is violated by the widget projection.
Hydration accepts explicit boolean strings and rejects unknown tokens · case 03
Hydration accepts explicit boolean strings and rejects unknown tokens is violated by the widget projection.
Hydration accepts explicit boolean strings and rejects unknown tokens · case 04
Hydration accepts explicit boolean strings and rejects unknown tokens is violated by the widget projection.
Hydration accepts explicit boolean strings and rejects unknown tokens · case 05
Hydration accepts explicit boolean strings and rejects unknown tokens is violated by the widget projection.
False restrictions receive negative polarity badges · case 01
False restrictions receive negative polarity badges is violated by the widget projection.
False restrictions receive negative polarity badges · case 02
False restrictions receive negative polarity badges is violated by the widget projection.
False restrictions receive negative polarity badges · case 03
False restrictions receive negative polarity badges is violated by the widget projection.
False restrictions receive negative polarity badges · case 04
False restrictions receive negative polarity badges is violated by the widget projection.
False restrictions receive negative polarity badges · case 05
False restrictions receive negative polarity badges is violated by the widget projection.
Retired selected enums remain visible for inspection · case 01
Retired selected enums remain visible for inspection is violated by the widget projection.
Retired selected enums remain visible for inspection · case 02
Retired selected enums remain visible for inspection is violated by the widget projection.
Retired selected enums remain visible for inspection · case 03
Retired selected enums remain visible for inspection is violated by the widget projection.
Retired selected enums remain visible for inspection · case 04
Retired selected enums remain visible for inspection is violated by the widget projection.
Retired selected enums remain visible for inspection · case 05
Retired selected enums remain visible for inspection is violated by the widget projection.
New enum additions require an active unblocked option · case 01
New enum additions require an active unblocked option is violated by the widget projection.
New enum additions require an active unblocked option · case 02
New enum additions require an active unblocked option is violated by the widget projection.
New enum additions require an active unblocked option · case 03
New enum additions require an active unblocked option is violated by the widget projection.
New enum additions require an active unblocked option · case 04
New enum additions require an active unblocked option is violated by the widget projection.
New enum additions require an active unblocked option · case 05
New enum additions require an active unblocked option is violated by the widget projection.
A retired selection remains removable unless the criterion is locked · case 01
A retired selection remains removable unless the criterion is locked is violated by the widget projection.
A retired selection remains removable unless the criterion is locked · case 02
A retired selection remains removable unless the criterion is locked is violated by the widget projection.
A retired selection remains removable unless the criterion is locked · case 03
A retired selection remains removable unless the criterion is locked is violated by the widget projection.
A retired selection remains removable unless the criterion is locked · case 04
A retired selection remains removable unless the criterion is locked is violated by the widget projection.
A retired selection remains removable unless the criterion is locked · case 05
A retired selection remains removable unless the criterion is locked is violated by the widget projection.
Missing enum labels fall back to identity without replacing an explicit empty caption · case 01
Missing enum labels fall back to identity without replacing an explicit empty caption is violated by the widget projection.
Missing enum labels fall back to identity without replacing an explicit empty caption · case 02
Missing enum labels fall back to identity without replacing an explicit empty caption is violated by the widget projection.
Missing enum labels fall back to identity without replacing an explicit empty caption · case 03
Missing enum labels fall back to identity without replacing an explicit empty caption is violated by the widget projection.
Missing enum labels fall back to identity without replacing an explicit empty caption · case 04
Missing enum labels fall back to identity without replacing an explicit empty caption is violated by the widget projection.
Missing enum labels fall back to identity without replacing an explicit empty caption · case 05
Missing enum labels fall back to identity without replacing an explicit empty caption is violated by the widget projection.
Retired badges apply to retained selections rather than all unavailable choices · case 01
Retired badges apply to retained selections rather than all unavailable choices is violated by the widget projection.
Retired badges apply to retained selections rather than all unavailable choices · case 02
Retired badges apply to retained selections rather than all unavailable choices is violated by the widget projection.
Retired badges apply to retained selections rather than all unavailable choices · case 03
Retired badges apply to retained selections rather than all unavailable choices is violated by the widget projection.
Retired badges apply to retained selections rather than all unavailable choices · case 04
Retired badges apply to retained selections rather than all unavailable choices is violated by the widget projection.
Retired badges apply to retained selections rather than all unavailable choices · case 05
Retired badges apply to retained selections rather than all unavailable choices is violated by the widget projection.
Serialization retains stable IDs for selected retired options · case 01
Serialization retains stable IDs for selected retired options is violated by the widget projection.
Serialization retains stable IDs for selected retired options · case 02
Serialization retains stable IDs for selected retired options is violated by the widget projection.
Serialization retains stable IDs for selected retired options · case 03
Serialization retains stable IDs for selected retired options is violated by the widget projection.
Serialization retains stable IDs for selected retired options · case 04
Serialization retains stable IDs for selected retired options is violated by the widget projection.
Serialization retains stable IDs for selected retired options · case 05
Serialization retains stable IDs for selected retired options is violated by the widget projection.
Disabled visible choices are excluded from bulk targets · case 01
Disabled visible choices are excluded from bulk targets is violated by the widget projection.
Disabled visible choices are excluded from bulk targets · case 02
Disabled visible choices are excluded from bulk targets is violated by the widget projection.
Disabled visible choices are excluded from bulk targets · case 03
Disabled visible choices are excluded from bulk targets is violated by the widget projection.
Disabled visible choices are excluded from bulk targets · case 04
Disabled visible choices are excluded from bulk targets is violated by the widget projection.
Disabled visible choices are excluded from bulk targets · case 05
Disabled visible choices are excluded from bulk targets is violated by the widget projection.
Select-visible preserves hidden choices and excludes disabled additions · case 01
Select-visible preserves hidden choices and excludes disabled additions is violated by the widget projection.
Select-visible preserves hidden choices and excludes disabled additions · case 02
Select-visible preserves hidden choices and excludes disabled additions is violated by the widget projection.
Select-visible preserves hidden choices and excludes disabled additions · case 03
Select-visible preserves hidden choices and excludes disabled additions is violated by the widget projection.
Select-visible preserves hidden choices and excludes disabled additions · case 04
Select-visible preserves hidden choices and excludes disabled additions is violated by the widget projection.
Select-visible preserves hidden choices and excludes disabled additions · case 05
Select-visible preserves hidden choices and excludes disabled additions is violated by the widget projection.
Clear-visible preserves hidden and disabled selections · case 01
Clear-visible preserves hidden and disabled selections is violated by the widget projection.
Clear-visible preserves hidden and disabled selections · case 02
Clear-visible preserves hidden and disabled selections is violated by the widget projection.
Clear-visible preserves hidden and disabled selections · case 03
Clear-visible preserves hidden and disabled selections is violated by the widget projection.
Clear-visible preserves hidden and disabled selections · case 04
Clear-visible preserves hidden and disabled selections is violated by the widget projection.
Clear-visible preserves hidden and disabled selections · case 05
Clear-visible preserves hidden and disabled selections is violated by the widget projection.
An empty eligible set is not displayed as all selected · case 01
An empty eligible set is not displayed as all selected is violated by the widget projection.
An empty eligible set is not displayed as all selected · case 02
An empty eligible set is not displayed as all selected is violated by the widget projection.
An empty eligible set is not displayed as all selected · case 03
An empty eligible set is not displayed as all selected is violated by the widget projection.
An empty eligible set is not displayed as all selected · case 04
An empty eligible set is not displayed as all selected is violated by the widget projection.
An empty eligible set is not displayed as all selected · case 05
An empty eligible set is not displayed as all selected is violated by the widget projection.
Mixed state measures eligible visible membership only · case 01
Mixed state measures eligible visible membership only is violated by the widget projection.
Mixed state measures eligible visible membership only · case 02
Mixed state measures eligible visible membership only is violated by the widget projection.
Mixed state measures eligible visible membership only · case 03
Mixed state measures eligible visible membership only is violated by the widget projection.
Mixed state measures eligible visible membership only · case 04
Mixed state measures eligible visible membership only is violated by the widget projection.
Mixed state measures eligible visible membership only · case 05
Mixed state measures eligible visible membership only is violated by the widget projection.
Bulk-change counts report newly added eligible choices · case 01
Bulk-change counts report newly added eligible choices is violated by the widget projection.
Bulk-change counts report newly added eligible choices · case 02
Bulk-change counts report newly added eligible choices is violated by the widget projection.
Bulk-change counts report newly added eligible choices · case 03
Bulk-change counts report newly added eligible choices is violated by the widget projection.
Bulk-change counts report newly added eligible choices · case 04
Bulk-change counts report newly added eligible choices is violated by the widget projection.
Bulk-change counts report newly added eligible choices · case 05
Bulk-change counts report newly added eligible choices is violated by the widget projection.
Disabled criteria do not enter active query payloads · case 01
Disabled criteria do not enter active query payloads is violated by the widget projection.
Disabled criteria do not enter active query payloads · case 02
Disabled criteria do not enter active query payloads is violated by the widget projection.
Disabled criteria do not enter active query payloads · case 03
Disabled criteria do not enter active query payloads is violated by the widget projection.
Disabled criteria do not enter active query payloads · case 04
Disabled criteria do not enter active query payloads is violated by the widget projection.
Disabled criteria do not enter active query payloads · case 05
Disabled criteria do not enter active query payloads is violated by the widget projection.
Saved filters retain disabled operands and their enabled flag · case 01
Saved filters retain disabled operands and their enabled flag is violated by the widget projection.
Saved filters retain disabled operands and their enabled flag · case 02
Saved filters retain disabled operands and their enabled flag is violated by the widget projection.
Saved filters retain disabled operands and their enabled flag · case 03
Saved filters retain disabled operands and their enabled flag is violated by the widget projection.
Saved filters retain disabled operands and their enabled flag · case 04
Saved filters retain disabled operands and their enabled flag is violated by the widget projection.
Saved filters retain disabled operands and their enabled flag · case 05
Saved filters retain disabled operands and their enabled flag is violated by the widget projection.
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 ↗