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
Connector session state machine: stop from suspended · case 01
Time the EV spent suspended is counted as charging when the session is stopped.
Connector session state machine: stop from suspended · case 02
Time the EV spent suspended is counted as charging when the session is stopped.
Connector session state machine: stop from suspended · case 03
Time the EV spent suspended is counted as charging when the session is stopped.
Connector session state machine: stop from suspended · case 04
Time the EV spent suspended is counted as charging when the session is stopped.
Connector session state machine: stop from suspended · case 05
Time the EV spent suspended is counted as charging when the session is stopped.
Connector session state machine: abrupt unplug classification · case 01
Unplugging a suspended vehicle is not flagged as an abrupt termination.
Connector session state machine: abrupt unplug classification · case 02
Unplugging a suspended vehicle is not flagged as an abrupt termination.
Connector session state machine: abrupt unplug classification · case 03
Unplugging a suspended vehicle is not flagged as an abrupt termination.
Connector session state machine: abrupt unplug classification · case 04
Unplugging a suspended vehicle is not flagged as an abrupt termination.
Connector session state machine: abrupt unplug classification · case 05
Unplugging a suspended vehicle is not flagged as an abrupt termination.
Connector session state machine: unplug while charging banks time · case 01
Sessions ended by pulling the cable report too little charging time.
Connector session state machine: unplug while charging banks time · case 02
Sessions ended by pulling the cable report too little charging time.
Connector session state machine: unplug while charging banks time · case 03
Sessions ended by pulling the cable report too little charging time.
Connector session state machine: unplug while charging banks time · case 04
Sessions ended by pulling the cable report too little charging time.
Connector session state machine: unplug while charging banks time · case 05
Sessions ended by pulling the cable report too little charging time.
Connector session state machine: timeout applies only to Preparing · case 01
Long charging sessions are kicked back to Available.
Connector session state machine: timeout applies only to Preparing · case 02
Long charging sessions are kicked back to Available.
Connector session state machine: timeout applies only to Preparing · case 03
Long charging sessions are kicked back to Available.
Connector session state machine: timeout applies only to Preparing · case 04
Long charging sessions are kicked back to Available.
Connector session state machine: timeout applies only to Preparing · case 05
Long charging sessions are kicked back to Available.
Connector session state machine: resume restarts interval · case 01
Charging time after a resume includes the paused period.
Connector session state machine: resume restarts interval · case 02
Charging time after a resume includes the paused period.
Connector session state machine: resume restarts interval · case 03
Charging time after a resume includes the paused period.
Connector session state machine: resume restarts interval · case 04
Charging time after a resume includes the paused period.
Connector session state machine: resume restarts interval · case 05
Charging time after a resume includes the paused period.
Contiguous cheap charging blocks: threshold inclusivity · case 01
Slots priced exactly at the threshold are not treated as cheap.
Contiguous cheap charging blocks: threshold inclusivity · case 02
Slots priced exactly at the threshold are not treated as cheap.
Contiguous cheap charging blocks: threshold inclusivity · case 03
Slots priced exactly at the threshold are not treated as cheap.
Contiguous cheap charging blocks: threshold inclusivity · case 04
Slots priced exactly at the threshold are not treated as cheap.
Contiguous cheap charging blocks: threshold inclusivity · case 05
Slots priced exactly at the threshold are not treated as cheap.
Contiguous cheap charging blocks: final run flush · case 01
A cheap run that lasts until the end of the horizon is never used.
Contiguous cheap charging blocks: final run flush · case 02
A cheap run that lasts until the end of the horizon is never used.
Contiguous cheap charging blocks: final run flush · case 03
A cheap run that lasts until the end of the horizon is never used.
Contiguous cheap charging blocks: final run flush · case 04
A cheap run that lasts until the end of the horizon is never used.
Contiguous cheap charging blocks: final run flush · case 05
A cheap run that lasts until the end of the horizon is never used.
Contiguous cheap charging blocks: minimum run length · case 01
Runs exactly min_len long are ignored.
Contiguous cheap charging blocks: minimum run length · case 02
Runs exactly min_len long are ignored.
Contiguous cheap charging blocks: minimum run length · case 03
Runs exactly min_len long are ignored.
Contiguous cheap charging blocks: minimum run length · case 04
Runs exactly min_len long are ignored.
Contiguous cheap charging blocks: minimum run length · case 05
Runs exactly min_len long are ignored.
Contiguous cheap charging blocks: run accumulator reset · case 01
Separate cheap periods are merged into one long run that includes expensive gaps.
Contiguous cheap charging blocks: run accumulator reset · case 02
Separate cheap periods are merged into one long run that includes expensive gaps.
Contiguous cheap charging blocks: run accumulator reset · case 03
Separate cheap periods are merged into one long run that includes expensive gaps.
Contiguous cheap charging blocks: run accumulator reset · case 04
Separate cheap periods are merged into one long run that includes expensive gaps.
Contiguous cheap charging blocks: run accumulator reset · case 05
Separate cheap periods are merged into one long run that includes expensive gaps.
Contiguous cheap charging blocks: fallback excludes chosen slots · case 01
The fallback picks a slot that was already chosen, returning duplicates.
Contiguous cheap charging blocks: fallback excludes chosen slots · case 02
The fallback picks a slot that was already chosen, returning duplicates.
Contiguous cheap charging blocks: fallback excludes chosen slots · case 03
The fallback picks a slot that was already chosen, returning duplicates.
Contiguous cheap charging blocks: fallback excludes chosen slots · case 04
The fallback picks a slot that was already chosen, returning duplicates.
Contiguous cheap charging blocks: fallback excludes chosen slots · case 05
The fallback picks a slot that was already chosen, returning duplicates.
Contiguous cheap charging blocks: fallback count · case 01
Fallback adds more slots than were needed.
Contiguous cheap charging blocks: fallback count · case 02
Fallback adds more slots than were needed.
Contiguous cheap charging blocks: fallback count · case 03
Fallback adds more slots than were needed.
Contiguous cheap charging blocks: fallback count · case 04
Fallback adds more slots than were needed.
Contiguous cheap charging blocks: fallback count · case 05
Fallback adds more slots than were needed.
Arrival charger matching: AC/DC classification boundary · case 01
22 kW AC points are skipped for vehicles without DC support.
Arrival charger matching: AC/DC classification boundary · case 02
22 kW AC points are skipped for vehicles without DC support.
Arrival charger matching: AC/DC classification boundary · case 03
22 kW AC points are skipped for vehicles without DC support.
Arrival charger matching: AC/DC classification boundary · case 04
22 kW AC points are skipped for vehicles without DC support.
Arrival charger matching: AC/DC classification boundary · case 05
22 kW AC points are skipped for vehicles without DC support.
Arrival charger matching: onboard AC charger limit · case 01
Finish times on 22 kW AC points assume the car can take all 22 kW.
Arrival charger matching: onboard AC charger limit · case 02
Finish times on 22 kW AC points assume the car can take all 22 kW.
Arrival charger matching: onboard AC charger limit · case 03
Finish times on 22 kW AC points assume the car can take all 22 kW.
Arrival charger matching: onboard AC charger limit · case 04
Finish times on 22 kW AC points assume the car can take all 22 kW.
Arrival charger matching: onboard AC charger limit · case 05
Finish times on 22 kW AC points assume the car can take all 22 kW.
Arrival charger matching: charger availability start · case 01
Finish times are computed as if a busy charger were free now, or as if an idle one started in the past.
Arrival charger matching: charger availability start · case 02
Finish times are computed as if a busy charger were free now, or as if an idle one started in the past.
Arrival charger matching: charger availability start · case 03
Finish times are computed as if a busy charger were free now, or as if an idle one started in the past.
Arrival charger matching: charger availability start · case 04
Finish times are computed as if a busy charger were free now, or as if an idle one started in the past.
Arrival charger matching: charger availability start · case 05
Finish times are computed as if a busy charger were free now, or as if an idle one started in the past.
Arrival charger matching: duration rounding · case 01
Some sessions are reported as finishing a minute early.
Arrival charger matching: duration rounding · case 02
Some sessions are reported as finishing a minute early.
Arrival charger matching: duration rounding · case 03
Some sessions are reported as finishing a minute early.
Arrival charger matching: duration rounding · case 04
Some sessions are reported as finishing a minute early.
Arrival charger matching: duration rounding · case 05
Some sessions are reported as finishing a minute early.
Arrival charger matching: deadline inclusivity · case 01
A charger finishing exactly at departure is reported as late.
Arrival charger matching: deadline inclusivity · case 02
A charger finishing exactly at departure is reported as late.
Arrival charger matching: deadline inclusivity · case 03
A charger finishing exactly at departure is reported as late.
Arrival charger matching: deadline inclusivity · case 04
A charger finishing exactly at departure is reported as late.
Arrival charger matching: deadline inclusivity · case 05
A charger finishing exactly at departure is reported as late.
Arrival charger matching: feasible charger preference · case 01
Short-stay vehicles take fast DC chargers that slower AC points could serve in time.
Arrival charger matching: feasible charger preference · case 02
Short-stay vehicles take fast DC chargers that slower AC points could serve in time.
Arrival charger matching: feasible charger preference · case 03
Short-stay vehicles take fast DC chargers that slower AC points could serve in time.
Arrival charger matching: feasible charger preference · case 04
Short-stay vehicles take fast DC chargers that slower AC points could serve in time.
Arrival charger matching: feasible charger preference · case 05
Short-stay vehicles take fast DC chargers that slower AC points could serve in time.
Arrival charger matching: late fallback ranking · case 01
When nothing can finish in time the vehicle is sent to the slowest charger.
Arrival charger matching: late fallback ranking · case 02
When nothing can finish in time the vehicle is sent to the slowest charger.
Arrival charger matching: late fallback ranking · case 03
When nothing can finish in time the vehicle is sent to the slowest charger.
Arrival charger matching: late fallback ranking · case 04
When nothing can finish in time the vehicle is sent to the slowest charger.
Arrival charger matching: late fallback ranking · case 05
When nothing can finish in time the vehicle is sent to the slowest charger.
Staggered start after tariff switch: delay modulus range · case 01
The configured maximum delay is never used and some chargers start earlier than intended.
Staggered start after tariff switch: delay modulus range · case 02
The configured maximum delay is never used and some chargers start earlier than intended.
Staggered start after tariff switch: delay modulus range · case 03
The configured maximum delay is never used and some chargers start earlier than intended.
Staggered start after tariff switch: delay modulus range · case 04
The configured maximum delay is never used and some chargers start earlier than intended.
Staggered start after tariff switch: delay modulus range · case 05
The configured maximum delay is never used and some chargers start earlier than intended.
Staggered start after tariff switch: stagger base time · case 01
Chargers plugged in after the tariff switch are scheduled to start in the past.
Staggered start after tariff switch: stagger base time · case 02
Chargers plugged in after the tariff switch are scheduled to start in the past.
Staggered start after tariff switch: stagger base time · case 03
Chargers plugged in after the tariff switch are scheduled to start in the past.
Staggered start after tariff switch: stagger base time · case 04
Chargers plugged in after the tariff switch are scheduled to start in the past.
Staggered start after tariff switch: stagger base time · case 05
Chargers plugged in after the tariff switch are scheduled to start in the past.
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 ↗