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
A visible but nonqueryable schema field cannot become a criterion · case 01
A visible but nonqueryable schema field cannot become a criterion is violated by the widget projection.
A visible but nonqueryable schema field cannot become a criterion · case 02
A visible but nonqueryable schema field cannot become a criterion is violated by the widget projection.
A visible but nonqueryable schema field cannot become a criterion · case 03
A visible but nonqueryable schema field cannot become a criterion is violated by the widget projection.
A visible but nonqueryable schema field cannot become a criterion · case 04
A visible but nonqueryable schema field cannot become a criterion is violated by the widget projection.
A visible but nonqueryable schema field cannot become a criterion · case 05
A visible but nonqueryable schema field cannot become a criterion is violated by the widget projection.
Hidden selected fields remain inspectable without exposing every hidden field · case 01
Hidden selected fields remain inspectable without exposing every hidden field is violated by the widget projection.
Hidden selected fields remain inspectable without exposing every hidden field · case 02
Hidden selected fields remain inspectable without exposing every hidden field is violated by the widget projection.
Hidden selected fields remain inspectable without exposing every hidden field · case 03
Hidden selected fields remain inspectable without exposing every hidden field is violated by the widget projection.
Hidden selected fields remain inspectable without exposing every hidden field · case 04
Hidden selected fields remain inspectable without exposing every hidden field is violated by the widget projection.
Hidden selected fields remain inspectable without exposing every hidden field · case 05
Hidden selected fields remain inspectable without exposing every hidden field is violated by the widget projection.
Duplicate field captions trigger path disambiguation · case 01
Duplicate field captions trigger path disambiguation is violated by the widget projection.
Duplicate field captions trigger path disambiguation · case 02
Duplicate field captions trigger path disambiguation is violated by the widget projection.
Duplicate field captions trigger path disambiguation · case 03
Duplicate field captions trigger path disambiguation is violated by the widget projection.
Duplicate field captions trigger path disambiguation · case 04
Duplicate field captions trigger path disambiguation is violated by the widget projection.
Duplicate field captions trigger path disambiguation · case 05
Duplicate field captions trigger path disambiguation is violated by the widget projection.
Field chooser order follows schema presentation order · case 01
Field chooser order follows schema presentation order is violated by the widget projection.
Field chooser order follows schema presentation order · case 02
Field chooser order follows schema presentation order is violated by the widget projection.
Field chooser order follows schema presentation order · case 03
Field chooser order follows schema presentation order is violated by the widget projection.
Field chooser order follows schema presentation order · case 04
Field chooser order follows schema presentation order is violated by the widget projection.
Field chooser order follows schema presentation order · case 05
Field chooser order follows schema presentation order is violated by the widget projection.
Selected field validity comes from queryability rather than visibility · case 01
Selected field validity comes from queryability rather than visibility is violated by the widget projection.
Selected field validity comes from queryability rather than visibility · case 02
Selected field validity comes from queryability rather than visibility is violated by the widget projection.
Selected field validity comes from queryability rather than visibility · case 03
Selected field validity comes from queryability rather than visibility is violated by the widget projection.
Selected field validity comes from queryability rather than visibility · case 04
Selected field validity comes from queryability rather than visibility is violated by the widget projection.
Selected field validity comes from queryability rather than visibility · case 05
Selected field validity comes from queryability rather than visibility is violated by the widget projection.
Field chooser sections combine group membership with query capability · case 01
Field chooser sections combine group membership with query capability is violated by the widget projection.
Field chooser sections combine group membership with query capability · case 02
Field chooser sections combine group membership with query capability is violated by the widget projection.
Field chooser sections combine group membership with query capability · case 03
Field chooser sections combine group membership with query capability is violated by the widget projection.
Field chooser sections combine group membership with query capability · case 04
Field chooser sections combine group membership with query capability is violated by the widget projection.
Field chooser sections combine group membership with query capability · case 05
Field chooser sections combine group membership with query capability is violated by the widget projection.
Group negation toggles rather than only setting or clearing · case 01
Group negation toggles rather than only setting or clearing is violated by the widget projection.
Group negation toggles rather than only setting or clearing · case 02
Group negation toggles rather than only setting or clearing is violated by the widget projection.
Group negation toggles rather than only setting or clearing · case 03
Group negation toggles rather than only setting or clearing is violated by the widget projection.
Group negation toggles rather than only setting or clearing · case 04
Group negation toggles rather than only setting or clearing is violated by the widget projection.
Group negation toggles rather than only setting or clearing · case 05
Group negation toggles rather than only setting or clearing is violated by the widget projection.
Normalizing a negated filter group flips its connective only when negated · case 01
Normalizing a negated filter group flips its connective only when negated is violated by the widget projection.
Normalizing a negated filter group flips its connective only when negated · case 02
Normalizing a negated filter group flips its connective only when negated is violated by the widget projection.
Normalizing a negated filter group flips its connective only when negated · case 03
Normalizing a negated filter group flips its connective only when negated is violated by the widget projection.
Normalizing a negated filter group flips its connective only when negated · case 04
Normalizing a negated filter group flips its connective only when negated is violated by the widget projection.
Normalizing a negated filter group flips its connective only when negated · case 05
Normalizing a negated filter group flips its connective only when negated is violated by the widget projection.
Normal form complements all child operators only under negation · case 01
Normal form complements all child operators only under negation is violated by the widget projection.
Normal form complements all child operators only under negation · case 02
Normal form complements all child operators only under negation is violated by the widget projection.
Normal form complements all child operators only under negation · case 03
Normal form complements all child operators only under negation is violated by the widget projection.
Normal form complements all child operators only under negation · case 04
Normal form complements all child operators only under negation is violated by the widget projection.
Normal form complements all child operators only under negation · case 05
Normal form complements all child operators only under negation is violated by the widget projection.
A group cannot normalize when any child lacks a supported complement · case 01
A group cannot normalize when any child lacks a supported complement is violated by the widget projection.
A group cannot normalize when any child lacks a supported complement · case 02
A group cannot normalize when any child lacks a supported complement is violated by the widget projection.
A group cannot normalize when any child lacks a supported complement · case 03
A group cannot normalize when any child lacks a supported complement is violated by the widget projection.
A group cannot normalize when any child lacks a supported complement · case 04
A group cannot normalize when any child lacks a supported complement is violated by the widget projection.
A group cannot normalize when any child lacks a supported complement · case 05
A group cannot normalize when any child lacks a supported complement is violated by the widget projection.
Unsupported complements retain the negation wrapper for lossless editing · case 01
Unsupported complements retain the negation wrapper for lossless editing is violated by the widget projection.
Unsupported complements retain the negation wrapper for lossless editing · case 02
Unsupported complements retain the negation wrapper for lossless editing is violated by the widget projection.
Unsupported complements retain the negation wrapper for lossless editing · case 03
Unsupported complements retain the negation wrapper for lossless editing is violated by the widget projection.
Unsupported complements retain the negation wrapper for lossless editing · case 04
Unsupported complements retain the negation wrapper for lossless editing is violated by the widget projection.
Unsupported complements retain the negation wrapper for lossless editing · case 05
Unsupported complements retain the negation wrapper for lossless editing is violated by the widget projection.
Negation summary parentheses preserve whole-group scope · case 01
Negation summary parentheses preserve whole-group scope is violated by the widget projection.
Negation summary parentheses preserve whole-group scope · case 02
Negation summary parentheses preserve whole-group scope is violated by the widget projection.
Negation summary parentheses preserve whole-group scope · case 03
Negation summary parentheses preserve whole-group scope is violated by the widget projection.
Negation summary parentheses preserve whole-group scope · case 04
Negation summary parentheses preserve whole-group scope is violated by the widget projection.
Negation summary parentheses preserve whole-group scope · case 05
Negation summary parentheses preserve whole-group scope is violated by the widget projection.
Disabled user operands consume operand quota while enforced operands are exempt · case 01
Disabled user operands consume operand quota while enforced operands are exempt is violated by the widget projection.
Disabled user operands consume operand quota while enforced operands are exempt · case 02
Disabled user operands consume operand quota while enforced operands are exempt is violated by the widget projection.
Disabled user operands consume operand quota while enforced operands are exempt · case 03
Disabled user operands consume operand quota while enforced operands are exempt is violated by the widget projection.
Disabled user operands consume operand quota while enforced operands are exempt · case 04
Disabled user operands consume operand quota while enforced operands are exempt is violated by the widget projection.
Disabled user operands consume operand quota while enforced operands are exempt · case 05
Disabled user operands consume operand quota while enforced operands are exempt is violated by the widget projection.
Adding a criterion requires capacity strictly below the user-row limit · case 01
Adding a criterion requires capacity strictly below the user-row limit is violated by the widget projection.
Adding a criterion requires capacity strictly below the user-row limit · case 02
Adding a criterion requires capacity strictly below the user-row limit is violated by the widget projection.
Adding a criterion requires capacity strictly below the user-row limit · case 03
Adding a criterion requires capacity strictly below the user-row limit is violated by the widget projection.
Adding a criterion requires capacity strictly below the user-row limit · case 04
Adding a criterion requires capacity strictly below the user-row limit is violated by the widget projection.
Adding a criterion requires capacity strictly below the user-row limit · case 05
Adding a criterion requires capacity strictly below the user-row limit is violated by the widget projection.
Group quota counts group nodes rather than all filter nodes · case 01
Group quota counts group nodes rather than all filter nodes is violated by the widget projection.
Group quota counts group nodes rather than all filter nodes · case 02
Group quota counts group nodes rather than all filter nodes is violated by the widget projection.
Group quota counts group nodes rather than all filter nodes · case 03
Group quota counts group nodes rather than all filter nodes is violated by the widget projection.
Group quota counts group nodes rather than all filter nodes · case 04
Group quota counts group nodes rather than all filter nodes is violated by the widget projection.
Group quota counts group nodes rather than all filter nodes · case 05
Group quota counts group nodes rather than all filter nodes is violated by the widget projection.
Set-operand quota counts distinct selected identities · case 01
Set-operand quota counts distinct selected identities is violated by the widget projection.
Set-operand quota counts distinct selected identities · case 02
Set-operand quota counts distinct selected identities is violated by the widget projection.
Set-operand quota counts distinct selected identities · case 03
Set-operand quota counts distinct selected identities is violated by the widget projection.
Set-operand quota counts distinct selected identities · case 04
Set-operand quota counts distinct selected identities is violated by the widget projection.
Set-operand quota counts distinct selected identities · case 05
Set-operand quota counts distinct selected identities is violated by the widget projection.
Replacing a set tests the resulting distinct operands against quota · case 01
Replacing a set tests the resulting distinct operands against quota is violated by the widget projection.
Replacing a set tests the resulting distinct operands against quota · case 02
Replacing a set tests the resulting distinct operands against quota is violated by the widget projection.
Replacing a set tests the resulting distinct operands against quota · case 03
Replacing a set tests the resulting distinct operands against quota is violated by the widget projection.
Replacing a set tests the resulting distinct operands against quota · case 04
Replacing a set tests the resulting distinct operands against quota is violated by the widget projection.
Replacing a set tests the resulting distinct operands against quota · case 05
Replacing a set tests the resulting distinct operands against quota is violated by the widget projection.
Remaining filter capacity clamps over-limit imports to zero · case 01
Remaining filter capacity clamps over-limit imports to zero is violated by the widget projection.
Remaining filter capacity clamps over-limit imports to zero · case 02
Remaining filter capacity clamps over-limit imports to zero is violated by the widget projection.
Remaining filter capacity clamps over-limit imports to zero · case 03
Remaining filter capacity clamps over-limit imports to zero is violated by the widget projection.
Remaining filter capacity clamps over-limit imports to zero · case 04
Remaining filter capacity clamps over-limit imports to zero is violated by the widget projection.
Remaining filter capacity clamps over-limit imports to zero · case 05
Remaining filter capacity clamps over-limit imports to zero is violated by the widget projection.
Returning to a drilldown breadcrumb retains that breadcrumb itself · case 01
Returning to a drilldown breadcrumb retains that breadcrumb itself is violated by the widget projection.
Returning to a drilldown breadcrumb retains that breadcrumb itself · case 02
Returning to a drilldown breadcrumb retains that breadcrumb itself is violated by the widget projection.
Returning to a drilldown breadcrumb retains that breadcrumb itself · case 03
Returning to a drilldown breadcrumb retains that breadcrumb itself is violated by the widget projection.
Returning to a drilldown breadcrumb retains that breadcrumb itself · case 04
Returning to a drilldown breadcrumb retains that breadcrumb itself is violated by the widget projection.
Returning to a drilldown breadcrumb retains that breadcrumb itself · case 05
Returning to a drilldown breadcrumb retains that breadcrumb itself is violated by the widget projection.
Returning to drilldown root preserves independent global criteria · case 01
Returning to drilldown root preserves independent global criteria is violated by the widget projection.
Returning to drilldown root preserves independent global criteria · case 02
Returning to drilldown root preserves independent global criteria is violated by the widget projection.
Returning to drilldown root preserves independent global criteria · case 03
Returning to drilldown root preserves independent global criteria is violated by the widget projection.
Returning to drilldown root preserves independent global criteria · case 04
Returning to drilldown root preserves independent global criteria is violated by the widget projection.
Returning to drilldown root preserves independent global criteria · case 05
Returning to drilldown root preserves independent global criteria 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 ↗