FA-92691 / HVAC thermostat control / Open access
Lockout trip history never forgets old trips · case 01
A unit that tripped twice last week hard-locks on a single trip today.
ROOT CAUSE
Trips outside the 60-minute window are not pruned.
THE FAILURE
Trips outside the 60-minute window are not pruned.
Unsuccessful approach: Keeping trips exactly 60 minutes old still counts one expired trip.
Case contract
Compressor pressure-switch lockout per minute; samples are [call, hp_ok, lp_ok] where call may also be "reset". While running, an open high-pressure switch trips at once; the low-pressure switch is ignored for the first 2 minutes after start. A trip enters a 5-minute soft lockout, after which the unit retries automatically if still called. The third trip within a sliding 60-minute window (trips older than 60 minutes are forgotten) causes a hard lockout that only reset clears; reset also clears the trip history. Return run, idle, soft or hard per minute.
Why this case matters
Residential and light-commercial thermostats make these decisions sample by sample; each defect changes equipment calls in a way that shows up as short cycling, comfort complaints or equipment stress.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(samples):
state = 'idle'
trips = []
start_at = None
soft_until = None
out = []
for minute, (call, hp_ok, lp_ok) in enumerate(samples):
if call == 'reset':
state = 'idle'
trips = []
out.append(state)
continue
if state == 'soft' and minute >= soft_until:
state = 'idle'
if state == 'run':
lp_fault = not lp_ok and minute - start_at >= 2
if not hp_ok or lp_fault:
trips = trips + [minute]
if len(trips) >= 3:
state = 'hard'
else:
state = 'soft'
soft_until = minute + 5
elif not call:
state = 'idle'
if state == 'idle' and call:
state = 'run'
start_at = minute
out.append(state)
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]],
[['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]],
[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]],
[['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]],
[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: trip exactly an hour old | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'hard', 'hard', 'hard'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft'] | Failed |
| control: low pressure bypass and retry | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | Passed |
| control: three trips hard lockout | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | Passed |
| control: high pressure during suction dip | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| control: high pressure at start | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | Passed |
| regression: old trips expire | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'hard', 'hard'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft'] | Failed |
| control: trip late in long run | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| control: reset during hard with recent trips | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'idle', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'idle', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft'] | Passed |
SHA-256 / bbcbbfb6375811b3910e8c4a09cb85f8ada170ebc4bbe1b64cacdad1cc87afd8
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(samples):
state = 'idle'
trips = []
start_at = None
soft_until = None
out = []
for minute, (call, hp_ok, lp_ok) in enumerate(samples):
if call == 'reset':
state = 'idle'
trips = []
out.append(state)
continue
if state == 'soft' and minute >= soft_until:
state = 'idle'
if state == 'run':
lp_fault = not lp_ok and minute - start_at >= 2
if not hp_ok or lp_fault:
trips = [t for t in trips if minute - t <= 60] + [minute]
if len(trips) >= 3:
state = 'hard'
else:
state = 'soft'
soft_until = minute + 5
elif not call:
state = 'idle'
if state == 'idle' and call:
state = 'run'
start_at = minute
out.append(state)
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]],
[['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]],
[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]],
[['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]],
[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[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, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['control: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['control: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[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, 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, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, 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, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft']],
['control: trip late in long run',
[[[True, 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, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, 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, False, True],
['reset', 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, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'soft',
'soft']]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: trip exactly an hour old | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'hard', 'hard', 'hard'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft'] | Failed |
| control: low pressure bypass and retry | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | Passed |
| control: three trips hard lockout | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | Passed |
| control: high pressure during suction dip | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| control: high pressure at start | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | Passed |
| regression: old trips expire | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft'] | Passed |
| control: trip late in long run | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| control: reset during hard with recent trips | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'idle', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'idle', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft'] | Passed |
SHA-256 / e0c79b434923baa97b9c3e1ace3d74d4396bbce22e8135c8d39064f722200eae
HELD IN THE MEMBER ARCHIVE
The verified repair and its recorded checks are member-only.
This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.
Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.
Member access is invitation-based. Sign in with your invited account to inspect the repair.
Sign in to the archive ↗Verification & scope
A deterministic bounded teaching model of one thermostat or HVAC controller decision evaluated per sample. Temperatures are integer tenths of a degree Fahrenheit unless stated otherwise. The contract is a stipulated toy convention, not a claim of conformance to any manufacturer, ASHRAE guideline or code. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.
Observations recorded using Python 3.12.14 at 2026-09-29T14:51:48.267216+00:00.
Case digest / d5a7debe69b91740b94f6325141db0f7637ef715bd8ba54ffc8a2ffdf9130496