FAILURE MAP
← Case archive

FA-92011 / PLC ladder logic scan cycles / Open access

Overload trip is forgotten across a power loss · case 01

Cycling control power clears a latched overload trip so the motor can restart without reset.

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

ROOT CAUSE

The power-loss path clears the trip memory together with the non-retentive motor coil.

VERIFIED REPAIR

Keep the trip in retentive memory through power loss.

Unsuccessful approach: Clearing the trip on the first powered scan after an outage still bypasses the reset.

Case contract

Three-wire motor starter rung evaluated per scan. Each scan is a dict with optional keys start (pushbutton, default false), stop_nc (normally-closed stop contact: true means not pressed, default true), ol_nc (normally-closed overload contact, default true), reset (default false) and power (default true). An open overload contact latches a trip (retentive); reset clears it only on a scan where the overload contact is closed. The motor runs on start or its own seal-in, and only while stop_nc is closed and no trip is latched; stop and trip dominate start. A power-loss scan drops the motor and requires the start button to be seen released before it can start again. Return [motor, tripped] per scan.

Why this case matters

Ladder programs are executed as repeated scans; each defect here changes what a rung, timer, counter or data-table instruction reports on a particular scan, which is how commissioning and field faults are actually observed.

1 / The failure

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

N = 1
observations = []
def solve(scans):
    motor = False
    tripped = False
    need_release = False
    out = []
    for s in scans:
        if not s.get('power', True):
            motor = False
            need_release = True
            tripped = False
            out.append([False, tripped])
            continue
        start = s.get('start', False)
        if not start:
            need_release = False
        if not s.get('ol_nc', True):
            tripped = True
        elif s.get('reset', False):
            tripped = False
        run_cmd = (start and not need_release) or motor
        motor = run_cmd and s.get('stop_nc', True) and not tripped
        out.append([motor, tripped])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]],
  ['regression: scenario 26',
   [[{'ol_nc': True},
     {'reset': True},
     {'ol_nc': False},
     {'stop_nc': True, 'power': False},
     {'stop_nc': True},
     {'start': True, 'ol_nc': True},
     {'start': False, 'ol_nc': True},
     {'stop_nc': True},
     {'start': False, 'stop_nc': False},
     {'start': False, 'ol_nc': False},
     {'start': True, 'stop_nc': False, 'ol_nc': True, 'reset': True},
     {},
     {'start': False, 'ol_nc': False},
     {'ol_nc': False}]],
   [[False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, False],
    [False, False],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['control: start after overload recovers',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 2',
   [[{'stop_nc': True},
     {'start': True, 'stop_nc': True},
     {'stop_nc': True},
     {'start': False, 'stop_nc': False},
     {'ol_nc': True},
     {'start': True},
     {'start': False, 'ol_nc': False},
     {},
     {'start': False, 'ol_nc': False},
     {'stop_nc': False, 'ol_nc': True, 'power': False},
     {'stop_nc': False, 'reset': True},
     {'start': True, 'stop_nc': True},
     {'start': False}]],
   [[False, False],
    [True, False],
    [True, False],
    [False, False],
    [False, False],
    [True, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [True, False]]],
  ['regression: scenario 8',
   [[{'ol_nc': False},
     {'start': True},
     {'start': True, 'ol_nc': True},
     {},
     {'start': False},
     {'start': True},
     {'power': False},
     {},
     {},
     {'start': True, 'ol_nc': True, 'reset': True, 'power': False}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 13',
   [[{'reset': True},
     {'ol_nc': False},
     {'power': False},
     {'start': True, 'stop_nc': False},
     {},
     {},
     {'stop_nc': False},
     {'start': True}]],
   [[False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 25',
   [[{'stop_nc': True, 'ol_nc': False},
     {'start': False, 'ol_nc': True},
     {'ol_nc': True},
     {},
     {'start': False, 'stop_nc': False},
     {},
     {'stop_nc': True, 'ol_nc': False, 'reset': True, 'power': False},
     {'stop_nc': True}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 14',
   [[{'start': False, 'ol_nc': True},
     {'stop_nc': False},
     {},
     {'start': True},
     {'stop_nc': True},
     {'start': True},
     {},
     {'ol_nc': True, 'reset': True},
     {'ol_nc': False},
     {'stop_nc': False, 'ol_nc': False, 'reset': True},
     {'power': False}]],
   [[False, False],
    [False, False],
    [False, False],
    [True, False],
    [True, False],
    [True, False],
    [True, False],
    [True, False],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 15',
   [[{},
     {},
     {'ol_nc': False},
     {'start': True},
     {'reset': True},
     {'stop_nc': True},
     {'stop_nc': False, 'reset': True},
     {'start': True, 'ol_nc': False, 'reset': True},
     {'ol_nc': False},
     {},
     {'start': False, 'power': False},
     {},
     {'start': True, 'stop_nc': False},
     {'start': True}]],
   [[False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 19',
   [[{'stop_nc': True, 'reset': True},
     {'start': True, 'stop_nc': False},
     {'ol_nc': True},
     {'start': True, 'ol_nc': False},
     {'stop_nc': True},
     {'start': True, 'stop_nc': False},
     {'start': False, 'stop_nc': True, 'reset': True, 'power': False},
     {'start': False},
     {'ol_nc': True},
     {'start': True, 'stop_nc': False},
     {'start': True, 'power': False}]],
   [[False, False],
    [False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 39',
   [[{'ol_nc': False},
     {'start': False, 'stop_nc': True},
     {'start': True},
     {'start': True},
     {'start': True, 'stop_nc': False, 'ol_nc': True},
     {'start': False, 'stop_nc': False},
     {'start': True, 'stop_nc': True, 'ol_nc': True, 'power': False},
     {'start': True, 'power': False},
     {},
     {'stop_nc': True, 'power': False},
     {'start': False, 'stop_nc': True, 'ol_nc': True},
     {'start': False, 'stop_nc': False},
     {'ol_nc': True}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: trip across power loss[[True, False], [False, True], [False, False], [False, False], [True, False]][[True, False], [False, True], [False, True], [False, True], [False, True]]Failed
regression: scenario 26[[False, False], [False, False], [False, True], [False, False], [False, False], [True, False], [True, False], [True, False], [False, False], [False, True], [False, False], [False, False], [False, True], [False, True]][[False, False], [False, False], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, False], [False, False], [False, True], [False, True]]Failed
control: start seal stop[[True, False], [True, False], [False, False], [False, False], [True, False]][[True, False], [True, False], [False, False], [False, False], [True, False]]Passed
control: power loss with start held[[True, False], [False, False], [False, False], [False, False], [True, False]][[True, False], [False, False], [False, False], [False, False], [True, False]]Passed
control: overload trip and reset[[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]][[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]Passed
control: reset while overload open[[True, False], [False, True], [False, True]][[True, False], [False, True], [False, True]]Passed
control: stop and start together[[False, False], [True, False], [False, False]][[False, False], [True, False], [False, False]]Passed
control: start after overload recovers[[True, False], [False, True], [False, True], [False, True], [False, True]][[True, False], [False, True], [False, True], [False, True], [False, True]]Passed

SHA-256 / da00802c6dd259fecc13208374096ff41d7e33021af86e201d8917e38cdad56c

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(scans):
    motor = False
    tripped = False
    need_release = False
    out = []
    for s in scans:
        if not s.get('power', True):
            motor = False
            need_release = True
            out.append([False, tripped])
            continue
        start = s.get('start', False)
        tripped = tripped and not need_release
        if not start:
            need_release = False
        if not s.get('ol_nc', True):
            tripped = True
        elif s.get('reset', False):
            tripped = False
        run_cmd = (start and not need_release) or motor
        motor = run_cmd and s.get('stop_nc', True) and not tripped
        out.append([motor, tripped])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]],
  ['regression: scenario 26',
   [[{'ol_nc': True},
     {'reset': True},
     {'ol_nc': False},
     {'stop_nc': True, 'power': False},
     {'stop_nc': True},
     {'start': True, 'ol_nc': True},
     {'start': False, 'ol_nc': True},
     {'stop_nc': True},
     {'start': False, 'stop_nc': False},
     {'start': False, 'ol_nc': False},
     {'start': True, 'stop_nc': False, 'ol_nc': True, 'reset': True},
     {},
     {'start': False, 'ol_nc': False},
     {'ol_nc': False}]],
   [[False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, False],
    [False, False],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['control: start after overload recovers',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 2',
   [[{'stop_nc': True},
     {'start': True, 'stop_nc': True},
     {'stop_nc': True},
     {'start': False, 'stop_nc': False},
     {'ol_nc': True},
     {'start': True},
     {'start': False, 'ol_nc': False},
     {},
     {'start': False, 'ol_nc': False},
     {'stop_nc': False, 'ol_nc': True, 'power': False},
     {'stop_nc': False, 'reset': True},
     {'start': True, 'stop_nc': True},
     {'start': False}]],
   [[False, False],
    [True, False],
    [True, False],
    [False, False],
    [False, False],
    [True, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [True, False]]],
  ['regression: scenario 8',
   [[{'ol_nc': False},
     {'start': True},
     {'start': True, 'ol_nc': True},
     {},
     {'start': False},
     {'start': True},
     {'power': False},
     {},
     {},
     {'start': True, 'ol_nc': True, 'reset': True, 'power': False}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 13',
   [[{'reset': True},
     {'ol_nc': False},
     {'power': False},
     {'start': True, 'stop_nc': False},
     {},
     {},
     {'stop_nc': False},
     {'start': True}]],
   [[False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 25',
   [[{'stop_nc': True, 'ol_nc': False},
     {'start': False, 'ol_nc': True},
     {'ol_nc': True},
     {},
     {'start': False, 'stop_nc': False},
     {},
     {'stop_nc': True, 'ol_nc': False, 'reset': True, 'power': False},
     {'stop_nc': True}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 14',
   [[{'start': False, 'ol_nc': True},
     {'stop_nc': False},
     {},
     {'start': True},
     {'stop_nc': True},
     {'start': True},
     {},
     {'ol_nc': True, 'reset': True},
     {'ol_nc': False},
     {'stop_nc': False, 'ol_nc': False, 'reset': True},
     {'power': False}]],
   [[False, False],
    [False, False],
    [False, False],
    [True, False],
    [True, False],
    [True, False],
    [True, False],
    [True, False],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 15',
   [[{},
     {},
     {'ol_nc': False},
     {'start': True},
     {'reset': True},
     {'stop_nc': True},
     {'stop_nc': False, 'reset': True},
     {'start': True, 'ol_nc': False, 'reset': True},
     {'ol_nc': False},
     {},
     {'start': False, 'power': False},
     {},
     {'start': True, 'stop_nc': False},
     {'start': True}]],
   [[False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 19',
   [[{'stop_nc': True, 'reset': True},
     {'start': True, 'stop_nc': False},
     {'ol_nc': True},
     {'start': True, 'ol_nc': False},
     {'stop_nc': True},
     {'start': True, 'stop_nc': False},
     {'start': False, 'stop_nc': True, 'reset': True, 'power': False},
     {'start': False},
     {'ol_nc': True},
     {'start': True, 'stop_nc': False},
     {'start': True, 'power': False}]],
   [[False, False],
    [False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 39',
   [[{'ol_nc': False},
     {'start': False, 'stop_nc': True},
     {'start': True},
     {'start': True},
     {'start': True, 'stop_nc': False, 'ol_nc': True},
     {'start': False, 'stop_nc': False},
     {'start': True, 'stop_nc': True, 'ol_nc': True, 'power': False},
     {'start': True, 'power': False},
     {},
     {'stop_nc': True, 'power': False},
     {'start': False, 'stop_nc': True, 'ol_nc': True},
     {'start': False, 'stop_nc': False},
     {'ol_nc': True}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: trip across power loss[[True, False], [False, True], [False, True], [False, False], [True, False]][[True, False], [False, True], [False, True], [False, True], [False, True]]Failed
regression: scenario 26[[False, False], [False, False], [False, True], [False, True], [False, False], [True, False], [True, False], [True, False], [False, False], [False, True], [False, False], [False, False], [False, True], [False, True]][[False, False], [False, False], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, False], [False, False], [False, True], [False, True]]Failed
control: start seal stop[[True, False], [True, False], [False, False], [False, False], [True, False]][[True, False], [True, False], [False, False], [False, False], [True, False]]Passed
control: power loss with start held[[True, False], [False, False], [False, False], [False, False], [True, False]][[True, False], [False, False], [False, False], [False, False], [True, False]]Passed
control: overload trip and reset[[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]][[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]Passed
control: reset while overload open[[True, False], [False, True], [False, True]][[True, False], [False, True], [False, True]]Passed
control: stop and start together[[False, False], [True, False], [False, False]][[False, False], [True, False], [False, False]]Passed
control: start after overload recovers[[True, False], [False, True], [False, True], [False, True], [False, True]][[True, False], [False, True], [False, True], [False, True], [False, True]]Passed

SHA-256 / bf1c8fc77d8af794f313da994068ff3b81a8b306d04161f836f5d62f31a12cdc

3 / The verified repair

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

N = 1
observations = []
def solve(scans):
    motor = False
    tripped = False
    need_release = False
    out = []
    for s in scans:
        if not s.get('power', True):
            motor = False
            need_release = True
            out.append([False, tripped])
            continue
        start = s.get('start', False)
        if not start:
            need_release = False
        if not s.get('ol_nc', True):
            tripped = True
        elif s.get('reset', False):
            tripped = False
        run_cmd = (start and not need_release) or motor
        motor = run_cmd and s.get('stop_nc', True) and not tripped
        out.append([motor, tripped])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]],
  ['regression: scenario 26',
   [[{'ol_nc': True},
     {'reset': True},
     {'ol_nc': False},
     {'stop_nc': True, 'power': False},
     {'stop_nc': True},
     {'start': True, 'ol_nc': True},
     {'start': False, 'ol_nc': True},
     {'stop_nc': True},
     {'start': False, 'stop_nc': False},
     {'start': False, 'ol_nc': False},
     {'start': True, 'stop_nc': False, 'ol_nc': True, 'reset': True},
     {},
     {'start': False, 'ol_nc': False},
     {'ol_nc': False}]],
   [[False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, False],
    [False, False],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['control: start after overload recovers',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 2',
   [[{'stop_nc': True},
     {'start': True, 'stop_nc': True},
     {'stop_nc': True},
     {'start': False, 'stop_nc': False},
     {'ol_nc': True},
     {'start': True},
     {'start': False, 'ol_nc': False},
     {},
     {'start': False, 'ol_nc': False},
     {'stop_nc': False, 'ol_nc': True, 'power': False},
     {'stop_nc': False, 'reset': True},
     {'start': True, 'stop_nc': True},
     {'start': False}]],
   [[False, False],
    [True, False],
    [True, False],
    [False, False],
    [False, False],
    [True, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, False],
    [True, False],
    [True, False]]],
  ['regression: scenario 8',
   [[{'ol_nc': False},
     {'start': True},
     {'start': True, 'ol_nc': True},
     {},
     {'start': False},
     {'start': True},
     {'power': False},
     {},
     {},
     {'start': True, 'ol_nc': True, 'reset': True, 'power': False}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 13',
   [[{'reset': True},
     {'ol_nc': False},
     {'power': False},
     {'start': True, 'stop_nc': False},
     {},
     {},
     {'stop_nc': False},
     {'start': True}]],
   [[False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 25',
   [[{'stop_nc': True, 'ol_nc': False},
     {'start': False, 'ol_nc': True},
     {'ol_nc': True},
     {},
     {'start': False, 'stop_nc': False},
     {},
     {'stop_nc': True, 'ol_nc': False, 'reset': True, 'power': False},
     {'stop_nc': True}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 14',
   [[{'start': False, 'ol_nc': True},
     {'stop_nc': False},
     {},
     {'start': True},
     {'stop_nc': True},
     {'start': True},
     {},
     {'ol_nc': True, 'reset': True},
     {'ol_nc': False},
     {'stop_nc': False, 'ol_nc': False, 'reset': True},
     {'power': False}]],
   [[False, False],
    [False, False],
    [False, False],
    [True, False],
    [True, False],
    [True, False],
    [True, False],
    [True, False],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 15',
   [[{},
     {},
     {'ol_nc': False},
     {'start': True},
     {'reset': True},
     {'stop_nc': True},
     {'stop_nc': False, 'reset': True},
     {'start': True, 'ol_nc': False, 'reset': True},
     {'ol_nc': False},
     {},
     {'start': False, 'power': False},
     {},
     {'start': True, 'stop_nc': False},
     {'start': True}]],
   [[False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, False],
    [False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]],
 [['regression: scenario 19',
   [[{'stop_nc': True, 'reset': True},
     {'start': True, 'stop_nc': False},
     {'ol_nc': True},
     {'start': True, 'ol_nc': False},
     {'stop_nc': True},
     {'start': True, 'stop_nc': False},
     {'start': False, 'stop_nc': True, 'reset': True, 'power': False},
     {'start': False},
     {'ol_nc': True},
     {'start': True, 'stop_nc': False},
     {'start': True, 'power': False}]],
   [[False, False],
    [False, False],
    [False, False],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['regression: scenario 39',
   [[{'ol_nc': False},
     {'start': False, 'stop_nc': True},
     {'start': True},
     {'start': True},
     {'start': True, 'stop_nc': False, 'ol_nc': True},
     {'start': False, 'stop_nc': False},
     {'start': True, 'stop_nc': True, 'ol_nc': True, 'power': False},
     {'start': True, 'power': False},
     {},
     {'stop_nc': True, 'power': False},
     {'start': False, 'stop_nc': True, 'ol_nc': True},
     {'start': False, 'stop_nc': False},
     {'ol_nc': True}]],
   [[False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True],
    [False, True]]],
  ['control: start seal stop',
   [[{'start': True}, {}, {'stop_nc': False}, {}, {'start': True}]],
   [[True, False], [True, False], [False, False], [False, False], [True, False]]],
  ['control: power loss with start held',
   [[{'start': True}, {'power': False}, {'start': True}, {}, {'start': True}]],
   [[True, False], [False, False], [False, False], [False, False], [True, False]]],
  ['control: overload trip and reset',
   [[{'start': True}, {'ol_nc': False}, {}, {'start': True}, {'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]],
  ['control: reset while overload open',
   [[{'start': True}, {'ol_nc': False, 'reset': True}, {'start': True}]],
   [[True, False], [False, True], [False, True]]],
  ['control: stop and start together',
   [[{'start': True, 'stop_nc': False}, {'start': True}, {'start': True, 'stop_nc': False}]],
   [[False, False], [True, False], [False, False]]],
  ['regression: trip across power loss',
   [[{'start': True}, {'ol_nc': False}, {'power': False}, {}, {'start': True}]],
   [[True, False], [False, True], [False, True], [False, True], [False, True]]]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: trip across power loss[[True, False], [False, True], [False, True], [False, True], [False, True]][[True, False], [False, True], [False, True], [False, True], [False, True]]Passed
regression: scenario 26[[False, False], [False, False], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, False], [False, False], [False, True], [False, True]][[False, False], [False, False], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, True], [False, False], [False, False], [False, True], [False, True]]Passed
control: start seal stop[[True, False], [True, False], [False, False], [False, False], [True, False]][[True, False], [True, False], [False, False], [False, False], [True, False]]Passed
control: power loss with start held[[True, False], [False, False], [False, False], [False, False], [True, False]][[True, False], [False, False], [False, False], [False, False], [True, False]]Passed
control: overload trip and reset[[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]][[True, False], [False, True], [False, True], [False, True], [False, False], [True, False]]Passed
control: reset while overload open[[True, False], [False, True], [False, True]][[True, False], [False, True], [False, True]]Passed
control: stop and start together[[False, False], [True, False], [False, False]][[False, False], [True, False], [False, False]]Passed
control: start after overload recovers[[True, False], [False, True], [False, True], [False, True], [False, True]][[True, False], [False, True], [False, True], [False, True], [False, True]]Passed

SHA-256 / 19905aa7ae44983f017c65d9d0addd81430acc2d0613051e25dcaadb7ce7e784

Verification & scope

A deterministic bounded teaching model of one PLC instruction or rung pattern evaluated scan by scan. The stated contract is a stipulated toy convention, not a claim of conformance to any vendor controller or IEC 61131-3 runtime. 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:41.681685+00:00.

Case digest / 9df81f1637a65920e9d4496cc91fb2d2b96e0c7803d3ada7ea17edb83c009cfe