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
Cash-out margin applied as a flat or grossed-up deduction · case 01
Offers differ from the stated percentage deduction.
Cash-out margin applied as a flat or grossed-up deduction · case 02
Offers differ from the stated percentage deduction.
Cash-out margin applied as a flat or grossed-up deduction · case 03
Offers differ from the stated percentage deduction.
Cash-out margin applied as a flat or grossed-up deduction · case 04
Offers differ from the stated percentage deduction.
Cash-out margin applied as a flat or grossed-up deduction · case 05
Offers differ from the stated percentage deduction.
Partial cash-out leaves the wrong remaining stake · case 01
After cashing out half the value, the remaining stake is the cashed portion or the stake minus cents.
Partial cash-out leaves the wrong remaining stake · case 02
After cashing out half the value, the remaining stake is the cashed portion or the stake minus cents.
Partial cash-out leaves the wrong remaining stake · case 03
After cashing out half the value, the remaining stake is the cashed portion or the stake minus cents.
Partial cash-out leaves the wrong remaining stake · case 04
After cashing out half the value, the remaining stake is the cashed portion or the stake minus cents.
Partial cash-out leaves the wrong remaining stake · case 05
After cashing out half the value, the remaining stake is the cashed portion or the stake minus cents.
Takeout kept as the net pool or divided out · case 01
Dividends are tiny, or slightly too high.
Takeout kept as the net pool or divided out · case 02
Dividends are tiny, or slightly too high.
Takeout kept as the net pool or divided out · case 03
Dividends are tiny, or slightly too high.
Takeout kept as the net pool or divided out · case 04
Dividends are tiny, or slightly too high.
Takeout kept as the net pool or divided out · case 05
Dividends are tiny, or slightly too high.
Breakage rounds dividends to the nearest or next dime · case 01
A 2.8267 dividend is paid as 2.90 or rounded to 2.80 only sometimes.
Breakage rounds dividends to the nearest or next dime · case 02
A 2.8267 dividend is paid as 2.90 or rounded to 2.80 only sometimes.
Breakage rounds dividends to the nearest or next dime · case 03
A 2.8267 dividend is paid as 2.90 or rounded to 2.80 only sometimes.
Breakage rounds dividends to the nearest or next dime · case 04
A 2.8267 dividend is paid as 2.90 or rounded to 2.80 only sometimes.
Breakage rounds dividends to the nearest or next dime · case 05
A 2.8267 dividend is paid as 2.90 or rounded to 2.80 only sometimes.
Minimum dividend floor set to the stake or applied only below 1.00 · case 01
Heavily backed winners pay 1.00 or 1.05 instead of the 1.10 minimum.
Minimum dividend floor set to the stake or applied only below 1.00 · case 02
Heavily backed winners pay 1.00 or 1.05 instead of the 1.10 minimum.
Minimum dividend floor set to the stake or applied only below 1.00 · case 03
Heavily backed winners pay 1.00 or 1.05 instead of the 1.10 minimum.
Minimum dividend floor set to the stake or applied only below 1.00 · case 04
Heavily backed winners pay 1.00 or 1.05 instead of the 1.10 minimum.
Minimum dividend floor set to the stake or applied only below 1.00 · case 05
Heavily backed winners pay 1.00 or 1.05 instead of the 1.10 minimum.
Dead-heat net pool not split between winners · case 01
Both dead-heated runners are paid from the full net pool.
Dead-heat net pool not split between winners · case 02
Both dead-heated runners are paid from the full net pool.
Dead-heat net pool not split between winners · case 03
Both dead-heated runners are paid from the full net pool.
Dead-heat net pool not split between winners · case 04
Both dead-heated runners are paid from the full net pool.
Dead-heat net pool not split between winners · case 05
Both dead-heated runners are paid from the full net pool.
Winner with no stakes crashes the dividend · case 01
A winner nobody backed raises a division error or pays 0.00.
Winner with no stakes crashes the dividend · case 02
A winner nobody backed raises a division error or pays 0.00.
Winner with no stakes crashes the dividend · case 03
A winner nobody backed raises a division error or pays 0.00.
Winner with no stakes crashes the dividend · case 04
A winner nobody backed raises a division error or pays 0.00.
Winner with no stakes crashes the dividend · case 05
A winner nobody backed raises a division error or pays 0.00.
Boost applied to the whole price instead of the profit · case 01
A 25 percent boost on 2.00 pays as if the price were 2.50.
Boost applied to the whole price instead of the profit · case 02
A 25 percent boost on 2.00 pays as if the price were 2.50.
Boost applied to the whole price instead of the profit · case 03
A 25 percent boost on 2.00 pays as if the price were 2.50.
Boost applied to the whole price instead of the profit · case 04
A 25 percent boost on 2.00 pays as if the price were 2.50.
Boost applied to the whole price instead of the profit · case 05
A 25 percent boost on 2.00 pays as if the price were 2.50.
Maximum extra winnings cap applied to total profit or not at all · case 01
Large boosted bets exceed the promotional cap, or pay less than the unboosted price.
Maximum extra winnings cap applied to total profit or not at all · case 02
Large boosted bets exceed the promotional cap, or pay less than the unboosted price.
Maximum extra winnings cap applied to total profit or not at all · case 03
Large boosted bets exceed the promotional cap, or pay less than the unboosted price.
Maximum extra winnings cap applied to total profit or not at all · case 04
Large boosted bets exceed the promotional cap, or pay less than the unboosted price.
Maximum extra winnings cap applied to total profit or not at all · case 05
Large boosted bets exceed the promotional cap, or pay less than the unboosted price.
Displayed boosted price multiplies the whole decimal price · case 01
The bet slip shows 2.50 for a 25 percent boost on 2.00.
Displayed boosted price multiplies the whole decimal price · case 02
The bet slip shows 2.50 for a 25 percent boost on 2.00.
Displayed boosted price multiplies the whole decimal price · case 03
The bet slip shows 2.50 for a 25 percent boost on 2.00.
Displayed boosted price multiplies the whole decimal price · case 04
The bet slip shows 2.50 for a 25 percent boost on 2.00.
Displayed boosted price multiplies the whole decimal price · case 05
The bet slip shows 2.50 for a 25 percent boost on 2.00.
Teaser points move the line against the bettor · case 01
Favourites become bigger favourites after teasing.
Teaser points move the line against the bettor · case 02
Favourites become bigger favourites after teasing.
Teaser points move the line against the bettor · case 03
Favourites become bigger favourites after teasing.
Teaser points move the line against the bettor · case 04
Favourites become bigger favourites after teasing.
Teaser points move the line against the bettor · case 05
Favourites become bigger favourites after teasing.
Pushed teaser leg graded as a win or a loss · case 01
A leg landing exactly on the teased number wins, or kills the ticket.
Pushed teaser leg graded as a win or a loss · case 02
A leg landing exactly on the teased number wins, or kills the ticket.
Pushed teaser leg graded as a win or a loss · case 03
A leg landing exactly on the teased number wins, or kills the ticket.
Pushed teaser leg graded as a win or a loss · case 04
A leg landing exactly on the teased number wins, or kills the ticket.
Pushed teaser leg graded as a win or a loss · case 05
A leg landing exactly on the teased number wins, or kills the ticket.
Teaser reduced to one leg is paid or lost · case 01
A two-team teaser with one push crashes or is graded a loss.
Teaser reduced to one leg is paid or lost · case 02
A two-team teaser with one push crashes or is graded a loss.
Teaser reduced to one leg is paid or lost · case 03
A two-team teaser with one push crashes or is graded a loss.
Teaser reduced to one leg is paid or lost · case 04
A two-team teaser with one push crashes or is graded a loss.
Teaser reduced to one leg is paid or lost · case 05
A two-team teaser with one push crashes or is graded a loss.
Negative American payout converted as a positive line · case 01
A two-team teaser at -120 pays 2.20 instead of about 1.83.
Negative American payout converted as a positive line · case 02
A two-team teaser at -120 pays 2.20 instead of about 1.83.
Negative American payout converted as a positive line · case 03
A two-team teaser at -120 pays 2.20 instead of about 1.83.
Negative American payout converted as a positive line · case 04
A two-team teaser at -120 pays 2.20 instead of about 1.83.
Negative American payout converted as a positive line · case 05
A two-team teaser at -120 pays 2.20 instead of about 1.83.
Six-leg teaser looks up a missing payout row · case 01
Teasers with more than five winning legs crash or pay only the stake.
Six-leg teaser looks up a missing payout row · case 02
Teasers with more than five winning legs crash or pay only the stake.
Six-leg teaser looks up a missing payout row · case 03
Teasers with more than five winning legs crash or pay only the stake.
Six-leg teaser looks up a missing payout row · case 04
Teasers with more than five winning legs crash or pay only the stake.
Six-leg teaser looks up a missing payout row · case 05
Teasers with more than five winning legs crash or pay only the stake.
Draw-no-bet price derived by renormalising home and away · case 01
Draw-no-bet prices ignore the draw refund value in the stated formula.
Draw-no-bet price derived by renormalising home and away · case 02
Draw-no-bet prices ignore the draw refund value in the stated formula.
Draw-no-bet price derived by renormalising home and away · case 03
Draw-no-bet prices ignore the draw refund value in the stated formula.
Draw-no-bet price derived by renormalising home and away · case 04
Draw-no-bet prices ignore the draw refund value in the stated formula.
Draw-no-bet price derived by renormalising home and away · case 05
Draw-no-bet prices ignore the draw refund value in the stated formula.
Double-chance price averaged instead of combined · case 01
Double-chance prices sit between the two single prices.
Double-chance price averaged instead of combined · case 02
Double-chance prices sit between the two single prices.
Double-chance price averaged instead of combined · case 03
Double-chance prices sit between the two single prices.
Double-chance price averaged instead of combined · case 04
Double-chance prices sit between the two single prices.
Double-chance price averaged instead of combined · case 05
Double-chance prices sit between the two single prices.
Home-or-away double chance built from the draw price · case 01
The 12 market shows the same price as 1X.
Home-or-away double chance built from the draw price · case 02
The 12 market shows the same price as 1X.
Home-or-away double chance built from the draw price · case 03
The 12 market shows the same price as 1X.
Home-or-away double chance built from the draw price · case 04
The 12 market shows the same price as 1X.
Home-or-away double chance built from the draw price · case 05
The 12 market shows the same price as 1X.
Leg priced exactly at the minimum odds does not qualify · case 01
A 1.20 leg is excluded from the bonus count.
Leg priced exactly at the minimum odds does not qualify · case 02
A 1.20 leg is excluded from the bonus count.
Leg priced exactly at the minimum odds does not qualify · case 03
A 1.20 leg is excluded from the bonus count.
Leg priced exactly at the minimum odds does not qualify · case 04
A 1.20 leg is excluded from the bonus count.
Leg priced exactly at the minimum odds does not qualify · case 05
A 1.20 leg is excluded from the bonus count.
Acca bonus applied to the whole return or to the stake · case 01
Bonus payouts include a percentage of the stake.
Acca bonus applied to the whole return or to the stake · case 02
Bonus payouts include a percentage of the stake.
Acca bonus applied to the whole return or to the stake · case 03
Bonus payouts include a percentage of the stake.
Acca bonus applied to the whole return or to the stake · case 04
Bonus payouts include a percentage of the stake.
Acca bonus applied to the whole return or to the stake · case 05
Bonus payouts include a percentage of the stake.
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 ↗