FA-92696 / HVAC thermostat control / Open access
Soft lockout is timed from the compressor start · case 01
After a trip late in a long run the unit restarts on the next minute with no lockout.
ROOT CAUSE
The soft lockout end is computed from the start time instead of the trip time.
VERIFIED REPAIR
Soft lockout lasts 5 minutes from the trip.
Unsuccessful approach: Guaranteeing at least one lockout minute still falls far short of five.
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 = [t for t in trips if minute - t < 60] + [minute]
if len(trips) >= 3:
state = 'hard'
else:
state = 'soft'
soft_until = start_at + 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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['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 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']],
['regression: 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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['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 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']],
['regression: 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: 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']],
['regression: 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: 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']],
['regression: 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']],
['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']],
['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 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']],
['regression: 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: 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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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']],
['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 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']],
['regression: 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']],
['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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['regression: 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: low pressure bypass and retry | ['run', 'run', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'run', 'run', 'run'] | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | Failed |
| regression: three trips hard lockout | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft', 'soft', 'run', 'run', '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'] | Failed |
| regression: high pressure during suction dip | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Failed |
| regression: high pressure at start | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | Failed |
| regression: trip exactly an hour old | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', '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', 'run', 'run'] | ['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 |
| regression: old trips expire | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', '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', 'run', 'run', 'run', 'soft', 'run'] | ['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 |
| regression: trip late in long run | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run'] | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Failed |
| regression: reset during hard with recent trips | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'hard', 'idle', 'run', 'soft', 'soft', 'soft', 'soft', 'run', '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'] | Failed |
SHA-256 / 0fa7cabb04725865366d57ae0b8bfbe7f62f4481f57270cca4e891e7b4e111a8
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 = max(start_at + 5, minute + 1)
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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['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 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']],
['regression: 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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['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 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']],
['regression: 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: 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']],
['regression: 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: 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']],
['regression: 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']],
['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']],
['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 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']],
['regression: 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: 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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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']],
['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 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']],
['regression: 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']],
['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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['regression: 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: low pressure bypass and retry | ['run', 'run', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'run', 'run', 'run'] | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | Failed |
| regression: three trips hard lockout | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft', 'soft', 'run', 'run', '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'] | Failed |
| regression: high pressure during suction dip | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Failed |
| regression: high pressure at start | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | Failed |
| regression: trip exactly an hour old | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', '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', 'run', 'run'] | ['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 |
| regression: old trips expire | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', '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', 'run', 'run', 'run', 'soft', 'run'] | ['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 |
| regression: trip late in long run | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'run', 'run', 'run', 'run', 'run', 'run', 'run'] | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Failed |
| regression: reset during hard with recent trips | ['run', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'hard', 'idle', 'run', 'soft', 'soft', 'soft', 'soft', 'run', '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'] | Failed |
SHA-256 / 8de5db9380fcc1febeaaa925bc106154c31e7fe4e03c79445e86382a5f34afce
3 / The verified repair
Exit 0"""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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['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 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']],
['regression: 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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['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 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']],
['regression: 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: 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']],
['regression: 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: 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']],
['regression: 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']],
['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']],
['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 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']],
['regression: 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: 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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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']],
['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 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']],
['regression: 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']],
['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: 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']],
['regression: 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']],
['regression: 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']],
['regression: 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: 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']],
['regression: 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: 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 |
| regression: 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 |
| regression: high pressure during suction dip | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| regression: high pressure at start | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | Passed |
| 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', 'soft', 'soft', 'soft'] | ['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'] | 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 |
| regression: 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 |
| regression: 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 / 63a367505bfe4fba232412263bb8a8c6ce56dcbb6a2459557be5012daae55eb7
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.321295+00:00.
Case digest / a3385ed2c41ce2a477b55c93cd10d7155a9186162d25929f7e581a3d75416b69