FAILURE MAP
← Case archive

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

Sequencer reset writes the home word to the destination · case 01

Resetting the sequencer changes the machine outputs instead of only rewinding the position.

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

ROOT CAUSE

The reset branch applies the masked home word to dest.

VERIFIED REPAIR

Reset only sets the position to 0; dest keeps its last value.

Unsuccessful approach: Clearing the masked bits on reset still changes outputs.

Case contract

Sequencer output (SQO). words is the sequencer file whose element 0 is the home step; position starts at 0. On each rising edge of enable the position advances; past the last element it wraps to 1 (not 0). Each advance writes dest = (dest AND NOT mask) OR (word AND mask) in 16 bits. A reset input returns position to 0 without writing dest and has priority over a coincident advance; the enable edge memory is always updated. steps is a list of [enable, reset]; return [position, dest] 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(words, mask, start_dest, steps):
    pos = 0
    dest = start_dest
    prev = False
    length = len(words) - 1
    out = []
    for en, res in steps:
        en = bool(en)
        if res:
            pos = 0
            dest = (dest & ~mask & 0xFFFF) | (words[0] & mask)
        elif en and not prev:
            pos += 1
            if pos > length:
                pos = 1
            dest = (dest & ~mask & 0xFFFF) | (words[pos] & mask)
        prev = en
        out.append([pos, dest])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['regression: scenario 1',
   [[26918, 50611, 8879, 59828],
    65535,
    52597,
    [[False, False],
     [False, False],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False]]],
   [[0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [1, 50611],
    [1, 50611],
    [1, 50611]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 2',
   [[42968, 29173, 43546],
    255,
    5794,
    [[True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, True],
     [False, False]]],
   [[1, 5877],
    [1, 5877],
    [1, 5877],
    [1, 5877],
    [2, 5658],
    [2, 5658],
    [2, 5658],
    [2, 5658],
    [0, 5658],
    [0, 5658]]],
  ['control: scenario 3',
   [[16785, 47110, 21847, 45361],
    61440,
    41889,
    [[True, False],
     [True, False],
     [True, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False]]],
   [[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]]],
  ['control: scenario 4',
   [[26660, 61415, 54040],
    65535,
    45106,
    [[True, False], [True, False], [True, False], [False, False], [False, False], [True, False]]],
   [[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]]]],
 [['regression: scenario 2',
   [[43079, 20640, 23622, 26553],
    255,
    15109,
    [[False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [False, True]]],
   [[0, 15109],
    [0, 15109],
    [1, 15264],
    [1, 15264],
    [1, 15264],
    [1, 15264],
    [2, 15174],
    [2, 15174],
    [2, 15174],
    [2, 15174],
    [3, 15289],
    [0, 15289]]],
  ['regression: scenario 6',
   [[49034, 36252],
    255,
    16341,
    [[True, False],
     [True, False],
     [True, False],
     [True, True],
     [True, False],
     [True, False],
     [False, False],
     [False, True],
     [True, False]]],
   [[1, 16284],
    [1, 16284],
    [1, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [1, 16284]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['control: scenario 1',
   [[8488, 43469, 38296, 4034],
    255,
    44563,
    [[False, False],
     [True, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False]]],
   [[0, 44563],
    [1, 44749],
    [1, 44749],
    [1, 44749],
    [1, 44749],
    [2, 44696],
    [2, 44696],
    [3, 44738],
    [3, 44738],
    [1, 44749],
    [1, 44749],
    [2, 44696]]],
  ['control: scenario 3',
   [[16618, 36272, 41924, 55813],
    3855,
    48911,
    [[True, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False]]],
   [[1, 48384], [1, 48384], [1, 48384], [1, 48384], [1, 48384], [2, 45828], [2, 45828]]]],
 [['regression: scenario 2',
   [[36741, 30504],
    65535,
    26589,
    [[True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, True],
     [True, False],
     [False, False]]],
   [[1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [0, 30504],
    [0, 30504],
    [0, 30504]]],
  ['regression: scenario 3',
   [[45414, 65173, 31151, 4829],
    3855,
    46402,
    [[False, True],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [True, False]]],
   [[0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [1, 48709],
    [1, 48709],
    [1, 48709]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 1',
   [[38610, 2229],
    65535,
    14704,
    [[False, False],
     [False, False],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, True],
     [False, False]]],
   [[0, 14704], [0, 14704], [0, 14704], [0, 14704], [0, 14704], [1, 2229], [1, 2229], [0, 2229], [0, 2229]]],
  ['regression: scenario 4',
   [[29784, 63854],
    255,
    25258,
    [[False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, True],
     [False, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 25258],
    [1, 25198],
    [1, 25198],
    [1, 25198],
    [0, 25198],
    [0, 25198],
    [0, 25198],
    [1, 25198],
    [1, 25198],
    [0, 25198],
    [0, 25198],
    [0, 25198],
    [1, 25198],
    [0, 25198]]]],
 [['regression: scenario 5',
   [[47154, 32327, 23912, 32399],
    3855,
    21368,
    [[False, True],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 21368],
    [0, 21368],
    [0, 21368],
    [1, 24183],
    [1, 24183],
    [1, 24183],
    [2, 23928],
    [2, 23928],
    [2, 23928],
    [3, 24191],
    [0, 24191]]],
  ['regression: scenario 6',
   [[41259, 64194, 24167],
    255,
    50548,
    [[True, False],
     [False, False],
     [True, True],
     [False, False],
     [True, False],
     [True, False],
     [False, False]]],
   [[1, 50626], [1, 50626], [0, 50626], [0, 50626], [1, 50626], [1, 50626], [1, 50626]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['control: scenario 1',
   [[61786, 58708],
    255,
    45362,
    [[False, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[0, 45362], [0, 45362], [0, 45362], [1, 45396], [1, 45396], [1, 45396], [1, 45396]]],
  ['control: scenario 2',
   [[57902, 51779],
    61440,
    26811,
    [[True, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387]]]],
 [['regression: scenario 5',
   [[50120, 43705, 18219, 64249, 48621],
    65535,
    42460,
    [[False, False],
     [False, True],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[0, 42460], [0, 42460], [0, 42460], [0, 42460], [1, 43705], [1, 43705], [1, 43705], [2, 18219]]],
  ['regression: scenario 6',
   [[49875, 17863, 34135],
    3855,
    57202,
    [[False, False], [True, False], [True, False], [True, True], [False, False], [False, False]]],
   [[0, 57202], [1, 54647], [1, 54647], [0, 54647], [0, 54647], [0, 54647]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 1',
   [[39974, 26951],
    3855,
    4546,
    [[False, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 4546],
    [0, 4546],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [0, 6599]]],
  ['regression: scenario 2',
   [[43067, 57880, 6921, 33106, 51712],
    255,
    13830,
    [[True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, True],
     [True, True],
     [False, False],
     [True, False],
     [False, False]]],
   [[1, 13848],
    [1, 13848],
    [1, 13848],
    [2, 13833],
    [2, 13833],
    [2, 13833],
    [3, 13906],
    [3, 13906],
    [0, 13906],
    [0, 13906],
    [0, 13906],
    [1, 13848],
    [1, 13848]]]]]
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: reset while enabled[[1, 65523], [0, 65520], [0, 65520], [1, 65523]][[1, 65523], [0, 65523], [0, 65523], [1, 65523]]Failed
regression: scenario 1[[0, 52597], [0, 52597], [0, 52597], [0, 26918], [0, 26918], [0, 26918], [0, 26918], [1, 50611], [1, 50611], [1, 50611]][[0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [1, 50611], [1, 50611], [1, 50611]]Failed
control: wrap past last step[[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]][[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]Passed
control: two element file[[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]][[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]Passed
control: reset with advance[[0, 170], [0, 170], [0, 170], [1, 426]][[0, 170], [0, 170], [0, 170], [1, 426]]Passed
regression: scenario 2[[1, 5877], [1, 5877], [1, 5877], [1, 5877], [2, 5658], [2, 5658], [2, 5658], [2, 5658], [0, 5848], [0, 5848]][[1, 5877], [1, 5877], [1, 5877], [1, 5877], [2, 5658], [2, 5658], [2, 5658], [2, 5658], [0, 5658], [0, 5658]]Failed
control: scenario 3[[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]][[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]]Passed
control: scenario 4[[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]][[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]]Passed

SHA-256 / 606b150ef8ba98e34c0e7f8a0d7766bad86ec7d446c40ad4ff8f66e47463f638

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(words, mask, start_dest, steps):
    pos = 0
    dest = start_dest
    prev = False
    length = len(words) - 1
    out = []
    for en, res in steps:
        en = bool(en)
        if res:
            pos = 0
            dest = dest & ~mask & 0xFFFF
        elif en and not prev:
            pos += 1
            if pos > length:
                pos = 1
            dest = (dest & ~mask & 0xFFFF) | (words[pos] & mask)
        prev = en
        out.append([pos, dest])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['regression: scenario 1',
   [[26918, 50611, 8879, 59828],
    65535,
    52597,
    [[False, False],
     [False, False],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False]]],
   [[0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [1, 50611],
    [1, 50611],
    [1, 50611]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 2',
   [[42968, 29173, 43546],
    255,
    5794,
    [[True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, True],
     [False, False]]],
   [[1, 5877],
    [1, 5877],
    [1, 5877],
    [1, 5877],
    [2, 5658],
    [2, 5658],
    [2, 5658],
    [2, 5658],
    [0, 5658],
    [0, 5658]]],
  ['control: scenario 3',
   [[16785, 47110, 21847, 45361],
    61440,
    41889,
    [[True, False],
     [True, False],
     [True, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False]]],
   [[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]]],
  ['control: scenario 4',
   [[26660, 61415, 54040],
    65535,
    45106,
    [[True, False], [True, False], [True, False], [False, False], [False, False], [True, False]]],
   [[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]]]],
 [['regression: scenario 2',
   [[43079, 20640, 23622, 26553],
    255,
    15109,
    [[False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [False, True]]],
   [[0, 15109],
    [0, 15109],
    [1, 15264],
    [1, 15264],
    [1, 15264],
    [1, 15264],
    [2, 15174],
    [2, 15174],
    [2, 15174],
    [2, 15174],
    [3, 15289],
    [0, 15289]]],
  ['regression: scenario 6',
   [[49034, 36252],
    255,
    16341,
    [[True, False],
     [True, False],
     [True, False],
     [True, True],
     [True, False],
     [True, False],
     [False, False],
     [False, True],
     [True, False]]],
   [[1, 16284],
    [1, 16284],
    [1, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [1, 16284]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['control: scenario 1',
   [[8488, 43469, 38296, 4034],
    255,
    44563,
    [[False, False],
     [True, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False]]],
   [[0, 44563],
    [1, 44749],
    [1, 44749],
    [1, 44749],
    [1, 44749],
    [2, 44696],
    [2, 44696],
    [3, 44738],
    [3, 44738],
    [1, 44749],
    [1, 44749],
    [2, 44696]]],
  ['control: scenario 3',
   [[16618, 36272, 41924, 55813],
    3855,
    48911,
    [[True, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False]]],
   [[1, 48384], [1, 48384], [1, 48384], [1, 48384], [1, 48384], [2, 45828], [2, 45828]]]],
 [['regression: scenario 2',
   [[36741, 30504],
    65535,
    26589,
    [[True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, True],
     [True, False],
     [False, False]]],
   [[1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [0, 30504],
    [0, 30504],
    [0, 30504]]],
  ['regression: scenario 3',
   [[45414, 65173, 31151, 4829],
    3855,
    46402,
    [[False, True],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [True, False]]],
   [[0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [1, 48709],
    [1, 48709],
    [1, 48709]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 1',
   [[38610, 2229],
    65535,
    14704,
    [[False, False],
     [False, False],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, True],
     [False, False]]],
   [[0, 14704], [0, 14704], [0, 14704], [0, 14704], [0, 14704], [1, 2229], [1, 2229], [0, 2229], [0, 2229]]],
  ['regression: scenario 4',
   [[29784, 63854],
    255,
    25258,
    [[False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, True],
     [False, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 25258],
    [1, 25198],
    [1, 25198],
    [1, 25198],
    [0, 25198],
    [0, 25198],
    [0, 25198],
    [1, 25198],
    [1, 25198],
    [0, 25198],
    [0, 25198],
    [0, 25198],
    [1, 25198],
    [0, 25198]]]],
 [['regression: scenario 5',
   [[47154, 32327, 23912, 32399],
    3855,
    21368,
    [[False, True],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 21368],
    [0, 21368],
    [0, 21368],
    [1, 24183],
    [1, 24183],
    [1, 24183],
    [2, 23928],
    [2, 23928],
    [2, 23928],
    [3, 24191],
    [0, 24191]]],
  ['regression: scenario 6',
   [[41259, 64194, 24167],
    255,
    50548,
    [[True, False],
     [False, False],
     [True, True],
     [False, False],
     [True, False],
     [True, False],
     [False, False]]],
   [[1, 50626], [1, 50626], [0, 50626], [0, 50626], [1, 50626], [1, 50626], [1, 50626]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['control: scenario 1',
   [[61786, 58708],
    255,
    45362,
    [[False, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[0, 45362], [0, 45362], [0, 45362], [1, 45396], [1, 45396], [1, 45396], [1, 45396]]],
  ['control: scenario 2',
   [[57902, 51779],
    61440,
    26811,
    [[True, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387]]]],
 [['regression: scenario 5',
   [[50120, 43705, 18219, 64249, 48621],
    65535,
    42460,
    [[False, False],
     [False, True],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[0, 42460], [0, 42460], [0, 42460], [0, 42460], [1, 43705], [1, 43705], [1, 43705], [2, 18219]]],
  ['regression: scenario 6',
   [[49875, 17863, 34135],
    3855,
    57202,
    [[False, False], [True, False], [True, False], [True, True], [False, False], [False, False]]],
   [[0, 57202], [1, 54647], [1, 54647], [0, 54647], [0, 54647], [0, 54647]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 1',
   [[39974, 26951],
    3855,
    4546,
    [[False, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 4546],
    [0, 4546],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [0, 6599]]],
  ['regression: scenario 2',
   [[43067, 57880, 6921, 33106, 51712],
    255,
    13830,
    [[True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, True],
     [True, True],
     [False, False],
     [True, False],
     [False, False]]],
   [[1, 13848],
    [1, 13848],
    [1, 13848],
    [2, 13833],
    [2, 13833],
    [2, 13833],
    [3, 13906],
    [3, 13906],
    [0, 13906],
    [0, 13906],
    [0, 13906],
    [1, 13848],
    [1, 13848]]]]]
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: reset while enabled[[1, 65523], [0, 65520], [0, 65520], [1, 65523]][[1, 65523], [0, 65523], [0, 65523], [1, 65523]]Failed
regression: scenario 1[[0, 52597], [0, 52597], [0, 52597], [0, 0], [0, 0], [0, 0], [0, 0], [1, 50611], [1, 50611], [1, 50611]][[0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [1, 50611], [1, 50611], [1, 50611]]Failed
control: wrap past last step[[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]][[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]Passed
control: two element file[[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]][[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]Passed
control: reset with advance[[0, 170], [0, 170], [0, 170], [1, 426]][[0, 170], [0, 170], [0, 170], [1, 426]]Passed
regression: scenario 2[[1, 5877], [1, 5877], [1, 5877], [1, 5877], [2, 5658], [2, 5658], [2, 5658], [2, 5658], [0, 5632], [0, 5632]][[1, 5877], [1, 5877], [1, 5877], [1, 5877], [2, 5658], [2, 5658], [2, 5658], [2, 5658], [0, 5658], [0, 5658]]Failed
control: scenario 3[[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]][[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]]Passed
control: scenario 4[[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]][[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]]Passed

SHA-256 / ef792e15a5bc6ea63ebc906d50584f44e396586816c683be16c0af739f479afc

3 / The verified repair

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

N = 1
observations = []
def solve(words, mask, start_dest, steps):
    pos = 0
    dest = start_dest
    prev = False
    length = len(words) - 1
    out = []
    for en, res in steps:
        en = bool(en)
        if res:
            pos = 0
        elif en and not prev:
            pos += 1
            if pos > length:
                pos = 1
            dest = (dest & ~mask & 0xFFFF) | (words[pos] & mask)
        prev = en
        out.append([pos, dest])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['regression: scenario 1',
   [[26918, 50611, 8879, 59828],
    65535,
    52597,
    [[False, False],
     [False, False],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False]]],
   [[0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [0, 52597],
    [1, 50611],
    [1, 50611],
    [1, 50611]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 2',
   [[42968, 29173, 43546],
    255,
    5794,
    [[True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, True],
     [False, False]]],
   [[1, 5877],
    [1, 5877],
    [1, 5877],
    [1, 5877],
    [2, 5658],
    [2, 5658],
    [2, 5658],
    [2, 5658],
    [0, 5658],
    [0, 5658]]],
  ['control: scenario 3',
   [[16785, 47110, 21847, 45361],
    61440,
    41889,
    [[True, False],
     [True, False],
     [True, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False]]],
   [[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]]],
  ['control: scenario 4',
   [[26660, 61415, 54040],
    65535,
    45106,
    [[True, False], [True, False], [True, False], [False, False], [False, False], [True, False]]],
   [[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]]]],
 [['regression: scenario 2',
   [[43079, 20640, 23622, 26553],
    255,
    15109,
    [[False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [False, True]]],
   [[0, 15109],
    [0, 15109],
    [1, 15264],
    [1, 15264],
    [1, 15264],
    [1, 15264],
    [2, 15174],
    [2, 15174],
    [2, 15174],
    [2, 15174],
    [3, 15289],
    [0, 15289]]],
  ['regression: scenario 6',
   [[49034, 36252],
    255,
    16341,
    [[True, False],
     [True, False],
     [True, False],
     [True, True],
     [True, False],
     [True, False],
     [False, False],
     [False, True],
     [True, False]]],
   [[1, 16284],
    [1, 16284],
    [1, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [0, 16284],
    [1, 16284]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['control: scenario 1',
   [[8488, 43469, 38296, 4034],
    255,
    44563,
    [[False, False],
     [True, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False]]],
   [[0, 44563],
    [1, 44749],
    [1, 44749],
    [1, 44749],
    [1, 44749],
    [2, 44696],
    [2, 44696],
    [3, 44738],
    [3, 44738],
    [1, 44749],
    [1, 44749],
    [2, 44696]]],
  ['control: scenario 3',
   [[16618, 36272, 41924, 55813],
    3855,
    48911,
    [[True, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False]]],
   [[1, 48384], [1, 48384], [1, 48384], [1, 48384], [1, 48384], [2, 45828], [2, 45828]]]],
 [['regression: scenario 2',
   [[36741, 30504],
    65535,
    26589,
    [[True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [False, False],
     [True, True],
     [True, False],
     [False, False]]],
   [[1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [1, 30504],
    [0, 30504],
    [0, 30504],
    [0, 30504]]],
  ['regression: scenario 3',
   [[45414, 65173, 31151, 4829],
    3855,
    46402,
    [[False, True],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [True, False]]],
   [[0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [0, 46402],
    [1, 48709],
    [1, 48709],
    [1, 48709]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 1',
   [[38610, 2229],
    65535,
    14704,
    [[False, False],
     [False, False],
     [False, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, True],
     [False, False]]],
   [[0, 14704], [0, 14704], [0, 14704], [0, 14704], [0, 14704], [1, 2229], [1, 2229], [0, 2229], [0, 2229]]],
  ['regression: scenario 4',
   [[29784, 63854],
    255,
    25258,
    [[False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, True],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, True],
     [False, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 25258],
    [1, 25198],
    [1, 25198],
    [1, 25198],
    [0, 25198],
    [0, 25198],
    [0, 25198],
    [1, 25198],
    [1, 25198],
    [0, 25198],
    [0, 25198],
    [0, 25198],
    [1, 25198],
    [0, 25198]]]],
 [['regression: scenario 5',
   [[47154, 32327, 23912, 32399],
    3855,
    21368,
    [[False, True],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 21368],
    [0, 21368],
    [0, 21368],
    [1, 24183],
    [1, 24183],
    [1, 24183],
    [2, 23928],
    [2, 23928],
    [2, 23928],
    [3, 24191],
    [0, 24191]]],
  ['regression: scenario 6',
   [[41259, 64194, 24167],
    255,
    50548,
    [[True, False],
     [False, False],
     [True, True],
     [False, False],
     [True, False],
     [True, False],
     [False, False]]],
   [[1, 50626], [1, 50626], [0, 50626], [0, 50626], [1, 50626], [1, 50626], [1, 50626]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['control: scenario 1',
   [[61786, 58708],
    255,
    45362,
    [[False, False],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[0, 45362], [0, 45362], [0, 45362], [1, 45396], [1, 45396], [1, 45396], [1, 45396]]],
  ['control: scenario 2',
   [[57902, 51779],
    61440,
    26811,
    [[True, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387], [1, 51387]]]],
 [['regression: scenario 5',
   [[50120, 43705, 18219, 64249, 48621],
    65535,
    42460,
    [[False, False],
     [False, True],
     [False, False],
     [False, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False]]],
   [[0, 42460], [0, 42460], [0, 42460], [0, 42460], [1, 43705], [1, 43705], [1, 43705], [2, 18219]]],
  ['regression: scenario 6',
   [[49875, 17863, 34135],
    3855,
    57202,
    [[False, False], [True, False], [True, False], [True, True], [False, False], [False, False]]],
   [[0, 57202], [1, 54647], [1, 54647], [0, 54647], [0, 54647], [0, 54647]]],
  ['control: wrap past last step',
   [[0, 17, 34],
    255,
    43776,
    [[True, False], [False, False], [True, False], [False, False], [True, False], [True, False]]],
   [[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]],
  ['control: two element file',
   [[5, 9], 65535, 0, [[True, False], [False, False], [True, False], [False, False], [True, False]]],
   [[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]],
  ['regression: reset while enabled',
   [[0, 3, 12], 15, 65520, [[True, False], [True, True], [False, False], [True, False]]],
   [[1, 65523], [0, 65523], [0, 65523], [1, 65523]]],
  ['control: reset with advance',
   [[0, 256, 512], 65280, 170, [[False, False], [True, True], [False, False], [True, False]]],
   [[0, 170], [0, 170], [0, 170], [1, 426]]],
  ['regression: scenario 1',
   [[39974, 26951],
    3855,
    4546,
    [[False, False],
     [False, False],
     [True, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, True]]],
   [[0, 4546],
    [0, 4546],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [1, 6599],
    [0, 6599]]],
  ['regression: scenario 2',
   [[43067, 57880, 6921, 33106, 51712],
    255,
    13830,
    [[True, False],
     [False, False],
     [False, False],
     [True, False],
     [True, False],
     [False, False],
     [True, False],
     [False, False],
     [True, True],
     [True, True],
     [False, False],
     [True, False],
     [False, False]]],
   [[1, 13848],
    [1, 13848],
    [1, 13848],
    [2, 13833],
    [2, 13833],
    [2, 13833],
    [3, 13906],
    [3, 13906],
    [0, 13906],
    [0, 13906],
    [0, 13906],
    [1, 13848],
    [1, 13848]]]]]
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: reset while enabled[[1, 65523], [0, 65523], [0, 65523], [1, 65523]][[1, 65523], [0, 65523], [0, 65523], [1, 65523]]Passed
regression: scenario 1[[0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [1, 50611], [1, 50611], [1, 50611]][[0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [0, 52597], [1, 50611], [1, 50611], [1, 50611]]Passed
control: wrap past last step[[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]][[1, 43793], [1, 43793], [2, 43810], [2, 43810], [1, 43793], [1, 43793]]Passed
control: two element file[[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]][[1, 9], [1, 9], [1, 9], [1, 9], [1, 9]]Passed
control: reset with advance[[0, 170], [0, 170], [0, 170], [1, 426]][[0, 170], [0, 170], [0, 170], [1, 426]]Passed
regression: scenario 2[[1, 5877], [1, 5877], [1, 5877], [1, 5877], [2, 5658], [2, 5658], [2, 5658], [2, 5658], [0, 5658], [0, 5658]][[1, 5877], [1, 5877], [1, 5877], [1, 5877], [2, 5658], [2, 5658], [2, 5658], [2, 5658], [0, 5658], [0, 5658]]Passed
control: scenario 3[[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]][[1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985], [1, 45985]]Passed
control: scenario 4[[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]][[1, 61415], [1, 61415], [1, 61415], [1, 61415], [1, 61415], [2, 54040]]Passed

SHA-256 / 91c2a3eeda98258bcfe27fa2e0a07432184345b801c439eb972adf00cd19e6ef

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:42.508798+00:00.

Case digest / afd8c425812e8ab861a144a35541e2c85f55705510ae04c7b319af624a575447