FA-91866 / PLC ladder logic scan cycles / Open access
Zero-preset TON reports done with a false rung · case 01
A timer with a zero preset shows DN set on scans where its rung is false.
ROOT CAUSE
DN is evaluated from the accumulator comparison alone, not qualified by the rung condition.
VERIFIED REPAIR
Qualify DN with the current rung condition.
Unsuccessful approach: Qualifying DN with the previous scan rung state leaves DN true on the scan the rung drops.
Case contract
On-delay timer (TON) evaluated once per scan. scans is a list of [rung_in, elapsed_ms since the previous scan]. The accumulator starts on the false-to-true scan without crediting that scan's elapsed time, then adds each later true scan's elapsed time, clamped at preset. A false rung resets the accumulator. DN is rung_in and acc >= preset; TT is rung_in and not DN. Return [DN, TT, ACC] 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(preset, scans):
acc = 0
prev = False
out = []
for rung_in, dt in scans:
rung_in = bool(rung_in)
if rung_in and prev:
acc = min(preset, acc + dt)
elif not rung_in:
acc = 0
dn = acc >= preset
tt = rung_in and not dn
prev = rung_in
out.append([dn, tt, acc])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: scenario 4',
[0,
[[True, 10],
[False, 25],
[True, 25],
[True, 20],
[True, 40],
[True, 20],
[True, 75],
[True, 0],
[True, 10]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[30, [[True, 40], [False, 75], [True, 60], [False, 25], [False, 10], [True, 60], [True, 25], [True, 40]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30]]],
['control: scenario 2',
[30, [[False, 25], [True, 50], [True, 0], [True, 0], [True, 25], [True, 75], [True, 75]]],
[[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30],
[True, False, 30]]],
['control: scenario 3',
[120, [[True, 25], [True, 20], [False, 75], [True, 75], [True, 0], [False, 10], [True, 25]]],
[[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]]],
[['regression: scenario 1',
[0,
[[True, 40],
[True, 10],
[True, 10],
[False, 10],
[True, 20],
[True, 25],
[True, 20],
[False, 25],
[True, 20]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 32',
[0,
[[True, 20],
[False, 75],
[True, 50],
[True, 50],
[False, 0],
[False, 0],
[True, 20],
[True, 10],
[False, 40],
[True, 25],
[True, 75],
[True, 10],
[True, 0],
[True, 60]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 2',
[150,
[[True, 60],
[True, 10],
[False, 20],
[False, 40],
[True, 50],
[True, 25],
[False, 25],
[False, 75],
[True, 25],
[False, 0],
[True, 60],
[False, 10]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['control: scenario 3',
[50,
[[False, 50],
[True, 75],
[True, 75],
[True, 20],
[True, 75],
[True, 0],
[False, 60],
[True, 25],
[False, 10]]],
[[False, False, 0],
[False, True, 0],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, True, 0],
[False, False, 0]]]],
[['regression: scenario 34',
[0, [[True, 10], [True, 20], [True, 60], [True, 25], [True, 50], [False, 50], [False, 25], [True, 40]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 57',
[0,
[[True, 75],
[False, 10],
[True, 50],
[True, 40],
[True, 60],
[True, 0],
[False, 20],
[False, 0],
[True, 50]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[50,
[[True, 75],
[True, 40],
[True, 60],
[True, 0],
[True, 25],
[False, 50],
[False, 75],
[True, 60],
[True, 20],
[True, 60],
[False, 60],
[True, 75]]],
[[False, True, 0],
[False, True, 40],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[True, False, 50],
[False, False, 0],
[False, True, 0]]],
['control: scenario 2',
[120, [[False, 0], [False, 75], [True, 75], [True, 0], [True, 0], [False, 75], [True, 60], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 40]]]],
[['regression: scenario 9',
[0,
[[True, 20],
[True, 40],
[True, 50],
[True, 20],
[True, 25],
[True, 10],
[False, 60],
[True, 75],
[True, 40],
[True, 10],
[True, 60],
[False, 10],
[True, 10],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0]]],
['regression: scenario 25',
[0,
[[True, 25],
[False, 75],
[False, 10],
[True, 75],
[True, 50],
[True, 40],
[True, 60],
[True, 60],
[True, 0],
[True, 75],
[True, 0]]],
[[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[0,
[[True, 10],
[True, 0],
[False, 50],
[True, 40],
[False, 20],
[False, 25],
[True, 50],
[True, 60],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: scenario 2',
[100, [[False, 50], [True, 50], [True, 20], [False, 50], [True, 40], [True, 10], [False, 10]]],
[[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 10],
[False, False, 0]]]],
[['regression: scenario 40',
[0,
[[True, 10],
[True, 25],
[True, 50],
[False, 60],
[False, 20],
[True, 50],
[True, 0],
[True, 60],
[False, 60]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[120,
[[True, 0],
[True, 50],
[True, 50],
[True, 75],
[True, 75],
[False, 40],
[True, 25],
[False, 0],
[False, 10],
[True, 25],
[False, 0]]],
[[False, True, 0],
[False, True, 50],
[False, True, 100],
[True, False, 120],
[True, False, 120],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['control: scenario 2',
[150, [[True, 50], [False, 40], [True, 20], [True, 20], [True, 10], [True, 40], [False, 50]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 30],
[False, True, 70],
[False, False, 0]]],
['control: scenario 3',
[200,
[[False, 20],
[False, 50],
[True, 75],
[False, 60],
[False, 50],
[True, 0],
[True, 25],
[True, 20],
[True, 40],
[True, 25],
[True, 25],
[True, 60]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, True, 45],
[False, True, 85],
[False, True, 110],
[False, True, 135],
[False, True, 195]]]]]
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: zero preset | [[True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | Failed |
| regression: scenario 4 | [[True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | Failed |
| control: preset reached exactly | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | Passed |
| control: interrupted timing restarts | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | Passed |
| control: long hold after done | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | Passed |
| control: scenario 1 | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | Passed |
| control: scenario 2 | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | Passed |
| control: scenario 3 | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | Passed |
SHA-256 / 84c1f62855f4db4f96018d49e91ecc76bb1e4fe7ac3250aa86c677f703ec900f
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(preset, scans):
acc = 0
prev = False
out = []
for rung_in, dt in scans:
rung_in = bool(rung_in)
if rung_in and prev:
acc = min(preset, acc + dt)
elif not rung_in:
acc = 0
dn = (rung_in or prev) and acc >= preset
tt = rung_in and not dn
prev = rung_in
out.append([dn, tt, acc])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: scenario 4',
[0,
[[True, 10],
[False, 25],
[True, 25],
[True, 20],
[True, 40],
[True, 20],
[True, 75],
[True, 0],
[True, 10]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[30, [[True, 40], [False, 75], [True, 60], [False, 25], [False, 10], [True, 60], [True, 25], [True, 40]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30]]],
['control: scenario 2',
[30, [[False, 25], [True, 50], [True, 0], [True, 0], [True, 25], [True, 75], [True, 75]]],
[[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30],
[True, False, 30]]],
['control: scenario 3',
[120, [[True, 25], [True, 20], [False, 75], [True, 75], [True, 0], [False, 10], [True, 25]]],
[[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]]],
[['regression: scenario 1',
[0,
[[True, 40],
[True, 10],
[True, 10],
[False, 10],
[True, 20],
[True, 25],
[True, 20],
[False, 25],
[True, 20]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 32',
[0,
[[True, 20],
[False, 75],
[True, 50],
[True, 50],
[False, 0],
[False, 0],
[True, 20],
[True, 10],
[False, 40],
[True, 25],
[True, 75],
[True, 10],
[True, 0],
[True, 60]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 2',
[150,
[[True, 60],
[True, 10],
[False, 20],
[False, 40],
[True, 50],
[True, 25],
[False, 25],
[False, 75],
[True, 25],
[False, 0],
[True, 60],
[False, 10]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['control: scenario 3',
[50,
[[False, 50],
[True, 75],
[True, 75],
[True, 20],
[True, 75],
[True, 0],
[False, 60],
[True, 25],
[False, 10]]],
[[False, False, 0],
[False, True, 0],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, True, 0],
[False, False, 0]]]],
[['regression: scenario 34',
[0, [[True, 10], [True, 20], [True, 60], [True, 25], [True, 50], [False, 50], [False, 25], [True, 40]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 57',
[0,
[[True, 75],
[False, 10],
[True, 50],
[True, 40],
[True, 60],
[True, 0],
[False, 20],
[False, 0],
[True, 50]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[50,
[[True, 75],
[True, 40],
[True, 60],
[True, 0],
[True, 25],
[False, 50],
[False, 75],
[True, 60],
[True, 20],
[True, 60],
[False, 60],
[True, 75]]],
[[False, True, 0],
[False, True, 40],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[True, False, 50],
[False, False, 0],
[False, True, 0]]],
['control: scenario 2',
[120, [[False, 0], [False, 75], [True, 75], [True, 0], [True, 0], [False, 75], [True, 60], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 40]]]],
[['regression: scenario 9',
[0,
[[True, 20],
[True, 40],
[True, 50],
[True, 20],
[True, 25],
[True, 10],
[False, 60],
[True, 75],
[True, 40],
[True, 10],
[True, 60],
[False, 10],
[True, 10],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0]]],
['regression: scenario 25',
[0,
[[True, 25],
[False, 75],
[False, 10],
[True, 75],
[True, 50],
[True, 40],
[True, 60],
[True, 60],
[True, 0],
[True, 75],
[True, 0]]],
[[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[0,
[[True, 10],
[True, 0],
[False, 50],
[True, 40],
[False, 20],
[False, 25],
[True, 50],
[True, 60],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: scenario 2',
[100, [[False, 50], [True, 50], [True, 20], [False, 50], [True, 40], [True, 10], [False, 10]]],
[[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 10],
[False, False, 0]]]],
[['regression: scenario 40',
[0,
[[True, 10],
[True, 25],
[True, 50],
[False, 60],
[False, 20],
[True, 50],
[True, 0],
[True, 60],
[False, 60]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[120,
[[True, 0],
[True, 50],
[True, 50],
[True, 75],
[True, 75],
[False, 40],
[True, 25],
[False, 0],
[False, 10],
[True, 25],
[False, 0]]],
[[False, True, 0],
[False, True, 50],
[False, True, 100],
[True, False, 120],
[True, False, 120],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['control: scenario 2',
[150, [[True, 50], [False, 40], [True, 20], [True, 20], [True, 10], [True, 40], [False, 50]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 30],
[False, True, 70],
[False, False, 0]]],
['control: scenario 3',
[200,
[[False, 20],
[False, 50],
[True, 75],
[False, 60],
[False, 50],
[True, 0],
[True, 25],
[True, 20],
[True, 40],
[True, 25],
[True, 25],
[True, 60]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, True, 45],
[False, True, 85],
[False, True, 110],
[False, True, 135],
[False, True, 195]]]]]
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: zero preset | [[False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | Failed |
| regression: scenario 4 | [[True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | Failed |
| control: preset reached exactly | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | Passed |
| control: interrupted timing restarts | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | Passed |
| control: long hold after done | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | Passed |
| control: scenario 1 | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | Passed |
| control: scenario 2 | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | Passed |
| control: scenario 3 | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | Passed |
SHA-256 / 990947dedccf8d980ae529e893b3f3c3345796c686acceb896876fbc89c8e9ea
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(preset, scans):
acc = 0
prev = False
out = []
for rung_in, dt in scans:
rung_in = bool(rung_in)
if rung_in and prev:
acc = min(preset, acc + dt)
elif not rung_in:
acc = 0
dn = rung_in and acc >= preset
tt = rung_in and not dn
prev = rung_in
out.append([dn, tt, acc])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: scenario 4',
[0,
[[True, 10],
[False, 25],
[True, 25],
[True, 20],
[True, 40],
[True, 20],
[True, 75],
[True, 0],
[True, 10]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[30, [[True, 40], [False, 75], [True, 60], [False, 25], [False, 10], [True, 60], [True, 25], [True, 40]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30]]],
['control: scenario 2',
[30, [[False, 25], [True, 50], [True, 0], [True, 0], [True, 25], [True, 75], [True, 75]]],
[[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30],
[True, False, 30]]],
['control: scenario 3',
[120, [[True, 25], [True, 20], [False, 75], [True, 75], [True, 0], [False, 10], [True, 25]]],
[[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]]],
[['regression: scenario 1',
[0,
[[True, 40],
[True, 10],
[True, 10],
[False, 10],
[True, 20],
[True, 25],
[True, 20],
[False, 25],
[True, 20]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 32',
[0,
[[True, 20],
[False, 75],
[True, 50],
[True, 50],
[False, 0],
[False, 0],
[True, 20],
[True, 10],
[False, 40],
[True, 25],
[True, 75],
[True, 10],
[True, 0],
[True, 60]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 2',
[150,
[[True, 60],
[True, 10],
[False, 20],
[False, 40],
[True, 50],
[True, 25],
[False, 25],
[False, 75],
[True, 25],
[False, 0],
[True, 60],
[False, 10]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['control: scenario 3',
[50,
[[False, 50],
[True, 75],
[True, 75],
[True, 20],
[True, 75],
[True, 0],
[False, 60],
[True, 25],
[False, 10]]],
[[False, False, 0],
[False, True, 0],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, True, 0],
[False, False, 0]]]],
[['regression: scenario 34',
[0, [[True, 10], [True, 20], [True, 60], [True, 25], [True, 50], [False, 50], [False, 25], [True, 40]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 57',
[0,
[[True, 75],
[False, 10],
[True, 50],
[True, 40],
[True, 60],
[True, 0],
[False, 20],
[False, 0],
[True, 50]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[50,
[[True, 75],
[True, 40],
[True, 60],
[True, 0],
[True, 25],
[False, 50],
[False, 75],
[True, 60],
[True, 20],
[True, 60],
[False, 60],
[True, 75]]],
[[False, True, 0],
[False, True, 40],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[True, False, 50],
[False, False, 0],
[False, True, 0]]],
['control: scenario 2',
[120, [[False, 0], [False, 75], [True, 75], [True, 0], [True, 0], [False, 75], [True, 60], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 40]]]],
[['regression: scenario 9',
[0,
[[True, 20],
[True, 40],
[True, 50],
[True, 20],
[True, 25],
[True, 10],
[False, 60],
[True, 75],
[True, 40],
[True, 10],
[True, 60],
[False, 10],
[True, 10],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0]]],
['regression: scenario 25',
[0,
[[True, 25],
[False, 75],
[False, 10],
[True, 75],
[True, 50],
[True, 40],
[True, 60],
[True, 60],
[True, 0],
[True, 75],
[True, 0]]],
[[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[0,
[[True, 10],
[True, 0],
[False, 50],
[True, 40],
[False, 20],
[False, 25],
[True, 50],
[True, 60],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: scenario 2',
[100, [[False, 50], [True, 50], [True, 20], [False, 50], [True, 40], [True, 10], [False, 10]]],
[[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 10],
[False, False, 0]]]],
[['regression: scenario 40',
[0,
[[True, 10],
[True, 25],
[True, 50],
[False, 60],
[False, 20],
[True, 50],
[True, 0],
[True, 60],
[False, 60]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0]]],
['regression: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[120,
[[True, 0],
[True, 50],
[True, 50],
[True, 75],
[True, 75],
[False, 40],
[True, 25],
[False, 0],
[False, 10],
[True, 25],
[False, 0]]],
[[False, True, 0],
[False, True, 50],
[False, True, 100],
[True, False, 120],
[True, False, 120],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['control: scenario 2',
[150, [[True, 50], [False, 40], [True, 20], [True, 20], [True, 10], [True, 40], [False, 50]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 30],
[False, True, 70],
[False, False, 0]]],
['control: scenario 3',
[200,
[[False, 20],
[False, 50],
[True, 75],
[False, 60],
[False, 50],
[True, 0],
[True, 25],
[True, 20],
[True, 40],
[True, 25],
[True, 25],
[True, 60]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, True, 45],
[False, True, 85],
[False, True, 110],
[False, True, 135],
[False, True, 195]]]]]
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: zero preset | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | Passed |
| regression: scenario 4 | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | Passed |
| control: preset reached exactly | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | Passed |
| control: interrupted timing restarts | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | Passed |
| control: long hold after done | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | Passed |
| control: scenario 1 | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | Passed |
| control: scenario 2 | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | Passed |
| control: scenario 3 | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | Passed |
SHA-256 / 4b767fb2b43245d5adfa004e92ad4725bb20ddbad7e4431536966d8ddcad0657
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:40.195303+00:00.
Case digest / 3b560c21da27ba471c7e78aeca3e5a3b61799613d94b4dc4cc96f9b7b3f636e3