{"abstract":"Coincident CU and CD edges net +1 instead of cancelling.","category":"PLC ladder logic scan cycles","checks":8,"contract":"Up/down counter pair sharing one 16-bit signed accumulator, evaluated per scan; scans is a list of [cu, cd, res]. CU counts on its rising edge and CD on its own rising edge (both in one scan cancel). Incrementing 32767 wraps to -32768 and latches OV; decrementing -32768 wraps to 32767 and latches UN. A later RES rung clears ACC, OV and UN but not the edge memories. DN is ACC >= preset. Return [ACC, DN, OV, UN] per scan.","contract_signature":"preset, start, scans","evaluation_group":"w2-plc-ladder-logic-scan-cycles-ctu-ctd-counter","failed_approach":"Suppressing CD whenever CU is high still drops down edges while the up input is merely held.","family":"w2-plc-ladder-logic-scan-cycles-ctu-ctd-counter-simultaneous-edges","id":"FA-91946","implementations":{"attempt":{"sha256":"4ce22ad8db902168dcc35daf56761cb2c41d9f9a776d43302669c4723df24108","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(preset, start, scans):\n    acc = start\n    ov = False\n    un = False\n    pcu = False\n    pcd = False\n    out = []\n    for cu, cd, res in scans:\n        cu = bool(cu)\n        cd = bool(cd)\n        if cu and not pcu:\n            acc += 1\n            if acc > 32767:\n                acc = -32768\n                ov = True\n        if cd and not pcd and not cu:\n            acc -= 1\n            if acc < -32768:\n                acc = 32767\n                un = True\n        pcu = cu\n        pcd = cd\n        if res:\n            acc = 0\n            ov = False\n            un = False\n        out.append([acc, acc >= preset, ov, un])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['control: scenario 1',\n   [0,\n    1,\n    [[True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, True],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [False, False, False],\n     [False, False, False]]],\n   [[2, True, False, False],\n    [2, True, False, False],\n    [2, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False]]],\n  ['regression: scenario 2',\n   [3,\n    32766,\n    [[True, True, False],\n     [False, False, False],\n     [True, True, False],\n     [False, False, True],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, True, False],\n     [False, False, False],\n     [True, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, False]]],\n   [[32766, True, False, False],\n    [32766, True, False, False],\n    [32766, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: scenario 3',\n   [0,\n    32766,\n    [[True, True, False],\n     [True, True, False],\n     [False, True, False],\n     [True, True, False],\n     [True, False, False],\n     [False, True, True],\n     [True, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32766, True, False, False],\n    [32766, True, False, False],\n    [32766, True, False, False],\n    [32767, True, False, False],\n    [32767, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False]]]],\n [['regression: scenario 2',\n   [2,\n    0,\n    [[True, False, False],\n     [False, False, False],\n     [True, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [True, False, False],\n     [False, False, False],\n     [True, True, False]]],\n   [[1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['control: scenario 1',\n   [2,\n    -32767,\n    [[True, False, False],\n     [True, False, False],\n     [False, False, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, False, False]]],\n   [[-32766, False, False, False],\n    [-32766, False, False, False],\n    [-32766, False, False, False],\n    [-32766, False, False, False],\n    [-32767, False, False, False],\n    [-32767, False, False, False],\n    [-32766, False, False, False],\n    [-32766, False, False, False]]],\n  ['regression: scenario 3',\n   [-1,\n    32765,\n    [[False, False, False],\n     [False, False, True],\n     [True, False, False],\n     [False, False, False],\n     [True, True, False],\n     [True, False, False]]],\n   [[32765, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False]]]],\n [['regression: scenario 3',\n   [0,\n    32767,\n    [[False, False, False],\n     [False, False, False],\n     [True, True, False],\n     [True, False, True],\n     [False, False, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, False],\n     [False, False, False],\n     [False, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [32767, True, True, True],\n    [0, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [-2, False, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [-2, False, False, False],\n    [-2, False, False, False],\n    [-2, False, False, False]]],\n  ['regression: scenario 1',\n   [3,\n    32765,\n    [[True, False, True],\n     [True, False, False],\n     [True, False, True],\n     [False, True, False],\n     [True, False, False],\n     [True, True, True],\n     [False, True, False],\n     [False, False, False],\n     [True, True, False],\n     [False, True, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [-1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [2, False, False, False],\n    [1, False, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['regression: scenario 2',\n   [0,\n    32765,\n    [[False, False, False],\n     [False, True, True],\n     [True, False, False],\n     [True, True, False],\n     [False, False, False],\n     [False, True, False],\n     [True, False, False],\n     [True, False, True],\n     [True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [True, True, False],\n     [True, False, False]]],\n   [[32765, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [-1, False, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False]]]],\n [['regression: scenario 8',\n   [2,\n    32767,\n    [[False, False, False],\n     [True, True, False],\n     [True, False, False],\n     [False, True, False],\n     [False, True, False],\n     [False, False, True]]],\n   [[32767, True, False, False],\n    [32767, True, True, True],\n    [32767, True, True, True],\n    [32766, True, True, True],\n    [32766, True, True, True],\n    [0, False, False, False]]],\n  ['regression: scenario 2',\n   [32767,\n    -2,\n    [[False, False, False],\n     [True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, False, False],\n     [False, False, False],\n     [False, True, False],\n     [True, True, False]]],\n   [[-2, False, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [-2, False, False, False],\n    [-2, False, False, False],\n    [-2, False, False, False],\n    [-3, False, False, False],\n    [-2, False, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['regression: scenario 1',\n   [32767,\n    32766,\n    [[False, False, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [False, True, False],\n     [True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, True],\n     [True, False, False],\n     [False, False, False],\n     [False, False, False]]],\n   [[32766, False, False, False],\n    [32766, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [2, False, False, False],\n    [2, False, False, False],\n    [2, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False]]]],\n [['regression: scenario 9',\n   [0,\n    1,\n    [[True, False, False],\n     [False, True, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, False],\n     [False, False, False],\n     [True, True, False],\n     [True, False, False],\n     [True, True, False],\n     [True, False, False],\n     [True, True, False]]],\n   [[2, True, False, False],\n    [1, True, False, False],\n    [2, True, False, False],\n    [2, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [-1, False, False, False]]],\n  ['regression: scenario 4',\n   [3,\n    1,\n    [[True, False, False],\n     [False, False, False],\n     [False, True, False],\n     [False, True, True],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False]]],\n   [[2, False, False, False],\n    [2, False, False, False],\n    [1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [2, False, False, False],\n    [1, False, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['regression: scenario 1',\n   [0,\n    -2,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [True, False, False],\n     [False, False, True],\n     [True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[-1, False, False, False],\n    [-1, False, False, False],\n    [0, True, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False]]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"237de265703716b46abf973f1cb1e56cc8a650275bdc360d97dd2d7f59468858","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(preset, start, scans):\n    acc = start\n    ov = False\n    un = False\n    pcu = False\n    pcd = False\n    out = []\n    for cu, cd, res in scans:\n        cu = bool(cu)\n        cd = bool(cd)\n        if cu and not pcu:\n            acc += 1\n            if acc > 32767:\n                acc = -32768\n                ov = True\n        elif cd and not pcd:\n            acc -= 1\n            if acc < -32768:\n                acc = 32767\n                un = True\n        pcu = cu\n        pcd = cd\n        if res:\n            acc = 0\n            ov = False\n            un = False\n        out.append([acc, acc >= preset, ov, un])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['control: scenario 1',\n   [0,\n    1,\n    [[True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, True],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [False, False, False],\n     [False, False, False]]],\n   [[2, True, False, False],\n    [2, True, False, False],\n    [2, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False]]],\n  ['regression: scenario 2',\n   [3,\n    32766,\n    [[True, True, False],\n     [False, False, False],\n     [True, True, False],\n     [False, False, True],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, True, False],\n     [False, False, False],\n     [True, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, False]]],\n   [[32766, True, False, False],\n    [32766, True, False, False],\n    [32766, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: scenario 3',\n   [0,\n    32766,\n    [[True, True, False],\n     [True, True, False],\n     [False, True, False],\n     [True, True, False],\n     [True, False, False],\n     [False, True, True],\n     [True, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32766, True, False, False],\n    [32766, True, False, False],\n    [32766, True, False, False],\n    [32767, True, False, False],\n    [32767, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False]]]],\n [['regression: scenario 2',\n   [2,\n    0,\n    [[True, False, False],\n     [False, False, False],\n     [True, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [True, False, False],\n     [False, False, False],\n     [True, True, False]]],\n   [[1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['control: scenario 1',\n   [2,\n    -32767,\n    [[True, False, False],\n     [True, False, False],\n     [False, False, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, False, False]]],\n   [[-32766, False, False, False],\n    [-32766, False, False, False],\n    [-32766, False, False, False],\n    [-32766, False, False, False],\n    [-32767, False, False, False],\n    [-32767, False, False, False],\n    [-32766, False, False, False],\n    [-32766, False, False, False]]],\n  ['regression: scenario 3',\n   [-1,\n    32765,\n    [[False, False, False],\n     [False, False, True],\n     [True, False, False],\n     [False, False, False],\n     [True, True, False],\n     [True, False, False]]],\n   [[32765, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False]]]],\n [['regression: scenario 3',\n   [0,\n    32767,\n    [[False, False, False],\n     [False, False, False],\n     [True, True, False],\n     [True, False, True],\n     [False, False, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, False],\n     [False, False, False],\n     [False, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [32767, True, True, True],\n    [0, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [-2, False, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [-2, False, False, False],\n    [-2, False, False, False],\n    [-2, False, False, False]]],\n  ['regression: scenario 1',\n   [3,\n    32765,\n    [[True, False, True],\n     [True, False, False],\n     [True, False, True],\n     [False, True, False],\n     [True, False, False],\n     [True, True, True],\n     [False, True, False],\n     [False, False, False],\n     [True, True, False],\n     [False, True, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [-1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [2, False, False, False],\n    [1, False, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['regression: scenario 2',\n   [0,\n    32765,\n    [[False, False, False],\n     [False, True, True],\n     [True, False, False],\n     [True, True, False],\n     [False, False, False],\n     [False, True, False],\n     [True, False, False],\n     [True, False, True],\n     [True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [True, True, False],\n     [True, False, False]]],\n   [[32765, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [-1, False, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False]]]],\n [['regression: scenario 8',\n   [2,\n    32767,\n    [[False, False, False],\n     [True, True, False],\n     [True, False, False],\n     [False, True, False],\n     [False, True, False],\n     [False, False, True]]],\n   [[32767, True, False, False],\n    [32767, True, True, True],\n    [32767, True, True, True],\n    [32766, True, True, True],\n    [32766, True, True, True],\n    [0, False, False, False]]],\n  ['regression: scenario 2',\n   [32767,\n    -2,\n    [[False, False, False],\n     [True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, False, False],\n     [False, False, False],\n     [False, True, False],\n     [True, True, False]]],\n   [[-2, False, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [-2, False, False, False],\n    [-2, False, False, False],\n    [-2, False, False, False],\n    [-3, False, False, False],\n    [-2, False, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['regression: scenario 1',\n   [32767,\n    32766,\n    [[False, False, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [False, True, False],\n     [True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, True],\n     [True, False, False],\n     [False, False, False],\n     [False, False, False]]],\n   [[32766, False, False, False],\n    [32766, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [2, False, False, False],\n    [2, False, False, False],\n    [2, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False]]]],\n [['regression: scenario 9',\n   [0,\n    1,\n    [[True, False, False],\n     [False, True, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, False],\n     [False, False, False],\n     [True, True, False],\n     [True, False, False],\n     [True, True, False],\n     [True, False, False],\n     [True, True, False]]],\n   [[2, True, False, False],\n    [1, True, False, False],\n    [2, True, False, False],\n    [2, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [-1, False, False, False]]],\n  ['regression: scenario 4',\n   [3,\n    1,\n    [[True, False, False],\n     [False, False, False],\n     [False, True, False],\n     [False, True, True],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False]]],\n   [[2, False, False, False],\n    [2, False, False, False],\n    [1, False, False, False],\n    [0, False, False, False],\n    [0, False, False, False],\n    [1, False, False, False],\n    [1, False, False, False],\n    [2, False, False, False],\n    [1, False, False, False]]],\n  ['control: held count input',\n   [3, 0, [[True, False, False], [True, False, False], [False, False, False], [True, False, False]]],\n   [[1, False, False, False], [1, False, False, False], [1, False, False, False], [2, False, False, False]]],\n  ['control: overflow wrap',\n   [0,\n    32766,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[32767, True, False, False],\n    [32767, True, False, False],\n    [-32768, False, True, False],\n    [-32768, False, True, False],\n    [-32767, False, True, False]]],\n  ['control: underflow then reset',\n   [0,\n    -32767,\n    [[False, True, False],\n     [False, False, False],\n     [False, True, False],\n     [False, False, True],\n     [False, False, False]]],\n   [[-32768, False, False, False],\n    [-32768, False, False, False],\n    [32767, True, False, True],\n    [0, True, False, False],\n    [0, True, False, False]]],\n  ['regression: simultaneous edges',\n   [1,\n    0,\n    [[True, True, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, False]]],\n   [[0, False, False, False],\n    [0, False, False, False],\n    [1, True, False, False],\n    [0, False, False, False],\n    [0, False, False, False]]],\n  ['regression: count down while up held',\n   [0, 5, [[True, False, False], [True, True, False], [True, False, False], [True, True, False]]],\n   [[6, True, False, False], [5, True, False, False], [5, True, False, False], [4, True, False, False]]],\n  ['regression: scenario 1',\n   [0,\n    -2,\n    [[True, False, False],\n     [False, False, False],\n     [True, False, False],\n     [True, True, False],\n     [True, False, False],\n     [False, False, True],\n     [True, False, False],\n     [True, False, False],\n     [True, False, False],\n     [False, True, False],\n     [False, False, False],\n     [True, False, False]]],\n   [[-1, False, False, False],\n    [-1, False, False, False],\n    [0, True, False, False],\n    [-1, False, False, False],\n    [-1, False, False, False],\n    [0, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [1, True, False, False],\n    [0, True, False, False],\n    [0, True, False, False],\n    [1, True, False, False]]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-plc-ladder-logic-scan-cycles-ctu-ctd-counter-simultaneous-edges","generated_at":"2026-09-29T14:51:41.059832+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"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.","root_cause":"The CD test is chained with elif after the CU test.","sha256":"aea227830fd1cb85bfe6a756e9b1f5a93328694ba7354d0ba89f442af73e9f7f","title":"Down count is skipped when an up count happens in the same scan · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.151,"exit_code":1,"observations":[{"actual":[[1,true,false,false],[1,true,false,false],[2,true,false,false],[2,true,false,false],[2,true,false,false]],"check":"regression: simultaneous edges","expected":[[0,false,false,false],[0,false,false,false],[1,true,false,false],[0,false,false,false],[0,false,false,false]],"passed":false},{"actual":[[6,true,false,false],[6,true,false,false],[6,true,false,false],[6,true,false,false]],"check":"regression: count down while up held","expected":[[6,true,false,false],[5,true,false,false],[5,true,false,false],[4,true,false,false]],"passed":false},{"actual":[[1,false,false,false],[1,false,false,false],[1,false,false,false],[2,false,false,false]],"check":"control: held count input","expected":[[1,false,false,false],[1,false,false,false],[1,false,false,false],[2,false,false,false]],"passed":true},{"actual":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[-32767,false,true,false]],"check":"control: overflow wrap","expected":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[-32767,false,true,false]],"passed":true},{"actual":[[-32768,false,false,false],[-32768,false,false,false],[32767,true,false,true],[0,true,false,false],[0,true,false,false]],"check":"control: underflow then reset","expected":[[-32768,false,false,false],[-32768,false,false,false],[32767,true,false,true],[0,true,false,false],[0,true,false,false]],"passed":true},{"actual":[[2,true,false,false],[2,true,false,false],[2,true,false,false],[0,true,false,false],[0,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false]],"check":"control: scenario 1","expected":[[2,true,false,false],[2,true,false,false],[2,true,false,false],[0,true,false,false],[0,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false]],"passed":true},{"actual":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[0,false,false,false],[0,false,false,false],[1,false,false,false],[1,false,false,false],[2,false,false,false],[2,false,false,false],[3,true,false,false],[3,true,false,false],[2,false,false,false],[2,false,false,false]],"check":"regression: scenario 2","expected":[[32766,true,false,false],[32766,true,false,false],[32766,true,false,false],[0,false,false,false],[0,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[0,false,false,false],[0,false,false,false]],"passed":false},{"actual":[[32767,true,false,false],[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[0,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false],[2,true,false,false]],"check":"regression: scenario 3","expected":[[32766,true,false,false],[32766,true,false,false],[32766,true,false,false],[32767,true,false,false],[32767,true,false,false],[0,true,false,false],[1,true,false,false],[1,true,false,false],[0,true,false,false],[0,true,false,false],[1,true,false,false]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: simultaneous edges\", \"actual\": [[1, true, false, false], [1, true, false, false], [2, true, false, false], [2, true, false, false], [2, true, false, false]], \"expected\": [[0, false, false, false], [0, false, false, false], [1, true, false, false], [0, false, false, false], [0, false, false, false]], \"passed\": false}, {\"check\": \"regression: count down while up held\", \"actual\": [[6, true, false, false], [6, true, false, false], [6, true, false, false], [6, true, false, false]], \"expected\": [[6, true, false, false], [5, true, false, false], [5, true, false, false], [4, true, false, false]], \"passed\": false}, {\"check\": \"control: held count input\", \"actual\": [[1, false, false, false], [1, false, false, false], [1, false, false, false], [2, false, false, false]], \"expected\": [[1, false, false, false], [1, false, false, false], [1, false, false, false], [2, false, false, false]], \"passed\": true}, {\"check\": \"control: overflow wrap\", \"actual\": [[32767, true, false, false], [32767, true, false, false], [-32768, false, true, false], [-32768, false, true, false], [-32767, false, true, false]], \"expected\": [[32767, true, false, false], [32767, true, false, false], [-32768, false, true, false], [-32768, false, true, false], [-32767, false, true, false]], \"passed\": true}, {\"check\": \"control: underflow then reset\", \"actual\": [[-32768, false, false, false], [-32768, false, false, false], [32767, true, false, true], [0, true, false, false], [0, true, false, false]], \"expected\": [[-32768, false, false, false], [-32768, false, false, false], [32767, true, false, true], [0, true, false, false], [0, true, false, false]], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [[2, true, false, false], [2, true, false, false], [2, true, false, false], [0, true, false, false], [0, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false]], \"expected\": [[2, true, false, false], [2, true, false, false], [2, true, false, false], [0, true, false, false], [0, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false]], \"passed\": true}, {\"check\": \"regression: scenario 2\", \"actual\": [[32767, true, false, false], [32767, true, false, false], [-32768, false, true, false], [0, false, false, false], [0, false, false, false], [1, false, false, false], [1, false, false, false], [2, false, false, false], [2, false, false, false], [3, true, false, false], [3, true, false, false], [2, false, false, false], [2, false, false, false]], \"expected\": [[32766, true, false, false], [32766, true, false, false], [32766, true, false, false], [0, false, false, false], [0, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [0, false, false, false], [0, false, false, false]], \"passed\": false}, {\"check\": \"regression: scenario 3\", \"actual\": [[32767, true, false, false], [32767, true, false, false], [32767, true, false, false], [-32768, false, true, false], [-32768, false, true, false], [0, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false], [2, true, false, false]], \"expected\": [[32766, true, false, false], [32766, true, false, false], [32766, true, false, false], [32767, true, false, false], [32767, true, false, false], [0, true, false, false], [1, true, false, false], [1, true, false, false], [0, true, false, false], [0, true, false, false], [1, true, false, false]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.357,"exit_code":1,"observations":[{"actual":[[1,true,false,false],[1,true,false,false],[2,true,false,false],[1,true,false,false],[1,true,false,false]],"check":"regression: simultaneous edges","expected":[[0,false,false,false],[0,false,false,false],[1,true,false,false],[0,false,false,false],[0,false,false,false]],"passed":false},{"actual":[[6,true,false,false],[5,true,false,false],[5,true,false,false],[4,true,false,false]],"check":"regression: count down while up held","expected":[[6,true,false,false],[5,true,false,false],[5,true,false,false],[4,true,false,false]],"passed":true},{"actual":[[1,false,false,false],[1,false,false,false],[1,false,false,false],[2,false,false,false]],"check":"control: held count input","expected":[[1,false,false,false],[1,false,false,false],[1,false,false,false],[2,false,false,false]],"passed":true},{"actual":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[-32767,false,true,false]],"check":"control: overflow wrap","expected":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[-32767,false,true,false]],"passed":true},{"actual":[[-32768,false,false,false],[-32768,false,false,false],[32767,true,false,true],[0,true,false,false],[0,true,false,false]],"check":"control: underflow then reset","expected":[[-32768,false,false,false],[-32768,false,false,false],[32767,true,false,true],[0,true,false,false],[0,true,false,false]],"passed":true},{"actual":[[2,true,false,false],[2,true,false,false],[2,true,false,false],[0,true,false,false],[0,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false]],"check":"control: scenario 1","expected":[[2,true,false,false],[2,true,false,false],[2,true,false,false],[0,true,false,false],[0,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false]],"passed":true},{"actual":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[0,false,false,false],[0,false,false,false],[1,false,false,false],[1,false,false,false],[2,false,false,false],[2,false,false,false],[3,true,false,false],[3,true,false,false],[2,false,false,false],[2,false,false,false]],"check":"regression: scenario 2","expected":[[32766,true,false,false],[32766,true,false,false],[32766,true,false,false],[0,false,false,false],[0,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[0,false,false,false],[0,false,false,false]],"passed":false},{"actual":[[32767,true,false,false],[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[0,true,false,false],[1,true,false,false],[1,true,false,false],[0,true,false,false],[0,true,false,false],[1,true,false,false]],"check":"regression: scenario 3","expected":[[32766,true,false,false],[32766,true,false,false],[32766,true,false,false],[32767,true,false,false],[32767,true,false,false],[0,true,false,false],[1,true,false,false],[1,true,false,false],[0,true,false,false],[0,true,false,false],[1,true,false,false]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: simultaneous edges\", \"actual\": [[1, true, false, false], [1, true, false, false], [2, true, false, false], [1, true, false, false], [1, true, false, false]], \"expected\": [[0, false, false, false], [0, false, false, false], [1, true, false, false], [0, false, false, false], [0, false, false, false]], \"passed\": false}, {\"check\": \"regression: count down while up held\", \"actual\": [[6, true, false, false], [5, true, false, false], [5, true, false, false], [4, true, false, false]], \"expected\": [[6, true, false, false], [5, true, false, false], [5, true, false, false], [4, true, false, false]], \"passed\": true}, {\"check\": \"control: held count input\", \"actual\": [[1, false, false, false], [1, false, false, false], [1, false, false, false], [2, false, false, false]], \"expected\": [[1, false, false, false], [1, false, false, false], [1, false, false, false], [2, false, false, false]], \"passed\": true}, {\"check\": \"control: overflow wrap\", \"actual\": [[32767, true, false, false], [32767, true, false, false], [-32768, false, true, false], [-32768, false, true, false], [-32767, false, true, false]], \"expected\": [[32767, true, false, false], [32767, true, false, false], [-32768, false, true, false], [-32768, false, true, false], [-32767, false, true, false]], \"passed\": true}, {\"check\": \"control: underflow then reset\", \"actual\": [[-32768, false, false, false], [-32768, false, false, false], [32767, true, false, true], [0, true, false, false], [0, true, false, false]], \"expected\": [[-32768, false, false, false], [-32768, false, false, false], [32767, true, false, true], [0, true, false, false], [0, true, false, false]], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [[2, true, false, false], [2, true, false, false], [2, true, false, false], [0, true, false, false], [0, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false]], \"expected\": [[2, true, false, false], [2, true, false, false], [2, true, false, false], [0, true, false, false], [0, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false], [1, true, false, false]], \"passed\": true}, {\"check\": \"regression: scenario 2\", \"actual\": [[32767, true, false, false], [32767, true, false, false], [-32768, false, true, false], [0, false, false, false], [0, false, false, false], [1, false, false, false], [1, false, false, false], [2, false, false, false], [2, false, false, false], [3, true, false, false], [3, true, false, false], [2, false, false, false], [2, false, false, false]], \"expected\": [[32766, true, false, false], [32766, true, false, false], [32766, true, false, false], [0, false, false, false], [0, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [0, false, false, false], [0, false, false, false]], \"passed\": false}, {\"check\": \"regression: scenario 3\", \"actual\": [[32767, true, false, false], [32767, true, false, false], [32767, true, false, false], [-32768, false, true, false], [-32768, false, true, false], [0, true, false, false], [1, true, false, false], [1, true, false, false], [0, true, false, false], [0, true, false, false], [1, true, false, false]], \"expected\": [[32766, true, false, false], [32766, true, false, false], [32766, true, false, false], [32767, true, false, false], [32767, true, false, false], [0, true, false, false], [1, true, false, false], [1, true, false, false], [0, true, false, false], [0, true, false, false], [1, true, false, false]], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}