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
Under-seventy bonus tested against par · case 01
A 70 on a par-72 course earns the under-70 bonus.
Under-seventy bonus tested against par · case 02
A 70 on a par-72 course earns the under-70 bonus.
Under-seventy bonus tested against par · case 03
A 70 on a par-72 course earns the under-70 bonus.
Under-seventy bonus tested against par · case 04
A 70 on a par-72 course earns the under-70 bonus.
Under-seventy bonus tested against par · case 05
A 70 on a par-72 course earns the under-70 bonus.
Live projection prorated by elapsed time · case 01
A player at kickoff shows no remaining projection while a nearly finished game shows the whole projection.
Live projection prorated by elapsed time · case 02
A player at kickoff shows no remaining projection while a nearly finished game shows the whole projection.
Live projection prorated by elapsed time · case 03
A player at kickoff shows no remaining projection while a nearly finished game shows the whole projection.
Live projection prorated by elapsed time · case 04
A player at kickoff shows no remaining projection while a nearly finished game shows the whole projection.
Live projection prorated by elapsed time · case 05
A player at kickoff shows no remaining projection while a nearly finished game shows the whole projection.
Overtime clock subtracts projection · case 01
During overtime a player's projected total drops below his actual points.
Overtime clock subtracts projection · case 02
During overtime a player's projected total drops below his actual points.
Overtime clock subtracts projection · case 03
During overtime a player's projected total drops below his actual points.
Overtime clock subtracts projection · case 04
During overtime a player's projected total drops below his actual points.
Overtime clock subtracts projection · case 05
During overtime a player's projected total drops below his actual points.
Postponed game treated as live · case 01
Players in postponed games keep contributing projected points.
Postponed game treated as live · case 02
Players in postponed games keep contributing projected points.
Postponed game treated as live · case 03
Players in postponed games keep contributing projected points.
Postponed game treated as live · case 04
Players in postponed games keep contributing projected points.
Postponed game treated as live · case 05
Players in postponed games keep contributing projected points.
50-yard touchdown tier unreachable · case 01
An 80-yard touchdown earns the 40-yard bonus.
50-yard touchdown tier unreachable · case 02
An 80-yard touchdown earns the 40-yard bonus.
50-yard touchdown tier unreachable · case 03
An 80-yard touchdown earns the 40-yard bonus.
50-yard touchdown tier unreachable · case 04
An 80-yard touchdown earns the 40-yard bonus.
50-yard touchdown tier unreachable · case 05
An 80-yard touchdown earns the 40-yard bonus.
Exact 40-yard touchdown misses the bonus · case 01
A 40-yard touchdown run scores no long-TD bonus.
Exact 40-yard touchdown misses the bonus · case 02
A 40-yard touchdown run scores no long-TD bonus.
Exact 40-yard touchdown misses the bonus · case 03
A 40-yard touchdown run scores no long-TD bonus.
Exact 40-yard touchdown misses the bonus · case 04
A 40-yard touchdown run scores no long-TD bonus.
Exact 40-yard touchdown misses the bonus · case 05
A 40-yard touchdown run scores no long-TD bonus.
Passers collect the big-play bonus · case 01
A quarterback earns 0.5 for every 20-yard completion.
Passers collect the big-play bonus · case 02
A quarterback earns 0.5 for every 20-yard completion.
Passers collect the big-play bonus · case 03
A quarterback earns 0.5 for every 20-yard completion.
Passers collect the big-play bonus · case 04
A quarterback earns 0.5 for every 20-yard completion.
Passers collect the big-play bonus · case 05
A quarterback earns 0.5 for every 20-yard completion.
Long non-scoring plays earn touchdown bonuses · case 01
A 55-yard run tackled at the 5 earns the 50+ touchdown bonus.
Long non-scoring plays earn touchdown bonuses · case 02
A 55-yard run tackled at the 5 earns the 50+ touchdown bonus.
Long non-scoring plays earn touchdown bonuses · case 03
A 55-yard run tackled at the 5 earns the 50+ touchdown bonus.
Long non-scoring plays earn touchdown bonuses · case 04
A 55-yard run tackled at the 5 earns the 50+ touchdown bonus.
Long non-scoring plays earn touchdown bonuses · case 05
A 55-yard run tackled at the 5 earns the 50+ touchdown bonus.
Booking fee absorbed into the minimum fare · case 01
Short trips charged exactly the minimum fare, missing the booking fee.
Booking fee absorbed into the minimum fare · case 02
Short trips charged exactly the minimum fare, missing the booking fee.
Booking fee absorbed into the minimum fare · case 03
Short trips charged exactly the minimum fare, missing the booking fee.
Booking fee absorbed into the minimum fare · case 04
Short trips charged exactly the minimum fare, missing the booking fee.
Booking fee absorbed into the minimum fare · case 05
Short trips charged exactly the minimum fare, missing the booking fee.
Distance charge truncated to the cent · case 01
Distance charges ending in half a cent or more lose a cent.
Distance charge truncated to the cent · case 02
Distance charges ending in half a cent or more lose a cent.
Distance charge truncated to the cent · case 03
Distance charges ending in half a cent or more lose a cent.
Distance charge truncated to the cent · case 04
Distance charges ending in half a cent or more lose a cent.
Distance charge truncated to the cent · case 05
Distance charges ending in half a cent or more lose a cent.
Per-minute rate applied per hour · case 01
Time charges come out 60 times too small.
Per-minute rate applied per hour · case 02
Time charges come out 60 times too small.
Per-minute rate applied per hour · case 03
Time charges come out 60 times too small.
Per-minute rate applied per hour · case 04
Time charges come out 60 times too small.
Per-minute rate applied per hour · case 05
Time charges come out 60 times too small.
Base fare added on top of the minimum · case 01
A minimum-fare trip is charged the minimum plus the base fare.
Base fare added on top of the minimum · case 02
A minimum-fare trip is charged the minimum plus the base fare.
Base fare added on top of the minimum · case 03
A minimum-fare trip is charged the minimum plus the base fare.
Base fare added on top of the minimum · case 04
A minimum-fare trip is charged the minimum plus the base fare.
Base fare added on top of the minimum · case 05
A minimum-fare trip is charged the minimum plus the base fare.
Surge damping applied to increases instead of decreases · case 01
Surge creeps up slowly during a demand spike and collapses instantly afterwards.
Surge damping applied to increases instead of decreases · case 02
Surge creeps up slowly during a demand spike and collapses instantly afterwards.
Surge damping applied to increases instead of decreases · case 03
Surge creeps up slowly during a demand spike and collapses instantly afterwards.
Surge damping applied to increases instead of decreases · case 04
Surge creeps up slowly during a demand spike and collapses instantly afterwards.
Surge damping applied to increases instead of decreases · case 05
Surge creeps up slowly during a demand spike and collapses instantly afterwards.
Zero drivers and zero requests treated as maximum surge · case 01
A quiet zone with no drivers and no riders publishes 3.0x.
Zero drivers and zero requests treated as maximum surge · case 02
A quiet zone with no drivers and no riders publishes 3.0x.
Zero drivers and zero requests treated as maximum surge · case 03
A quiet zone with no drivers and no riders publishes 3.0x.
Zero drivers and zero requests treated as maximum surge · case 04
A quiet zone with no drivers and no riders publishes 3.0x.
Zero drivers and zero requests treated as maximum surge · case 05
A quiet zone with no drivers and no riders publishes 3.0x.
Exact ratio at a tier edge falls to the lower tier · case 01
Exactly 20 requests for 10 drivers publishes 1.5x instead of 2.0x.
Exact ratio at a tier edge falls to the lower tier · case 02
Exactly 20 requests for 10 drivers publishes 1.5x instead of 2.0x.
Exact ratio at a tier edge falls to the lower tier · case 03
Exactly 20 requests for 10 drivers publishes 1.5x instead of 2.0x.
Exact ratio at a tier edge falls to the lower tier · case 04
Exactly 20 requests for 10 drivers publishes 1.5x instead of 2.0x.
Exact ratio at a tier edge falls to the lower tier · case 05
Exactly 20 requests for 10 drivers publishes 1.5x instead of 2.0x.
Demand ratio truncated to a whole number · case 01
A 1.9 ratio is treated as 1.0 and no surge is published.
Demand ratio truncated to a whole number · case 02
A 1.9 ratio is treated as 1.0 and no surge is published.
Demand ratio truncated to a whole number · case 03
A 1.9 ratio is treated as 1.0 and no surge is published.
Demand ratio truncated to a whole number · case 04
A 1.9 ratio is treated as 1.0 and no surge is published.
Demand ratio truncated to a whole number · case 05
A 1.9 ratio is treated as 1.0 and no surge is published.
Surge multiplier applied to the booking fee · case 01
At 2.5x surge the flat booking fee becomes 2.5 times larger.
Surge multiplier applied to the booking fee · case 02
At 2.5x surge the flat booking fee becomes 2.5 times larger.
Surge multiplier applied to the booking fee · case 03
At 2.5x surge the flat booking fee becomes 2.5 times larger.
Surge multiplier applied to the booking fee · case 04
At 2.5x surge the flat booking fee becomes 2.5 times larger.
Surge multiplier applied to the booking fee · case 05
At 2.5x surge the flat booking fee becomes 2.5 times larger.
Promo percentage applied to the booking fee · case 01
Percentage promos are larger than advertised because they include the fee.
Promo percentage applied to the booking fee · case 02
Percentage promos are larger than advertised because they include the fee.
Promo percentage applied to the booking fee · case 03
Percentage promos are larger than advertised because they include the fee.
Promo percentage applied to the booking fee · case 04
Percentage promos are larger than advertised because they include the fee.
Promo percentage applied to the booking fee · case 05
Percentage promos are larger than advertised because they include the fee.
Percentage promo ignores its cap · case 01
A 50% promo takes 40.00 off an 80.00 ride despite a 10.00 cap.
Percentage promo ignores its cap · case 02
A 50% promo takes 40.00 off an 80.00 ride despite a 10.00 cap.
Percentage promo ignores its cap · case 03
A 50% promo takes 40.00 off an 80.00 ride despite a 10.00 cap.
Percentage promo ignores its cap · case 04
A 50% promo takes 40.00 off an 80.00 ride despite a 10.00 cap.
Percentage promo ignores its cap · case 05
A 50% promo takes 40.00 off an 80.00 ride despite a 10.00 cap.
Sales tax charged on tolls and airport fees · case 01
Airport trips show tax on the pass-through fees.
Sales tax charged on tolls and airport fees · case 02
Airport trips show tax on the pass-through fees.
Sales tax charged on tolls and airport fees · case 03
Airport trips show tax on the pass-through fees.
Sales tax charged on tolls and airport fees · case 04
Airport trips show tax on the pass-through fees.
Sales tax charged on tolls and airport fees · case 05
Airport trips show tax on the pass-through fees.
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 ↗