{"abstract":"Received words equidistant from two codewords are decoded to an arbitrary one.","category":"Error-correcting codes","checks":8,"contract":"Bounded-distance decoding against an explicit codebook (duplicate entries allowed). Find the codeword at minimum Hamming distance from r; if two different codewords tie for the minimum, or the minimum exceeds radius, return None. Otherwise return [codeword, distance].","evaluation_group":"w2-error_correcting_codes-bounded-distance-decode","failed_approach":"Flagging every equal-distance entry treats duplicate listings of the same codeword as ambiguity.","family":"w2-error_correcting_codes-bounded-distance-decode-tie-detection","id":"FA-72331","implementations":{"attempt":{"sha256":"edb873540cf9dc112cc44965f28e97ed5786a2d5cf1531bcd652fb2ddffa8b63","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(codebook, r, radius):\n    best, bd, tie = None, None, False\n    for cwd in codebook:\n        d = sum(a != b for a, b in zip(cwd, r))\n        if bd is None or d < bd:\n            best, bd, tie = cwd, d, False\n        elif d == bd:\n            tie = True\n    if bd is None or bd > radius or tie:\n        return None\n    return [list(best), bd]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 1], 1], [[0, 0, 1, 1, 1], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 0], 0], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0, 0], 1]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 2], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 0, 1, 1], 0], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 1, 1, 0], 1], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 0, 0], 0], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 1, 1, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 0, 0, 1], 0], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 0, 0, 0], 1], [[0, 0, 0, 0, 0], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 1, 1, 0], 1], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 1, 1, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 1, 0, 0, 0], 1], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 0, 0], 0], [[1, 1, 1, 0, 0], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 1, 0, 0], 1], [[1, 1, 1, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 0, 0], 1], [[0, 0, 0, 0, 0], 1]]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 1], 1], [[0, 0, 1, 1, 1], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 0], 0], None]]]\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":"7b0122d4e37d977b4f29a67491ca48672d39827a979ca061e89bc9aa777d4698","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(codebook, r, radius):\n    best, bd, tie = None, None, False\n    for cwd in codebook:\n        d = sum(a != b for a, b in zip(cwd, r))\n        if bd is None or d < bd:\n            best, bd, tie = cwd, d, False\n    if bd is None or bd > radius or tie:\n        return None\n    return [list(best), bd]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 1], 1], [[0, 0, 1, 1, 1], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 0], 0], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0, 0], 1]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 2], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 0, 1, 1], 0], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 1, 1, 0], 1], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 0, 0], 0], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 1, 1, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 0, 0, 1], 0], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 0, 0, 0], 1], [[0, 0, 0, 0, 0], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 1, 1, 0], 1], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 1, 1, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 1, 0, 0, 0], 1], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 0, 0], 0], [[1, 1, 1, 0, 0], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 1, 0, 0], 1], [[1, 1, 1, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 0, 0], 1], [[0, 0, 0, 0, 0], 1]]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 1], 1], [[0, 0, 1, 1, 1], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 0], 0], None]]]\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":"283d098520074dbfe1e92dd461106ce2c40a9df7f66126f2ac1c675d55d851d8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(codebook, r, radius):\n    best, bd, tie = None, None, False\n    for cwd in codebook:\n        d = sum(a != b for a, b in zip(cwd, r))\n        if bd is None or d < bd:\n            best, bd, tie = cwd, d, False\n        elif d == bd and cwd != best:\n            tie = True\n    if bd is None or bd > radius or tie:\n        return None\n    return [list(best), bd]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 1], 1], [[0, 0, 1, 1, 1], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 0], 0], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0, 0], 1]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 2], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 0, 1, 1], 0], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 1, 1, 0], 1], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 0, 0], 0], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 1, 1, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 0, 0, 1], 0], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 0, 0, 1], 1], [[0, 0, 0, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 0, 0, 0], 1], [[0, 0, 0, 0, 0], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 1, 1, 0], 1], None]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 0, 1, 1, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 1, 0, 0, 0], 1], None], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 0, 0], 0], [[1, 1, 1, 0, 0], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 0, 1, 0, 0], 1], [[1, 1, 1, 0, 0], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 0, 0], 1], [[0, 0, 0, 0, 0], 1]]], [['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 0, 1, 1, 0, 1], 3], None], ['regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 1, 0, 1], 3], None], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, 1, 0, 0, 0, 1], 2], [[0, 0, 0, 0, 0, 0], 2]], ['partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...', [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, 0, 0, 1, 0, 0], 2], [[0, 0, 0, 0, 0, 0], 2]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 1, 0, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [1, 1, 1, 1, 1], 1], [[1, 1, 0, 1, 1], 1]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 1], 1], [[0, 0, 1, 1, 1], 0]], ['control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...', [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1]], [0, 0, 1, 1, 0], 0], None]]]\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-bounded-distance-decode-tie-detection","generated_at":"2026-09-29T14:48:37.555424+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Short control-channel codes are decoded against small codebooks; ties must be reported as failures, not guessed.","repair":"Flag a tie when a different codeword reaches the current minimum distance.","root_cause":"Ties at the minimum distance are not tracked.","sha256":"5811c24aa133963017dfd654ca4050c31b31cc39420c3315bd28fe970f7b9f74","title":"Bounded-distance decoder picks the first of tied codewords · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.169,"exit_code":1,"observations":[{"actual":null,"check":"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":null,"passed":true},{"actual":null,"check":"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":null,"passed":true},{"actual":null,"check":"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":[[0,0,0,0,0,0],2],"passed":false},{"actual":null,"check":"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...","expected":[[0,0,0,0,0,0],2],"passed":false},{"actual":[[1,1,0,1,1],1],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[1,1,0,1,1],1],"passed":true},{"actual":[[1,1,0,1,1],1],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[1,1,0,1,1],1],"passed":true},{"actual":[[0,0,1,1,1],0],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[0,0,1,1,1],0],"passed":true},{"actual":null,"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": null, \"expected\": [[0, 0, 0, 0, 0, 0], 2], \"passed\": false}, {\"check\": \"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...\", \"actual\": null, \"expected\": [[0, 0, 0, 0, 0, 0], 2], \"passed\": false}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[1, 1, 0, 1, 1], 1], \"expected\": [[1, 1, 0, 1, 1], 1], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[1, 1, 0, 1, 1], 1], \"expected\": [[1, 1, 0, 1, 1], 1], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[0, 0, 1, 1, 1], 0], \"expected\": [[0, 0, 1, 1, 1], 0], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.464,"exit_code":1,"observations":[{"actual":[[0,0,0,0,0,0],3],"check":"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":null,"passed":false},{"actual":[[0,0,0,0,0,0],3],"check":"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":null,"passed":false},{"actual":[[0,0,0,0,0,0],2],"check":"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":[[0,0,0,0,0,0],2],"passed":true},{"actual":[[0,0,0,0,0,0],2],"check":"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...","expected":[[0,0,0,0,0,0],2],"passed":true},{"actual":[[1,1,0,1,1],1],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[1,1,0,1,1],1],"passed":true},{"actual":[[1,1,0,1,1],1],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[1,1,0,1,1],1],"passed":true},{"actual":[[0,0,1,1,1],0],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[0,0,1,1,1],0],"passed":true},{"actual":null,"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 3], \"expected\": null, \"passed\": false}, {\"check\": \"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 3], \"expected\": null, \"passed\": false}, {\"check\": \"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 2], \"expected\": [[0, 0, 0, 0, 0, 0], 2], \"passed\": true}, {\"check\": \"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 2], \"expected\": [[0, 0, 0, 0, 0, 0], 2], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[1, 1, 0, 1, 1], 1], \"expected\": [[1, 1, 0, 1, 1], 1], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[1, 1, 0, 1, 1], 1], \"expected\": [[1, 1, 0, 1, 1], 1], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[0, 0, 1, 1, 1], 0], \"expected\": [[0, 0, 1, 1, 1], 0], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.525,"exit_code":0,"observations":[{"actual":null,"check":"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":null,"passed":true},{"actual":null,"check":"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":null,"passed":true},{"actual":[[0,0,0,0,0,0],2],"check":"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...","expected":[[0,0,0,0,0,0],2],"passed":true},{"actual":[[0,0,0,0,0,0],2],"check":"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...","expected":[[0,0,0,0,0,0],2],"passed":true},{"actual":[[1,1,0,1,1],1],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[1,1,0,1,1],1],"passed":true},{"actual":[[1,1,0,1,1],1],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[1,1,0,1,1],1],"passed":true},{"actual":[[0,0,1,1,1],0],"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":[[0,0,1,1,1],0],"passed":true},{"actual":null,"check":"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...","expected":null,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"regression [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [0, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 2], \"expected\": [[0, 0, 0, 0, 0, 0], 2], \"passed\": true}, {\"check\": \"partial-repair [[[0, 0, 0, 0, 0, 0], [1, 1, 1, 1, 1, 1], [0, 0, 0, 0, 0, 0]], [1, ...\", \"actual\": [[0, 0, 0, 0, 0, 0], 2], \"expected\": [[0, 0, 0, 0, 0, 0], 2], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[1, 1, 0, 1, 1], 1], \"expected\": [[1, 1, 0, 1, 1], 1], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[1, 1, 0, 1, 1], 1], \"expected\": [[1, 1, 0, 1, 1], 1], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": [[0, 0, 1, 1, 1], 0], \"expected\": [[0, 0, 1, 1, 1], 0], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 0, 0], [1, 1, 1, 0, 0], [0, 0, 1, 1, 1], [1, 1, 0, 1, 1...\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}