FA-92688 / HVAC thermostat control / Member archive

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.

Member previewVariant 3 · 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: high pressure at start	`["run", "run", "run", "run", "run", "run", "run", "run"]`	`["run", "soft", "soft", "soft", "soft", "soft", "run", "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.