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
Overcooling offset is not limited · case 01
Very humid days drive the cooling setpoint several degrees below what the user set.
Overcooling offset is not limited · case 02
Very humid days drive the cooling setpoint several degrees below what the user set.
Overcooling offset is not limited · case 03
Very humid days drive the cooling setpoint several degrees below what the user set.
Overcooling offset is not limited · case 04
Very humid days drive the cooling setpoint several degrees below what the user set.
Overcooling offset is not limited · case 05
Very humid days drive the cooling setpoint several degrees below what the user set.
Dehumidify mode raises the cooling setpoint · case 01
High humidity makes the air conditioner run less instead of more.
Dehumidify mode raises the cooling setpoint · case 02
High humidity makes the air conditioner run less instead of more.
Dehumidify mode raises the cooling setpoint · case 03
High humidity makes the air conditioner run less instead of more.
Dehumidify mode raises the cooling setpoint · case 04
High humidity makes the air conditioner run less instead of more.
Dehumidify mode raises the cooling setpoint · case 05
High humidity makes the air conditioner run less instead of more.
Frost-protection humidity limit is interpolated instead of stepped · case 01
Allowed indoor humidity creeps with every degree of outdoor temperature instead of in 10 F steps.
Frost-protection humidity limit is interpolated instead of stepped · case 02
Allowed indoor humidity creeps with every degree of outdoor temperature instead of in 10 F steps.
Frost-protection humidity limit is interpolated instead of stepped · case 03
Allowed indoor humidity creeps with every degree of outdoor temperature instead of in 10 F steps.
Frost-protection humidity limit is interpolated instead of stepped · case 04
Allowed indoor humidity creeps with every degree of outdoor temperature instead of in 10 F steps.
Frost-protection humidity limit is interpolated instead of stepped · case 05
Allowed indoor humidity creeps with every degree of outdoor temperature instead of in 10 F steps.
Frost-protection limit drops below its 15% floor · case 01
In extreme cold the humidifier is locked out entirely.
Frost-protection limit drops below its 15% floor · case 02
In extreme cold the humidifier is locked out entirely.
Frost-protection limit drops below its 15% floor · case 03
In extreme cold the humidifier is locked out entirely.
Frost-protection limit drops below its 15% floor · case 04
In extreme cold the humidifier is locked out entirely.
Frost-protection limit drops below its 15% floor · case 05
In extreme cold the humidifier is locked out entirely.
Humidifier runs in warm weather · case 01
A humidifier call appears in summer when indoor air is dry after heavy air conditioning.
Humidifier runs in warm weather · case 02
A humidifier call appears in summer when indoor air is dry after heavy air conditioning.
Humidifier runs in warm weather · case 03
A humidifier call appears in summer when indoor air is dry after heavy air conditioning.
Humidifier runs in warm weather · case 04
A humidifier call appears in summer when indoor air is dry after heavy air conditioning.
Humidifier runs in warm weather · case 05
A humidifier call appears in summer when indoor air is dry after heavy air conditioning.
Humidifier ignores the frost-protection limit · case 01
Windows sweat and frost on cold days because the humidifier chases the user setpoint.
Humidifier ignores the frost-protection limit · case 02
Windows sweat and frost on cold days because the humidifier chases the user setpoint.
Humidifier ignores the frost-protection limit · case 03
Windows sweat and frost on cold days because the humidifier chases the user setpoint.
Humidifier ignores the frost-protection limit · case 04
Windows sweat and frost on cold days because the humidifier chases the user setpoint.
Humidifier ignores the frost-protection limit · case 05
Windows sweat and frost on cold days because the humidifier chases the user setpoint.
Out-of-range remote sensor readings are averaged in · case 01
A shorted or open remote sensor drags the control temperature to an absurd value.
Out-of-range remote sensor readings are averaged in · case 02
A shorted or open remote sensor drags the control temperature to an absurd value.
Out-of-range remote sensor readings are averaged in · case 03
A shorted or open remote sensor drags the control temperature to an absurd value.
Out-of-range remote sensor readings are averaged in · case 04
A shorted or open remote sensor drags the control temperature to an absurd value.
Out-of-range remote sensor readings are averaged in · case 05
A shorted or open remote sensor drags the control temperature to an absurd value.
Averaging holds a stale value when no occupied room is valid · case 01
With everyone out of the occupied rooms the thermostat stops tracking temperature.
Averaging holds a stale value when no occupied room is valid · case 02
With everyone out of the occupied rooms the thermostat stops tracking temperature.
Averaging holds a stale value when no occupied room is valid · case 03
With everyone out of the occupied rooms the thermostat stops tracking temperature.
Averaging holds a stale value when no occupied room is valid · case 04
With everyone out of the occupied rooms the thermostat stops tracking temperature.
Averaging holds a stale value when no occupied room is valid · case 05
With everyone out of the occupied rooms the thermostat stops tracking temperature.
Remote sensor average is truncated · case 01
The control temperature reads a tenth low whenever the mean ends in .5 or more.
Remote sensor average is truncated · case 02
The control temperature reads a tenth low whenever the mean ends in .5 or more.
Remote sensor average is truncated · case 03
The control temperature reads a tenth low whenever the mean ends in .5 or more.
Remote sensor average is truncated · case 04
The control temperature reads a tenth low whenever the mean ends in .5 or more.
Remote sensor average is truncated · case 05
The control temperature reads a tenth low whenever the mean ends in .5 or more.
Control temperature is lost when every sensor is invalid · case 01
A momentary wireless dropout makes the thermostat report no temperature.
Control temperature is lost when every sensor is invalid · case 02
A momentary wireless dropout makes the thermostat report no temperature.
Control temperature is lost when every sensor is invalid · case 03
A momentary wireless dropout makes the thermostat report no temperature.
Control temperature is lost when every sensor is invalid · case 04
A momentary wireless dropout makes the thermostat report no temperature.
Control temperature is lost when every sensor is invalid · case 05
A momentary wireless dropout makes the thermostat report no temperature.
Unoccupied rooms are blended into the occupied average · case 01
Empty cold rooms pull the control temperature down while people are elsewhere.
Unoccupied rooms are blended into the occupied average · case 02
Empty cold rooms pull the control temperature down while people are elsewhere.
Unoccupied rooms are blended into the occupied average · case 03
Empty cold rooms pull the control temperature down while people are elsewhere.
Unoccupied rooms are blended into the occupied average · case 04
Empty cold rooms pull the control temperature down while people are elsewhere.
Unoccupied rooms are blended into the occupied average · case 05
Empty cold rooms pull the control temperature down while people are elsewhere.
Degree-minutes integrate target minus supply · case 01
A cold supply drives DM positive and the compressor never starts.
Degree-minutes integrate target minus supply · case 02
A cold supply drives DM positive and the compressor never starts.
Degree-minutes integrate target minus supply · case 03
A cold supply drives DM positive and the compressor never starts.
Degree-minutes integrate target minus supply · case 04
A cold supply drives DM positive and the compressor never starts.
Degree-minutes integrate target minus supply · case 05
A cold supply drives DM positive and the compressor never starts.
Degree-minute integral is not clamped · case 01
After a long surplus the compressor takes a very long time to restart, and deep deficits wind up without bound.
Degree-minute integral is not clamped · case 02
After a long surplus the compressor takes a very long time to restart, and deep deficits wind up without bound.
Degree-minute integral is not clamped · case 03
After a long surplus the compressor takes a very long time to restart, and deep deficits wind up without bound.
Degree-minute integral is not clamped · case 04
After a long surplus the compressor takes a very long time to restart, and deep deficits wind up without bound.
Degree-minute integral is not clamped · case 05
After a long surplus the compressor takes a very long time to restart, and deep deficits wind up without bound.
Auxiliary heat releases as soon as DM rises above its start point · case 01
The immersion heater chatters on and off around aux_dm.
Auxiliary heat releases as soon as DM rises above its start point · case 02
The immersion heater chatters on and off around aux_dm.
Auxiliary heat releases as soon as DM rises above its start point · case 03
The immersion heater chatters on and off around aux_dm.
Auxiliary heat releases as soon as DM rises above its start point · case 04
The immersion heater chatters on and off around aux_dm.
Auxiliary heat releases as soon as DM rises above its start point · case 05
The immersion heater chatters on and off around aux_dm.
Compressor start resets the degree-minute integral · case 01
The compressor stops within minutes of starting because the integral was zeroed.
Compressor start resets the degree-minute integral · case 02
The compressor stops within minutes of starting because the integral was zeroed.
Compressor start resets the degree-minute integral · case 03
The compressor stops within minutes of starting because the integral was zeroed.
Compressor start resets the degree-minute integral · case 04
The compressor stops within minutes of starting because the integral was zeroed.
Compressor start resets the degree-minute integral · case 05
The compressor stops within minutes of starting because the integral was zeroed.
Degree-minute decisions use the previous minute's integral · case 01
Every start and stop happens one minute late.
Degree-minute decisions use the previous minute's integral · case 02
Every start and stop happens one minute late.
Degree-minute decisions use the previous minute's integral · case 03
Every start and stop happens one minute late.
Degree-minute decisions use the previous minute's integral · case 04
Every start and stop happens one minute late.
Degree-minute decisions use the previous minute's integral · case 05
Every start and stop happens one minute late.
Low-pressure switch trips the compressor during startup · case 01
In cold weather the unit soft-locks on every start because suction pressure is briefly low.
Low-pressure switch trips the compressor during startup · case 02
In cold weather the unit soft-locks on every start because suction pressure is briefly low.
Low-pressure switch trips the compressor during startup · case 03
In cold weather the unit soft-locks on every start because suction pressure is briefly low.
Low-pressure switch trips the compressor during startup · case 04
In cold weather the unit soft-locks on every start because suction pressure is briefly low.
Low-pressure switch trips the compressor during startup · case 05
In cold weather the unit soft-locks on every start because suction pressure is briefly low.
High-pressure switch is bypassed with the low-pressure startup delay · case 01
A blocked condenser keeps the compressor running for two minutes against an open high-pressure switch.
High-pressure switch is bypassed with the low-pressure startup delay · case 02
A blocked condenser keeps the compressor running for two minutes against an open high-pressure switch.
High-pressure switch is bypassed with the low-pressure startup delay · case 03
A blocked condenser keeps the compressor running for two minutes against an open high-pressure switch.
High-pressure switch is bypassed with the low-pressure startup delay · case 04
A blocked condenser keeps the compressor running for two minutes against an open high-pressure switch.
High-pressure switch is bypassed with the low-pressure startup delay · case 05
A blocked condenser keeps the compressor running for two minutes against an open high-pressure switch.
Lockout trip history never forgets old trips · case 01
A unit that tripped twice last week hard-locks on a single trip today.
Lockout trip history never forgets old trips · case 02
A unit that tripped twice last week hard-locks on a single trip today.
Lockout trip history never forgets old trips · case 03
A unit that tripped twice last week hard-locks on a single trip today.
Lockout trip history never forgets old trips · case 04
A unit that tripped twice last week hard-locks on a single trip today.
Lockout trip history never forgets old trips · case 05
A unit that tripped twice last week hard-locks on a single trip today.
Soft lockout is timed from the compressor start · case 01
After a trip late in a long run the unit restarts on the next minute with no lockout.
Soft lockout is timed from the compressor start · case 02
After a trip late in a long run the unit restarts on the next minute with no lockout.
Soft lockout is timed from the compressor start · case 03
After a trip late in a long run the unit restarts on the next minute with no lockout.
Soft lockout is timed from the compressor start · case 04
After a trip late in a long run the unit restarts on the next minute with no lockout.
Soft lockout is timed from the compressor start · case 05
After a trip late in a long run the unit restarts on the next minute with no lockout.
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 ↗