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 global recursion guard erases a repeated label branch · case 01
Shared text is lost in a label-reference graph, or a cycle prevents termination.
A global recursion guard erases a repeated label branch · case 02
Shared text is lost in a label-reference graph, or a cycle prevents termination.
A global recursion guard erases a repeated label branch · case 03
Shared text is lost in a label-reference graph, or a cycle prevents termination.
A global recursion guard erases a repeated label branch · case 04
Shared text is lost in a label-reference graph, or a cycle prevents termination.
A global recursion guard erases a repeated label branch · case 05
Shared text is lost in a label-reference graph, or a cycle prevents termination.
Name flattening leaves line breaks as spoken separators · case 01
Text fragments produce excess spaces or lose intentional nonbreaking characters.
Name flattening leaves line breaks as spoken separators · case 02
Text fragments produce excess spaces or lose intentional nonbreaking characters.
Name flattening leaves line breaks as spoken separators · case 03
Text fragments produce excess spaces or lose intentional nonbreaking characters.
Name flattening leaves line breaks as spoken separators · case 04
Text fragments produce excess spaces or lose intentional nonbreaking characters.
Name flattening leaves line breaks as spoken separators · case 05
Text fragments produce excess spaces or lose intentional nonbreaking characters.
Table headers leak across row groups or override explicit associations · case 01
A cell announces a group header belonging to a different section or inferred headers alongside explicit ones.
Table headers leak across row groups or override explicit associations · case 02
A cell announces a group header belonging to a different section or inferred headers alongside explicit ones.
Table headers leak across row groups or override explicit associations · case 03
A cell announces a group header belonging to a different section or inferred headers alongside explicit ones.
Table headers leak across row groups or override explicit associations · case 04
A cell announces a group header belonging to a different section or inferred headers alongside explicit ones.
Table headers leak across row groups or override explicit associations · case 05
A cell announces a group header belonging to a different section or inferred headers alongside explicit ones.
A virtual window reports local positions as global set positions · case 01
The first rendered row is announced as item one even when earlier items are offscreen.
A virtual window reports local positions as global set positions · case 02
The first rendered row is announced as item one even when earlier items are offscreen.
A virtual window reports local positions as global set positions · case 03
The first rendered row is announced as item one even when earlier items are offscreen.
A virtual window reports local positions as global set positions · case 04
The first rendered row is announced as item one even when earlier items are offscreen.
A virtual window reports local positions as global set positions · case 05
The first rendered row is announced as item one even when earlier items are offscreen.
Error text replaces persistent instructions in the description channel · case 01
Invalid controls lose their usage hint, or error text remains announced after validation succeeds.
Error text replaces persistent instructions in the description channel · case 02
Invalid controls lose their usage hint, or error text remains announced after validation succeeds.
Error text replaces persistent instructions in the description channel · case 03
Invalid controls lose their usage hint, or error text remains announced after validation succeeds.
Error text replaces persistent instructions in the description channel · case 04
Invalid controls lose their usage hint, or error text remains announced after validation succeeds.
Error text replaces persistent instructions in the description channel · case 05
Invalid controls lose their usage hint, or error text remains announced after validation succeeds.
A removal is announced under an additions-only live policy · case 01
Live-region mutation filtering emits irrelevant event kinds or loses text edits under the default policy.
A removal is announced under an additions-only live policy · case 02
Live-region mutation filtering emits irrelevant event kinds or loses text edits under the default policy.
A removal is announced under an additions-only live policy · case 03
Live-region mutation filtering emits irrelevant event kinds or loses text edits under the default policy.
A removal is announced under an additions-only live policy · case 04
Live-region mutation filtering emits irrelevant event kinds or loses text edits under the default policy.
A removal is announced under an additions-only live policy · case 05
Live-region mutation filtering emits irrelevant event kinds or loses text edits under the default policy.
A nested header is exposed as a page-wide banner landmark · case 01
Section-local headers and footers appear in the page landmark inventory, or unnamed sections create noisy regions.
A nested header is exposed as a page-wide banner landmark · case 02
Section-local headers and footers appear in the page landmark inventory, or unnamed sections create noisy regions.
A nested header is exposed as a page-wide banner landmark · case 03
Section-local headers and footers appear in the page landmark inventory, or unnamed sections create noisy regions.
A nested header is exposed as a page-wide banner landmark · case 04
Section-local headers and footers appear in the page landmark inventory, or unnamed sections create noisy regions.
A nested header is exposed as a page-wide banner landmark · case 05
Section-local headers and footers appear in the page landmark inventory, or unnamed sections create noisy regions.
An owned node appears under two accessibility parents · case 01
An explicit ownership edge adds a second copy instead of moving the child.
An owned node appears under two accessibility parents · case 02
An explicit ownership edge adds a second copy instead of moving the child.
An owned node appears under two accessibility parents · case 03
An explicit ownership edge adds a second copy instead of moving the child.
An owned node appears under two accessibility parents · case 04
An explicit ownership edge adds a second copy instead of moving the child.
An owned node appears under two accessibility parents · case 05
An explicit ownership edge adds a second copy instead of moving the child.
Constant propagation retains a fact after an unknown assignment · case 01
Constant propagation retains a fact after an unknown assignment.
Constant propagation retains a fact after an unknown assignment · case 02
Constant propagation retains a fact after an unknown assignment.
Constant propagation retains a fact after an unknown assignment · case 03
Constant propagation retains a fact after an unknown assignment.
Constant propagation retains a fact after an unknown assignment · case 04
Constant propagation retains a fact after an unknown assignment.
Constant propagation retains a fact after an unknown assignment · case 05
Constant propagation retains a fact after an unknown assignment.
Dead-result elimination deletes a volatile read · case 01
Dead-result elimination deletes a volatile read.
Dead-result elimination deletes a volatile read · case 02
Dead-result elimination deletes a volatile read.
Dead-result elimination deletes a volatile read · case 03
Dead-result elimination deletes a volatile read.
Dead-result elimination deletes a volatile read · case 04
Dead-result elimination deletes a volatile read.
Dead-result elimination deletes a volatile read · case 05
Dead-result elimination deletes a volatile read.
Expression numbering commutes subtraction operands · case 01
Expression numbering commutes subtraction operands.
Expression numbering commutes subtraction operands · case 02
Expression numbering commutes subtraction operands.
Expression numbering commutes subtraction operands · case 03
Expression numbering commutes subtraction operands.
Expression numbering commutes subtraction operands · case 04
Expression numbering commutes subtraction operands.
Expression numbering commutes subtraction operands · case 05
Expression numbering commutes subtraction operands.
Phi lowering selects operands by block position · case 01
Phi lowering selects operands by block position.
Phi lowering selects operands by block position · case 02
Phi lowering selects operands by block position.
Phi lowering selects operands by block position · case 03
Phi lowering selects operands by block position.
Phi lowering selects operands by block position · case 04
Phi lowering selects operands by block position.
Phi lowering selects operands by block position · case 05
Phi lowering selects operands by block position.
Loop invariant motion speculates a trapping operation on a zero-trip loop · case 01
Loop invariant motion speculates a trapping operation on a zero-trip loop.
Loop invariant motion speculates a trapping operation on a zero-trip loop · case 02
Loop invariant motion speculates a trapping operation on a zero-trip loop.
Loop invariant motion speculates a trapping operation on a zero-trip loop · case 03
Loop invariant motion speculates a trapping operation on a zero-trip loop.
Loop invariant motion speculates a trapping operation on a zero-trip loop · case 04
Loop invariant motion speculates a trapping operation on a zero-trip loop.
Loop invariant motion speculates a trapping operation on a zero-trip loop · case 05
Loop invariant motion speculates a trapping operation on a zero-trip loop.
Division strength reduction rounds negative dividends downward · case 01
Division strength reduction rounds negative dividends downward.
Division strength reduction rounds negative dividends downward · case 02
Division strength reduction rounds negative dividends downward.
Division strength reduction rounds negative dividends downward · case 03
Division strength reduction rounds negative dividends downward.
Division strength reduction rounds negative dividends downward · case 04
Division strength reduction rounds negative dividends downward.
Division strength reduction rounds negative dividends downward · case 05
Division strength reduction rounds negative dividends downward.
Inlining chooses a local name already used by the caller · case 01
Inlining chooses a local name already used by the caller.
Inlining chooses a local name already used by the caller · case 02
Inlining chooses a local name already used by the caller.
Inlining chooses a local name already used by the caller · case 03
Inlining chooses a local name already used by the caller.
Inlining chooses a local name already used by the caller · case 04
Inlining chooses a local name already used by the caller.
Inlining chooses a local name already used by the caller · case 05
Inlining chooses a local name already used by the caller.
Boolean simplification erases evaluation of an effectful left operand · case 01
Boolean simplification erases evaluation of an effectful left operand.
Boolean simplification erases evaluation of an effectful left operand · case 02
Boolean simplification erases evaluation of an effectful left operand.
Boolean simplification erases evaluation of an effectful left operand · case 03
Boolean simplification erases evaluation of an effectful left operand.
Boolean simplification erases evaluation of an effectful left operand · case 04
Boolean simplification erases evaluation of an effectful left operand.
Boolean simplification erases evaluation of an effectful left operand · case 05
Boolean simplification erases evaluation of an effectful left operand.
Store forwarding crosses an intervening may-alias write · case 01
Store forwarding crosses an intervening may-alias write.
Store forwarding crosses an intervening may-alias write · case 02
Store forwarding crosses an intervening may-alias write.
Store forwarding crosses an intervening may-alias write · case 03
Store forwarding crosses an intervening may-alias write.
Store forwarding crosses an intervening may-alias write · case 04
Store forwarding crosses an intervening may-alias write.
Store forwarding crosses an intervening may-alias write · case 05
Store forwarding crosses an intervening may-alias write.
Instruction swapping ignores a write after an earlier read · case 01
Instruction swapping ignores a write after an earlier read.
Instruction swapping ignores a write after an earlier read · case 02
Instruction swapping ignores a write after an earlier read.
Instruction swapping ignores a write after an earlier read · case 03
Instruction swapping ignores a write after an earlier read.
Instruction swapping ignores a write after an earlier read · case 04
Instruction swapping ignores a write after an earlier read.
Instruction swapping ignores a write after an earlier read · case 05
Instruction swapping ignores a write after an earlier read.
Joining branch intervals discards a reachable endpoint · case 01
Joining branch intervals discards a reachable endpoint.
Joining branch intervals discards a reachable endpoint · case 02
Joining branch intervals discards a reachable endpoint.
Joining branch intervals discards a reachable endpoint · case 03
Joining branch intervals discards a reachable endpoint.
Joining branch intervals discards a reachable endpoint · case 04
Joining branch intervals discards a reachable endpoint.
Joining branch intervals discards a reachable endpoint · case 05
Joining branch intervals discards a reachable endpoint.
Widening retains an escaping lower bound · case 01
Widening retains an escaping lower bound.
Widening retains an escaping lower bound · case 02
Widening retains an escaping lower bound.
Widening retains an escaping lower bound · case 03
Widening retains an escaping lower bound.
Widening retains an escaping lower bound · case 04
Widening retains an escaping lower bound.
Widening retains an escaping lower bound · case 05
Widening retains an escaping lower bound.
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 ↗