FA-92713 / HVAC thermostat control / Member archive

DCV ramp starts from 0% instead of the minimum position · case 03

Moderate CO2 levels ventilate less than the minimum outdoor air position.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

CO2 demand-controlled ventilation per sample; samples are [co2_ppm, occupied]. Unoccupied target is 0%. Occupied: min_pos at or below co2_low, max_pos at or above co2_high, and linear in between rounded half up to whole percent. The damper moves toward the target by at most 10 percentage points per sample in either direction. Return the damper position 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 2	`[4, 0, 6, 0, 0, 0, 0, 10, 20, 10]`	`[10, 0, 10, 0, 0, 0, 10, 20, 20, 21]`	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.