{"abstract":"DN turns off as soon as the count passes the preset.","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.","evaluation_group":"w2-plc-ladder-logic-scan-cycles-ctu-ctd-counter","failed_approach":"Requiring a positive accumulator breaks non-positive presets.","family":"w2-plc-ladder-logic-scan-cycles-ctu-ctd-counter-done-compare","id":"FA-91941","implementations":{"attempt":{"sha256":"b58ce7d7a6b45bd50c1e2cd265babc5c8bbcc2eea2d000de72470d57df6facfe","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:\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 and acc > 0, ov, un])\n return out\ndef check(label, actual, expected):\n observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: 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 ['regression: 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: 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: 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 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: 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: scenario 5',\n [0,\n 0,\n [[False, False, False],\n [False, True, False],\n [False, False, False],\n [True, False, False],\n [False, False, False],\n [True, True, False],\n [False, True, False]]],\n [[0, True, False, False],\n [-1, False, 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 ['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 ['regression: 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: 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: 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 ['control: 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 ['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 ['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 ['regression: 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 ['regression: 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: 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 [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 ['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 3',\n [5,\n 32765,\n [[True, False, False],\n [True, False, False],\n [True, False, False],\n [True, True, False],\n [True, True, False],\n [True, False, False]]],\n [[32766, True, False, False],\n [32766, True, False, False],\n [32766, True, False, False],\n [32765, True, False, False],\n [32765, True, False, False],\n [32765, True, False, False]]],\n ['regression: scenario 13',\n [-1,\n 1,\n [[False, True, False],\n [False, False, True],\n [True, False, False],\n [True, True, False],\n [False, True, False],\n [True, False, False],\n [True, False, False],\n [True, False, False]]],\n [[0, 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, True, False, False],\n [1, True, False, False],\n [1, 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 ['regression: 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 ['regression: 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: 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: 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 3',\n [-32768,\n 32767,\n [[False, False, False],\n [True, False, False],\n [False, True, False],\n [True, False, False],\n [False, True, False],\n [True, True, False],\n [True, False, False],\n [False, False, False],\n [False, False, False],\n [False, True, False],\n [True, False, True],\n [False, False, False],\n [True, False, False],\n [True, False, False]]],\n [[32767, True, False, False],\n [-32768, True, True, False],\n [32767, True, True, True],\n [-32768, True, True, True],\n [32767, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [32767, True, True, True],\n [0, True, False, False],\n [0, True, False, False],\n [1, True, False, False],\n [1, True, 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 ['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 ['regression: 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 ['regression: 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: 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":"d1e9801216edc6e8b421f0440f278c2c96016a39df2aa0378ca03438d21ee8a9","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:\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: 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 ['regression: 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: 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: 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 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: 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: scenario 5',\n [0,\n 0,\n [[False, False, False],\n [False, True, False],\n [False, False, False],\n [True, False, False],\n [False, False, False],\n [True, True, False],\n [False, True, False]]],\n [[0, True, False, False],\n [-1, False, 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 ['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 ['regression: 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: 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: 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 ['control: 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 ['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 ['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 ['regression: 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 ['regression: 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: 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 [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 ['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 3',\n [5,\n 32765,\n [[True, False, False],\n [True, False, False],\n [True, False, False],\n [True, True, False],\n [True, True, False],\n [True, False, False]]],\n [[32766, True, False, False],\n [32766, True, False, False],\n [32766, True, False, False],\n [32765, True, False, False],\n [32765, True, False, False],\n [32765, True, False, False]]],\n ['regression: scenario 13',\n [-1,\n 1,\n [[False, True, False],\n [False, False, True],\n [True, False, False],\n [True, True, False],\n [False, True, False],\n [True, False, False],\n [True, False, False],\n [True, False, False]]],\n [[0, 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, True, False, False],\n [1, True, False, False],\n [1, 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 ['regression: 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 ['regression: 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: 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: 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 3',\n [-32768,\n 32767,\n [[False, False, False],\n [True, False, False],\n [False, True, False],\n [True, False, False],\n [False, True, False],\n [True, True, False],\n [True, False, False],\n [False, False, False],\n [False, False, False],\n [False, True, False],\n [True, False, True],\n [False, False, False],\n [True, False, False],\n [True, False, False]]],\n [[32767, True, False, False],\n [-32768, True, True, False],\n [32767, True, True, True],\n [-32768, True, True, True],\n [32767, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [32767, True, True, True],\n [0, True, False, False],\n [0, True, False, False],\n [1, True, False, False],\n [1, True, 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 ['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 ['regression: 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 ['regression: 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: 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"},"fixed":{"sha256":"26c14fff96d81cae3d644cc09b154646037d135cff04d3ed6e342ff61e918332","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:\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: 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 ['regression: 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: 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: 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 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: 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: scenario 5',\n [0,\n 0,\n [[False, False, False],\n [False, True, False],\n [False, False, False],\n [True, False, False],\n [False, False, False],\n [True, True, False],\n [False, True, False]]],\n [[0, True, False, False],\n [-1, False, 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 ['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 ['regression: 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: 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: 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 ['control: 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 ['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 ['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 ['regression: 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 ['regression: 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: 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 [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 ['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 3',\n [5,\n 32765,\n [[True, False, False],\n [True, False, False],\n [True, False, False],\n [True, True, False],\n [True, True, False],\n [True, False, False]]],\n [[32766, True, False, False],\n [32766, True, False, False],\n [32766, True, False, False],\n [32765, True, False, False],\n [32765, True, False, False],\n [32765, True, False, False]]],\n ['regression: scenario 13',\n [-1,\n 1,\n [[False, True, False],\n [False, False, True],\n [True, False, False],\n [True, True, False],\n [False, True, False],\n [True, False, False],\n [True, False, False],\n [True, False, False]]],\n [[0, 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, True, False, False],\n [1, True, False, False],\n [1, 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 ['regression: 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 ['regression: 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: 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: 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 3',\n [-32768,\n 32767,\n [[False, False, False],\n [True, False, False],\n [False, True, False],\n [True, False, False],\n [False, True, False],\n [True, True, False],\n [True, False, False],\n [False, False, False],\n [False, False, False],\n [False, True, False],\n [True, False, True],\n [False, False, False],\n [True, False, False],\n [True, False, False]]],\n [[32767, True, False, False],\n [-32768, True, True, False],\n [32767, True, True, True],\n [-32768, True, True, True],\n [32767, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [-32768, True, True, True],\n [32767, True, True, True],\n [0, True, False, False],\n [0, True, False, False],\n [1, True, False, False],\n [1, True, 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 ['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 ['regression: 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 ['regression: 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: 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-done-compare","generated_at":"2026-09-29T14:51:41.009452+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.","repair":"Set DN when ACC >= preset.","root_cause":"DN is computed with equality instead of greater-or-equal.","sha256":"21a8166b18a5c329707d54c2e934a6059e53fdfcd94363ff3caa8ba5614ff27e","title":"Counter done bit only matches the exact preset ยท case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.774,"exit_code":1,"observations":[{"actual":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[-32767,false,true,false]],"check":"regression: 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,false,false,false],[0,false,false,false]],"check":"regression: 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":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":[[0,false,false,false],[0,false,false,false],[1,true,false,false],[0,false,false,false],[0,false,false,false]],"check":"control: simultaneous edges","expected":[[0,false,false,false],[0,false,false,false],[1,true,false,false],[0,false,false,false],[0,false,false,false]],"passed":true},{"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":[[2,true,false,false],[2,true,false,false],[2,true,false,false],[0,false,false,false],[0,false,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false],[1,true,false,false]],"check":"regression: 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":false},{"actual":[[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]],"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":true},{"actual":[[32766,true,false,false],[32766,true,false,false],[32766,true,false,false],[32767,true,false,false],[32767,true,false,false],[0,false,false,false],[1,true,false,false],[1,true,false,false],[0,false,false,false],[0,false,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: 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\": \"regression: underflow then reset\", \"actual\": [[-32768, false, false, false], [-32768, false, false, false], [32767, true, false, true], [0, false, false, false], [0, false, false, false]], \"expected\": [[-32768, false, false, false], [-32768, false, false, false], [32767, true, false, true], [0, true, false, false], [0, 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: simultaneous edges\", \"actual\": [[0, false, false, false], [0, false, false, false], [1, true, false, false], [0, false, false, false], [0, false, false, false]], \"expected\": [[0, false, false, false], [0, false, false, false], [1, true, false, false], [0, false, false, false], [0, false, false, false]], \"passed\": true}, {\"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\": \"regression: scenario 1\", \"actual\": [[2, true, false, false], [2, true, false, false], [2, true, false, false], [0, false, false, false], [0, false, 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\": false}, {\"check\": \"regression: scenario 2\", \"actual\": [[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]], \"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\": true}, {\"check\": \"regression: scenario 3\", \"actual\": [[32766, true, false, false], [32766, true, false, false], [32766, true, false, false], [32767, true, false, false], [32767, true, false, false], [0, false, false, false], [1, true, false, false], [1, true, false, false], [0, false, false, false], [0, false, 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"},"broken":{"elapsed_ms":42.133,"exit_code":1,"observations":[{"actual":[[32767,false,false,false],[32767,false,false,false],[-32768,false,true,false],[-32768,false,true,false],[-32767,false,true,false]],"check":"regression: overflow wrap","expected":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[-32767,false,true,false]],"passed":false},{"actual":[[-32768,false,false,false],[-32768,false,false,false],[32767,false,false,true],[0,true,false,false],[0,true,false,false]],"check":"regression: 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":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":[[0,false,false,false],[0,false,false,false],[1,true,false,false],[0,false,false,false],[0,false,false,false]],"check":"control: simultaneous edges","expected":[[0,false,false,false],[0,false,false,false],[1,true,false,false],[0,false,false,false],[0,false,false,false]],"passed":true},{"actual":[[6,false,false,false],[5,false,false,false],[5,false,false,false],[4,false,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":[[2,false,false,false],[2,false,false,false],[2,false,false,false],[0,true,false,false],[0,true,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false],[1,false,false,false]],"check":"regression: 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":false},{"actual":[[32766,false,false,false],[32766,false,false,false],[32766,false,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]],"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":[[32766,false,false,false],[32766,false,false,false],[32766,false,false,false],[32767,false,false,false],[32767,false,false,false],[0,true,false,false],[1,false,false,false],[1,false,false,false],[0,true,false,false],[0,true,false,false],[1,false,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: overflow wrap\", \"actual\": [[32767, false, false, false], [32767, false, 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\": false}, {\"check\": \"regression: underflow then reset\", \"actual\": [[-32768, false, false, false], [-32768, false, false, false], [32767, false, 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\": 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: simultaneous edges\", \"actual\": [[0, false, false, false], [0, false, false, false], [1, true, false, false], [0, false, false, false], [0, false, false, false]], \"expected\": [[0, false, false, false], [0, false, false, false], [1, true, false, false], [0, false, false, false], [0, false, false, false]], \"passed\": true}, {\"check\": \"regression: count down while up held\", \"actual\": [[6, false, false, false], [5, false, false, false], [5, false, false, false], [4, false, false, false]], \"expected\": [[6, true, false, false], [5, true, false, false], [5, true, false, false], [4, true, false, false]], \"passed\": false}, {\"check\": \"regression: scenario 1\", \"actual\": [[2, false, false, false], [2, false, false, false], [2, false, false, false], [0, true, false, false], [0, true, false, false], [1, false, false, false], [1, false, false, false], [1, false, false, false], [1, false, 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\": false}, {\"check\": \"regression: scenario 2\", \"actual\": [[32766, false, false, false], [32766, false, false, false], [32766, false, 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]], \"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\": [[32766, false, false, false], [32766, false, false, false], [32766, false, false, false], [32767, false, false, false], [32767, false, false, false], [0, true, false, false], [1, false, false, false], [1, false, false, false], [0, true, false, false], [0, true, false, false], [1, false, 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"},"fixed":{"elapsed_ms":41.488,"exit_code":0,"observations":[{"actual":[[32767,true,false,false],[32767,true,false,false],[-32768,false,true,false],[-32768,false,true,false],[-32767,false,true,false]],"check":"regression: 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":"regression: 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":[[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":[[0,false,false,false],[0,false,false,false],[1,true,false,false],[0,false,false,false],[0,false,false,false]],"check":"control: simultaneous edges","expected":[[0,false,false,false],[0,false,false,false],[1,true,false,false],[0,false,false,false],[0,false,false,false]],"passed":true},{"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":[[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":"regression: 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":[[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]],"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":true},{"actual":[[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]],"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":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: 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\": \"regression: 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: 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: simultaneous edges\", \"actual\": [[0, false, false, false], [0, false, false, false], [1, true, false, false], [0, false, false, false], [0, false, false, false]], \"expected\": [[0, false, false, false], [0, false, false, false], [1, true, false, false], [0, false, false, false], [0, false, false, false]], \"passed\": true}, {\"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\": \"regression: 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\": [[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]], \"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\": true}, {\"check\": \"regression: scenario 3\", \"actual\": [[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]], \"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\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}