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 reservation conflict check: free connector search order · case 01
Open-choice reservations land on the highest connector instead of the lowest free one.
Connector reservation conflict check: free connector search order · case 02
Open-choice reservations land on the highest connector instead of the lowest free one.
Connector reservation conflict check: free connector search order · case 03
Open-choice reservations land on the highest connector instead of the lowest free one.
Connector reservation conflict check: free connector search order · case 04
Open-choice reservations land on the highest connector instead of the lowest free one.
Connector reservation conflict check: free connector search order · case 05
Open-choice reservations land on the highest connector instead of the lowest free one.
PV surplus following with hysteresis: start threshold comparison · case 01
Surplus exactly at the start threshold never starts charging.
PV surplus following with hysteresis: start threshold comparison · case 02
Surplus exactly at the start threshold never starts charging.
PV surplus following with hysteresis: start threshold comparison · case 03
Surplus exactly at the start threshold never starts charging.
PV surplus following with hysteresis: start threshold comparison · case 04
Surplus exactly at the start threshold never starts charging.
PV surplus following with hysteresis: start threshold comparison · case 05
Surplus exactly at the start threshold never starts charging.
PV surplus following with hysteresis: counter reset at start · case 01
Charging stops shortly after starting even though the sun never dipped.
PV surplus following with hysteresis: counter reset at start · case 02
Charging stops shortly after starting even though the sun never dipped.
PV surplus following with hysteresis: counter reset at start · case 03
Charging stops shortly after starting even though the sun never dipped.
PV surplus following with hysteresis: counter reset at start · case 04
Charging stops shortly after starting even though the sun never dipped.
PV surplus following with hysteresis: counter reset at start · case 05
Charging stops shortly after starting even though the sun never dipped.
PV surplus following with hysteresis: stop streak interruption · case 01
Several short, separated cloud dips add up and stop the charger.
PV surplus following with hysteresis: stop streak interruption · case 02
Several short, separated cloud dips add up and stop the charger.
PV surplus following with hysteresis: stop streak interruption · case 03
Several short, separated cloud dips add up and stop the charger.
PV surplus following with hysteresis: stop streak interruption · case 04
Several short, separated cloud dips add up and stop the charger.
PV surplus following with hysteresis: stop streak interruption · case 05
Several short, separated cloud dips add up and stop the charger.
PV surplus following with hysteresis: stop delay comparison · case 01
Charging continues one sample longer than the configured stop delay.
PV surplus following with hysteresis: stop delay comparison · case 02
Charging continues one sample longer than the configured stop delay.
PV surplus following with hysteresis: stop delay comparison · case 03
Charging continues one sample longer than the configured stop delay.
PV surplus following with hysteresis: stop delay comparison · case 04
Charging continues one sample longer than the configured stop delay.
PV surplus following with hysteresis: stop delay comparison · case 05
Charging continues one sample longer than the configured stop delay.
PV surplus following with hysteresis: minimum charging power floor · case 01
While clouds pass the charger is commanded below the minimum pilot current.
PV surplus following with hysteresis: minimum charging power floor · case 02
While clouds pass the charger is commanded below the minimum pilot current.
PV surplus following with hysteresis: minimum charging power floor · case 03
While clouds pass the charger is commanded below the minimum pilot current.
PV surplus following with hysteresis: minimum charging power floor · case 04
While clouds pass the charger is commanded below the minimum pilot current.
PV surplus following with hysteresis: minimum charging power floor · case 05
While clouds pass the charger is commanded below the minimum pilot current.
PV surplus following with hysteresis: power reported at transition sample · case 01
The power profile lags the charging state by one minute.
PV surplus following with hysteresis: power reported at transition sample · case 02
The power profile lags the charging state by one minute.
PV surplus following with hysteresis: power reported at transition sample · case 03
The power profile lags the charging state by one minute.
PV surplus following with hysteresis: power reported at transition sample · case 04
The power profile lags the charging state by one minute.
PV surplus following with hysteresis: power reported at transition sample · case 05
The power profile lags the charging state by one minute.
Ready-by departure latest start: efficiency direction · case 01
Cars finish short of their target because charging starts too late.
Ready-by departure latest start: efficiency direction · case 02
Cars finish short of their target because charging starts too late.
Ready-by departure latest start: efficiency direction · case 03
Cars finish short of their target because charging starts too late.
Ready-by departure latest start: efficiency direction · case 04
Cars finish short of their target because charging starts too late.
Ready-by departure latest start: efficiency direction · case 05
Cars finish short of their target because charging starts too late.
Ready-by departure latest start: duration rounding · case 01
The session plan ends a minute before the energy is actually delivered.
Ready-by departure latest start: duration rounding · case 02
The session plan ends a minute before the energy is actually delivered.
Ready-by departure latest start: duration rounding · case 03
The session plan ends a minute before the energy is actually delivered.
Ready-by departure latest start: duration rounding · case 04
The session plan ends a minute before the energy is actually delivered.
Ready-by departure latest start: duration rounding · case 05
The session plan ends a minute before the energy is actually delivered.
Ready-by departure latest start: buffer direction · case 01
Charging is planned to finish after the driver leaves.
Ready-by departure latest start: buffer direction · case 02
Charging is planned to finish after the driver leaves.
Ready-by departure latest start: buffer direction · case 03
Charging is planned to finish after the driver leaves.
Ready-by departure latest start: buffer direction · case 04
Charging is planned to finish after the driver leaves.
Ready-by departure latest start: buffer direction · case 05
Charging is planned to finish after the driver leaves.
Ready-by departure latest start: quarter-hour quantization · case 01
Planned starts snap to the next quarter hour and finish after the target time.
Ready-by departure latest start: quarter-hour quantization · case 02
Planned starts snap to the next quarter hour and finish after the target time.
Ready-by departure latest start: quarter-hour quantization · case 03
Planned starts snap to the next quarter hour and finish after the target time.
Ready-by departure latest start: quarter-hour quantization · case 04
Planned starts snap to the next quarter hour and finish after the target time.
Ready-by departure latest start: quarter-hour quantization · case 05
Planned starts snap to the next quarter hour and finish after the target time.
Ready-by departure latest start: late detection · case 01
Plans report starts in the past with status ok.
Ready-by departure latest start: late detection · case 02
Plans report starts in the past with status ok.
Ready-by departure latest start: late detection · case 03
Plans report starts in the past with status ok.
Ready-by departure latest start: late detection · case 04
Plans report starts in the past with status ok.
Ready-by departure latest start: late detection · case 05
Plans report starts in the past with status ok.
Ready-by departure latest start: zero request handling · case 01
A fully charged car gets a zero-length charging plan instead of done.
Ready-by departure latest start: zero request handling · case 02
A fully charged car gets a zero-length charging plan instead of done.
Ready-by departure latest start: zero request handling · case 03
A fully charged car gets a zero-length charging plan instead of done.
Ready-by departure latest start: zero request handling · case 04
A fully charged car gets a zero-length charging plan instead of done.
Ready-by departure latest start: zero request handling · case 05
A fully charged car gets a zero-length charging plan instead of done.
Round-robin port rotation: already-satisfied finish marker · case 01
Vehicles that needed no charge are reported as unfinished.
Round-robin port rotation: already-satisfied finish marker · case 02
Vehicles that needed no charge are reported as unfinished.
Round-robin port rotation: already-satisfied finish marker · case 03
Vehicles that needed no charge are reported as unfinished.
Round-robin port rotation: already-satisfied finish marker · case 04
Vehicles that needed no charge are reported as unfinished.
Round-robin port rotation: already-satisfied finish marker · case 05
Vehicles that needed no charge are reported as unfinished.
Round-robin port rotation: finish slot index · case 01
Reported finish times are one slot earlier than the last charging slot ends.
Round-robin port rotation: finish slot index · case 02
Reported finish times are one slot earlier than the last charging slot ends.
Round-robin port rotation: finish slot index · case 03
Reported finish times are one slot earlier than the last charging slot ends.
Round-robin port rotation: finish slot index · case 04
Reported finish times are one slot earlier than the last charging slot ends.
Round-robin port rotation: finish slot index · case 05
Reported finish times are one slot earlier than the last charging slot ends.
Round-robin port rotation: preempted vehicle queue position · case 01
A vehicle whose quantum expired immediately gets its port back, starving waiting vehicles.
Round-robin port rotation: preempted vehicle queue position · case 02
A vehicle whose quantum expired immediately gets its port back, starving waiting vehicles.
Round-robin port rotation: preempted vehicle queue position · case 03
A vehicle whose quantum expired immediately gets its port back, starving waiting vehicles.
Round-robin port rotation: preempted vehicle queue position · case 04
A vehicle whose quantum expired immediately gets its port back, starving waiting vehicles.
Round-robin port rotation: preempted vehicle queue position · case 05
A vehicle whose quantum expired immediately gets its port back, starving waiting vehicles.
Round-robin port rotation: completion before quantum expiry · case 01
A vehicle that finishes exactly at its quantum boundary is requeued and never reported done.
Round-robin port rotation: completion before quantum expiry · case 02
A vehicle that finishes exactly at its quantum boundary is requeued and never reported done.
Round-robin port rotation: completion before quantum expiry · case 03
A vehicle that finishes exactly at its quantum boundary is requeued and never reported done.
Round-robin port rotation: completion before quantum expiry · case 04
A vehicle that finishes exactly at its quantum boundary is requeued and never reported done.
Round-robin port rotation: completion before quantum expiry · case 05
A vehicle that finishes exactly at its quantum boundary is requeued and never reported done.
Round-robin port rotation: port refill loop · case 01
Only one waiting vehicle is connected per slot even when several ports are free.
Round-robin port rotation: port refill loop · case 02
Only one waiting vehicle is connected per slot even when several ports are free.
Round-robin port rotation: port refill loop · case 03
Only one waiting vehicle is connected per slot even when several ports are free.
Round-robin port rotation: port refill loop · case 04
Only one waiting vehicle is connected per slot even when several ports are free.
Round-robin port rotation: port refill loop · case 05
Only one waiting vehicle is connected per slot even when several ports are free.
Round-robin port rotation: timeline membership · case 01
Timeline rows are in port order and differ between identical fleets.
Round-robin port rotation: timeline membership · case 02
Timeline rows are in port order and differ between identical fleets.
Round-robin port rotation: timeline membership · case 03
Timeline rows are in port order and differ between identical fleets.
Round-robin port rotation: timeline membership · case 04
Timeline rows are in port order and differ between identical fleets.
Round-robin port rotation: timeline membership · case 05
Timeline rows are in port order and differ between identical fleets.
Depot least-laxity-first charging: presence at departure slot · case 01
Energy is granted to vehicles in the slot at which they have already left the depot.
Depot least-laxity-first charging: presence at departure slot · case 02
Energy is granted to vehicles in the slot at which they have already left the depot.
Depot least-laxity-first charging: presence at departure slot · case 03
Energy is granted to vehicles in the slot at which they have already left the depot.
Depot least-laxity-first charging: presence at departure slot · case 04
Energy is granted to vehicles in the slot at which they have already left the depot.
Depot least-laxity-first charging: presence at departure slot · case 05
Energy is granted to vehicles in the slot at which they have already left the depot.
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 ↗