FA-92535 / HVAC thermostat control / Member archive

Economizer compares outdoor air above return air plus the differential · case 05

Outdoor air warmer than the return air is brought in for cooling.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case contract

Rooftop economizer per sample; samples are [outdoor, return_air, cooling_call, mixed_air, occupied] in tenths F. Economizing is enabled when outdoor <= high_limit - 2.0 F and outdoor < return - diff, and disabled when outdoor > high_limit or outdoor >= return. Unoccupied: damper 0%. Occupied, enabled and cooling: if mixed air < mat_low the damper steps down 10% but not below min_pos, otherwise it steps up 20% from at least min_pos, capped at 100%. Otherwise the damper sits at min_pos. Return [enabled, damper%] per sample.

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 51	`[[true, 40], [true, 20], [true, 40], [true, 0], [false, 20], [false, 20], [true, 20], [true, 20]]`	`[[true, 40], [true, 20], [true, 40], [true, 0], [false, 20], [false, 20], [false, 20], [false, 20]]`	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.