{"abstract":"Outgoing messages point back towards the incoming belief instead of the extrinsic one.","category":"Error-correcting codes","checks":8,"contract":"Offset min-sum check-node update for LDPC decoding with integer LLRs. For each edge i the outgoing message is the product of the signs of all OTHER incoming LLRs (0 counts as positive) times max(min |other LLR| - beta, 0). Fewer than two edges returns None. Return the outgoing messages in edge order.","evaluation_group":"w2-error_correcting_codes-ldpc-offset-min-sum","failed_approach":"Taking the sign of the sum of the other LLRs lets one strong message outvote the parity of the signs.","family":"w2-error_correcting_codes-ldpc-offset-min-sum-extrinsic-sign","id":"FA-72091","implementations":{"attempt":{"sha256":"0e9664b92e913771ed8d6a8a5e3884c2f828d5b4a0e759add0a40d605f03d26a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(llrs, beta):\n    if len(llrs) < 2:\n        return None\n    out = []\n    for i in range(len(llrs)):\n        others = llrs[:i] + llrs[i + 1:]\n        sign = 1 if sum(others) >= 0 else -1\n        for v in others:\n            if v < 0:\n                pass\n        mag = min(abs(v) for v in others)\n        out.append(sign * max(mag - beta, 0))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[12, -11, -9, -2, 8, -3], 1]', [[12, -11, -9, -2, 8, -3], 1], [1, -1, -1, -2, 1, -1]], ['regression [[-3, 6], 2]', [[-3, 6], 2], [4, -1]], ['partial-repair [[12, 0, -10, 8], 1]', [[12, 0, -10, 8], 1], [0, -7, 0, 0]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]], ['control [[-2, -12, 2, -7, 10, 7], 2]', [[-2, -12, 2, -7, 10, 7], 2], [0, 0, 0, 0, 0, 0]], ['control [[3, -8], 3]', [[3, -8], 3], [-5, 0]], ['control [[12, 2], 3]', [[12, 2], 3], [0, 9]]], [['regression [[1, 7, -2], 0]', [[1, 7, -2], 0], [-2, -1, 1]], ['regression [[-3, 6], 3]', [[-3, 6], 3], [3, 0]], ['partial-repair [[-6, 10, 0], 1]', [[-6, 10, 0], 1], [0, 0, -5]], ['control [[-12, 7, -1, 8, 11, -2], 3]', [[-12, 7, -1, 8, 11, -2], 3], [0, 0, 0, 0, 0, 0]], ['control [[2, 4], 3]', [[2, 4], 3], [1, 0]], ['control [[1, 11], 2]', [[1, 11], 2], [9, 0]], ['control [[2, 2, 2], 3]', [[2, 2, 2], 3], [0, 0, 0]], ['control [[-1], 0]', [[-1], 0], None]], [['regression [[-10, 12, 6, 2], 0]', [[-10, 12, 6, 2], 0], [2, -2, -2, -6]], ['regression [[5, -12, -9], 3]', [[5, -12, -9], 3], [6, -2, -2]], ['partial-repair [[4, -9, -7, -9, 6], 3]', [[4, -9, -7, -9, 6], 3], [-3, 1, 1, 1, -1]], ['control [[3, -8, 1], 2]', [[3, -8, 1], 2], [0, 0, -1]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]], ['control [[-2, -12, 2, -7, 10, 7], 2]', [[-2, -12, 2, -7, 10, 7], 2], [0, 0, 0, 0, 0, 0]], ['control [[3, -8], 3]', [[3, -8], 3], [-5, 0]]], [['regression [[5, -3, -1, -4], 0]', [[5, -3, -1, -4], 0], [-1, 1, 3, 1]], ['regression [[11, 8, 12, -10], 1]', [[11, 8, 12, -10], 1], [-7, -9, -7, 7]], ['partial-repair [[11, -6, -1], 1]', [[11, -6, -1], 1], [0, 0, -5]], ['control [[12, 2], 3]', [[12, 2], 3], [0, 9]], ['control [[-12, 7, -1, 8, 11, -2], 3]', [[-12, 7, -1, 8, 11, -2], 3], [0, 0, 0, 0, 0, 0]], ['control [[2, 4], 3]', [[2, 4], 3], [1, 0]], ['control [[1, 11], 2]', [[1, 11], 2], [9, 0]], ['control [[2, 2, 2], 3]', [[2, 2, 2], 3], [0, 0, 0]]], [['regression [[-1, 2, -7], 1]', [[-1, 2, -7], 1], [-1, 0, 0]], ['regression [[5, -3], 1]', [[5, -3], 1], [-2, 4]], ['partial-repair [[0, -4, 6], 1]', [[0, -4, 6], 1], [-3, 0, 0]], ['partial-repair [[-7, -7, 1, 9], 0]', [[-7, -7, 1, 9], 0], [-1, -1, 7, 1]], ['control [[-1], 0]', [[-1], 0], None], ['control [[3, -8, 1], 2]', [[3, -8, 1], 2], [0, 0, -1]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]]]]\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":"891f9d8a2e34d76d9f3a6b23e9a5c5c0193bf7b2ba09ea5dad0172045b2a7fc1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(llrs, beta):\n    if len(llrs) < 2:\n        return None\n    out = []\n    for i in range(len(llrs)):\n        others = llrs[:i] + llrs[i + 1:]\n        sign = 1\n        for v in llrs:\n            if v < 0:\n                sign = -sign\n        mag = min(abs(v) for v in others)\n        out.append(sign * max(mag - beta, 0))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[12, -11, -9, -2, 8, -3], 1]', [[12, -11, -9, -2, 8, -3], 1], [1, -1, -1, -2, 1, -1]], ['regression [[-3, 6], 2]', [[-3, 6], 2], [4, -1]], ['partial-repair [[12, 0, -10, 8], 1]', [[12, 0, -10, 8], 1], [0, -7, 0, 0]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]], ['control [[-2, -12, 2, -7, 10, 7], 2]', [[-2, -12, 2, -7, 10, 7], 2], [0, 0, 0, 0, 0, 0]], ['control [[3, -8], 3]', [[3, -8], 3], [-5, 0]], ['control [[12, 2], 3]', [[12, 2], 3], [0, 9]]], [['regression [[1, 7, -2], 0]', [[1, 7, -2], 0], [-2, -1, 1]], ['regression [[-3, 6], 3]', [[-3, 6], 3], [3, 0]], ['partial-repair [[-6, 10, 0], 1]', [[-6, 10, 0], 1], [0, 0, -5]], ['control [[-12, 7, -1, 8, 11, -2], 3]', [[-12, 7, -1, 8, 11, -2], 3], [0, 0, 0, 0, 0, 0]], ['control [[2, 4], 3]', [[2, 4], 3], [1, 0]], ['control [[1, 11], 2]', [[1, 11], 2], [9, 0]], ['control [[2, 2, 2], 3]', [[2, 2, 2], 3], [0, 0, 0]], ['control [[-1], 0]', [[-1], 0], None]], [['regression [[-10, 12, 6, 2], 0]', [[-10, 12, 6, 2], 0], [2, -2, -2, -6]], ['regression [[5, -12, -9], 3]', [[5, -12, -9], 3], [6, -2, -2]], ['partial-repair [[4, -9, -7, -9, 6], 3]', [[4, -9, -7, -9, 6], 3], [-3, 1, 1, 1, -1]], ['control [[3, -8, 1], 2]', [[3, -8, 1], 2], [0, 0, -1]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]], ['control [[-2, -12, 2, -7, 10, 7], 2]', [[-2, -12, 2, -7, 10, 7], 2], [0, 0, 0, 0, 0, 0]], ['control [[3, -8], 3]', [[3, -8], 3], [-5, 0]]], [['regression [[5, -3, -1, -4], 0]', [[5, -3, -1, -4], 0], [-1, 1, 3, 1]], ['regression [[11, 8, 12, -10], 1]', [[11, 8, 12, -10], 1], [-7, -9, -7, 7]], ['partial-repair [[11, -6, -1], 1]', [[11, -6, -1], 1], [0, 0, -5]], ['control [[12, 2], 3]', [[12, 2], 3], [0, 9]], ['control [[-12, 7, -1, 8, 11, -2], 3]', [[-12, 7, -1, 8, 11, -2], 3], [0, 0, 0, 0, 0, 0]], ['control [[2, 4], 3]', [[2, 4], 3], [1, 0]], ['control [[1, 11], 2]', [[1, 11], 2], [9, 0]], ['control [[2, 2, 2], 3]', [[2, 2, 2], 3], [0, 0, 0]]], [['regression [[-1, 2, -7], 1]', [[-1, 2, -7], 1], [-1, 0, 0]], ['regression [[5, -3], 1]', [[5, -3], 1], [-2, 4]], ['partial-repair [[0, -4, 6], 1]', [[0, -4, 6], 1], [-3, 0, 0]], ['partial-repair [[-7, -7, 1, 9], 0]', [[-7, -7, 1, 9], 0], [-1, -1, 7, 1]], ['control [[-1], 0]', [[-1], 0], None], ['control [[3, -8, 1], 2]', [[3, -8, 1], 2], [0, 0, -1]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]]]]\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":"a58cf648e40b0bfe358d3f836f0e72950a0751b4dab94e252b8ac74e1aaf8372","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(llrs, beta):\n    if len(llrs) < 2:\n        return None\n    out = []\n    for i in range(len(llrs)):\n        others = llrs[:i] + llrs[i + 1:]\n        sign = 1\n        for v in others:\n            if v < 0:\n                sign = -sign\n        mag = min(abs(v) for v in others)\n        out.append(sign * max(mag - beta, 0))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[12, -11, -9, -2, 8, -3], 1]', [[12, -11, -9, -2, 8, -3], 1], [1, -1, -1, -2, 1, -1]], ['regression [[-3, 6], 2]', [[-3, 6], 2], [4, -1]], ['partial-repair [[12, 0, -10, 8], 1]', [[12, 0, -10, 8], 1], [0, -7, 0, 0]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]], ['control [[-2, -12, 2, -7, 10, 7], 2]', [[-2, -12, 2, -7, 10, 7], 2], [0, 0, 0, 0, 0, 0]], ['control [[3, -8], 3]', [[3, -8], 3], [-5, 0]], ['control [[12, 2], 3]', [[12, 2], 3], [0, 9]]], [['regression [[1, 7, -2], 0]', [[1, 7, -2], 0], [-2, -1, 1]], ['regression [[-3, 6], 3]', [[-3, 6], 3], [3, 0]], ['partial-repair [[-6, 10, 0], 1]', [[-6, 10, 0], 1], [0, 0, -5]], ['control [[-12, 7, -1, 8, 11, -2], 3]', [[-12, 7, -1, 8, 11, -2], 3], [0, 0, 0, 0, 0, 0]], ['control [[2, 4], 3]', [[2, 4], 3], [1, 0]], ['control [[1, 11], 2]', [[1, 11], 2], [9, 0]], ['control [[2, 2, 2], 3]', [[2, 2, 2], 3], [0, 0, 0]], ['control [[-1], 0]', [[-1], 0], None]], [['regression [[-10, 12, 6, 2], 0]', [[-10, 12, 6, 2], 0], [2, -2, -2, -6]], ['regression [[5, -12, -9], 3]', [[5, -12, -9], 3], [6, -2, -2]], ['partial-repair [[4, -9, -7, -9, 6], 3]', [[4, -9, -7, -9, 6], 3], [-3, 1, 1, 1, -1]], ['control [[3, -8, 1], 2]', [[3, -8, 1], 2], [0, 0, -1]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]], ['control [[-2, -12, 2, -7, 10, 7], 2]', [[-2, -12, 2, -7, 10, 7], 2], [0, 0, 0, 0, 0, 0]], ['control [[3, -8], 3]', [[3, -8], 3], [-5, 0]]], [['regression [[5, -3, -1, -4], 0]', [[5, -3, -1, -4], 0], [-1, 1, 3, 1]], ['regression [[11, 8, 12, -10], 1]', [[11, 8, 12, -10], 1], [-7, -9, -7, 7]], ['partial-repair [[11, -6, -1], 1]', [[11, -6, -1], 1], [0, 0, -5]], ['control [[12, 2], 3]', [[12, 2], 3], [0, 9]], ['control [[-12, 7, -1, 8, 11, -2], 3]', [[-12, 7, -1, 8, 11, -2], 3], [0, 0, 0, 0, 0, 0]], ['control [[2, 4], 3]', [[2, 4], 3], [1, 0]], ['control [[1, 11], 2]', [[1, 11], 2], [9, 0]], ['control [[2, 2, 2], 3]', [[2, 2, 2], 3], [0, 0, 0]]], [['regression [[-1, 2, -7], 1]', [[-1, 2, -7], 1], [-1, 0, 0]], ['regression [[5, -3], 1]', [[5, -3], 1], [-2, 4]], ['partial-repair [[0, -4, 6], 1]', [[0, -4, 6], 1], [-3, 0, 0]], ['partial-repair [[-7, -7, 1, 9], 0]', [[-7, -7, 1, 9], 0], [-1, -1, 7, 1]], ['control [[-1], 0]', [[-1], 0], None], ['control [[3, -8, 1], 2]', [[3, -8, 1], 2], [0, 0, -1]], ['control [[3, 4], 0]', [[3, 4], 0], [4, 3]], ['control [[1, -2, -3, -4], 1]', [[1, -2, -3, -4], 1], [-1, 0, 0, 0]]]]\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 the named code under the stated contract; not a production codec. 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-error_correcting_codes-ldpc-offset-min-sum-extrinsic-sign","generated_at":"2026-09-29T14:48:35.429025+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"LDPC decoders in Wi-Fi, 5G and SSD controllers run this update billions of times per second.","repair":"Multiply only the signs of the other edges.","root_cause":"The sign product runs over all incoming LLRs including edge i.","sha256":"19fcb8b7d7cab65e77bbb9e8ded04e75066633878d3a4254412744a032002ac2","title":"Min-sum sign includes the edge own message · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.702,"exit_code":1,"observations":[{"actual":[-1,1,1,-2,-1,-1],"check":"regression [[12, -11, -9, -2, 8, -3], 1]","expected":[1,-1,-1,-2,1,-1],"passed":false},{"actual":[4,-1],"check":"regression [[-3, 6], 2]","expected":[4,-1],"passed":true},{"actual":[0,7,0,0],"check":"partial-repair [[12, 0, -10, 8], 1]","expected":[0,-7,0,0],"passed":false},{"actual":[4,3],"check":"control [[3, 4], 0]","expected":[4,3],"passed":true},{"actual":[-1,0,0,0],"check":"control [[1, -2, -3, -4], 1]","expected":[-1,0,0,0],"passed":true},{"actual":[0,0,0,0,0,0],"check":"control [[-2, -12, 2, -7, 10, 7], 2]","expected":[0,0,0,0,0,0],"passed":true},{"actual":[-5,0],"check":"control [[3, -8], 3]","expected":[-5,0],"passed":true},{"actual":[0,9],"check":"control [[12, 2], 3]","expected":[0,9],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[12, -11, -9, -2, 8, -3], 1]\", \"actual\": [-1, 1, 1, -2, -1, -1], \"expected\": [1, -1, -1, -2, 1, -1], \"passed\": false}, {\"check\": \"regression [[-3, 6], 2]\", \"actual\": [4, -1], \"expected\": [4, -1], \"passed\": true}, {\"check\": \"partial-repair [[12, 0, -10, 8], 1]\", \"actual\": [0, 7, 0, 0], \"expected\": [0, -7, 0, 0], \"passed\": false}, {\"check\": \"control [[3, 4], 0]\", \"actual\": [4, 3], \"expected\": [4, 3], \"passed\": true}, {\"check\": \"control [[1, -2, -3, -4], 1]\", \"actual\": [-1, 0, 0, 0], \"expected\": [-1, 0, 0, 0], \"passed\": true}, {\"check\": \"control [[-2, -12, 2, -7, 10, 7], 2]\", \"actual\": [0, 0, 0, 0, 0, 0], \"expected\": [0, 0, 0, 0, 0, 0], \"passed\": true}, {\"check\": \"control [[3, -8], 3]\", \"actual\": [-5, 0], \"expected\": [-5, 0], \"passed\": true}, {\"check\": \"control [[12, 2], 3]\", \"actual\": [0, 9], \"expected\": [0, 9], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.481,"exit_code":1,"observations":[{"actual":[1,1,1,2,1,1],"check":"regression [[12, -11, -9, -2, 8, -3], 1]","expected":[1,-1,-1,-2,1,-1],"passed":false},{"actual":[-4,-1],"check":"regression [[-3, 6], 2]","expected":[4,-1],"passed":false},{"actual":[0,-7,0,0],"check":"partial-repair [[12, 0, -10, 8], 1]","expected":[0,-7,0,0],"passed":true},{"actual":[4,3],"check":"control [[3, 4], 0]","expected":[4,3],"passed":true},{"actual":[-1,0,0,0],"check":"control [[1, -2, -3, -4], 1]","expected":[-1,0,0,0],"passed":true},{"actual":[0,0,0,0,0,0],"check":"control [[-2, -12, 2, -7, 10, 7], 2]","expected":[0,0,0,0,0,0],"passed":true},{"actual":[-5,0],"check":"control [[3, -8], 3]","expected":[-5,0],"passed":true},{"actual":[0,9],"check":"control [[12, 2], 3]","expected":[0,9],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[12, -11, -9, -2, 8, -3], 1]\", \"actual\": [1, 1, 1, 2, 1, 1], \"expected\": [1, -1, -1, -2, 1, -1], \"passed\": false}, {\"check\": \"regression [[-3, 6], 2]\", \"actual\": [-4, -1], \"expected\": [4, -1], \"passed\": false}, {\"check\": \"partial-repair [[12, 0, -10, 8], 1]\", \"actual\": [0, -7, 0, 0], \"expected\": [0, -7, 0, 0], \"passed\": true}, {\"check\": \"control [[3, 4], 0]\", \"actual\": [4, 3], \"expected\": [4, 3], \"passed\": true}, {\"check\": \"control [[1, -2, -3, -4], 1]\", \"actual\": [-1, 0, 0, 0], \"expected\": [-1, 0, 0, 0], \"passed\": true}, {\"check\": \"control [[-2, -12, 2, -7, 10, 7], 2]\", \"actual\": [0, 0, 0, 0, 0, 0], \"expected\": [0, 0, 0, 0, 0, 0], \"passed\": true}, {\"check\": \"control [[3, -8], 3]\", \"actual\": [-5, 0], \"expected\": [-5, 0], \"passed\": true}, {\"check\": \"control [[12, 2], 3]\", \"actual\": [0, 9], \"expected\": [0, 9], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":36.51,"exit_code":0,"observations":[{"actual":[1,-1,-1,-2,1,-1],"check":"regression [[12, -11, -9, -2, 8, -3], 1]","expected":[1,-1,-1,-2,1,-1],"passed":true},{"actual":[4,-1],"check":"regression [[-3, 6], 2]","expected":[4,-1],"passed":true},{"actual":[0,-7,0,0],"check":"partial-repair [[12, 0, -10, 8], 1]","expected":[0,-7,0,0],"passed":true},{"actual":[4,3],"check":"control [[3, 4], 0]","expected":[4,3],"passed":true},{"actual":[-1,0,0,0],"check":"control [[1, -2, -3, -4], 1]","expected":[-1,0,0,0],"passed":true},{"actual":[0,0,0,0,0,0],"check":"control [[-2, -12, 2, -7, 10, 7], 2]","expected":[0,0,0,0,0,0],"passed":true},{"actual":[-5,0],"check":"control [[3, -8], 3]","expected":[-5,0],"passed":true},{"actual":[0,9],"check":"control [[12, 2], 3]","expected":[0,9],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[12, -11, -9, -2, 8, -3], 1]\", \"actual\": [1, -1, -1, -2, 1, -1], \"expected\": [1, -1, -1, -2, 1, -1], \"passed\": true}, {\"check\": \"regression [[-3, 6], 2]\", \"actual\": [4, -1], \"expected\": [4, -1], \"passed\": true}, {\"check\": \"partial-repair [[12, 0, -10, 8], 1]\", \"actual\": [0, -7, 0, 0], \"expected\": [0, -7, 0, 0], \"passed\": true}, {\"check\": \"control [[3, 4], 0]\", \"actual\": [4, 3], \"expected\": [4, 3], \"passed\": true}, {\"check\": \"control [[1, -2, -3, -4], 1]\", \"actual\": [-1, 0, 0, 0], \"expected\": [-1, 0, 0, 0], \"passed\": true}, {\"check\": \"control [[-2, -12, 2, -7, 10, 7], 2]\", \"actual\": [0, 0, 0, 0, 0, 0], \"expected\": [0, 0, 0, 0, 0, 0], \"passed\": true}, {\"check\": \"control [[3, -8], 3]\", \"actual\": [-5, 0], \"expected\": [-5, 0], \"passed\": true}, {\"check\": \"control [[12, 2], 3]\", \"actual\": [0, 9], \"expected\": [0, 9], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}