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
EV charging session and idle fee: the grace period is only a threshold · case 01
EV charging session and idle fee returns a wrong result when the grace period is only a threshold.
EV charging session and idle fee: the grace period is only a threshold · case 02
EV charging session and idle fee returns a wrong result when the grace period is only a threshold.
EV charging session and idle fee: the grace period is only a threshold · case 03
EV charging session and idle fee returns a wrong result when the grace period is only a threshold.
EV charging session and idle fee: the grace period is only a threshold · case 04
EV charging session and idle fee returns a wrong result when the grace period is only a threshold.
EV charging session and idle fee: the grace period is only a threshold · case 05
EV charging session and idle fee returns a wrong result when the grace period is only a threshold.
EV charging session and idle fee: the idle cap limits block count instead of cents · case 01
EV charging session and idle fee returns a wrong result when the idle cap limits block count instead of cents.
EV charging session and idle fee: the idle cap limits block count instead of cents · case 02
EV charging session and idle fee returns a wrong result when the idle cap limits block count instead of cents.
EV charging session and idle fee: the idle cap limits block count instead of cents · case 03
EV charging session and idle fee returns a wrong result when the idle cap limits block count instead of cents.
EV charging session and idle fee: the idle cap limits block count instead of cents · case 04
EV charging session and idle fee returns a wrong result when the idle cap limits block count instead of cents.
EV charging session and idle fee: the idle cap limits block count instead of cents · case 05
EV charging session and idle fee returns a wrong result when the idle cap limits block count instead of cents.
EV charging session and idle fee: idle time is billed in whole hours · case 01
EV charging session and idle fee returns a wrong result when idle time is billed in whole hours.
EV charging session and idle fee: idle time is billed in whole hours · case 02
EV charging session and idle fee returns a wrong result when idle time is billed in whole hours.
EV charging session and idle fee: idle time is billed in whole hours · case 03
EV charging session and idle fee returns a wrong result when idle time is billed in whole hours.
EV charging session and idle fee: idle time is billed in whole hours · case 04
EV charging session and idle fee returns a wrong result when idle time is billed in whole hours.
EV charging session and idle fee: idle time is billed in whole hours · case 05
EV charging session and idle fee returns a wrong result when idle time is billed in whole hours.
EV charging session and idle fee: the minimum applies only to the energy charge · case 01
EV charging session and idle fee returns a wrong result when the minimum applies only to the energy charge.
EV charging session and idle fee: the minimum applies only to the energy charge · case 02
EV charging session and idle fee returns a wrong result when the minimum applies only to the energy charge.
EV charging session and idle fee: the minimum applies only to the energy charge · case 03
EV charging session and idle fee returns a wrong result when the minimum applies only to the energy charge.
EV charging session and idle fee: the minimum applies only to the energy charge · case 04
EV charging session and idle fee returns a wrong result when the minimum applies only to the energy charge.
EV charging session and idle fee: the minimum applies only to the energy charge · case 05
EV charging session and idle fee returns a wrong result when the minimum applies only to the energy charge.
Open-road gantry trip building: duplicates are only detected between consecutive reads · case 01
Open-road gantry trip building returns a wrong result when duplicates are only detected between consecutive reads.
Open-road gantry trip building: duplicates are only detected between consecutive reads · case 02
Open-road gantry trip building returns a wrong result when duplicates are only detected between consecutive reads.
Open-road gantry trip building: duplicates are only detected between consecutive reads · case 03
Open-road gantry trip building returns a wrong result when duplicates are only detected between consecutive reads.
Open-road gantry trip building: duplicates are only detected between consecutive reads · case 04
Open-road gantry trip building returns a wrong result when duplicates are only detected between consecutive reads.
Open-road gantry trip building: duplicates are only detected between consecutive reads · case 05
Open-road gantry trip building returns a wrong result when duplicates are only detected between consecutive reads.
Open-road gantry trip building: dropped duplicates re-anchor the duplicate window · case 01
Open-road gantry trip building returns a wrong result when dropped duplicates re-anchor the duplicate window.
Open-road gantry trip building: dropped duplicates re-anchor the duplicate window · case 02
Open-road gantry trip building returns a wrong result when dropped duplicates re-anchor the duplicate window.
Open-road gantry trip building: dropped duplicates re-anchor the duplicate window · case 03
Open-road gantry trip building returns a wrong result when dropped duplicates re-anchor the duplicate window.
Open-road gantry trip building: dropped duplicates re-anchor the duplicate window · case 04
Open-road gantry trip building returns a wrong result when dropped duplicates re-anchor the duplicate window.
Open-road gantry trip building: dropped duplicates re-anchor the duplicate window · case 05
Open-road gantry trip building returns a wrong result when dropped duplicates re-anchor the duplicate window.
Open-road gantry trip building: the trip gap is measured from the first read of the trip · case 01
Open-road gantry trip building returns a wrong result when the trip gap is measured from the first read of the trip.
Open-road gantry trip building: the trip gap is measured from the first read of the trip · case 02
Open-road gantry trip building returns a wrong result when the trip gap is measured from the first read of the trip.
Open-road gantry trip building: the trip gap is measured from the first read of the trip · case 03
Open-road gantry trip building returns a wrong result when the trip gap is measured from the first read of the trip.
Open-road gantry trip building: the trip gap is measured from the first read of the trip · case 04
Open-road gantry trip building returns a wrong result when the trip gap is measured from the first read of the trip.
Open-road gantry trip building: the trip gap is measured from the first read of the trip · case 05
Open-road gantry trip building returns a wrong result when the trip gap is measured from the first read of the trip.
Open-road gantry trip building: direction changes do not start a new trip · case 01
Open-road gantry trip building returns a wrong result when direction changes do not start a new trip.
Open-road gantry trip building: direction changes do not start a new trip · case 02
Open-road gantry trip building returns a wrong result when direction changes do not start a new trip.
Open-road gantry trip building: direction changes do not start a new trip · case 03
Open-road gantry trip building returns a wrong result when direction changes do not start a new trip.
Open-road gantry trip building: direction changes do not start a new trip · case 04
Open-road gantry trip building returns a wrong result when direction changes do not start a new trip.
Open-road gantry trip building: direction changes do not start a new trip · case 05
Open-road gantry trip building returns a wrong result when direction changes do not start a new trip.
Open-road gantry trip building: a gap exactly equal to the maximum splits the trip · case 01
Open-road gantry trip building returns a wrong result when a gap exactly equal to the maximum splits the trip.
Open-road gantry trip building: a gap exactly equal to the maximum splits the trip · case 02
Open-road gantry trip building returns a wrong result when a gap exactly equal to the maximum splits the trip.
Open-road gantry trip building: a gap exactly equal to the maximum splits the trip · case 03
Open-road gantry trip building returns a wrong result when a gap exactly equal to the maximum splits the trip.
Open-road gantry trip building: a gap exactly equal to the maximum splits the trip · case 04
Open-road gantry trip building returns a wrong result when a gap exactly equal to the maximum splits the trip.
Open-road gantry trip building: a gap exactly equal to the maximum splits the trip · case 05
Open-road gantry trip building returns a wrong result when a gap exactly equal to the maximum splits the trip.
Open-road gantry trip building: the cap is applied to the whole statement · case 01
Open-road gantry trip building returns a wrong result when the cap is applied to the whole statement.
Open-road gantry trip building: the cap is applied to the whole statement · case 02
Open-road gantry trip building returns a wrong result when the cap is applied to the whole statement.
Open-road gantry trip building: the cap is applied to the whole statement · case 03
Open-road gantry trip building returns a wrong result when the cap is applied to the whole statement.
Open-road gantry trip building: the cap is applied to the whole statement · case 04
Open-road gantry trip building returns a wrong result when the cap is applied to the whole statement.
Open-road gantry trip building: the cap is applied to the whole statement · case 05
Open-road gantry trip building returns a wrong result when the cap is applied to the whole statement.
Open-road gantry trip building: reads are sorted by gantry · case 01
Open-road gantry trip building returns a wrong result when reads are sorted by gantry.
Open-road gantry trip building: reads are sorted by gantry · case 02
Open-road gantry trip building returns a wrong result when reads are sorted by gantry.
Open-road gantry trip building: reads are sorted by gantry · case 03
Open-road gantry trip building returns a wrong result when reads are sorted by gantry.
Open-road gantry trip building: reads are sorted by gantry · case 04
Open-road gantry trip building returns a wrong result when reads are sorted by gantry.
Open-road gantry trip building: reads are sorted by gantry · case 05
Open-road gantry trip building returns a wrong result when reads are sorted by gantry.
Demand-responsive meter rate adjustment: the mean occupancy is truncated · case 01
Demand-responsive meter rate adjustment returns a wrong result when the mean occupancy is truncated.
Demand-responsive meter rate adjustment: the mean occupancy is truncated · case 02
Demand-responsive meter rate adjustment returns a wrong result when the mean occupancy is truncated.
Demand-responsive meter rate adjustment: the mean occupancy is truncated · case 03
Demand-responsive meter rate adjustment returns a wrong result when the mean occupancy is truncated.
Demand-responsive meter rate adjustment: the mean occupancy is truncated · case 04
Demand-responsive meter rate adjustment returns a wrong result when the mean occupancy is truncated.
Demand-responsive meter rate adjustment: the mean occupancy is truncated · case 05
Demand-responsive meter rate adjustment returns a wrong result when the mean occupancy is truncated.
Demand-responsive meter rate adjustment: the upper band uses the peak hour · case 01
Demand-responsive meter rate adjustment returns a wrong result when the upper band uses the peak hour.
Demand-responsive meter rate adjustment: the upper band uses the peak hour · case 02
Demand-responsive meter rate adjustment returns a wrong result when the upper band uses the peak hour.
Demand-responsive meter rate adjustment: the upper band uses the peak hour · case 03
Demand-responsive meter rate adjustment returns a wrong result when the upper band uses the peak hour.
Demand-responsive meter rate adjustment: the upper band uses the peak hour · case 04
Demand-responsive meter rate adjustment returns a wrong result when the upper band uses the peak hour.
Demand-responsive meter rate adjustment: the upper band uses the peak hour · case 05
Demand-responsive meter rate adjustment returns a wrong result when the upper band uses the peak hour.
Demand-responsive meter rate adjustment: the lower band uses the quietest hour · case 01
Demand-responsive meter rate adjustment returns a wrong result when the lower band uses the quietest hour.
Demand-responsive meter rate adjustment: the lower band uses the quietest hour · case 02
Demand-responsive meter rate adjustment returns a wrong result when the lower band uses the quietest hour.
Demand-responsive meter rate adjustment: the lower band uses the quietest hour · case 03
Demand-responsive meter rate adjustment returns a wrong result when the lower band uses the quietest hour.
Demand-responsive meter rate adjustment: the lower band uses the quietest hour · case 04
Demand-responsive meter rate adjustment returns a wrong result when the lower band uses the quietest hour.
Demand-responsive meter rate adjustment: the lower band uses the quietest hour · case 05
Demand-responsive meter rate adjustment returns a wrong result when the lower band uses the quietest hour.
Demand-responsive meter rate adjustment: unchanged rates are not clamped · case 01
Demand-responsive meter rate adjustment returns a wrong result when unchanged rates are not clamped.
Demand-responsive meter rate adjustment: unchanged rates are not clamped · case 02
Demand-responsive meter rate adjustment returns a wrong result when unchanged rates are not clamped.
Demand-responsive meter rate adjustment: unchanged rates are not clamped · case 03
Demand-responsive meter rate adjustment returns a wrong result when unchanged rates are not clamped.
Demand-responsive meter rate adjustment: unchanged rates are not clamped · case 04
Demand-responsive meter rate adjustment returns a wrong result when unchanged rates are not clamped.
Demand-responsive meter rate adjustment: unchanged rates are not clamped · case 05
Demand-responsive meter rate adjustment returns a wrong result when unchanged rates are not clamped.
Demand-responsive meter rate adjustment: the sample guard only rejects empty data · case 01
Demand-responsive meter rate adjustment returns a wrong result when the sample guard only rejects empty data.
Demand-responsive meter rate adjustment: the sample guard only rejects empty data · case 02
Demand-responsive meter rate adjustment returns a wrong result when the sample guard only rejects empty data.
Demand-responsive meter rate adjustment: the sample guard only rejects empty data · case 03
Demand-responsive meter rate adjustment returns a wrong result when the sample guard only rejects empty data.
Demand-responsive meter rate adjustment: the sample guard only rejects empty data · case 04
Demand-responsive meter rate adjustment returns a wrong result when the sample guard only rejects empty data.
Demand-responsive meter rate adjustment: the sample guard only rejects empty data · case 05
Demand-responsive meter rate adjustment returns a wrong result when the sample guard only rejects empty data.
Airport parking weekly cap: a partial day is counted as a full day before the weekly split · case 01
Airport parking weekly cap returns a wrong result when a partial day is counted as a full day before the weekly split.
Airport parking weekly cap: a partial day is counted as a full day before the weekly split · case 02
Airport parking weekly cap returns a wrong result when a partial day is counted as a full day before the weekly split.
Airport parking weekly cap: a partial day is counted as a full day before the weekly split · case 03
Airport parking weekly cap returns a wrong result when a partial day is counted as a full day before the weekly split.
Airport parking weekly cap: a partial day is counted as a full day before the weekly split · case 04
Airport parking weekly cap returns a wrong result when a partial day is counted as a full day before the weekly split.
Airport parking weekly cap: a partial day is counted as a full day before the weekly split · case 05
Airport parking weekly cap returns a wrong result when a partial day is counted as a full day before the weekly split.
Airport parking weekly cap: the partial day is capped at the weekly rate · case 01
Airport parking weekly cap returns a wrong result when the partial day is capped at the weekly rate.
Airport parking weekly cap: the partial day is capped at the weekly rate · case 02
Airport parking weekly cap returns a wrong result when the partial day is capped at the weekly rate.
Airport parking weekly cap: the partial day is capped at the weekly rate · case 03
Airport parking weekly cap returns a wrong result when the partial day is capped at the weekly rate.
Airport parking weekly cap: the partial day is capped at the weekly rate · case 04
Airport parking weekly cap returns a wrong result when the partial day is capped at the weekly rate.
Airport parking weekly cap: the partial day is capped at the weekly rate · case 05
Airport parking weekly cap returns a wrong result when the partial day is capped at the weekly rate.
Airport parking weekly cap: the remainder is added outside the weekly cap · case 01
Airport parking weekly cap returns a wrong result when the remainder is added outside the weekly cap.
Airport parking weekly cap: the remainder is added outside the weekly cap · case 02
Airport parking weekly cap returns a wrong result when the remainder is added outside the weekly cap.
Airport parking weekly cap: the remainder is added outside the weekly cap · case 03
Airport parking weekly cap returns a wrong result when the remainder is added outside the weekly cap.
Airport parking weekly cap: the remainder is added outside the weekly cap · case 04
Airport parking weekly cap returns a wrong result when the remainder is added outside the weekly cap.
Airport parking weekly cap: the remainder is added outside the weekly cap · case 05
Airport parking weekly cap returns a wrong result when the remainder is added outside the weekly cap.
Unpaid toll violation escalation: penalties keep accruing after payment · case 01
Unpaid toll violation escalation returns a wrong result when penalties keep accruing after payment.
Unpaid toll violation escalation: penalties keep accruing after payment · case 02
Unpaid toll violation escalation returns a wrong result when penalties keep accruing after payment.
Unpaid toll violation escalation: penalties keep accruing after payment · case 03
Unpaid toll violation escalation returns a wrong result when penalties keep accruing after payment.
Unpaid toll violation escalation: penalties keep accruing after payment · case 04
Unpaid toll violation escalation returns a wrong result when penalties keep accruing after payment.
Unpaid toll violation escalation: penalties keep accruing after payment · case 05
Unpaid toll violation escalation returns a wrong result when penalties keep accruing after payment.
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 ↗