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
Manual reset leaves the trip history in place · case 01
After a hard-lockout reset the next single trip hard-locks the unit again.
Manual reset leaves the trip history in place · case 02
After a hard-lockout reset the next single trip hard-locks the unit again.
Manual reset leaves the trip history in place · case 03
After a hard-lockout reset the next single trip hard-locks the unit again.
Manual reset leaves the trip history in place · case 04
After a hard-lockout reset the next single trip hard-locks the unit again.
Manual reset leaves the trip history in place · case 05
After a hard-lockout reset the next single trip hard-locks the unit again.
Hard lockout expires on a timer like a soft lockout · case 01
After three trips the unit restarts by itself an hour later without a service reset.
Hard lockout expires on a timer like a soft lockout · case 02
After three trips the unit restarts by itself an hour later without a service reset.
Hard lockout expires on a timer like a soft lockout · case 03
After three trips the unit restarts by itself an hour later without a service reset.
Hard lockout expires on a timer like a soft lockout · case 04
After three trips the unit restarts by itself an hour later without a service reset.
Hard lockout expires on a timer like a soft lockout · case 05
After three trips the unit restarts by itself an hour later without a service reset.
DCV ramp starts from 0% instead of the minimum position · case 01
Moderate CO2 levels ventilate less than the minimum outdoor air position.
DCV ramp starts from 0% instead of the minimum position · case 02
Moderate CO2 levels ventilate less than the minimum outdoor air position.
DCV ramp starts from 0% instead of the minimum position · case 03
Moderate CO2 levels ventilate less than the minimum outdoor air position.
DCV ramp starts from 0% instead of the minimum position · case 04
Moderate CO2 levels ventilate less than the minimum outdoor air position.
DCV ramp starts from 0% instead of the minimum position · case 05
Moderate CO2 levels ventilate less than the minimum outdoor air position.
DCV damper opens to target in a single step · case 01
The damper slams open when a meeting room fills, upsetting mixed-air temperature.
DCV damper opens to target in a single step · case 02
The damper slams open when a meeting room fills, upsetting mixed-air temperature.
DCV damper opens to target in a single step · case 03
The damper slams open when a meeting room fills, upsetting mixed-air temperature.
DCV damper opens to target in a single step · case 04
The damper slams open when a meeting room fills, upsetting mixed-air temperature.
DCV damper opens to target in a single step · case 05
The damper slams open when a meeting room fills, upsetting mixed-air temperature.
DCV damper closes past its target · case 01
When CO2 drops the damper keeps closing below the minimum ventilation position.
DCV damper closes past its target · case 02
When CO2 drops the damper keeps closing below the minimum ventilation position.
DCV damper closes past its target · case 03
When CO2 drops the damper keeps closing below the minimum ventilation position.
DCV damper closes past its target · case 04
When CO2 drops the damper keeps closing below the minimum ventilation position.
DCV damper closes past its target · case 05
When CO2 drops the damper keeps closing below the minimum ventilation position.
DCV ventilates an unoccupied space from CO2 readings · case 01
Residual CO2 after everyone leaves keeps the outdoor damper open overnight.
DCV ventilates an unoccupied space from CO2 readings · case 02
Residual CO2 after everyone leaves keeps the outdoor damper open overnight.
DCV ventilates an unoccupied space from CO2 readings · case 03
Residual CO2 after everyone leaves keeps the outdoor damper open overnight.
DCV ventilates an unoccupied space from CO2 readings · case 04
Residual CO2 after everyone leaves keeps the outdoor damper open overnight.
DCV ventilates an unoccupied space from CO2 readings · case 05
Residual CO2 after everyone leaves keeps the outdoor damper open overnight.
Cycle length is computed with float division · case 01
With 7 or 9 cycles per hour the heater only cycles once, at minute 0, and then stays off.
Cycle length is computed with float division · case 02
With 7 or 9 cycles per hour the heater only cycles once, at minute 0, and then stays off.
Cycle length is computed with float division · case 03
With 7 or 9 cycles per hour the heater only cycles once, at minute 0, and then stays off.
Cycle length is computed with float division · case 04
With 7 or 9 cycles per hour the heater only cycles once, at minute 0, and then stays off.
Cycle length is computed with float division · case 05
With 7 or 9 cycles per hour the heater only cycles once, at minute 0, and then stays off.
Time-proportioning emits one-minute burner cycles · case 01
Small errors produce one-minute burns that never let the heat exchanger reach temperature.
Time-proportioning emits one-minute burner cycles · case 02
Small errors produce one-minute burns that never let the heat exchanger reach temperature.
Time-proportioning emits one-minute burner cycles · case 03
Small errors produce one-minute burns that never let the heat exchanger reach temperature.
Time-proportioning emits one-minute burner cycles · case 04
Small errors produce one-minute burns that never let the heat exchanger reach temperature.
Time-proportioning emits one-minute burner cycles · case 05
Small errors produce one-minute burns that never let the heat exchanger reach temperature.
Time-proportioning emits one-minute off periods · case 01
Near full demand the burner shuts off for a single minute each cycle.
Time-proportioning emits one-minute off periods · case 02
Near full demand the burner shuts off for a single minute each cycle.
Time-proportioning emits one-minute off periods · case 03
Near full demand the burner shuts off for a single minute each cycle.
Time-proportioning emits one-minute off periods · case 04
Near full demand the burner shuts off for a single minute each cycle.
Time-proportioning emits one-minute off periods · case 05
Near full demand the burner shuts off for a single minute each cycle.
Time-proportioning heats when the room is above setpoint · case 01
The heater runs harder the warmer the room gets.
Time-proportioning heats when the room is above setpoint · case 02
The heater runs harder the warmer the room gets.
Time-proportioning heats when the room is above setpoint · case 03
The heater runs harder the warmer the room gets.
Time-proportioning heats when the room is above setpoint · case 04
The heater runs harder the warmer the room gets.
Time-proportioning heats when the room is above setpoint · case 05
The heater runs harder the warmer the room gets.
Time-proportioning on period is one minute short · case 01
Every on period is one minute shorter than computed.
Time-proportioning on period is one minute short · case 02
Every on period is one minute shorter than computed.
Time-proportioning on period is one minute short · case 03
Every on period is one minute shorter than computed.
Time-proportioning on period is one minute short · case 04
Every on period is one minute shorter than computed.
Time-proportioning on period is one minute short · case 05
Every on period is one minute shorter than computed.
Optimal start rounds the required recovery time down · case 01
Recovery starts a minute late whenever the required time is fractional and the space is short of setpoint at occupancy.
Optimal start rounds the required recovery time down · case 02
Recovery starts a minute late whenever the required time is fractional and the space is short of setpoint at occupancy.
Optimal start rounds the required recovery time down · case 03
Recovery starts a minute late whenever the required time is fractional and the space is short of setpoint at occupancy.
Optimal start rounds the required recovery time down · case 04
Recovery starts a minute late whenever the required time is fractional and the space is short of setpoint at occupancy.
Optimal start rounds the required recovery time down · case 05
Recovery starts a minute late whenever the required time is fractional and the space is short of setpoint at occupancy.
Optimal start has no maximum lead time · case 01
After a very cold night the system starts recovering many hours before occupancy.
Optimal start has no maximum lead time · case 02
After a very cold night the system starts recovering many hours before occupancy.
Optimal start has no maximum lead time · case 03
After a very cold night the system starts recovering many hours before occupancy.
Optimal start has no maximum lead time · case 04
After a very cold night the system starts recovering many hours before occupancy.
Optimal start has no maximum lead time · case 05
After a very cold night the system starts recovering many hours before occupancy.
Optimal start drops back to setback as the space warms · case 01
The setpoint oscillates between occupied and setback during recovery.
Optimal start drops back to setback as the space warms · case 02
The setpoint oscillates between occupied and setback during recovery.
Optimal start drops back to setback as the space warms · case 03
The setpoint oscillates between occupied and setback during recovery.
Optimal start drops back to setback as the space warms · case 04
The setpoint oscillates between occupied and setback during recovery.
Optimal start drops back to setback as the space warms · case 05
The setpoint oscillates between occupied and setback during recovery.
Optimal start treats the hourly recovery rate as per minute · case 01
Recovery starts only minutes before occupancy and the space is cold when people arrive.
Optimal start treats the hourly recovery rate as per minute · case 02
Recovery starts only minutes before occupancy and the space is cold when people arrive.
Optimal start treats the hourly recovery rate as per minute · case 03
Recovery starts only minutes before occupancy and the space is cold when people arrive.
Optimal start treats the hourly recovery rate as per minute · case 04
Recovery starts only minutes before occupancy and the space is cold when people arrive.
Optimal start treats the hourly recovery rate as per minute · case 05
Recovery starts only minutes before occupancy and the space is cold when people arrive.
Reversing valve terminal type is inverted · case 01
An O-type heat pump blows cold air on a heating call.
Reversing valve terminal type is inverted · case 02
An O-type heat pump blows cold air on a heating call.
Reversing valve terminal type is inverted · case 03
An O-type heat pump blows cold air on a heating call.
Reversing valve terminal type is inverted · case 04
An O-type heat pump blows cold air on a heating call.
Reversing valve terminal type is inverted · case 05
An O-type heat pump blows cold air on a heating call.
Reversing valve drops out between calls · case 01
The valve clicks over at the end of every cooling call and must shift back (with an equalization delay) on the next call.
Reversing valve drops out between calls · case 02
The valve clicks over at the end of every cooling call and must shift back (with an equalization delay) on the next call.
Reversing valve drops out between calls · case 03
The valve clicks over at the end of every cooling call and must shift back (with an equalization delay) on the next call.
Reversing valve drops out between calls · case 04
The valve clicks over at the end of every cooling call and must shift back (with an equalization delay) on the next call.
Reversing valve drops out between calls · case 05
The valve clicks over at the end of every cooling call and must shift back (with an equalization delay) on the next call.
Compressor starts on the same sample the reversing valve shifts · case 01
The valve shifts under full differential pressure, producing a loud whoosh and valve wear.
Compressor starts on the same sample the reversing valve shifts · case 02
The valve shifts under full differential pressure, producing a loud whoosh and valve wear.
Compressor starts on the same sample the reversing valve shifts · case 03
The valve shifts under full differential pressure, producing a loud whoosh and valve wear.
Compressor starts on the same sample the reversing valve shifts · case 04
The valve shifts under full differential pressure, producing a loud whoosh and valve wear.
Compressor starts on the same sample the reversing valve shifts · case 05
The valve shifts under full differential pressure, producing a loud whoosh and valve wear.
Reversing valve is assumed energized at power-up · case 01
The first call after power-up skips the equalization wait or waits needlessly.
Reversing valve is assumed energized at power-up · case 02
The first call after power-up skips the equalization wait or waits needlessly.
Reversing valve is assumed energized at power-up · case 03
The first call after power-up skips the equalization wait or waits needlessly.
Reversing valve is assumed energized at power-up · case 04
The first call after power-up skips the equalization wait or waits needlessly.
Reversing valve is assumed energized at power-up · case 05
The first call after power-up skips the equalization wait or waits needlessly.
Lead compressor swaps when stage 2 drops out · case 01
Mid-cycle the running compressor stops and the other starts, adding a start per cycle.
Lead compressor swaps when stage 2 drops out · case 02
Mid-cycle the running compressor stops and the other starts, adding a start per cycle.
Lead compressor swaps when stage 2 drops out · case 03
Mid-cycle the running compressor stops and the other starts, adding a start per cycle.
Lead compressor swaps when stage 2 drops out · case 04
Mid-cycle the running compressor stops and the other starts, adding a start per cycle.
Lead compressor swaps when stage 2 drops out · case 05
Mid-cycle the running compressor stops and the other starts, adding a start per cycle.
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 ↗