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
Group drops reject both self targets and descendant targets · case 01
Group drops reject both self targets and descendant targets is violated by the widget projection.
Group drops reject both self targets and descendant targets · case 02
Group drops reject both self targets and descendant targets is violated by the widget projection.
Group drops reject both self targets and descendant targets · case 03
Group drops reject both self targets and descendant targets is violated by the widget projection.
Group drops reject both self targets and descendant targets · case 04
Group drops reject both self targets and descendant targets is violated by the widget projection.
Group drops reject both self targets and descendant targets · case 05
Group drops reject both self targets and descendant targets is violated by the widget projection.
A drag must originate from a group containing the criterion · case 01
A drag must originate from a group containing the criterion is violated by the widget projection.
A drag must originate from a group containing the criterion · case 02
A drag must originate from a group containing the criterion is violated by the widget projection.
A drag must originate from a group containing the criterion · case 03
A drag must originate from a group containing the criterion is violated by the widget projection.
A drag must originate from a group containing the criterion · case 04
A drag must originate from a group containing the criterion is violated by the widget projection.
A drag must originate from a group containing the criterion · case 05
A drag must originate from a group containing the criterion is violated by the widget projection.
Cross-group duplicate constraints are detected without rejecting self reorder · case 01
Cross-group duplicate constraints are detected without rejecting self reorder is violated by the widget projection.
Cross-group duplicate constraints are detected without rejecting self reorder · case 02
Cross-group duplicate constraints are detected without rejecting self reorder is violated by the widget projection.
Cross-group duplicate constraints are detected without rejecting self reorder · case 03
Cross-group duplicate constraints are detected without rejecting self reorder is violated by the widget projection.
Cross-group duplicate constraints are detected without rejecting self reorder · case 04
Cross-group duplicate constraints are detected without rejecting self reorder is violated by the widget projection.
Cross-group duplicate constraints are detected without rejecting self reorder · case 05
Cross-group duplicate constraints are detected without rejecting self reorder is violated by the widget projection.
Reparenting removes the specific dragged criterion from its source · case 01
Reparenting removes the specific dragged criterion from its source is violated by the widget projection.
Reparenting removes the specific dragged criterion from its source · case 02
Reparenting removes the specific dragged criterion from its source is violated by the widget projection.
Reparenting removes the specific dragged criterion from its source · case 03
Reparenting removes the specific dragged criterion from its source is violated by the widget projection.
Reparenting removes the specific dragged criterion from its source · case 04
Reparenting removes the specific dragged criterion from its source is violated by the widget projection.
Reparenting removes the specific dragged criterion from its source · case 05
Reparenting removes the specific dragged criterion from its source is violated by the widget projection.
The drop position determines the new group operand order · case 01
The drop position determines the new group operand order is violated by the widget projection.
The drop position determines the new group operand order · case 02
The drop position determines the new group operand order is violated by the widget projection.
The drop position determines the new group operand order · case 03
The drop position determines the new group operand order is violated by the widget projection.
The drop position determines the new group operand order · case 04
The drop position determines the new group operand order is violated by the widget projection.
The drop position determines the new group operand order · case 05
The drop position determines the new group operand order is violated by the widget projection.
Flattening group wrappers requires matching operators and no negation · case 01
Flattening group wrappers requires matching operators and no negation is violated by the widget projection.
Flattening group wrappers requires matching operators and no negation · case 02
Flattening group wrappers requires matching operators and no negation is violated by the widget projection.
Flattening group wrappers requires matching operators and no negation · case 03
Flattening group wrappers requires matching operators and no negation is violated by the widget projection.
Flattening group wrappers requires matching operators and no negation · case 04
Flattening group wrappers requires matching operators and no negation is violated by the widget projection.
Flattening group wrappers requires matching operators and no negation · case 05
Flattening group wrappers requires matching operators and no negation is violated by the widget projection.
Scalar operands keep their envelope even when explicitly null · case 01
Scalar operands keep their envelope even when explicitly null is violated by the widget projection.
Scalar operands keep their envelope even when explicitly null · case 02
Scalar operands keep their envelope even when explicitly null is violated by the widget projection.
Scalar operands keep their envelope even when explicitly null · case 03
Scalar operands keep their envelope even when explicitly null is violated by the widget projection.
Scalar operands keep their envelope even when explicitly null · case 04
Scalar operands keep their envelope even when explicitly null is violated by the widget projection.
Scalar operands keep their envelope even when explicitly null · case 05
Scalar operands keep their envelope even when explicitly null is violated by the widget projection.
Set operands use an ordered values array · case 01
Set operands use an ordered values array is violated by the widget projection.
Set operands use an ordered values array · case 02
Set operands use an ordered values array is violated by the widget projection.
Set operands use an ordered values array · case 03
Set operands use an ordered values array is violated by the widget projection.
Set operands use an ordered values array · case 04
Set operands use an ordered values array is violated by the widget projection.
Set operands use an ordered values array · case 05
Set operands use an ordered values array is violated by the widget projection.
Range envelopes preserve endpoint roles and open sides · case 01
Range envelopes preserve endpoint roles and open sides is violated by the widget projection.
Range envelopes preserve endpoint roles and open sides · case 02
Range envelopes preserve endpoint roles and open sides is violated by the widget projection.
Range envelopes preserve endpoint roles and open sides · case 03
Range envelopes preserve endpoint roles and open sides is violated by the widget projection.
Range envelopes preserve endpoint roles and open sides · case 04
Range envelopes preserve endpoint roles and open sides is violated by the widget projection.
Range envelopes preserve endpoint roles and open sides · case 05
Range envelopes preserve endpoint roles and open sides is violated by the widget projection.
Unary constraints omit operand keys instead of leaking prior values · case 01
Unary constraints omit operand keys instead of leaking prior values is violated by the widget projection.
Unary constraints omit operand keys instead of leaking prior values · case 02
Unary constraints omit operand keys instead of leaking prior values is violated by the widget projection.
Unary constraints omit operand keys instead of leaking prior values · case 03
Unary constraints omit operand keys instead of leaking prior values is violated by the widget projection.
Unary constraints omit operand keys instead of leaking prior values · case 04
Unary constraints omit operand keys instead of leaking prior values is violated by the widget projection.
Unary constraints omit operand keys instead of leaking prior values · case 05
Unary constraints omit operand keys instead of leaking prior values is violated by the widget projection.
Wire operators retain exact schema identifiers · case 01
Wire operators retain exact schema identifiers is violated by the widget projection.
Wire operators retain exact schema identifiers · case 02
Wire operators retain exact schema identifiers is violated by the widget projection.
Wire operators retain exact schema identifiers · case 03
Wire operators retain exact schema identifiers is violated by the widget projection.
Wire operators retain exact schema identifiers · case 04
Wire operators retain exact schema identifiers is violated by the widget projection.
Wire operators retain exact schema identifiers · case 05
Wire operators retain exact schema identifiers is violated by the widget projection.
Nested field paths serialize as segments without flattening literal dots · case 01
Nested field paths serialize as segments without flattening literal dots is violated by the widget projection.
Nested field paths serialize as segments without flattening literal dots · case 02
Nested field paths serialize as segments without flattening literal dots is violated by the widget projection.
Nested field paths serialize as segments without flattening literal dots · case 03
Nested field paths serialize as segments without flattening literal dots is violated by the widget projection.
Nested field paths serialize as segments without flattening literal dots · case 04
Nested field paths serialize as segments without flattening literal dots is violated by the widget projection.
Nested field paths serialize as segments without flattening literal dots · case 05
Nested field paths serialize as segments without flattening literal dots is violated by the widget projection.
Lower-bound crossing is clamped only under range lock · case 01
Lower-bound crossing is clamped only under range lock is violated by the widget projection.
Lower-bound crossing is clamped only under range lock · case 02
Lower-bound crossing is clamped only under range lock is violated by the widget projection.
Lower-bound crossing is clamped only under range lock · case 03
Lower-bound crossing is clamped only under range lock is violated by the widget projection.
Lower-bound crossing is clamped only under range lock · case 04
Lower-bound crossing is clamped only under range lock is violated by the widget projection.
Lower-bound crossing is clamped only under range lock · case 05
Lower-bound crossing is clamped only under range lock is violated by the widget projection.
Upper-bound crossing is clamped only under range lock · case 01
Upper-bound crossing is clamped only under range lock is violated by the widget projection.
Upper-bound crossing is clamped only under range lock · case 02
Upper-bound crossing is clamped only under range lock is violated by the widget projection.
Upper-bound crossing is clamped only under range lock · case 03
Upper-bound crossing is clamped only under range lock is violated by the widget projection.
Upper-bound crossing is clamped only under range lock · case 04
Upper-bound crossing is clamped only under range lock is violated by the widget projection.
Upper-bound crossing is clamped only under range lock · case 05
Upper-bound crossing is clamped only under range lock is violated by the widget projection.
Moving a linked lower bound translates the upper bound by the same delta · case 01
Moving a linked lower bound translates the upper bound by the same delta is violated by the widget projection.
Moving a linked lower bound translates the upper bound by the same delta · case 02
Moving a linked lower bound translates the upper bound by the same delta is violated by the widget projection.
Moving a linked lower bound translates the upper bound by the same delta · case 03
Moving a linked lower bound translates the upper bound by the same delta is violated by the widget projection.
Moving a linked lower bound translates the upper bound by the same delta · case 04
Moving a linked lower bound translates the upper bound by the same delta is violated by the widget projection.
Moving a linked lower bound translates the upper bound by the same delta · case 05
Moving a linked lower bound translates the upper bound by the same delta is violated by the widget projection.
Moving a linked upper bound translates the lower bound by the same delta · case 01
Moving a linked upper bound translates the lower bound by the same delta is violated by the widget projection.
Moving a linked upper bound translates the lower bound by the same delta · case 02
Moving a linked upper bound translates the lower bound by the same delta is violated by the widget projection.
Moving a linked upper bound translates the lower bound by the same delta · case 03
Moving a linked upper bound translates the lower bound by the same delta is violated by the widget projection.
Moving a linked upper bound translates the lower bound by the same delta · case 04
Moving a linked upper bound translates the lower bound by the same delta is violated by the widget projection.
Moving a linked upper bound translates the lower bound by the same delta · case 05
Moving a linked upper bound translates the lower bound by the same delta is violated by the widget projection.
Width linking requires two finite endpoints including zero · case 01
Width linking requires two finite endpoints including zero is violated by the widget projection.
Width linking requires two finite endpoints including zero · case 02
Width linking requires two finite endpoints including zero is violated by the widget projection.
Width linking requires two finite endpoints including zero · case 03
Width linking requires two finite endpoints including zero is violated by the widget projection.
Width linking requires two finite endpoints including zero · case 04
Width linking requires two finite endpoints including zero is violated by the widget projection.
Width linking requires two finite endpoints including zero · case 05
Width linking requires two finite endpoints including zero is violated by the widget projection.
Reversed draft ranges show an error while equal endpoints remain valid · case 01
Reversed draft ranges show an error while equal endpoints remain valid is violated by the widget projection.
Reversed draft ranges show an error while equal endpoints remain valid · case 02
Reversed draft ranges show an error while equal endpoints remain valid is violated by the widget projection.
Reversed draft ranges show an error while equal endpoints remain valid · case 03
Reversed draft ranges show an error while equal endpoints remain valid is violated by the widget projection.
Reversed draft ranges show an error while equal endpoints remain valid · case 04
Reversed draft ranges show an error while equal endpoints remain valid is violated by the widget projection.
Reversed draft ranges show an error while equal endpoints remain valid · case 05
Reversed draft ranges show an error while equal endpoints remain valid is violated by the widget projection.
Missing lower option identities do not silently become the first option · case 01
Missing lower option identities do not silently become the first option is violated by the widget projection.
Missing lower option identities do not silently become the first option · case 02
Missing lower option identities do not silently become the first option is violated by the widget projection.
Missing lower option identities do not silently become the first option · case 03
Missing lower option identities do not silently become the first option is violated by the widget projection.
Missing lower option identities do not silently become the first option · case 04
Missing lower option identities do not silently become the first option is violated by the widget projection.
Missing lower option identities do not silently become the first option · case 05
Missing lower option identities do not silently become the first option is violated by the widget projection.
Missing upper identities do not silently become the final option · case 01
Missing upper identities do not silently become the final option is violated by the widget projection.
Missing upper identities do not silently become the final option · case 02
Missing upper identities do not silently become the final option is violated by the widget projection.
Missing upper identities do not silently become the final option · case 03
Missing upper identities do not silently become the final option is violated by the widget projection.
Missing upper identities do not silently become the final option · case 04
Missing upper identities do not silently become the final option is violated by the widget projection.
Missing upper identities do not silently become the final option · case 05
Missing upper identities do not silently become the final option 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 ↗