FA-92710 / HVAC thermostat control / Member archive

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.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case contract

Compressor pressure-switch lockout per minute; samples are [call, hp_ok, lp_ok] where call may also be "reset". While running, an open high-pressure switch trips at once; the low-pressure switch is ignored for the first 2 minutes after start. A trip enters a 5-minute soft lockout, after which the unit retries automatically if still called. The third trip within a sliding 60-minute window (trips older than 60 minutes are forgotten) causes a hard lockout that only reset clears; reset also clears the trip history. Return run, idle, soft or hard per minute.

Why this case matters

Residential and light-commercial thermostats make these decisions sample by sample; each defect changes equipment calls in a way that shows up as short cycling, comfort complaints or equipment stress.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: scenario 29	["run", "idle", "run", "idle", "run", "run", "run", "run", "soft", "soft", "soft", "soft", "soft", "idle", "idle", "run", "run", "idle", "run", "run", "soft", "soft", "soft", "soft", "soft", "run", "run", "soft", "soft", "soft", "soft", "soft", "run", "run", "run", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "run", "run", "hard", "idle", "idle", "run", "run", "run", "idle", "run", "run", "run", "run", "idle", "run", "run", "soft", "soft", "soft", "soft", "soft", "run"]	["run", "idle", "run", "idle", "run", "run", "run", "run", "soft", "soft", "soft", "soft", "soft", "idle", "idle", "run", "run", "idle", "run", "run", "soft", "soft", "soft", "soft", "soft", "run", "run", "soft", "soft", "soft", "soft", "soft", "run", "run", "run", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "hard", "idle", "idle", "run", "run", "run", "idle", "run", "run", "run", "run", "idle", "run", "run", "soft", "soft", "soft", "soft", "soft", "run"]	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.