{"abstract":"Syndromes of different cosets collide or miss the table.","category":"Error-correcting codes","checks":8,"contract":"Syndrome decoding of a binary linear code from its parity-check matrix H (rows). The coset-leader table is built by enumerating error patterns by increasing weight and, within a weight, in lexicographic order of error positions; the first pattern seen for a syndrome is its leader. Decode r by XORing the leader of its syndrome. Return [codeword, leader weight] (None if the syndrome has no leader).","evaluation_group":"w2-error_correcting_codes-syndrome-table-decode","failed_approach":"Clamping the sum at 1 computes OR, not parity.","family":"w2-error_correcting_codes-syndrome-table-decode-syndrome-arithmetic","id":"FA-72141","implementations":{"attempt":{"sha256":"a81a23a20a5f35dde1f4d31de9682821276e55ff144a9e6260f2823b9d952842","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport itertools\nN = 1\nobservations = []\ndef solve(H, r):\n    n = len(H[0])\n    def syn(v):\n        return tuple(min(1, sum(h[k] & v[k] for k in range(n))) for h in H)\n    table = {}\n    for w in range(n + 1):\n        for pos in itertools.combinations(range(n), w):\n            e = [1 if k in pos else 0 for k in range(n)]\n            table.setdefault(syn(e), e)\n    e = table.get(syn(r))\n    if e is None:\n        return None\n    return [[a ^ b for a, b in zip(r, e)], sum(e)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 0, 0]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 1, 1, 0, 1, 1]], [[0, 0, 1, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 1, 1]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 1, 1, 0, 1, 1]], [[1, 1, 1, 1, 1, 1, 1], 1]]], [['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 1, 1]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 1, 1, 0, 1, 1]], [[1, 1, 1, 1, 1, 1, 1], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 1, 0]], [[1, 0, 1, 1, 1, 0], 0]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 0]], [[1, 1, 0, 0, 1, 1], 1]]], [['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 0, 1, 1, 0, 1]], [[1, 1, 0, 0, 1, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 0, 0, 0, 1, 0, 1]], [[1, 1, 0, 0, 1, 0, 1], 1]], ['partial-repair [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 1, 0]], [[1, 0, 1, 1, 1, 0], 0]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 1]], [[1, 1, 0, 0, 1, 1], 0]]], [['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 0]], [[1, 1, 0, 0, 1, 1], 1]], ['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 0, 1]], [[1, 0, 0, 1, 0, 1], 1]], ['partial-repair [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 0, 0]], [[1, 0, 1, 1, 1, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 0, 1, 1]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 0, 1, 1]], [[0, 1, 0, 1, 0], 1]]], [['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 1]], [[1, 1, 0, 0, 1, 1], 0]], ['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 0, 1, 0, 1, 1]], [[0, 0, 1, 0, 1, 1], 0]], ['partial-repair [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 1, 0, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 1, 0, 0]], [[0, 1, 1, 0, 1], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 0, 0]], [[0, 1, 1, 1, 0, 0, 1], 1]]]]\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":"6ec0cf2766f1e2150e2008f620738470ebd9f9bbe6fbea8cae81162db3e721fb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport itertools\nN = 1\nobservations = []\ndef solve(H, r):\n    n = len(H[0])\n    def syn(v):\n        return tuple(sum(h[k] & v[k] for k in range(n)) for h in H)\n    table = {}\n    for w in range(n + 1):\n        for pos in itertools.combinations(range(n), w):\n            e = [1 if k in pos else 0 for k in range(n)]\n            table.setdefault(syn(e), e)\n    e = table.get(syn(r))\n    if e is None:\n        return None\n    return [[a ^ b for a, b in zip(r, e)], sum(e)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 0, 0]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 1, 1, 0, 1, 1]], [[0, 0, 1, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 1, 1]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 1, 1, 0, 1, 1]], [[1, 1, 1, 1, 1, 1, 1], 1]]], [['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 1, 1]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 1, 1, 0, 1, 1]], [[1, 1, 1, 1, 1, 1, 1], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 1, 0]], [[1, 0, 1, 1, 1, 0], 0]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 0]], [[1, 1, 0, 0, 1, 1], 1]]], [['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 0, 1, 1, 0, 1]], [[1, 1, 0, 0, 1, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 0, 0, 0, 1, 0, 1]], [[1, 1, 0, 0, 1, 0, 1], 1]], ['partial-repair [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 1, 0]], [[1, 0, 1, 1, 1, 0], 0]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 1]], [[1, 1, 0, 0, 1, 1], 0]]], [['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 0]], [[1, 1, 0, 0, 1, 1], 1]], ['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 0, 1]], [[1, 0, 0, 1, 0, 1], 1]], ['partial-repair [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 0, 0]], [[1, 0, 1, 1, 1, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 0, 1, 1]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 0, 1, 1]], [[0, 1, 0, 1, 0], 1]]], [['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 1]], [[1, 1, 0, 0, 1, 1], 0]], ['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 0, 1, 0, 1, 1]], [[0, 0, 1, 0, 1, 1], 0]], ['partial-repair [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 1, 0, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 1, 0, 0]], [[0, 1, 1, 0, 1], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 0, 0]], [[0, 1, 1, 1, 0, 0, 1], 1]]]]\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":"22cb54404a6cdb59428872424c908302b5de80da37aa7bc1962b054d3d62cfb4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport itertools\nN = 1\nobservations = []\ndef solve(H, r):\n    n = len(H[0])\n    def syn(v):\n        return tuple(sum(h[k] & v[k] for k in range(n)) % 2 for h in H)\n    table = {}\n    for w in range(n + 1):\n        for pos in itertools.combinations(range(n), w):\n            e = [1 if k in pos else 0 for k in range(n)]\n            table.setdefault(syn(e), e)\n    e = table.get(syn(r))\n    if e is None:\n        return None\n    return [[a ^ b for a, b in zip(r, e)], sum(e)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 0, 0]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 1, 1, 0, 1, 1]], [[0, 0, 1, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 1, 1]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 1, 1, 0, 1, 1]], [[1, 1, 1, 1, 1, 1, 1], 1]]], [['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 1, 1]], [[0, 1, 1, 1, 0, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 1, 1, 0, 1, 1]], [[1, 1, 1, 1, 1, 1, 1], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 1, 0]], [[1, 0, 1, 1, 1, 0], 0]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 0]], [[1, 1, 0, 0, 1, 1], 1]]], [['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 1, 0, 1, 1, 0, 1]], [[1, 1, 0, 0, 1, 0, 1], 1]], ['regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [1, 0, 0, 0, 1, 0, 1]], [[1, 1, 0, 0, 1, 0, 1], 1]], ['partial-repair [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 1, 0]], [[1, 0, 1, 1, 1, 0], 0]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 1]], [[1, 1, 0, 0, 1, 1], 0]]], [['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 0]], [[1, 1, 0, 0, 1, 1], 1]], ['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 0, 1]], [[1, 0, 0, 1, 0, 1], 1]], ['partial-repair [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 1, 1, 0, 0]], [[1, 0, 1, 1, 1, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 0, 1, 1]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 0, 1, 1]], [[0, 1, 0, 1, 0], 1]]], [['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 1, 0, 0, 1, 1]], [[1, 1, 0, 0, 1, 1], 0]], ['regression [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 0, 1, 0, 1, 1]], [[0, 0, 1, 0, 1, 1], 0]], ['partial-repair [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 1, 0, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 1, 1, 0, 0]], [[0, 1, 1, 0, 1], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 0, 0, 0, 0, 1, 0]], [[0, 0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, 0, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...', [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, 1, 0, 0, 0, 0]], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]', [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]], [[0, 1, 0, 1, 0], 1]], ['control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...', [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, 1]], [0, 1, 1, 1, 0, 0, 0]], [[0, 1, 1, 1, 0, 0, 1], 1]]]]\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-syndrome-table-decode-syndrome-arithmetic","generated_at":"2026-09-29T14:48:35.925544+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Short block codes in control channels are decoded with precomputed coset-leader tables.","repair":"Reduce every parity-check sum modulo 2.","root_cause":"Check sums are not reduced modulo 2.","sha256":"8b18ad7a992b487c5abe1e4f7817c9411157c08a00778b75fe372206638910be","title":"Syndrome table uses integer check sums · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.593,"exit_code":1,"observations":[{"actual":[[0,1,1,0,0,0,0],1],"check":"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,1,1,1,0,0,1],1],"passed":false},{"actual":[[0,0,1,0,0,1,1],1],"check":"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,0,1,1,0,1,0],1],"passed":false},{"actual":[[0,0,0,0,0,0,0],1],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,0,0,0,0,0,0],1],"passed":true},{"actual":[[0,0,0,0,0,0],1],"check":"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...","expected":[[0,0,0,0,0,0],1],"passed":true},{"actual":[[0,0,0,0,0,0],1],"check":"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...","expected":[[0,0,0,0,0,0],1],"passed":true},{"actual":[[0,1,0,1,0],1],"check":"control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]","expected":[[0,1,0,1,0],1],"passed":true},{"actual":[[0,1,1,0,0,1,1],1],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,1,1,1,0,0,1],1],"passed":false},{"actual":[[1,1,1,0,0,1,1],1],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[1,1,1,1,1,1,1],1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 1, 1, 0, 0, 0, 0], 1], \"expected\": [[0, 1, 1, 1, 0, 0, 1], 1], \"passed\": false}, {\"check\": \"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 0, 1, 0, 0, 1, 1], 1], \"expected\": [[0, 0, 1, 1, 0, 1, 0], 1], \"passed\": false}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]\", \"actual\": [[0, 1, 0, 1, 0], 1], \"expected\": [[0, 1, 0, 1, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 1, 1, 0, 0, 1, 1], 1], \"expected\": [[0, 1, 1, 1, 0, 0, 1], 1], \"passed\": false}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[1, 1, 1, 0, 0, 1, 1], 1], \"expected\": [[1, 1, 1, 1, 1, 1, 1], 1], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.918,"exit_code":1,"observations":[{"actual":[[0,0,0,0,0,0,0],3],"check":"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,1,1,1,0,0,1],1],"passed":false},{"actual":[[0,1,0,0,0,1,1],3],"check":"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,0,1,1,0,1,0],1],"passed":false},{"actual":[[0,0,0,0,0,0,0],1],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,0,0,0,0,0,0],1],"passed":true},{"actual":[[0,0,0,0,0,0],1],"check":"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...","expected":[[0,0,0,0,0,0],1],"passed":true},{"actual":[[0,0,0,0,0,0],1],"check":"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...","expected":[[0,0,0,0,0,0],1],"passed":true},{"actual":[[0,1,0,1,0],1],"check":"control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]","expected":[[0,1,0,1,0],1],"passed":true},{"actual":[[0,0,0,0,0,0,0],5],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,1,1,1,0,0,1],1],"passed":false},{"actual":[[0,0,0,0,0,0,0],6],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[1,1,1,1,1,1,1],1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0, 0], 3], \"expected\": [[0, 1, 1, 1, 0, 0, 1], 1], \"passed\": false}, {\"check\": \"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 1, 0, 0, 0, 1, 1], 3], \"expected\": [[0, 0, 1, 1, 0, 1, 0], 1], \"passed\": false}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]\", \"actual\": [[0, 1, 0, 1, 0], 1], \"expected\": [[0, 1, 0, 1, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0, 0], 5], \"expected\": [[0, 1, 1, 1, 0, 0, 1], 1], \"passed\": false}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0, 0], 6], \"expected\": [[1, 1, 1, 1, 1, 1, 1], 1], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.055,"exit_code":0,"observations":[{"actual":[[0,1,1,1,0,0,1],1],"check":"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,1,1,1,0,0,1],1],"passed":true},{"actual":[[0,0,1,1,0,1,0],1],"check":"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,0,1,1,0,1,0],1],"passed":true},{"actual":[[0,0,0,0,0,0,0],1],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,0,0,0,0,0,0],1],"passed":true},{"actual":[[0,0,0,0,0,0],1],"check":"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...","expected":[[0,0,0,0,0,0],1],"passed":true},{"actual":[[0,0,0,0,0,0],1],"check":"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...","expected":[[0,0,0,0,0,0],1],"passed":true},{"actual":[[0,1,0,1,0],1],"check":"control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]","expected":[[0,1,0,1,0],1],"passed":true},{"actual":[[0,1,1,1,0,0,1],1],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[0,1,1,1,0,0,1],1],"passed":true},{"actual":[[1,1,1,1,1,1,1],1],"check":"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...","expected":[[1,1,1,1,1,1,1],1],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 1, 1, 1, 0, 0, 1], 1], \"expected\": [[0, 1, 1, 1, 0, 0, 1], 1], \"passed\": true}, {\"check\": \"regression [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 0, 1, 1, 0, 1, 0], 1], \"expected\": [[0, 0, 1, 1, 0, 1, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [1, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 0, 1, 0, 0], [0, 1, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1]], [0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 1], \"expected\": [[0, 0, 0, 0, 0, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 1, 1, 1, 0], [1, 0, 1, 0, 1]], [0, 0, 0, 1, 0]]\", \"actual\": [[0, 1, 0, 1, 0], 1], \"expected\": [[0, 1, 0, 1, 0], 1], \"passed\": true}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[0, 1, 1, 1, 0, 0, 1], 1], \"expected\": [[0, 1, 1, 1, 0, 0, 1], 1], \"passed\": true}, {\"check\": \"control [[[1, 0, 1, 1, 1, 0, 0], [1, 1, 0, 1, 0, 1, 0], [0, 1, 1, 1, 0, 0, ...\", \"actual\": [[1, 1, 1, 1, 1, 1, 1], 1], \"expected\": [[1, 1, 1, 1, 1, 1, 1], 1], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}