{"abstract":"A heat call immediately following cooling starts the blower in its first minute.","category":"HVAC thermostat control","checks":8,"contract":"Thermostat G (blower) output per minute; samples are the equipment call per minute (None, heat or cool). Cooling runs the fan immediately and keeps it on 2 minutes after the call ends. Heating starts the fan only from the second minute of a heat call (heat exchanger warm-up) and, if the fan had started, keeps it on 3 minutes after the call. Fan mode on forces the fan on. Circulate mode ensures at least 20 fan minutes per clock hour (minutes 0-59, 60-119, ...), counting all fan minutes, by running the fan once the remaining minutes in the hour equal the remaining requirement. Return the fan state per minute.","contract_signature":"mode, samples","evaluation_group":"w2-hvac-thermostat-control-blower-fan-control","failed_approach":"Setting the counter to one during cooling makes the next heat call skip warm-up.","family":"w2-hvac-thermostat-control-blower-fan-control-cool-resets-heat-run","id":"FA-92576","implementations":{"attempt":{"sha256":"cf66adc517eb18039cd9bdd4d1c7795b750975a25ead41e5b43421890c373633","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(mode, samples):\n fan_after = 0\n heat_run = 0\n ran = 0\n out = []\n for minute, call in enumerate(samples):\n if minute % 60 == 0:\n ran = 0\n if call == 'cool':\n fan = True\n fan_after = 2\n heat_run = 1\n elif call == 'heat':\n heat_run += 1\n fan = heat_run > 1\n fan_after = 3 if fan else 0\n else:\n heat_run = 0\n fan = fan_after > 0\n if fan_after > 0:\n fan_after -= 1\n if mode == 'on':\n fan = True\n elif mode == 'circ' and not fan and 20 - ran >= 60 - minute % 60:\n fan = True\n if fan:\n ran += 1\n out.append(fan)\n return out\ndef check(label, actual, expected):\n observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: scenario 26',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['control: scenario 1',\n ['circ',\n [None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False]],\n ['control: scenario 2',\n ['on', [None, None, None, None, None, None, None, None, None, None, None, None]],\n [True, True, True, True, True, True, True, True, True, True, True, True]],\n ['control: scenario 3',\n ['on',\n [None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat']],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]]],\n [['regression: scenario 10',\n ['circ',\n ['heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n None,\n None,\n None,\n None,\n None]],\n [False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n False,\n False,\n False]],\n ['regression: scenario 8',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['control: scenario 1',\n ['on',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None]],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: scenario 2',\n ['on',\n ['cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]]],\n [['regression: scenario 36',\n ['circ',\n ['cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat']],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: scenario 5',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['control: scenario 1',\n ['auto',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: scenario 2',\n ['on',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None]],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]]],\n [['regression: scenario 38',\n ['auto',\n [None,\n None,\n None,\n None,\n 'heat',\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True]],\n ['regression: scenario 12',\n ['circ',\n [None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool']],\n [False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['regression: scenario 1',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'cool',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n False,\n True,\n False,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False]],\n ['control: scenario 2',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n False]]],\n [['regression: scenario 34',\n ['auto',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False]],\n ['regression: scenario 18',\n ['auto',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['control: scenario 1',\n ['auto',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: scenario 2',\n ['auto', [None, None, None, None, None, None, None, None, None, None, None, None]],\n [False, False, False, False, False, False, False, False, False, False, False, False]]]]\nfor label, args, expected in fixtures[N-1]:\n check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"31d548e40fb6dd145e8b7e0c505515aaaf3f899643c0c4f85a29ef0a31aa9208","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(mode, samples):\n fan_after = 0\n heat_run = 0\n ran = 0\n out = []\n for minute, call in enumerate(samples):\n if minute % 60 == 0:\n ran = 0\n if call == 'cool':\n fan = True\n fan_after = 2\n elif call == 'heat':\n heat_run += 1\n fan = heat_run > 1\n fan_after = 3 if fan else 0\n else:\n heat_run = 0\n fan = fan_after > 0\n if fan_after > 0:\n fan_after -= 1\n if mode == 'on':\n fan = True\n elif mode == 'circ' and not fan and 20 - ran >= 60 - minute % 60:\n fan = True\n if fan:\n ran += 1\n out.append(fan)\n return out\ndef check(label, actual, expected):\n observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: scenario 26',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['control: scenario 1',\n ['circ',\n [None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False]],\n ['control: scenario 2',\n ['on', [None, None, None, None, None, None, None, None, None, None, None, None]],\n [True, True, True, True, True, True, True, True, True, True, True, True]],\n ['control: scenario 3',\n ['on',\n [None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat']],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]]],\n [['regression: scenario 10',\n ['circ',\n ['heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n None,\n None,\n None,\n None,\n None]],\n [False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n False,\n False,\n False]],\n ['regression: scenario 8',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['control: scenario 1',\n ['on',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None]],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: scenario 2',\n ['on',\n ['cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]]],\n [['regression: scenario 36',\n ['circ',\n ['cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat']],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: scenario 5',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['control: scenario 1',\n ['auto',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: scenario 2',\n ['on',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None]],\n [True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]]],\n [['regression: scenario 38',\n ['auto',\n [None,\n None,\n None,\n None,\n 'heat',\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True]],\n ['regression: scenario 12',\n ['circ',\n [None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool']],\n [False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['regression: scenario 1',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'cool',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n False,\n True,\n False,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False]],\n ['control: scenario 2',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n False]]],\n [['regression: scenario 34',\n ['auto',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False]],\n ['regression: scenario 18',\n ['auto',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'heat',\n 'cool',\n 'cool']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: cool and heat purge',\n ['auto', ['cool', 'cool', None, None, None, 'heat', 'heat', 'heat', None, None, None, None]],\n [True, True, True, True, False, False, True, True, True, True, True, False]],\n ['control: circulate fills hour',\n ['circ',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None]],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['regression: heat right after cool',\n ['auto', ['cool', 'heat', 'heat', None, None, None, None]],\n [True, False, True, True, True, True, False]],\n ['control: short heat call',\n ['auto', ['heat', None, None, 'heat', 'heat', None, None, None, None]],\n [False, False, False, False, True, True, True, True, False]],\n ['control: scenario 1',\n ['auto',\n [None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n None,\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool',\n 'cool']],\n [False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n False,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True,\n True]],\n ['control: scenario 2',\n ['auto', [None, None, None, None, None, None, None, None, None, None, None, None]],\n [False, False, False, False, False, False, False, False, False, False, False, False]]]]\nfor label, args, expected in fixtures[N-1]:\n check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-hvac-thermostat-control-blower-fan-control-cool-resets-heat-run","generated_at":"2026-09-29T14:51:47.011277+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"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.","root_cause":"The cooling branch does not clear the heat-run counter.","sha256":"390a8df0650dd4be0a0d843472efe30ec6b635f7e76877f324b8524117174ef0","title":"Heat warm-up count survives an intervening cooling call ยท case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.977,"exit_code":1,"observations":[{"actual":[false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"regression: scenario 26","expected":[false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,false,false,false,true,true,true,true,true,true,true,true,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,true,true],"passed":false},{"actual":[true,true,true,true,true,true,false],"check":"regression: heat right after cool","expected":[true,false,true,true,true,true,false],"passed":false},{"actual":[true,true,true,true,false,false,true,true,true,true,true,false],"check":"control: cool and heat purge","expected":[true,true,true,true,false,false,true,true,true,true,true,false],"passed":true},{"actual":[false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: circulate fills hour","expected":[false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true},{"actual":[false,false,false,false,true,true,true,true,false],"check":"control: short heat call","expected":[false,false,false,false,true,true,true,true,false],"passed":true},{"actual":[false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false],"check":"control: scenario 1","expected":[false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false],"passed":true},{"actual":[true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: scenario 2","expected":[true,true,true,true,true,true,true,true,true,true,true,true],"passed":true},{"actual":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: scenario 3","expected":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: scenario 26\", \"actual\": [false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, false, false, false, true, true, true, true, true, true, true, true, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, true, true], \"passed\": false}, {\"check\": \"regression: heat right after cool\", \"actual\": [true, true, true, true, true, true, false], \"expected\": [true, false, true, true, true, true, false], \"passed\": false}, {\"check\": \"control: cool and heat purge\", \"actual\": [true, true, true, true, false, false, true, true, true, true, true, false], \"expected\": [true, true, true, true, false, false, true, true, true, true, true, false], \"passed\": true}, {\"check\": \"control: circulate fills hour\", \"actual\": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}, {\"check\": \"control: short heat call\", \"actual\": [false, false, false, false, true, true, true, true, false], \"expected\": [false, false, false, false, true, true, true, true, false], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false], \"expected\": [false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false], \"passed\": true}, {\"check\": \"control: scenario 2\", \"actual\": [true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}, {\"check\": \"control: scenario 3\", \"actual\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.219,"exit_code":1,"observations":[{"actual":[false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,false,false,false,true,true,true,true,true,true,true,true,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"regression: scenario 26","expected":[false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,false,false,false,true,true,true,true,true,true,true,true,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,true,true],"passed":false},{"actual":[true,false,true,true,true,true,false],"check":"regression: heat right after cool","expected":[true,false,true,true,true,true,false],"passed":true},{"actual":[true,true,true,true,false,false,true,true,true,true,true,false],"check":"control: cool and heat purge","expected":[true,true,true,true,false,false,true,true,true,true,true,false],"passed":true},{"actual":[false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: circulate fills hour","expected":[false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true},{"actual":[false,false,false,false,true,true,true,true,false],"check":"control: short heat call","expected":[false,false,false,false,true,true,true,true,false],"passed":true},{"actual":[false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false],"check":"control: scenario 1","expected":[false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,false,false,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,false,false,false,false,false],"passed":true},{"actual":[true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: scenario 2","expected":[true,true,true,true,true,true,true,true,true,true,true,true],"passed":true},{"actual":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: scenario 3","expected":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: scenario 26\", \"actual\": [false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, false, false, false, true, true, true, true, true, true, true, true, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, false, false, false, true, true, true, true, true, true, true, true, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, true, true], \"passed\": false}, {\"check\": \"regression: heat right after cool\", \"actual\": [true, false, true, true, true, true, false], \"expected\": [true, false, true, true, true, true, false], \"passed\": true}, {\"check\": \"control: cool and heat purge\", \"actual\": [true, true, true, true, false, false, true, true, true, true, true, false], \"expected\": [true, true, true, true, false, false, true, true, true, true, true, false], \"passed\": true}, {\"check\": \"control: circulate fills hour\", \"actual\": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}, {\"check\": \"control: short heat call\", \"actual\": [false, false, false, false, true, true, true, true, false], \"expected\": [false, false, false, false, true, true, true, true, false], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false], \"expected\": [false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, false, false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, false, false, false, false, false], \"passed\": true}, {\"check\": \"control: scenario 2\", \"actual\": [true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}, {\"check\": \"control: scenario 3\", \"actual\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}