FA-92552 / HVAC thermostat control / Member archive

Economizer ramp starts from the closed position · case 02

After occupancy begins the damper opens to less than minimum ventilation on the first economizer step.

Member previewVariant 2 · 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: cold mixed air	`[[true, 20], [true, 40], [true, 30], [true, 30], [true, 30], [true, 30]]`	`[[true, 50], [true, 70], [true, 60], [true, 50], [true, 40], [true, 30]]`	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.