FAILURE MAP
← Case archive

FA-92791 / HVAC thermostat control / Open access

Reversing valve is assumed energized at power-up · case 01

The first call after power-up skips the equalization wait or waits needlessly.

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

ROOT CAUSE

The initial valve state is taken as energized for B-type systems.

THE FAILURE

The initial valve state is taken as energized for B-type systems.

Unsuccessful approach: Assuming energized for every type is wrong for both.

Case contract

Heat pump reversing valve output (O/B terminal) and compressor per sample; samples are the call (heat, cool or None). An O-type valve is energized for cooling, a B-type for heating. The valve is de-energized at power-up and holds its last position while idle. On a sample where the valve changes position the compressor waits (off) for pressure equalization. Return [compressor, valve_energized].

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(valve_type, samples):
    valve = valve_type == 'B'
    out = []
    for call in samples:
        if call is None:
            out.append([False, valve])
            continue
        want = (call == 'cool') if valve_type == 'O' else (call == 'heat')
        changed = want != valve
        valve = want
        out.append([not changed, valve])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: scenario 1',
   ['B', ['cool', 'heat', 'heat', None, None, 'cool', 'cool', 'heat', 'heat', 'heat', 'heat']],
   [[True, False],
    [False, True],
    [True, True],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [False, True],
    [True, True],
    [True, True],
    [True, True]]],
  ['regression: scenario 2',
   ['B',
    ['heat',
     'heat',
     'cool',
     'cool',
     'heat',
     None,
     'heat',
     'cool',
     'heat',
     'heat',
     'cool',
     None,
     'heat',
     'cool']],
   [[False, True],
    [True, True],
    [False, False],
    [True, False],
    [False, True],
    [False, True],
    [True, True],
    [False, False],
    [False, True],
    [True, True],
    [False, False],
    [False, False],
    [False, True],
    [False, False]]],
  ['regression: scenario 3',
   ['O', ['cool', 'cool', 'cool', 'heat', None, None, 'heat', 'cool', 'heat', 'heat', None, 'heat', 'heat']],
   [[False, True],
    [True, True],
    [True, True],
    [False, False],
    [False, False],
    [False, False],
    [True, False],
    [False, True],
    [False, False],
    [True, False],
    [False, False],
    [True, False],
    [True, False]]],
  ['regression: scenario 4',
   ['B', [None, 'heat', 'cool', 'cool', 'cool', 'cool', 'heat', 'heat', None, 'cool']],
   [[False, False],
    [False, True],
    [False, False],
    [True, False],
    [True, False],
    [True, False],
    [False, True],
    [True, True],
    [False, True],
    [False, False]]]],
 [['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: scenario 1',
   ['B', [None, None, 'heat', None, 'cool', 'cool', 'cool', 'heat', None, 'cool', None]],
   [[False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [True, False],
    [False, True],
    [False, True],
    [False, False],
    [False, False]]],
  ['regression: scenario 2',
   ['B', ['heat', 'cool', 'heat', None, 'cool', 'heat', None, 'heat', None, 'cool', None]],
   [[False, True],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [False, True],
    [False, True],
    [True, True],
    [False, True],
    [False, False],
    [False, False]]],
  ['regression: scenario 3',
   ['B', [None, 'heat', None, None, None, None, 'cool', 'heat', 'heat', None]],
   [[False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, False],
    [False, True],
    [True, True],
    [False, True]]],
  ['regression: scenario 4',
   ['B', ['heat', 'cool', 'cool', 'heat', 'heat', None, 'heat']],
   [[False, True], [False, False], [True, False], [False, True], [True, True], [False, True], [True, True]]]],
 [['regression: scenario 1',
   ['B', ['cool', 'heat', 'heat', 'cool', 'cool', None, 'cool', 'heat', 'heat', None, None, 'heat']],
   [[True, False],
    [False, True],
    [True, True],
    [False, False],
    [True, False],
    [False, False],
    [True, False],
    [False, True],
    [True, True],
    [False, True],
    [False, True],
    [True, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: scenario 2',
   ['O', [None, 'cool', 'heat', 'cool', 'heat', 'heat']],
   [[False, False], [False, True], [False, False], [False, True], [False, False], [True, False]]],
  ['regression: scenario 3',
   ['B', ['cool', 'heat', None, None, None, 'heat', 'heat', 'cool']],
   [[True, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [True, True],
    [True, True],
    [False, False]]],
  ['regression: scenario 4',
   ['O', ['heat', 'heat', 'heat', 'heat', 'heat', 'cool', None, 'cool', 'cool', None]],
   [[True, False],
    [True, False],
    [True, False],
    [True, False],
    [True, False],
    [False, True],
    [False, True],
    [True, True],
    [True, True],
    [False, True]]]],
 [['regression: scenario 6',
   ['B', [None, 'heat', 'cool', None, None, 'heat', 'heat', None, 'heat', 'heat']],
   [[False, False],
    [False, True],
    [False, False],
    [False, False],
    [False, False],
    [False, True],
    [True, True],
    [False, True],
    [True, True],
    [True, True]]],
  ['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: scenario 1',
   ['O', ['heat', 'cool', None, 'cool', None, None, 'cool']],
   [[True, False], [False, True], [False, True], [True, True], [False, True], [False, True], [True, True]]],
  ['regression: scenario 2',
   ['B', ['cool', 'cool', 'heat', None, 'cool', 'cool', None, 'cool']],
   [[True, False],
    [True, False],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [False, False],
    [True, False]]],
  ['regression: scenario 3',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'heat', 'cool', 'heat', None, 'heat', None, 'heat']],
   [[False, True],
    [True, True],
    [False, True],
    [False, False],
    [True, False],
    [True, False],
    [False, True],
    [False, False],
    [False, False],
    [True, False],
    [False, False],
    [True, False]]]],
 [['regression: scenario 7',
   ['B', ['heat', 'heat', 'cool', None, 'cool', 'heat', 'cool', 'heat', 'heat', 'cool', None]],
   [[False, True],
    [True, True],
    [False, False],
    [False, False],
    [True, False],
    [False, True],
    [False, False],
    [False, True],
    [True, True],
    [False, False],
    [False, False]]],
  ['regression: scenario 1',
   ['O', ['heat', None, 'cool', None, 'heat', 'cool', 'heat', 'cool', None, None, None]],
   [[True, False],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [False, True],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: scenario 2',
   ['B', [None, None, None, None, 'cool', None, 'heat', 'cool', None]],
   [[False, False],
    [False, False],
    [False, False],
    [False, False],
    [True, False],
    [False, False],
    [False, True],
    [False, False],
    [False, False]]],
  ['regression: scenario 3',
   ['O', ['heat', 'cool', 'cool', 'heat', 'heat', None, 'heat', None, 'heat', 'heat', 'cool', 'cool']],
   [[True, False],
    [False, True],
    [True, True],
    [False, False],
    [True, False],
    [False, False],
    [True, False],
    [False, False],
    [True, False],
    [True, False],
    [False, True],
    [True, True]]]]]
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: B valve idle hold[[True, True], [False, True], [True, True]][[False, True], [False, True], [True, True]]Failed
regression: O valve season change[[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]][[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]Passed
regression: first call heat on O[[True, False], [True, False], [False, False], [False, True]][[True, False], [True, False], [False, False], [False, True]]Passed
regression: first call cool on B[[False, False], [False, False], [True, False], [False, True]][[True, False], [False, False], [True, False], [False, True]]Failed
regression: scenario 1[[False, False], [False, True], [True, True], [False, True], [False, True], [False, False], [True, False], [False, True], [True, True], [True, True], [True, True]][[True, False], [False, True], [True, True], [False, True], [False, True], [False, False], [True, False], [False, True], [True, True], [True, True], [True, True]]Failed
regression: scenario 2[[True, True], [True, True], [False, False], [True, False], [False, True], [False, True], [True, True], [False, False], [False, True], [True, True], [False, False], [False, False], [False, True], [False, False]][[False, True], [True, True], [False, False], [True, False], [False, True], [False, True], [True, True], [False, False], [False, True], [True, True], [False, False], [False, False], [False, True], [False, False]]Failed
regression: scenario 3[[False, True], [True, True], [True, True], [False, False], [False, False], [False, False], [True, False], [False, True], [False, False], [True, False], [False, False], [True, False], [True, False]][[False, True], [True, True], [True, True], [False, False], [False, False], [False, False], [True, False], [False, True], [False, False], [True, False], [False, False], [True, False], [True, False]]Passed
regression: scenario 4[[False, True], [True, True], [False, False], [True, False], [True, False], [True, False], [False, True], [True, True], [False, True], [False, False]][[False, False], [False, True], [False, False], [True, False], [True, False], [True, False], [False, True], [True, True], [False, True], [False, False]]Failed

SHA-256 / 5dc45cc4ab47a6cf8023f4d38f6620190e749350e3b3890e40d223f033eedd5d

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(valve_type, samples):
    valve = True
    out = []
    for call in samples:
        if call is None:
            out.append([False, valve])
            continue
        want = (call == 'cool') if valve_type == 'O' else (call == 'heat')
        changed = want != valve
        valve = want
        out.append([not changed, valve])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: scenario 1',
   ['B', ['cool', 'heat', 'heat', None, None, 'cool', 'cool', 'heat', 'heat', 'heat', 'heat']],
   [[True, False],
    [False, True],
    [True, True],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [False, True],
    [True, True],
    [True, True],
    [True, True]]],
  ['regression: scenario 2',
   ['B',
    ['heat',
     'heat',
     'cool',
     'cool',
     'heat',
     None,
     'heat',
     'cool',
     'heat',
     'heat',
     'cool',
     None,
     'heat',
     'cool']],
   [[False, True],
    [True, True],
    [False, False],
    [True, False],
    [False, True],
    [False, True],
    [True, True],
    [False, False],
    [False, True],
    [True, True],
    [False, False],
    [False, False],
    [False, True],
    [False, False]]],
  ['regression: scenario 3',
   ['O', ['cool', 'cool', 'cool', 'heat', None, None, 'heat', 'cool', 'heat', 'heat', None, 'heat', 'heat']],
   [[False, True],
    [True, True],
    [True, True],
    [False, False],
    [False, False],
    [False, False],
    [True, False],
    [False, True],
    [False, False],
    [True, False],
    [False, False],
    [True, False],
    [True, False]]],
  ['regression: scenario 4',
   ['B', [None, 'heat', 'cool', 'cool', 'cool', 'cool', 'heat', 'heat', None, 'cool']],
   [[False, False],
    [False, True],
    [False, False],
    [True, False],
    [True, False],
    [True, False],
    [False, True],
    [True, True],
    [False, True],
    [False, False]]]],
 [['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: scenario 1',
   ['B', [None, None, 'heat', None, 'cool', 'cool', 'cool', 'heat', None, 'cool', None]],
   [[False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [True, False],
    [False, True],
    [False, True],
    [False, False],
    [False, False]]],
  ['regression: scenario 2',
   ['B', ['heat', 'cool', 'heat', None, 'cool', 'heat', None, 'heat', None, 'cool', None]],
   [[False, True],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [False, True],
    [False, True],
    [True, True],
    [False, True],
    [False, False],
    [False, False]]],
  ['regression: scenario 3',
   ['B', [None, 'heat', None, None, None, None, 'cool', 'heat', 'heat', None]],
   [[False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, False],
    [False, True],
    [True, True],
    [False, True]]],
  ['regression: scenario 4',
   ['B', ['heat', 'cool', 'cool', 'heat', 'heat', None, 'heat']],
   [[False, True], [False, False], [True, False], [False, True], [True, True], [False, True], [True, True]]]],
 [['regression: scenario 1',
   ['B', ['cool', 'heat', 'heat', 'cool', 'cool', None, 'cool', 'heat', 'heat', None, None, 'heat']],
   [[True, False],
    [False, True],
    [True, True],
    [False, False],
    [True, False],
    [False, False],
    [True, False],
    [False, True],
    [True, True],
    [False, True],
    [False, True],
    [True, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: scenario 2',
   ['O', [None, 'cool', 'heat', 'cool', 'heat', 'heat']],
   [[False, False], [False, True], [False, False], [False, True], [False, False], [True, False]]],
  ['regression: scenario 3',
   ['B', ['cool', 'heat', None, None, None, 'heat', 'heat', 'cool']],
   [[True, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [True, True],
    [True, True],
    [False, False]]],
  ['regression: scenario 4',
   ['O', ['heat', 'heat', 'heat', 'heat', 'heat', 'cool', None, 'cool', 'cool', None]],
   [[True, False],
    [True, False],
    [True, False],
    [True, False],
    [True, False],
    [False, True],
    [False, True],
    [True, True],
    [True, True],
    [False, True]]]],
 [['regression: scenario 6',
   ['B', [None, 'heat', 'cool', None, None, 'heat', 'heat', None, 'heat', 'heat']],
   [[False, False],
    [False, True],
    [False, False],
    [False, False],
    [False, False],
    [False, True],
    [True, True],
    [False, True],
    [True, True],
    [True, True]]],
  ['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: scenario 1',
   ['O', ['heat', 'cool', None, 'cool', None, None, 'cool']],
   [[True, False], [False, True], [False, True], [True, True], [False, True], [False, True], [True, True]]],
  ['regression: scenario 2',
   ['B', ['cool', 'cool', 'heat', None, 'cool', 'cool', None, 'cool']],
   [[True, False],
    [True, False],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [False, False],
    [True, False]]],
  ['regression: scenario 3',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'heat', 'cool', 'heat', None, 'heat', None, 'heat']],
   [[False, True],
    [True, True],
    [False, True],
    [False, False],
    [True, False],
    [True, False],
    [False, True],
    [False, False],
    [False, False],
    [True, False],
    [False, False],
    [True, False]]]],
 [['regression: scenario 7',
   ['B', ['heat', 'heat', 'cool', None, 'cool', 'heat', 'cool', 'heat', 'heat', 'cool', None]],
   [[False, True],
    [True, True],
    [False, False],
    [False, False],
    [True, False],
    [False, True],
    [False, False],
    [False, True],
    [True, True],
    [False, False],
    [False, False]]],
  ['regression: scenario 1',
   ['O', ['heat', None, 'cool', None, 'heat', 'cool', 'heat', 'cool', None, None, None]],
   [[True, False],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [False, True],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: O valve season change',
   ['O', ['cool', 'cool', None, 'heat', 'heat', 'cool']],
   [[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]],
  ['regression: B valve idle hold',
   ['B', ['heat', None, 'heat']],
   [[False, True], [False, True], [True, True]]],
  ['regression: first call heat on O',
   ['O', ['heat', 'heat', None, 'cool']],
   [[True, False], [True, False], [False, False], [False, True]]],
  ['regression: first call cool on B',
   ['B', ['cool', None, 'cool', 'heat']],
   [[True, False], [False, False], [True, False], [False, True]]],
  ['regression: scenario 2',
   ['B', [None, None, None, None, 'cool', None, 'heat', 'cool', None]],
   [[False, False],
    [False, False],
    [False, False],
    [False, False],
    [True, False],
    [False, False],
    [False, True],
    [False, False],
    [False, False]]],
  ['regression: scenario 3',
   ['O', ['heat', 'cool', 'cool', 'heat', 'heat', None, 'heat', None, 'heat', 'heat', 'cool', 'cool']],
   [[True, False],
    [False, True],
    [True, True],
    [False, False],
    [True, False],
    [False, False],
    [True, False],
    [False, False],
    [True, False],
    [True, False],
    [False, True],
    [True, True]]]]]
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: B valve idle hold[[True, True], [False, True], [True, True]][[False, True], [False, True], [True, True]]Failed
regression: O valve season change[[True, True], [True, True], [False, True], [False, False], [True, False], [False, True]][[False, True], [True, True], [False, True], [False, False], [True, False], [False, True]]Failed
regression: first call heat on O[[False, False], [True, False], [False, False], [False, True]][[True, False], [True, False], [False, False], [False, True]]Failed
regression: first call cool on B[[False, False], [False, False], [True, False], [False, True]][[True, False], [False, False], [True, False], [False, True]]Failed
regression: scenario 1[[False, False], [False, True], [True, True], [False, True], [False, True], [False, False], [True, False], [False, True], [True, True], [True, True], [True, True]][[True, False], [False, True], [True, True], [False, True], [False, True], [False, False], [True, False], [False, True], [True, True], [True, True], [True, True]]Failed
regression: scenario 2[[True, True], [True, True], [False, False], [True, False], [False, True], [False, True], [True, True], [False, False], [False, True], [True, True], [False, False], [False, False], [False, True], [False, False]][[False, True], [True, True], [False, False], [True, False], [False, True], [False, True], [True, True], [False, False], [False, True], [True, True], [False, False], [False, False], [False, True], [False, False]]Failed
regression: scenario 3[[True, True], [True, True], [True, True], [False, False], [False, False], [False, False], [True, False], [False, True], [False, False], [True, False], [False, False], [True, False], [True, False]][[False, True], [True, True], [True, True], [False, False], [False, False], [False, False], [True, False], [False, True], [False, False], [True, False], [False, False], [True, False], [True, False]]Failed
regression: scenario 4[[False, True], [True, True], [False, False], [True, False], [True, False], [True, False], [False, True], [True, True], [False, True], [False, False]][[False, False], [False, True], [False, False], [True, False], [True, False], [True, False], [False, True], [True, True], [False, True], [False, False]]Failed

SHA-256 / 73b4d3affbdcef479e3b9d49fbb2b88f62d13c1203613aee64c88f5859ee294c

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:49.163680+00:00.

Case digest / 21cffd7207961bb519d3757974497e86e3e68b0676b238d85f95472567cc7dd1