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 blank lower bound is open while zero remains closed · case 01
A blank lower bound is open while zero remains closed is violated by the widget projection.
A blank lower bound is open while zero remains closed · case 02
A blank lower bound is open while zero remains closed is violated by the widget projection.
A blank lower bound is open while zero remains closed · case 03
A blank lower bound is open while zero remains closed is violated by the widget projection.
A blank lower bound is open while zero remains closed · case 04
A blank lower bound is open while zero remains closed is violated by the widget projection.
A blank lower bound is open while zero remains closed · case 05
A blank lower bound is open while zero remains closed is violated by the widget projection.
A blank upper bound is open while zero remains closed · case 01
A blank upper bound is open while zero remains closed is violated by the widget projection.
A blank upper bound is open while zero remains closed · case 02
A blank upper bound is open while zero remains closed is violated by the widget projection.
A blank upper bound is open while zero remains closed · case 03
A blank upper bound is open while zero remains closed is violated by the widget projection.
A blank upper bound is open while zero remains closed · case 04
A blank upper bound is open while zero remains closed is violated by the widget projection.
A blank upper bound is open while zero remains closed · case 05
A blank upper bound is open while zero remains closed is violated by the widget projection.
Range validation compares numeric endpoints and accepts point ranges · case 01
Range validation compares numeric endpoints and accepts point ranges is violated by the widget projection.
Range validation compares numeric endpoints and accepts point ranges · case 02
Range validation compares numeric endpoints and accepts point ranges is violated by the widget projection.
Range validation compares numeric endpoints and accepts point ranges · case 03
Range validation compares numeric endpoints and accepts point ranges is violated by the widget projection.
Range validation compares numeric endpoints and accepts point ranges · case 04
Range validation compares numeric endpoints and accepts point ranges is violated by the widget projection.
Range validation compares numeric endpoints and accepts point ranges · case 05
Range validation compares numeric endpoints and accepts point ranges is violated by the widget projection.
Only two blank endpoints remove the range constraint · case 01
Only two blank endpoints remove the range constraint is violated by the widget projection.
Only two blank endpoints remove the range constraint · case 02
Only two blank endpoints remove the range constraint is violated by the widget projection.
Only two blank endpoints remove the range constraint · case 03
Only two blank endpoints remove the range constraint is violated by the widget projection.
Only two blank endpoints remove the range constraint · case 04
Only two blank endpoints remove the range constraint is violated by the widget projection.
Only two blank endpoints remove the range constraint · case 05
Only two blank endpoints remove the range constraint is violated by the widget projection.
An open lower endpoint renders the domain minimum handle · case 01
An open lower endpoint renders the domain minimum handle is violated by the widget projection.
An open lower endpoint renders the domain minimum handle · case 02
An open lower endpoint renders the domain minimum handle is violated by the widget projection.
An open lower endpoint renders the domain minimum handle · case 03
An open lower endpoint renders the domain minimum handle is violated by the widget projection.
An open lower endpoint renders the domain minimum handle · case 04
An open lower endpoint renders the domain minimum handle is violated by the widget projection.
An open lower endpoint renders the domain minimum handle · case 05
An open lower endpoint renders the domain minimum handle is violated by the widget projection.
An open upper endpoint renders the domain maximum handle · case 01
An open upper endpoint renders the domain maximum handle is violated by the widget projection.
An open upper endpoint renders the domain maximum handle · case 02
An open upper endpoint renders the domain maximum handle is violated by the widget projection.
An open upper endpoint renders the domain maximum handle · case 03
An open upper endpoint renders the domain maximum handle is violated by the widget projection.
An open upper endpoint renders the domain maximum handle · case 04
An open upper endpoint renders the domain maximum handle is violated by the widget projection.
An open upper endpoint renders the domain maximum handle · case 05
An open upper endpoint renders the domain maximum handle is violated by the widget projection.
Presence operators omit stale operand values · case 01
Presence operators omit stale operand values is violated by the widget projection.
Presence operators omit stale operand values · case 02
Presence operators omit stale operand values is violated by the widget projection.
Presence operators omit stale operand values · case 03
Presence operators omit stale operand values is violated by the widget projection.
Presence operators omit stale operand values · case 04
Presence operators omit stale operand values is violated by the widget projection.
Presence operators omit stale operand values · case 05
Presence operators omit stale operand values is violated by the widget projection.
Membership wraps scalars without nesting existing lists · case 01
Membership wraps scalars without nesting existing lists is violated by the widget projection.
Membership wraps scalars without nesting existing lists · case 02
Membership wraps scalars without nesting existing lists is violated by the widget projection.
Membership wraps scalars without nesting existing lists · case 03
Membership wraps scalars without nesting existing lists is violated by the widget projection.
Membership wraps scalars without nesting existing lists · case 04
Membership wraps scalars without nesting existing lists is violated by the widget projection.
Membership wraps scalars without nesting existing lists · case 05
Membership wraps scalars without nesting existing lists is violated by the widget projection.
Equality conversion retains the first set operand · case 01
Equality conversion retains the first set operand is violated by the widget projection.
Equality conversion retains the first set operand · case 02
Equality conversion retains the first set operand is violated by the widget projection.
Equality conversion retains the first set operand · case 03
Equality conversion retains the first set operand is violated by the widget projection.
Equality conversion retains the first set operand · case 04
Equality conversion retains the first set operand is violated by the widget projection.
Equality conversion retains the first set operand · case 05
Equality conversion retains the first set operand is violated by the widget projection.
Both unary operators hide the value editor · case 01
Both unary operators hide the value editor is violated by the widget projection.
Both unary operators hide the value editor · case 02
Both unary operators hide the value editor is violated by the widget projection.
Both unary operators hide the value editor · case 03
Both unary operators hide the value editor is violated by the widget projection.
Both unary operators hide the value editor · case 04
Both unary operators hide the value editor is violated by the widget projection.
Both unary operators hide the value editor · case 05
Both unary operators hide the value editor is violated by the widget projection.
Only an empty membership list triggers the empty-set validation · case 01
Only an empty membership list triggers the empty-set validation is violated by the widget projection.
Only an empty membership list triggers the empty-set validation · case 02
Only an empty membership list triggers the empty-set validation is violated by the widget projection.
Only an empty membership list triggers the empty-set validation · case 03
Only an empty membership list triggers the empty-set validation is violated by the widget projection.
Only an empty membership list triggers the empty-set validation · case 04
Only an empty membership list triggers the empty-set validation is violated by the widget projection.
Only an empty membership list triggers the empty-set validation · case 05
Only an empty membership list triggers the empty-set validation is violated by the widget projection.
Null equality is distinct from empty text and zero-valued operands · case 01
Null equality is distinct from empty text and zero-valued operands is violated by the widget projection.
Null equality is distinct from empty text and zero-valued operands · case 02
Null equality is distinct from empty text and zero-valued operands is violated by the widget projection.
Null equality is distinct from empty text and zero-valued operands · case 03
Null equality is distinct from empty text and zero-valued operands is violated by the widget projection.
Null equality is distinct from empty text and zero-valued operands · case 04
Null equality is distinct from empty text and zero-valued operands is violated by the widget projection.
Null equality is distinct from empty text and zero-valued operands · case 05
Null equality is distinct from empty text and zero-valued operands is violated by the widget projection.
Facet search uses case-insensitive substring matching · case 01
Facet search uses case-insensitive substring matching is violated by the widget projection.
Facet search uses case-insensitive substring matching · case 02
Facet search uses case-insensitive substring matching is violated by the widget projection.
Facet search uses case-insensitive substring matching · case 03
Facet search uses case-insensitive substring matching is violated by the widget projection.
Facet search uses case-insensitive substring matching · case 04
Facet search uses case-insensitive substring matching is violated by the widget projection.
Facet search uses case-insensitive substring matching · case 05
Facet search uses case-insensitive substring matching is violated by the widget projection.
Searching options never rewrites selected criteria · case 01
Searching options never rewrites selected criteria is violated by the widget projection.
Searching options never rewrites selected criteria · case 02
Searching options never rewrites selected criteria is violated by the widget projection.
Searching options never rewrites selected criteria · case 03
Searching options never rewrites selected criteria is violated by the widget projection.
Searching options never rewrites selected criteria · case 04
Searching options never rewrites selected criteria is violated by the widget projection.
Searching options never rewrites selected criteria · case 05
Searching options never rewrites selected criteria is violated by the widget projection.
Clearing a facet search restores all offered values · case 01
Clearing a facet search restores all offered values is violated by the widget projection.
Clearing a facet search restores all offered values · case 02
Clearing a facet search restores all offered values is violated by the widget projection.
Clearing a facet search restores all offered values · case 03
Clearing a facet search restores all offered values is violated by the widget projection.
Clearing a facet search restores all offered values · case 04
Clearing a facet search restores all offered values is violated by the widget projection.
Clearing a facet search restores all offered values · case 05
Clearing a facet search restores all offered values is violated by the widget projection.
Hidden-selection badges count selected values outside the search · case 01
Hidden-selection badges count selected values outside the search is violated by the widget projection.
Hidden-selection badges count selected values outside the search · case 02
Hidden-selection badges count selected values outside the search is violated by the widget projection.
Hidden-selection badges count selected values outside the search · case 03
Hidden-selection badges count selected values outside the search is violated by the widget projection.
Hidden-selection badges count selected values outside the search · case 04
Hidden-selection badges count selected values outside the search is violated by the widget projection.
Hidden-selection badges count selected values outside the search · case 05
Hidden-selection badges count selected values outside the search is violated by the widget projection.
No-options messaging depends on searchable options rather than selected values · case 01
No-options messaging depends on searchable options rather than selected values is violated by the widget projection.
No-options messaging depends on searchable options rather than selected values · case 02
No-options messaging depends on searchable options rather than selected values is violated by the widget projection.
No-options messaging depends on searchable options rather than selected values · case 03
No-options messaging depends on searchable options rather than selected values is violated by the widget projection.
No-options messaging depends on searchable options rather than selected values · case 04
No-options messaging depends on searchable options rather than selected values is violated by the widget projection.
No-options messaging depends on searchable options rather than selected values · case 05
No-options messaging depends on searchable options rather than selected values is violated by the widget projection.
Select-visible search targets exclude disabled options · case 01
Select-visible search targets exclude disabled options is violated by the widget projection.
Select-visible search targets exclude disabled options · case 02
Select-visible search targets exclude disabled options is violated by the widget projection.
Select-visible search targets exclude disabled options · case 03
Select-visible search targets exclude disabled options is violated by the widget projection.
Select-visible search targets exclude disabled options · case 04
Select-visible search targets exclude disabled options is violated by the widget projection.
Select-visible search targets exclude disabled options · case 05
Select-visible search targets exclude disabled options is violated by the widget projection.
The summary describes the configured conjunction · case 01
The summary describes the configured conjunction is violated by the widget projection.
The summary describes the configured conjunction · case 02
The summary describes the configured conjunction is violated by the widget projection.
The summary describes the configured conjunction · case 03
The summary describes the configured conjunction is violated by the widget projection.
The summary describes the configured conjunction · case 04
The summary describes the configured conjunction is violated by the widget projection.
The summary describes the configured conjunction · case 05
The summary describes the configured conjunction is violated by the widget projection.
A negated group advertises its polarity · case 01
A negated group advertises its polarity is violated by the widget projection.
A negated group advertises its polarity · case 02
A negated group advertises its polarity is violated by the widget projection.
A negated group advertises its polarity · case 03
A negated group advertises its polarity is violated by the widget projection.
A negated group advertises its polarity · case 04
A negated group advertises its polarity is violated by the widget projection.
A negated group advertises its polarity · case 05
A negated group advertises its polarity 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 ↗