FAILURE MAP
← Case archive

FA-92496 / HVAC thermostat control / Open access

A temporary hold set during a permanent hold becomes permanent · case 01

Pressing the arrows during a vacation hold makes the new setpoint stick past the next period.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

A new hold keeps the permanent kind if one was active.

THE FAILURE

A new hold keeps the permanent kind if one was active.

Unsuccessful approach: Ignoring temporary holds during a permanent hold drops the user's adjustment.

Case contract

Thermostat hold logic; samples are [schedule_period_id, scheduled_setpoint, action] where action is None, "resume", ["temp", sp] or ["perm", sp]. A hold setpoint is clamped to 50.0-90.0 F (500-900 tenths). A temporary hold lasts until the schedule period id changes from the one in which the hold was set; a permanent hold lasts until resume. A new hold of either kind replaces the current hold. Return the effective setpoint 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.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(samples):
    hold = None
    hold_period = None
    out = []
    for period, sched, action in samples:
        if action == 'resume':
            hold = None
        elif action is not None:
            kind, sp = action
            sp = max(500, min(900, sp))
            hold = [kind if hold is None or hold[0] != 'perm' else 'perm', sp]
            hold_period = period
        if hold is not None and hold[0] == 'temp' and period != hold_period:
            hold = None
        out.append(sched if hold is None else hold[1])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['regression: scenario 1',
   [[[0, 700, ['perm', 690]],
     [0, 700, None],
     [0, 700, 'resume'],
     [1, 700, None],
     [1, 700, None],
     [2, 600, None],
     [2, 600, None],
     [3, 680, ['perm', 856]],
     [4, 620, ['perm', 777]],
     [4, 620, None],
     [4, 620, None],
     [5, 600, ['temp', 764]],
     [5, 600, None],
     [6, 600, None],
     [7, 600, ['temp', 726]],
     [7, 600, None]]],
   [690, 690, 700, 700, 700, 600, 600, 856, 777, 777, 777, 764, 764, 600, 726, 726]],
  ['regression: scenario 2',
   [[[1, 620, None],
     [1, 620, ['perm', 540]],
     [1, 620, None],
     [1, 620, None],
     [1, 620, ['temp', 863]],
     [2, 600, None],
     [3, 700, ['perm', 476]],
     [3, 700, None],
     [3, 700, None]]],
   [620, 540, 540, 540, 863, 600, 500, 500, 500]],
  ['control: scenario 3',
   [[[1, 620, ['temp', 657]],
     [1, 620, ['temp', 940]],
     [1, 620, None],
     [1, 620, None],
     [1, 620, None],
     [2, 700, 'resume'],
     [2, 700, ['temp', 641]],
     [3, 620, None]]],
   [657, 900, 900, 900, 900, 700, 641, 620]],
  ['control: scenario 4',
   [[[0, 700, ['temp', 891]],
     [0, 700, None],
     [0, 700, None],
     [0, 700, ['temp', 877]],
     [0, 700, None],
     [0, 700, None],
     [1, 600, None],
     [1, 600, 'resume'],
     [2, 620, ['perm', 514]]]],
   [891, 891, 891, 877, 877, 877, 600, 600, 514]]],
 [['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['regression: scenario 1',
   [[[1, 700, 'resume'],
     [1, 700, ['perm', 548]],
     [1, 700, None],
     [1, 700, None],
     [2, 700, None],
     [3, 620, None],
     [4, 620, None],
     [5, 680, None],
     [5, 680, ['temp', 806]],
     [5, 680, None],
     [5, 680, None],
     [6, 700, None],
     [6, 700, None],
     [6, 700, None]]],
   [700, 548, 548, 548, 548, 548, 548, 548, 806, 806, 806, 700, 700, 700]],
  ['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['regression: scenario 2',
   [[[0, 680, None],
     [0, 680, None],
     [0, 680, None],
     [0, 680, None],
     [0, 680, None],
     [0, 680, None],
     [0, 680, ['temp', 520]],
     [0, 680, None],
     [1, 680, None],
     [2, 620, None],
     [3, 680, ['perm', 745]],
     [3, 680, None],
     [3, 680, None],
     [4, 680, None],
     [5, 700, ['temp', 765]],
     [5, 700, None]]],
   [680, 680, 680, 680, 680, 680, 520, 520, 680, 620, 745, 745, 745, 745, 765, 765]],
  ['regression: scenario 3',
   [[[0, 620, None],
     [0, 620, None],
     [0, 620, None],
     [0, 620, None],
     [0, 620, None],
     [0, 620, ['perm', 700]],
     [0, 620, ['temp', 750]],
     [1, 620, None],
     [2, 620, None],
     [2, 620, None]]],
   [620, 620, 620, 620, 620, 700, 750, 620, 620, 620]],
  ['regression: scenario 4',
   [[[0, 680, None],
     [1, 600, ['temp', 779]],
     [1, 600, ['temp', 782]],
     [2, 680, None],
     [3, 700, ['perm', 454]],
     [3, 700, None],
     [3, 700, None],
     [3, 700, None],
     [3, 700, None],
     [3, 700, ['temp', 831]],
     [3, 700, None],
     [3, 700, None]]],
   [680, 779, 782, 680, 500, 500, 500, 500, 500, 831, 831, 831]]],
 [['regression: scenario 29',
   [[[0, 600, 'resume'],
     [0, 600, ['perm', 841]],
     [0, 600, None],
     [0, 600, None],
     [1, 700, None],
     [1, 700, None],
     [1, 700, ['temp', 875]],
     [2, 600, None],
     [2, 600, None],
     [3, 600, ['perm', 698]],
     [3, 600, None],
     [3, 600, None],
     [3, 600, ['perm', 580]],
     [4, 600, None],
     [4, 600, ['perm', 699]]]],
   [600, 841, 841, 841, 841, 841, 875, 600, 600, 698, 698, 698, 580, 580, 699]],
  ['regression: scenario 4',
   [[[1, 700, ['perm', 595]],
     [2, 600, None],
     [2, 600, ['perm', 854]],
     [3, 600, 'resume'],
     [3, 600, ['perm', 923]],
     [3, 600, ['perm', 783]],
     [3, 600, None],
     [3, 600, ['temp', 512]]]],
   [595, 595, 854, 600, 900, 783, 783, 512]],
  ['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['control: scenario 1',
   [[[0, 620, None],
     [1, 680, None],
     [1, 680, None],
     [1, 680, None],
     [2, 680, ['temp', 617]],
     [2, 680, None],
     [2, 680, ['perm', 816]],
     [3, 620, ['perm', 930]],
     [3, 620, None]]],
   [620, 680, 680, 680, 617, 617, 816, 900, 900]],
  ['control: scenario 2',
   [[[0, 620, 'resume'],
     [0, 620, None],
     [0, 620, None],
     [0, 620, None],
     [0, 620, 'resume'],
     [1, 620, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, None],
     [3, 620, None],
     [3, 620, ['perm', 870]],
     [3, 620, None]]],
   [620, 620, 620, 620, 620, 620, 700, 700, 700, 700, 620, 870, 870]]],
 [['regression: scenario 18',
   [[[0, 700, ['perm', 651]],
     [0, 700, None],
     [1, 700, ['temp', 753]],
     [2, 600, None],
     [2, 600, None],
     [3, 680, ['perm', 755]],
     [3, 680, 'resume'],
     [4, 700, None],
     [4, 700, None],
     [4, 700, ['temp', 927]]]],
   [651, 651, 753, 600, 600, 755, 680, 700, 700, 900]],
  ['regression: scenario 2',
   [[[0, 680, 'resume'],
     [0, 680, None],
     [0, 680, ['perm', 681]],
     [0, 680, None],
     [1, 680, None],
     [1, 680, None],
     [1, 680, None],
     [1, 680, ['temp', 832]],
     [1, 680, ['temp', 511]],
     [1, 680, ['perm', 779]],
     [1, 680, ['temp', 724]],
     [2, 700, 'resume'],
     [3, 680, None],
     [3, 680, 'resume']]],
   [680, 680, 681, 681, 681, 681, 681, 832, 511, 779, 724, 700, 680, 680]],
  ['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['regression: scenario 1',
   [[[1, 700, ['temp', 847]],
     [1, 700, None],
     [1, 700, None],
     [1, 700, 'resume'],
     [1, 700, None],
     [1, 700, None],
     [1, 700, ['perm', 465]],
     [1, 700, None],
     [2, 600, ['temp', 552]],
     [2, 600, None],
     [2, 600, ['temp', 898]]]],
   [847, 847, 847, 700, 700, 700, 500, 500, 552, 552, 898]],
  ['control: scenario 3',
   [[[0, 680, None],
     [1, 680, None],
     [2, 600, 'resume'],
     [2, 600, None],
     [3, 700, None],
     [3, 700, None],
     [3, 700, None],
     [3, 700, 'resume'],
     [4, 600, None],
     [4, 600, None],
     [4, 600, None],
     [5, 620, ['temp', 645]],
     [6, 700, None]]],
   [680, 680, 600, 600, 700, 700, 700, 700, 600, 600, 600, 645, 700]]],
 [['regression: scenario 16',
   [[[0, 600, ['temp', 465]],
     [0, 600, ['perm', 908]],
     [0, 600, None],
     [1, 600, None],
     [2, 600, None],
     [2, 600, ['temp', 601]],
     [2, 600, None],
     [2, 600, None],
     [2, 600, None],
     [3, 700, None],
     [3, 700, ['perm', 598]],
     [3, 700, None],
     [4, 700, None],
     [4, 700, ['temp', 671]]]],
   [500, 900, 900, 900, 900, 601, 601, 601, 601, 700, 598, 598, 598, 671]],
  ['regression: scenario 5',
   [[[1, 680, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, 'resume'],
     [2, 700, 'resume'],
     [2, 700, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, ['perm', 533]],
     [2, 700, None],
     [2, 700, ['temp', 892]],
     [2, 700, ['temp', 859]],
     [2, 700, None]]],
   [680, 700, 700, 700, 700, 700, 700, 700, 700, 533, 533, 892, 859, 859]],
  ['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['regression: scenario 1',
   [[[0, 700, None],
     [0, 700, None],
     [0, 700, None],
     [0, 700, ['perm', 578]],
     [1, 600, 'resume'],
     [2, 600, ['temp', 629]],
     [3, 700, None],
     [3, 700, ['perm', 796]],
     [3, 700, ['temp', 558]],
     [3, 700, None],
     [3, 700, None],
     [3, 700, ['temp', 796]],
     [4, 700, None],
     [4, 700, None],
     [4, 700, None],
     [4, 700, None]]],
   [700, 700, 700, 578, 600, 629, 700, 796, 558, 558, 558, 796, 700, 700, 700, 700]],
  ['control: scenario 2',
   [[[0, 600, None],
     [0, 600, None],
     [0, 600, None],
     [0, 600, None],
     [0, 600, None],
     [1, 680, ['temp', 866]],
     [1, 680, None],
     [1, 680, ['temp', 591]],
     [1, 680, ['temp', 671]],
     [2, 700, None],
     [2, 700, None]]],
   [600, 600, 600, 600, 600, 866, 866, 591, 671, 700, 700]]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: hold lifecycle[680, 720, 720, 620, 900, 900, 500, 500, 650][680, 720, 720, 620, 900, 900, 500, 650, 650]Failed
regression: temporary over permanent[720, 690, 690, 690][720, 690, 690, 640]Failed
control: second temporary hold[700, 620, 710, 710, 600][700, 620, 710, 710, 600]Passed
control: clamp low[500, 500][500, 500]Passed
regression: scenario 1[690, 690, 700, 700, 700, 600, 600, 856, 777, 777, 777, 764, 764, 764, 726, 726][690, 690, 700, 700, 700, 600, 600, 856, 777, 777, 777, 764, 764, 600, 726, 726]Failed
regression: scenario 2[620, 540, 540, 540, 863, 863, 500, 500, 500][620, 540, 540, 540, 863, 600, 500, 500, 500]Failed
control: scenario 3[657, 900, 900, 900, 900, 700, 641, 620][657, 900, 900, 900, 900, 700, 641, 620]Passed
control: scenario 4[891, 891, 891, 877, 877, 877, 600, 600, 514][891, 891, 891, 877, 877, 877, 600, 600, 514]Passed

SHA-256 / c4bdc62e635bd3e8a1d95a470e90768666c780ee2c9dfd18c97de1d251854f86

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(samples):
    hold = None
    hold_period = None
    out = []
    for period, sched, action in samples:
        if action == 'resume':
            hold = None
        elif action is not None:
            kind, sp = action
            sp = max(500, min(900, sp))
            if hold is None or hold[0] != 'perm' or kind == 'perm':
                hold = [kind, sp]
                hold_period = period
        if hold is not None and hold[0] == 'temp' and period != hold_period:
            hold = None
        out.append(sched if hold is None else hold[1])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['regression: scenario 1',
   [[[0, 700, ['perm', 690]],
     [0, 700, None],
     [0, 700, 'resume'],
     [1, 700, None],
     [1, 700, None],
     [2, 600, None],
     [2, 600, None],
     [3, 680, ['perm', 856]],
     [4, 620, ['perm', 777]],
     [4, 620, None],
     [4, 620, None],
     [5, 600, ['temp', 764]],
     [5, 600, None],
     [6, 600, None],
     [7, 600, ['temp', 726]],
     [7, 600, None]]],
   [690, 690, 700, 700, 700, 600, 600, 856, 777, 777, 777, 764, 764, 600, 726, 726]],
  ['regression: scenario 2',
   [[[1, 620, None],
     [1, 620, ['perm', 540]],
     [1, 620, None],
     [1, 620, None],
     [1, 620, ['temp', 863]],
     [2, 600, None],
     [3, 700, ['perm', 476]],
     [3, 700, None],
     [3, 700, None]]],
   [620, 540, 540, 540, 863, 600, 500, 500, 500]],
  ['control: scenario 3',
   [[[1, 620, ['temp', 657]],
     [1, 620, ['temp', 940]],
     [1, 620, None],
     [1, 620, None],
     [1, 620, None],
     [2, 700, 'resume'],
     [2, 700, ['temp', 641]],
     [3, 620, None]]],
   [657, 900, 900, 900, 900, 700, 641, 620]],
  ['control: scenario 4',
   [[[0, 700, ['temp', 891]],
     [0, 700, None],
     [0, 700, None],
     [0, 700, ['temp', 877]],
     [0, 700, None],
     [0, 700, None],
     [1, 600, None],
     [1, 600, 'resume'],
     [2, 620, ['perm', 514]]]],
   [891, 891, 891, 877, 877, 877, 600, 600, 514]]],
 [['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['regression: scenario 1',
   [[[1, 700, 'resume'],
     [1, 700, ['perm', 548]],
     [1, 700, None],
     [1, 700, None],
     [2, 700, None],
     [3, 620, None],
     [4, 620, None],
     [5, 680, None],
     [5, 680, ['temp', 806]],
     [5, 680, None],
     [5, 680, None],
     [6, 700, None],
     [6, 700, None],
     [6, 700, None]]],
   [700, 548, 548, 548, 548, 548, 548, 548, 806, 806, 806, 700, 700, 700]],
  ['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['regression: scenario 2',
   [[[0, 680, None],
     [0, 680, None],
     [0, 680, None],
     [0, 680, None],
     [0, 680, None],
     [0, 680, None],
     [0, 680, ['temp', 520]],
     [0, 680, None],
     [1, 680, None],
     [2, 620, None],
     [3, 680, ['perm', 745]],
     [3, 680, None],
     [3, 680, None],
     [4, 680, None],
     [5, 700, ['temp', 765]],
     [5, 700, None]]],
   [680, 680, 680, 680, 680, 680, 520, 520, 680, 620, 745, 745, 745, 745, 765, 765]],
  ['regression: scenario 3',
   [[[0, 620, None],
     [0, 620, None],
     [0, 620, None],
     [0, 620, None],
     [0, 620, None],
     [0, 620, ['perm', 700]],
     [0, 620, ['temp', 750]],
     [1, 620, None],
     [2, 620, None],
     [2, 620, None]]],
   [620, 620, 620, 620, 620, 700, 750, 620, 620, 620]],
  ['regression: scenario 4',
   [[[0, 680, None],
     [1, 600, ['temp', 779]],
     [1, 600, ['temp', 782]],
     [2, 680, None],
     [3, 700, ['perm', 454]],
     [3, 700, None],
     [3, 700, None],
     [3, 700, None],
     [3, 700, None],
     [3, 700, ['temp', 831]],
     [3, 700, None],
     [3, 700, None]]],
   [680, 779, 782, 680, 500, 500, 500, 500, 500, 831, 831, 831]]],
 [['regression: scenario 29',
   [[[0, 600, 'resume'],
     [0, 600, ['perm', 841]],
     [0, 600, None],
     [0, 600, None],
     [1, 700, None],
     [1, 700, None],
     [1, 700, ['temp', 875]],
     [2, 600, None],
     [2, 600, None],
     [3, 600, ['perm', 698]],
     [3, 600, None],
     [3, 600, None],
     [3, 600, ['perm', 580]],
     [4, 600, None],
     [4, 600, ['perm', 699]]]],
   [600, 841, 841, 841, 841, 841, 875, 600, 600, 698, 698, 698, 580, 580, 699]],
  ['regression: scenario 4',
   [[[1, 700, ['perm', 595]],
     [2, 600, None],
     [2, 600, ['perm', 854]],
     [3, 600, 'resume'],
     [3, 600, ['perm', 923]],
     [3, 600, ['perm', 783]],
     [3, 600, None],
     [3, 600, ['temp', 512]]]],
   [595, 595, 854, 600, 900, 783, 783, 512]],
  ['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['control: scenario 1',
   [[[0, 620, None],
     [1, 680, None],
     [1, 680, None],
     [1, 680, None],
     [2, 680, ['temp', 617]],
     [2, 680, None],
     [2, 680, ['perm', 816]],
     [3, 620, ['perm', 930]],
     [3, 620, None]]],
   [620, 680, 680, 680, 617, 617, 816, 900, 900]],
  ['control: scenario 2',
   [[[0, 620, 'resume'],
     [0, 620, None],
     [0, 620, None],
     [0, 620, None],
     [0, 620, 'resume'],
     [1, 620, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, None],
     [3, 620, None],
     [3, 620, ['perm', 870]],
     [3, 620, None]]],
   [620, 620, 620, 620, 620, 620, 700, 700, 700, 700, 620, 870, 870]]],
 [['regression: scenario 18',
   [[[0, 700, ['perm', 651]],
     [0, 700, None],
     [1, 700, ['temp', 753]],
     [2, 600, None],
     [2, 600, None],
     [3, 680, ['perm', 755]],
     [3, 680, 'resume'],
     [4, 700, None],
     [4, 700, None],
     [4, 700, ['temp', 927]]]],
   [651, 651, 753, 600, 600, 755, 680, 700, 700, 900]],
  ['regression: scenario 2',
   [[[0, 680, 'resume'],
     [0, 680, None],
     [0, 680, ['perm', 681]],
     [0, 680, None],
     [1, 680, None],
     [1, 680, None],
     [1, 680, None],
     [1, 680, ['temp', 832]],
     [1, 680, ['temp', 511]],
     [1, 680, ['perm', 779]],
     [1, 680, ['temp', 724]],
     [2, 700, 'resume'],
     [3, 680, None],
     [3, 680, 'resume']]],
   [680, 680, 681, 681, 681, 681, 681, 832, 511, 779, 724, 700, 680, 680]],
  ['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['regression: scenario 1',
   [[[1, 700, ['temp', 847]],
     [1, 700, None],
     [1, 700, None],
     [1, 700, 'resume'],
     [1, 700, None],
     [1, 700, None],
     [1, 700, ['perm', 465]],
     [1, 700, None],
     [2, 600, ['temp', 552]],
     [2, 600, None],
     [2, 600, ['temp', 898]]]],
   [847, 847, 847, 700, 700, 700, 500, 500, 552, 552, 898]],
  ['control: scenario 3',
   [[[0, 680, None],
     [1, 680, None],
     [2, 600, 'resume'],
     [2, 600, None],
     [3, 700, None],
     [3, 700, None],
     [3, 700, None],
     [3, 700, 'resume'],
     [4, 600, None],
     [4, 600, None],
     [4, 600, None],
     [5, 620, ['temp', 645]],
     [6, 700, None]]],
   [680, 680, 600, 600, 700, 700, 700, 700, 600, 600, 600, 645, 700]]],
 [['regression: scenario 16',
   [[[0, 600, ['temp', 465]],
     [0, 600, ['perm', 908]],
     [0, 600, None],
     [1, 600, None],
     [2, 600, None],
     [2, 600, ['temp', 601]],
     [2, 600, None],
     [2, 600, None],
     [2, 600, None],
     [3, 700, None],
     [3, 700, ['perm', 598]],
     [3, 700, None],
     [4, 700, None],
     [4, 700, ['temp', 671]]]],
   [500, 900, 900, 900, 900, 601, 601, 601, 601, 700, 598, 598, 598, 671]],
  ['regression: scenario 5',
   [[[1, 680, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, 'resume'],
     [2, 700, 'resume'],
     [2, 700, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, None],
     [2, 700, ['perm', 533]],
     [2, 700, None],
     [2, 700, ['temp', 892]],
     [2, 700, ['temp', 859]],
     [2, 700, None]]],
   [680, 700, 700, 700, 700, 700, 700, 700, 700, 533, 533, 892, 859, 859]],
  ['regression: hold lifecycle',
   [[[1, 680, None],
     [1, 680, ['temp', 720]],
     [1, 680, None],
     [2, 620, None],
     [2, 620, ['perm', 950]],
     [3, 700, None],
     [3, 700, ['temp', 400]],
     [4, 650, None],
     [4, 650, 'resume']]],
   [680, 720, 720, 620, 900, 900, 500, 650, 650]],
  ['control: second temporary hold',
   [[[1, 680, ['temp', 700]], [2, 620, None], [3, 650, ['temp', 710]], [3, 650, None], [4, 600, None]]],
   [700, 620, 710, 710, 600]],
  ['regression: temporary over permanent',
   [[[1, 680, ['perm', 720]], [2, 620, ['temp', 690]], [2, 620, None], [3, 640, None]]],
   [720, 690, 690, 640]],
  ['control: clamp low', [[[1, 680, ['perm', 300]], [2, 620, None]]], [500, 500]],
  ['regression: scenario 1',
   [[[0, 700, None],
     [0, 700, None],
     [0, 700, None],
     [0, 700, ['perm', 578]],
     [1, 600, 'resume'],
     [2, 600, ['temp', 629]],
     [3, 700, None],
     [3, 700, ['perm', 796]],
     [3, 700, ['temp', 558]],
     [3, 700, None],
     [3, 700, None],
     [3, 700, ['temp', 796]],
     [4, 700, None],
     [4, 700, None],
     [4, 700, None],
     [4, 700, None]]],
   [700, 700, 700, 578, 600, 629, 700, 796, 558, 558, 558, 796, 700, 700, 700, 700]],
  ['control: scenario 2',
   [[[0, 600, None],
     [0, 600, None],
     [0, 600, None],
     [0, 600, None],
     [0, 600, None],
     [1, 680, ['temp', 866]],
     [1, 680, None],
     [1, 680, ['temp', 591]],
     [1, 680, ['temp', 671]],
     [2, 700, None],
     [2, 700, None]]],
   [600, 600, 600, 600, 600, 866, 866, 591, 671, 700, 700]]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: hold lifecycle[680, 720, 720, 620, 900, 900, 900, 900, 650][680, 720, 720, 620, 900, 900, 500, 650, 650]Failed
regression: temporary over permanent[720, 720, 720, 720][720, 690, 690, 640]Failed
control: second temporary hold[700, 620, 710, 710, 600][700, 620, 710, 710, 600]Passed
control: clamp low[500, 500][500, 500]Passed
regression: scenario 1[690, 690, 700, 700, 700, 600, 600, 856, 777, 777, 777, 777, 777, 777, 777, 777][690, 690, 700, 700, 700, 600, 600, 856, 777, 777, 777, 764, 764, 600, 726, 726]Failed
regression: scenario 2[620, 540, 540, 540, 540, 540, 500, 500, 500][620, 540, 540, 540, 863, 600, 500, 500, 500]Failed
control: scenario 3[657, 900, 900, 900, 900, 700, 641, 620][657, 900, 900, 900, 900, 700, 641, 620]Passed
control: scenario 4[891, 891, 891, 877, 877, 877, 600, 600, 514][891, 891, 891, 877, 877, 877, 600, 600, 514]Passed

SHA-256 / 539cde4bc3cc4b3b681c4b1f2a5d0d179aca40e31e0407c160dc0f25211ffb36

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

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

Sign in to the archive ↗

Verification & scope

A deterministic bounded teaching model of one thermostat or HVAC controller decision evaluated per sample. Temperatures are integer tenths of a degree Fahrenheit unless stated otherwise. The contract is a stipulated toy convention, not a claim of conformance to any manufacturer, ASHRAE guideline or code. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:51:46.315990+00:00.

Case digest / d7dea9ab726e83b0f4b23a26ba3d1694bbc6a698810bdab2942837111369bbe2