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
Depot least-laxity-first charging: laxity slot rounding · case 01
A vehicle needing a partial final slot is treated as having spare time and misses its target.
Depot least-laxity-first charging: laxity slot rounding · case 02
A vehicle needing a partial final slot is treated as having spare time and misses its target.
Depot least-laxity-first charging: laxity slot rounding · case 03
A vehicle needing a partial final slot is treated as having spare time and misses its target.
Depot least-laxity-first charging: laxity slot rounding · case 04
A vehicle needing a partial final slot is treated as having spare time and misses its target.
Depot least-laxity-first charging: laxity slot rounding · case 05
A vehicle needing a partial final slot is treated as having spare time and misses its target.
Depot least-laxity-first charging: urgency ordering · case 01
Vehicles with the most slack are served first while urgent ones miss departure.
Depot least-laxity-first charging: urgency ordering · case 02
Vehicles with the most slack are served first while urgent ones miss departure.
Depot least-laxity-first charging: urgency ordering · case 03
Vehicles with the most slack are served first while urgent ones miss departure.
Depot least-laxity-first charging: urgency ordering · case 04
Vehicles with the most slack are served first while urgent ones miss departure.
Depot least-laxity-first charging: urgency ordering · case 05
Vehicles with the most slack are served first while urgent ones miss departure.
Depot least-laxity-first charging: grant clamp to remaining · case 01
Vehicles end with negative remaining energy and capacity is wasted on them.
Depot least-laxity-first charging: grant clamp to remaining · case 02
Vehicles end with negative remaining energy and capacity is wasted on them.
Depot least-laxity-first charging: grant clamp to remaining · case 03
Vehicles end with negative remaining energy and capacity is wasted on them.
Depot least-laxity-first charging: grant clamp to remaining · case 04
Vehicles end with negative remaining energy and capacity is wasted on them.
Depot least-laxity-first charging: grant clamp to remaining · case 05
Vehicles end with negative remaining energy and capacity is wasted on them.
Depot least-laxity-first charging: equal-laxity tie-break · case 01
Which of two equally urgent vehicles charges depends on list order.
Depot least-laxity-first charging: equal-laxity tie-break · case 02
Which of two equally urgent vehicles charges depends on list order.
Depot least-laxity-first charging: equal-laxity tie-break · case 03
Which of two equally urgent vehicles charges depends on list order.
Depot least-laxity-first charging: equal-laxity tie-break · case 04
Which of two equally urgent vehicles charges depends on list order.
Depot least-laxity-first charging: equal-laxity tie-break · case 05
Which of two equally urgent vehicles charges depends on list order.
Depot least-laxity-first charging: per-slot capacity reset · case 01
After the first slots the depot stops charging anyone.
Depot least-laxity-first charging: per-slot capacity reset · case 02
After the first slots the depot stops charging anyone.
Depot least-laxity-first charging: per-slot capacity reset · case 03
After the first slots the depot stops charging anyone.
Depot least-laxity-first charging: per-slot capacity reset · case 04
After the first slots the depot stops charging anyone.
Depot least-laxity-first charging: per-slot capacity reset · case 05
After the first slots the depot stops charging anyone.
Weekly recurring charging windows: whole-day rule · case 01
A rule with equal start and end allows charging only around its start minute on two days.
Weekly recurring charging windows: whole-day rule · case 02
A rule with equal start and end allows charging only around its start minute on two days.
Weekly recurring charging windows: whole-day rule · case 03
A rule with equal start and end allows charging only around its start minute on two days.
Weekly recurring charging windows: whole-day rule · case 04
A rule with equal start and end allows charging only around its start minute on two days.
Weekly recurring charging windows: whole-day rule · case 05
A rule with equal start and end allows charging only around its start minute on two days.
Weekly recurring charging windows: same-day end exclusivity · case 01
Charging is allowed during the minute the window closes.
Weekly recurring charging windows: same-day end exclusivity · case 02
Charging is allowed during the minute the window closes.
Weekly recurring charging windows: same-day end exclusivity · case 03
Charging is allowed during the minute the window closes.
Weekly recurring charging windows: same-day end exclusivity · case 04
Charging is allowed during the minute the window closes.
Weekly recurring charging windows: same-day end exclusivity · case 05
Charging is allowed during the minute the window closes.
Weekly recurring charging windows: previous weekday wrap · case 01
Overnight windows continue into the wrong morning.
Weekly recurring charging windows: previous weekday wrap · case 02
Overnight windows continue into the wrong morning.
Weekly recurring charging windows: previous weekday wrap · case 03
Overnight windows continue into the wrong morning.
Weekly recurring charging windows: previous weekday wrap · case 04
Overnight windows continue into the wrong morning.
Weekly recurring charging windows: previous weekday wrap · case 05
Overnight windows continue into the wrong morning.
Weekly recurring charging windows: overnight tail end · case 01
Overnight windows stay open one minute past their end time.
Weekly recurring charging windows: overnight tail end · case 02
Overnight windows stay open one minute past their end time.
Weekly recurring charging windows: overnight tail end · case 03
Overnight windows stay open one minute past their end time.
Weekly recurring charging windows: overnight tail end · case 04
Overnight windows stay open one minute past their end time.
Weekly recurring charging windows: overnight tail end · case 05
Overnight windows stay open one minute past their end time.
Weekly recurring charging windows: overnight head start · case 01
The opening minute of an overnight window is refused.
Weekly recurring charging windows: overnight head start · case 02
The opening minute of an overnight window is refused.
Weekly recurring charging windows: overnight head start · case 03
The opening minute of an overnight window is refused.
Weekly recurring charging windows: overnight head start · case 04
The opening minute of an overnight window is refused.
Weekly recurring charging windows: overnight head start · case 05
The opening minute of an overnight window is refused.
Weekly recurring charging windows: weekday bit order · case 01
Weekday-only schedules allow charging on Sunday and not on Friday.
Weekly recurring charging windows: weekday bit order · case 02
Weekday-only schedules allow charging on Sunday and not on Friday.
Weekly recurring charging windows: weekday bit order · case 03
Weekday-only schedules allow charging on Sunday and not on Friday.
Weekly recurring charging windows: weekday bit order · case 04
Weekday-only schedules allow charging on Sunday and not on Friday.
Weekly recurring charging windows: weekday bit order · case 05
Weekday-only schedules allow charging on Sunday and not on Friday.
Weekly recurring charging windows: overnight tail day selection · case 01
Friday-night windows do not continue into Saturday morning, but Saturday mornings open when only Saturday night is scheduled.
Weekly recurring charging windows: overnight tail day selection · case 02
Friday-night windows do not continue into Saturday morning, but Saturday mornings open when only Saturday night is scheduled.
Weekly recurring charging windows: overnight tail day selection · case 03
Friday-night windows do not continue into Saturday morning, but Saturday mornings open when only Saturday night is scheduled.
Weekly recurring charging windows: overnight tail day selection · case 04
Friday-night windows do not continue into Saturday morning, but Saturday mornings open when only Saturday night is scheduled.
Weekly recurring charging windows: overnight tail day selection · case 05
Friday-night windows do not continue into Saturday morning, but Saturday mornings open when only Saturday night is scheduled.
Demand-response curtailment of a charge plan: opt-out honoured · case 01
Customers who opted out of an event are curtailed anyway.
Demand-response curtailment of a charge plan: opt-out honoured · case 02
Customers who opted out of an event are curtailed anyway.
Demand-response curtailment of a charge plan: opt-out honoured · case 03
Customers who opted out of an event are curtailed anyway.
Demand-response curtailment of a charge plan: opt-out honoured · case 04
Customers who opted out of an event are curtailed anyway.
Demand-response curtailment of a charge plan: opt-out honoured · case 05
Customers who opted out of an event are curtailed anyway.
Demand-response curtailment of a charge plan: overlapping events · case 01
When two events overlap the milder one can win.
Demand-response curtailment of a charge plan: overlapping events · case 02
When two events overlap the milder one can win.
Demand-response curtailment of a charge plan: overlapping events · case 03
When two events overlap the milder one can win.
Demand-response curtailment of a charge plan: overlapping events · case 04
When two events overlap the milder one can win.
Demand-response curtailment of a charge plan: overlapping events · case 05
When two events overlap the milder one can win.
Demand-response curtailment of a charge plan: event end exclusivity · case 01
Curtailment lingers one slot after the event ends.
Demand-response curtailment of a charge plan: event end exclusivity · case 02
Curtailment lingers one slot after the event ends.
Demand-response curtailment of a charge plan: event end exclusivity · case 03
Curtailment lingers one slot after the event ends.
Demand-response curtailment of a charge plan: event end exclusivity · case 04
Curtailment lingers one slot after the event ends.
Demand-response curtailment of a charge plan: event end exclusivity · case 05
Curtailment lingers one slot after the event ends.
Demand-response curtailment of a charge plan: percentage rounding stage · case 01
Curtailed setpoints are slightly lower than the stated percentage for odd plans.
Demand-response curtailment of a charge plan: percentage rounding stage · case 02
Curtailed setpoints are slightly lower than the stated percentage for odd plans.
Demand-response curtailment of a charge plan: percentage rounding stage · case 03
Curtailed setpoints are slightly lower than the stated percentage for odd plans.
Demand-response curtailment of a charge plan: percentage rounding stage · case 04
Curtailed setpoints are slightly lower than the stated percentage for odd plans.
Demand-response curtailment of a charge plan: percentage rounding stage · case 05
Curtailed setpoints are slightly lower than the stated percentage for odd plans.
Demand-response curtailment of a charge plan: floor applies only to curtailment · case 01
Slots planned below the floor, even zero-power slots, are raised to the floor power.
Demand-response curtailment of a charge plan: floor applies only to curtailment · case 02
Slots planned below the floor, even zero-power slots, are raised to the floor power.
Demand-response curtailment of a charge plan: floor applies only to curtailment · case 03
Slots planned below the floor, even zero-power slots, are raised to the floor power.
Demand-response curtailment of a charge plan: floor applies only to curtailment · case 04
Slots planned below the floor, even zero-power slots, are raised to the floor power.
Demand-response curtailment of a charge plan: floor applies only to curtailment · case 05
Slots planned below the floor, even zero-power slots, are raised to the floor power.
Demand-response curtailment of a charge plan: curtailed energy sign · case 01
Curtailment reports a negative reduction.
Demand-response curtailment of a charge plan: curtailed energy sign · case 02
Curtailment reports a negative reduction.
Demand-response curtailment of a charge plan: curtailed energy sign · case 03
Curtailment reports a negative reduction.
Demand-response curtailment of a charge plan: curtailed energy sign · case 04
Curtailment reports a negative reduction.
Demand-response curtailment of a charge plan: curtailed energy sign · case 05
Curtailment reports a negative reduction.
Connector session state machine: authorisation timeout boundary · case 01
A driver authorising exactly at the timeout is rejected.
Connector session state machine: authorisation timeout boundary · case 02
A driver authorising exactly at the timeout is rejected.
Connector session state machine: authorisation timeout boundary · case 03
A driver authorising exactly at the timeout is rejected.
Connector session state machine: authorisation timeout boundary · case 04
A driver authorising exactly at the timeout is rejected.
Connector session state machine: authorisation timeout boundary · case 05
A driver authorising exactly at the timeout is rejected.
Connector session state machine: pause accumulation · case 01
Charging time before an EV-initiated pause disappears from the session total.
Connector session state machine: pause accumulation · case 02
Charging time before an EV-initiated pause disappears from the session total.
Connector session state machine: pause accumulation · case 03
Charging time before an EV-initiated pause disappears from the session total.
Connector session state machine: pause accumulation · case 04
Charging time before an EV-initiated pause disappears from the session total.
Connector session state machine: pause accumulation · case 05
Charging time before an EV-initiated pause disappears from the session total.
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 ↗