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
Stage 2 always runs compressor 1 · case 01
When compressor 1 is lead, stage 2 adds no capacity and compressor 0 never runs as lag.
Stage 2 always runs compressor 1 · case 02
When compressor 1 is lead, stage 2 adds no capacity and compressor 0 never runs as lag.
Stage 2 always runs compressor 1 · case 03
When compressor 1 is lead, stage 2 adds no capacity and compressor 0 never runs as lag.
Stage 2 always runs compressor 1 · case 04
When compressor 1 is lead, stage 2 adds no capacity and compressor 0 never runs as lag.
Stage 2 always runs compressor 1 · case 05
When compressor 1 is lead, stage 2 adds no capacity and compressor 0 never runs as lag.
Stage 2 survives the end of a cooling cycle · case 01
The next cooling cycle starts with both compressors at once.
Stage 2 survives the end of a cooling cycle · case 02
The next cooling cycle starts with both compressors at once.
Stage 2 survives the end of a cooling cycle · case 03
The next cooling cycle starts with both compressors at once.
Stage 2 survives the end of a cooling cycle · case 04
The next cooling cycle starts with both compressors at once.
Stage 2 survives the end of a cooling cycle · case 05
The next cooling cycle starts with both compressors at once.
Stage 2 runs until the cooling setpoint · case 01
The lag compressor runs to the end of every cycle, overcooling and short-cycling the lead.
Stage 2 runs until the cooling setpoint · case 02
The lag compressor runs to the end of every cycle, overcooling and short-cycling the lead.
Stage 2 runs until the cooling setpoint · case 03
The lag compressor runs to the end of every cycle, overcooling and short-cycling the lead.
Stage 2 runs until the cooling setpoint · case 04
The lag compressor runs to the end of every cycle, overcooling and short-cycling the lead.
Stage 2 runs until the cooling setpoint · case 05
The lag compressor runs to the end of every cycle, overcooling and short-cycling the lead.
Zoned system picks cooling on a tied zone vote · case 01
With one zone calling heat and one calling cool the system cools first, against the heat-priority rule.
Zoned system picks cooling on a tied zone vote · case 02
With one zone calling heat and one calling cool the system cools first, against the heat-priority rule.
Zoned system picks cooling on a tied zone vote · case 03
With one zone calling heat and one calling cool the system cools first, against the heat-priority rule.
Zoned system picks cooling on a tied zone vote · case 04
With one zone calling heat and one calling cool the system cools first, against the heat-priority rule.
Zoned system picks cooling on a tied zone vote · case 05
With one zone calling heat and one calling cool the system cools first, against the heat-priority rule.
Zoned system never serves a minority mode · case 01
A single zone calling heat waits indefinitely while two zones keep calling cooling.
Zoned system never serves a minority mode · case 02
A single zone calling heat waits indefinitely while two zones keep calling cooling.
Zoned system never serves a minority mode · case 03
A single zone calling heat waits indefinitely while two zones keep calling cooling.
Zoned system never serves a minority mode · case 04
A single zone calling heat waits indefinitely while two zones keep calling cooling.
Zoned system never serves a minority mode · case 05
A single zone calling heat waits indefinitely while two zones keep calling cooling.
Mode run timer is not restarted on a forced switch · case 01
After the first forced changeover the system flips between heat and cool every minute.
Mode run timer is not restarted on a forced switch · case 02
After the first forced changeover the system flips between heat and cool every minute.
Mode run timer is not restarted on a forced switch · case 03
After the first forced changeover the system flips between heat and cool every minute.
Mode run timer is not restarted on a forced switch · case 04
After the first forced changeover the system flips between heat and cool every minute.
Mode run timer is not restarted on a forced switch · case 05
After the first forced changeover the system flips between heat and cool every minute.
Zoned system idles for a minute after a mode is satisfied · case 01
Zones waiting for the opposite mode lose a minute every time the current mode finishes.
Zoned system idles for a minute after a mode is satisfied · case 02
Zones waiting for the opposite mode lose a minute every time the current mode finishes.
Zoned system idles for a minute after a mode is satisfied · case 03
Zones waiting for the opposite mode lose a minute every time the current mode finishes.
Zoned system idles for a minute after a mode is satisfied · case 04
Zones waiting for the opposite mode lose a minute every time the current mode finishes.
Zoned system idles for a minute after a mode is satisfied · case 05
Zones waiting for the opposite mode lose a minute every time the current mode finishes.
Zone dampers open for zones calling the opposite mode · case 01
A zone calling for heat receives cooled air while the system is cooling.
Zone dampers open for zones calling the opposite mode · case 02
A zone calling for heat receives cooled air while the system is cooling.
Zone dampers open for zones calling the opposite mode · case 03
A zone calling for heat receives cooled air while the system is cooling.
Zone dampers open for zones calling the opposite mode · case 04
A zone calling for heat receives cooled air while the system is cooling.
Zone dampers open for zones calling the opposite mode · case 05
A zone calling for heat receives cooled air while the system is cooling.
Time-of-use cheapest slot plan: departure slot exclusivity · case 01
Energy is planned into the slot in which the driver has already unplugged.
Time-of-use cheapest slot plan: departure slot exclusivity · case 02
Energy is planned into the slot in which the driver has already unplugged.
Time-of-use cheapest slot plan: departure slot exclusivity · case 03
Energy is planned into the slot in which the driver has already unplugged.
Time-of-use cheapest slot plan: departure slot exclusivity · case 04
Energy is planned into the slot in which the driver has already unplugged.
Time-of-use cheapest slot plan: departure slot exclusivity · case 05
Energy is planned into the slot in which the driver has already unplugged.
Time-of-use cheapest slot plan: equal-price tie-break · case 01
With a flat tariff the plan charges at the end of the stay instead of as early as possible.
Time-of-use cheapest slot plan: equal-price tie-break · case 02
With a flat tariff the plan charges at the end of the stay instead of as early as possible.
Time-of-use cheapest slot plan: equal-price tie-break · case 03
With a flat tariff the plan charges at the end of the stay instead of as early as possible.
Time-of-use cheapest slot plan: equal-price tie-break · case 04
With a flat tariff the plan charges at the end of the stay instead of as early as possible.
Time-of-use cheapest slot plan: equal-price tie-break · case 05
With a flat tariff the plan charges at the end of the stay instead of as early as possible.
Time-of-use cheapest slot plan: slot energy from power · case 01
A 7.4 kW charger is scheduled to deliver 7.4 kWh inside a quarter hour.
Time-of-use cheapest slot plan: slot energy from power · case 02
A 7.4 kW charger is scheduled to deliver 7.4 kWh inside a quarter hour.
Time-of-use cheapest slot plan: slot energy from power · case 03
A 7.4 kW charger is scheduled to deliver 7.4 kWh inside a quarter hour.
Time-of-use cheapest slot plan: slot energy from power · case 04
A 7.4 kW charger is scheduled to deliver 7.4 kWh inside a quarter hour.
Time-of-use cheapest slot plan: slot energy from power · case 05
A 7.4 kW charger is scheduled to deliver 7.4 kWh inside a quarter hour.
Time-of-use cheapest slot plan: partial final slot · case 01
The plan delivers more energy than requested and bills the overshoot.
Time-of-use cheapest slot plan: partial final slot · case 02
The plan delivers more energy than requested and bills the overshoot.
Time-of-use cheapest slot plan: partial final slot · case 03
The plan delivers more energy than requested and bills the overshoot.
Time-of-use cheapest slot plan: partial final slot · case 04
The plan delivers more energy than requested and bills the overshoot.
Time-of-use cheapest slot plan: partial final slot · case 05
The plan delivers more energy than requested and bills the overshoot.
Time-of-use cheapest slot plan: stop after request is met · case 01
Plans list extra slots with zero energy after the request is already satisfied.
Time-of-use cheapest slot plan: stop after request is met · case 02
Plans list extra slots with zero energy after the request is already satisfied.
Time-of-use cheapest slot plan: stop after request is met · case 03
Plans list extra slots with zero energy after the request is already satisfied.
Time-of-use cheapest slot plan: stop after request is met · case 04
Plans list extra slots with zero energy after the request is already satisfied.
Time-of-use cheapest slot plan: stop after request is met · case 05
Plans list extra slots with zero energy after the request is already satisfied.
Time-of-use cheapest slot plan: pre-horizon arrival clipping · case 01
A car that plugged in before the tariff horizon is planned into slots at the end of the day.
Time-of-use cheapest slot plan: pre-horizon arrival clipping · case 02
A car that plugged in before the tariff horizon is planned into slots at the end of the day.
Time-of-use cheapest slot plan: pre-horizon arrival clipping · case 03
A car that plugged in before the tariff horizon is planned into slots at the end of the day.
Time-of-use cheapest slot plan: pre-horizon arrival clipping · case 04
A car that plugged in before the tariff horizon is planned into slots at the end of the day.
Time-of-use cheapest slot plan: pre-horizon arrival clipping · case 05
A car that plugged in before the tariff horizon is planned into slots at the end of the day.
Time-of-use cheapest slot plan: cost uses slot tariff · case 01
The quoted cost does not match the tariff of the slots listed in the plan.
Time-of-use cheapest slot plan: cost uses slot tariff · case 02
The quoted cost does not match the tariff of the slots listed in the plan.
Time-of-use cheapest slot plan: cost uses slot tariff · case 03
The quoted cost does not match the tariff of the slots listed in the plan.
Time-of-use cheapest slot plan: cost uses slot tariff · case 04
The quoted cost does not match the tariff of the slots listed in the plan.
Time-of-use cheapest slot plan: cost uses slot tariff · case 05
The quoted cost does not match the tariff of the slots listed in the plan.
Post-charge idle occupancy fee: grace anchor · case 01
Drivers are billed idle time for minutes during which the car was still charging.
Post-charge idle occupancy fee: grace anchor · case 02
Drivers are billed idle time for minutes during which the car was still charging.
Post-charge idle occupancy fee: grace anchor · case 03
Drivers are billed idle time for minutes during which the car was still charging.
Post-charge idle occupancy fee: grace anchor · case 04
Drivers are billed idle time for minutes during which the car was still charging.
Post-charge idle occupancy fee: grace anchor · case 05
Drivers are billed idle time for minutes during which the car was still charging.
Post-charge idle occupancy fee: block rounding · case 01
Idle minutes shorter than a full block are never billed.
Post-charge idle occupancy fee: block rounding · case 02
Idle minutes shorter than a full block are never billed.
Post-charge idle occupancy fee: block rounding · case 03
Idle minutes shorter than a full block are never billed.
Post-charge idle occupancy fee: block rounding · case 04
Idle minutes shorter than a full block are never billed.
Post-charge idle occupancy fee: block rounding · case 05
Idle minutes shorter than a full block are never billed.
Post-charge idle occupancy fee: night waiver window edges · case 01
The first billable morning minute is waived and the first night minute is billed.
Post-charge idle occupancy fee: night waiver window edges · case 02
The first billable morning minute is waived and the first night minute is billed.
Post-charge idle occupancy fee: night waiver window edges · case 03
The first billable morning minute is waived and the first night minute is billed.
Post-charge idle occupancy fee: night waiver window edges · case 04
The first billable morning minute is waived and the first night minute is billed.
Post-charge idle occupancy fee: night waiver window edges · case 05
The first billable morning minute is waived and the first night minute is billed.
Post-charge idle occupancy fee: zero cap waiver · case 01
A site configured to waive idle fees (cap 0) still bills them.
Post-charge idle occupancy fee: zero cap waiver · case 02
A site configured to waive idle fees (cap 0) still bills them.
Post-charge idle occupancy fee: zero cap waiver · case 03
A site configured to waive idle fees (cap 0) still bills them.
Post-charge idle occupancy fee: zero cap waiver · case 04
A site configured to waive idle fees (cap 0) still bills them.
Post-charge idle occupancy fee: zero cap waiver · case 05
A site configured to waive idle fees (cap 0) still bills them.
Post-charge idle occupancy fee: unplug minute exclusivity · case 01
Every idle session is billed one extra minute.
Post-charge idle occupancy fee: unplug minute exclusivity · case 02
Every idle session is billed one extra minute.
Post-charge idle occupancy fee: unplug minute exclusivity · case 03
Every idle session is billed one extra minute.
Post-charge idle occupancy fee: unplug minute exclusivity · case 04
Every idle session is billed one extra minute.
Post-charge idle occupancy fee: unplug minute exclusivity · case 05
Every idle session is billed one extra minute.
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 ↗