{"abstract":"Codeword weights are inflated when rows overlap.","category":"Error-correcting codes","checks":8,"contract":"Weight distribution of the binary linear code spanned by the rows of generator matrix G (rows may be dependent). Enumerate all 2^k messages including the zero message, form codewords as XOR combinations of rows, and histogram their Hamming weights (index 0..n). dmin is the smallest nonzero weight present (0 if the code is only the zero word). Return [histogram, dmin].","evaluation_group":"w2-error_correcting_codes-weight-distribution","failed_approach":"Combining with AND yields the intersection, not the sum.","family":"w2-error_correcting_codes-weight-distribution-row-combination","id":"FA-72291","implementations":{"attempt":{"sha256":"e66284aa64053e566a3ed57b38f54c3256a0659901305a744307fce477003655","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(G):\n    k, n = len(G), len(G[0])\n    hist = [0] * (n + 1)\n    for msg in range(2 ** k):\n        c = [0] * n\n        for i in range(k):\n            if msg >> i & 1:\n                c = [a & b for a, b in zip(c, G[i])]\n        hist[sum(c)] += 1\n    dmin = min(w for w in range(1, n + 1) if hist[w]) if any(hist[1:]) else 0\n    return [hist, dmin]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...', [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1, 1]]], [[1, 0, 0, 7, 7, 0, 0, 1], 3]], ['regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]', [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]], [[1, 0, 6, 0, 1], 2]], ['partial-repair [[[1, 1, 1]]]', [[[1, 1, 1]]], [[1, 0, 0, 1], 3]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]', [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]], [[1, 0, 0, 2, 1, 0], 3]], ['control [[[1, 1, 0], [1, 1, 0]]]', [[[1, 1, 0], [1, 1, 0]]], [[2, 0, 2, 0], 2]], ['control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]', [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]], [[2, 2, 4, 4, 2, 2], 1]], ['control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]]], [['regression [[[1, 1, 0], [1, 1, 0]]]', [[[1, 1, 0], [1, 1, 0]]], [[2, 0, 2, 0], 2]], ['regression [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]', [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]], [[2, 2, 4, 4, 2, 2], 1]], ['partial-repair [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]', [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]], [[1, 0, 0, 2, 1, 0], 3]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]], ['control [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, ...', [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, 0], [1, 1, 1, 0, 0, 1, 0]]], [[1, 0, 2, 5, 5, 2, 0, 1], 2]], ['control [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0...', [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0, 0, 0, 1, 0]]], [[1, 3, 3, 2, 3, 3, 1], 1]], ['control [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]]', [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]], [[1, 1, 1, 3, 2, 0, 0], 1]]], [['regression [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, ...', [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, 0], [1, 1, 1, 0, 0, 1, 0]]], [[1, 0, 2, 5, 5, 2, 0, 1], 2]], ['regression [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0...', [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0, 0, 0, 1, 0]]], [[1, 3, 3, 2, 3, 3, 1], 1]], ['partial-repair [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 1, 1, 0, 0, 0, 1]]]', [[[1, 1, 1, 0, 0, 0, 1]]], [[1, 0, 0, 0, 1, 0, 0, 0], 4]], ['control [[[1, 0, 1, 1], [0, 0, 0, 1]]]', [[[1, 0, 1, 1], [0, 0, 0, 1]]], [[1, 1, 1, 1, 0], 1]], ['control [[[1, 0]]]', [[[1, 0]]], [[1, 1, 0], 1]], ['control [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]]], [['regression [[[1, 0, 1, 1], [0, 0, 0, 1]]]', [[[1, 0, 1, 1], [0, 0, 0, 1]]], [[1, 1, 1, 1, 0], 1]], ['regression [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]], ['partial-repair [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]]', [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]], [[1, 1, 1, 3, 2, 0, 0], 1]], ['partial-repair [[[1, 1, 1, 0, 0, 0, 1]]]', [[[1, 1, 1, 0, 0, 0, 1]]], [[1, 0, 0, 0, 1, 0, 0, 0], 4]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, ...', [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, 0]]], [[1, 0, 2, 2, 1, 2, 0, 0], 2]], ['control [[[0, 0, 1], [1, 1, 0]]]', [[[0, 0, 1], [1, 1, 0]]], [[1, 1, 1, 1], 1]], ['control [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, ...', [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, 1]]], [[1, 0, 0, 3, 2, 1, 1, 0], 3]]], [['regression [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, ...', [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, 0]]], [[1, 0, 2, 2, 1, 2, 0, 0], 2]], ['regression [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, ...', [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, 1]]], [[1, 0, 0, 3, 2, 1, 1, 0], 3]], ['partial-repair [[[1, 0]]]', [[[1, 0]]], [[1, 1, 0], 1]], ['partial-repair [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...', [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1, 1]]], [[1, 0, 0, 7, 7, 0, 0, 1], 3]], ['control [[[1, 1, 1]]]', [[[1, 1, 1]]], [[1, 0, 0, 1], 3]], ['control [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]', [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]], [[1, 0, 6, 0, 1], 2]]]]\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":"ccbadf2c90396de04886237ee02ac494de256c3d3617f1ca69987f67e8fb93d0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(G):\n    k, n = len(G), len(G[0])\n    hist = [0] * (n + 1)\n    for msg in range(2 ** k):\n        c = [0] * n\n        for i in range(k):\n            if msg >> i & 1:\n                c = [a | b for a, b in zip(c, G[i])]\n        hist[sum(c)] += 1\n    dmin = min(w for w in range(1, n + 1) if hist[w]) if any(hist[1:]) else 0\n    return [hist, dmin]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...', [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1, 1]]], [[1, 0, 0, 7, 7, 0, 0, 1], 3]], ['regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]', [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]], [[1, 0, 6, 0, 1], 2]], ['partial-repair [[[1, 1, 1]]]', [[[1, 1, 1]]], [[1, 0, 0, 1], 3]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]', [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]], [[1, 0, 0, 2, 1, 0], 3]], ['control [[[1, 1, 0], [1, 1, 0]]]', [[[1, 1, 0], [1, 1, 0]]], [[2, 0, 2, 0], 2]], ['control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]', [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]], [[2, 2, 4, 4, 2, 2], 1]], ['control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]]], [['regression [[[1, 1, 0], [1, 1, 0]]]', [[[1, 1, 0], [1, 1, 0]]], [[2, 0, 2, 0], 2]], ['regression [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]', [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]], [[2, 2, 4, 4, 2, 2], 1]], ['partial-repair [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]', [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]], [[1, 0, 0, 2, 1, 0], 3]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]], ['control [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, ...', [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, 0], [1, 1, 1, 0, 0, 1, 0]]], [[1, 0, 2, 5, 5, 2, 0, 1], 2]], ['control [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0...', [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0, 0, 0, 1, 0]]], [[1, 3, 3, 2, 3, 3, 1], 1]], ['control [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]]', [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]], [[1, 1, 1, 3, 2, 0, 0], 1]]], [['regression [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, ...', [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, 0], [1, 1, 1, 0, 0, 1, 0]]], [[1, 0, 2, 5, 5, 2, 0, 1], 2]], ['regression [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0...', [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0, 0, 0, 1, 0]]], [[1, 3, 3, 2, 3, 3, 1], 1]], ['partial-repair [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 1, 1, 0, 0, 0, 1]]]', [[[1, 1, 1, 0, 0, 0, 1]]], [[1, 0, 0, 0, 1, 0, 0, 0], 4]], ['control [[[1, 0, 1, 1], [0, 0, 0, 1]]]', [[[1, 0, 1, 1], [0, 0, 0, 1]]], [[1, 1, 1, 1, 0], 1]], ['control [[[1, 0]]]', [[[1, 0]]], [[1, 1, 0], 1]], ['control [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]]], [['regression [[[1, 0, 1, 1], [0, 0, 0, 1]]]', [[[1, 0, 1, 1], [0, 0, 0, 1]]], [[1, 1, 1, 1, 0], 1]], ['regression [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]], ['partial-repair [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]]', [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]], [[1, 1, 1, 3, 2, 0, 0], 1]], ['partial-repair [[[1, 1, 1, 0, 0, 0, 1]]]', [[[1, 1, 1, 0, 0, 0, 1]]], [[1, 0, 0, 0, 1, 0, 0, 0], 4]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, ...', [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, 0]]], [[1, 0, 2, 2, 1, 2, 0, 0], 2]], ['control [[[0, 0, 1], [1, 1, 0]]]', [[[0, 0, 1], [1, 1, 0]]], [[1, 1, 1, 1], 1]], ['control [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, ...', [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, 1]]], [[1, 0, 0, 3, 2, 1, 1, 0], 3]]], [['regression [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, ...', [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, 0]]], [[1, 0, 2, 2, 1, 2, 0, 0], 2]], ['regression [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, ...', [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, 1]]], [[1, 0, 0, 3, 2, 1, 1, 0], 3]], ['partial-repair [[[1, 0]]]', [[[1, 0]]], [[1, 1, 0], 1]], ['partial-repair [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...', [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1, 1]]], [[1, 0, 0, 7, 7, 0, 0, 1], 3]], ['control [[[1, 1, 1]]]', [[[1, 1, 1]]], [[1, 0, 0, 1], 3]], ['control [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]', [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]], [[1, 0, 6, 0, 1], 2]]]]\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":"9e7868db69fb538c5e0c45d498a87c1701837e288a63ba1b4a0a5e5f337a082c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(G):\n    k, n = len(G), len(G[0])\n    hist = [0] * (n + 1)\n    for msg in range(2 ** k):\n        c = [0] * n\n        for i in range(k):\n            if msg >> i & 1:\n                c = [a ^ b for a, b in zip(c, G[i])]\n        hist[sum(c)] += 1\n    dmin = min(w for w in range(1, n + 1) if hist[w]) if any(hist[1:]) else 0\n    return [hist, dmin]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...', [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1, 1]]], [[1, 0, 0, 7, 7, 0, 0, 1], 3]], ['regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]', [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]], [[1, 0, 6, 0, 1], 2]], ['partial-repair [[[1, 1, 1]]]', [[[1, 1, 1]]], [[1, 0, 0, 1], 3]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]', [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]], [[1, 0, 0, 2, 1, 0], 3]], ['control [[[1, 1, 0], [1, 1, 0]]]', [[[1, 1, 0], [1, 1, 0]]], [[2, 0, 2, 0], 2]], ['control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]', [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]], [[2, 2, 4, 4, 2, 2], 1]], ['control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]]], [['regression [[[1, 1, 0], [1, 1, 0]]]', [[[1, 1, 0], [1, 1, 0]]], [[2, 0, 2, 0], 2]], ['regression [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]', [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]], [[2, 2, 4, 4, 2, 2], 1]], ['partial-repair [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]', [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]], [[1, 0, 0, 2, 1, 0], 3]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]], ['control [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, ...', [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, 0], [1, 1, 1, 0, 0, 1, 0]]], [[1, 0, 2, 5, 5, 2, 0, 1], 2]], ['control [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0...', [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0, 0, 0, 1, 0]]], [[1, 3, 3, 2, 3, 3, 1], 1]], ['control [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]]', [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]], [[1, 1, 1, 3, 2, 0, 0], 1]]], [['regression [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, ...', [[[1, 1, 1, 1, 1, 1, 1], [1, 0, 1, 1, 1, 0, 0], [0, 1, 1, 0, 0, 0, 0], [1, 1, 1, 0, 0, 1, 0]]], [[1, 0, 2, 5, 5, 2, 0, 1], 2]], ['regression [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0...', [[[0, 0, 0, 1, 0, 0], [1, 1, 1, 0, 0, 1], [0, 1, 1, 0, 0, 1], [1, 0, 0, 0, 1, 0]]], [[1, 3, 3, 2, 3, 3, 1], 1]], ['partial-repair [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...', [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, 1], [0, 0, 0, 1, 1, 0, 0]]], [[1, 1, 6, 6, 1, 1, 0, 0], 1]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 1, 1, 0, 0, 0, 1]]]', [[[1, 1, 1, 0, 0, 0, 1]]], [[1, 0, 0, 0, 1, 0, 0, 0], 4]], ['control [[[1, 0, 1, 1], [0, 0, 0, 1]]]', [[[1, 0, 1, 1], [0, 0, 0, 1]]], [[1, 1, 1, 1, 0], 1]], ['control [[[1, 0]]]', [[[1, 0]]], [[1, 1, 0], 1]], ['control [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]]], [['regression [[[1, 0, 1, 1], [0, 0, 0, 1]]]', [[[1, 0, 1, 1], [0, 0, 0, 1]]], [[1, 1, 1, 1, 0], 1]], ['regression [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]], ['partial-repair [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]]', [[[1, 0, 0, 1, 1, 0], [1, 1, 1, 0, 0, 0], [1, 0, 1, 1, 1, 0]]], [[1, 1, 1, 3, 2, 0, 0], 1]], ['partial-repair [[[1, 1, 1, 0, 0, 0, 1]]]', [[[1, 1, 1, 0, 0, 0, 1]]], [[1, 0, 0, 0, 1, 0, 0, 0], 4]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, ...', [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, 0]]], [[1, 0, 2, 2, 1, 2, 0, 0], 2]], ['control [[[0, 0, 1], [1, 1, 0]]]', [[[0, 0, 1], [1, 1, 0]]], [[1, 1, 1, 1], 1]], ['control [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, ...', [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, 1]]], [[1, 0, 0, 3, 2, 1, 1, 0], 3]]], [['regression [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, ...', [[[0, 1, 0, 0, 1, 0, 0], [1, 1, 1, 0, 1, 1, 0], [1, 1, 0, 1, 1, 1, 0]]], [[1, 0, 2, 2, 1, 2, 0, 0], 2]], ['regression [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, ...', [[[0, 1, 1, 1, 1, 0, 0], [0, 1, 1, 0, 1, 1, 1], [1, 0, 0, 0, 1, 1, 1]]], [[1, 0, 0, 3, 2, 1, 1, 0], 3]], ['partial-repair [[[1, 0]]]', [[[1, 0]]], [[1, 1, 0], 1]], ['partial-repair [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, ...', [[[0, 0, 1, 0, 1, 1, 1], [0, 1, 0, 1, 0, 1, 1], [1, 1, 1, 0, 1, 1, 0], [0, 1, 1, 1, 1, 0, 1]]], [[1, 1, 1, 4, 5, 3, 1, 0], 1]], ['control [[[0, 0, 0]]]', [[[0, 0, 0]]], [[2, 0, 0, 0], 0]], ['control [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...', [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, 1], [0, 0, 0, 1, 1, 1, 1]]], [[1, 0, 0, 7, 7, 0, 0, 1], 3]], ['control [[[1, 1, 1]]]', [[[1, 1, 1]]], [[1, 0, 0, 1], 3]], ['control [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]', [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]], [[1, 0, 6, 0, 1], 2]]]]\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-weight-distribution-row-combination","generated_at":"2026-09-29T14:48:37.202496+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Code designers use weight enumerators to estimate undetected-error probability and minimum distance.","repair":"Codewords are GF(2) sums: combine rows with XOR.","root_cause":"Rows are combined with OR instead of XOR.","sha256":"25453fbbfbff4afb70dd664a5cd71c0eb90f9b95f75319d71bb1457d773c9399","title":"Weight distribution combines rows with OR · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.446,"exit_code":1,"observations":[{"actual":[[16,0,0,0,0,0,0,0],0],"check":"regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...","expected":[[1,0,0,7,7,0,0,1],3],"passed":false},{"actual":[[8,0,0,0,0],0],"check":"regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]","expected":[[1,0,6,0,1],2],"passed":false},{"actual":[[2,0,0,0],0],"check":"partial-repair [[[1, 1, 1]]]","expected":[[1,0,0,1],3],"passed":false},{"actual":[[2,0,0,0],0],"check":"control [[[0, 0, 0]]]","expected":[[2,0,0,0],0],"passed":true},{"actual":[[4,0,0,0,0,0],0],"check":"control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]","expected":[[1,0,0,2,1,0],3],"passed":false},{"actual":[[4,0,0,0],0],"check":"control [[[1, 1, 0], [1, 1, 0]]]","expected":[[2,0,2,0],2],"passed":false},{"actual":[[16,0,0,0,0,0],0],"check":"control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]","expected":[[2,2,4,4,2,2],1],"passed":false},{"actual":[[16,0,0,0,0,0,0,0],0],"check":"control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...","expected":[[1,1,6,6,1,1,0,0],1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...\", \"actual\": [[16, 0, 0, 0, 0, 0, 0, 0], 0], \"expected\": [[1, 0, 0, 7, 7, 0, 0, 1], 3], \"passed\": false}, {\"check\": \"regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]\", \"actual\": [[8, 0, 0, 0, 0], 0], \"expected\": [[1, 0, 6, 0, 1], 2], \"passed\": false}, {\"check\": \"partial-repair [[[1, 1, 1]]]\", \"actual\": [[2, 0, 0, 0], 0], \"expected\": [[1, 0, 0, 1], 3], \"passed\": false}, {\"check\": \"control [[[0, 0, 0]]]\", \"actual\": [[2, 0, 0, 0], 0], \"expected\": [[2, 0, 0, 0], 0], \"passed\": true}, {\"check\": \"control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]\", \"actual\": [[4, 0, 0, 0, 0, 0], 0], \"expected\": [[1, 0, 0, 2, 1, 0], 3], \"passed\": false}, {\"check\": \"control [[[1, 1, 0], [1, 1, 0]]]\", \"actual\": [[4, 0, 0, 0], 0], \"expected\": [[2, 0, 2, 0], 2], \"passed\": false}, {\"check\": \"control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]\", \"actual\": [[16, 0, 0, 0, 0, 0], 0], \"expected\": [[2, 2, 4, 4, 2, 2], 1], \"passed\": false}, {\"check\": \"control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...\", \"actual\": [[16, 0, 0, 0, 0, 0, 0, 0], 0], \"expected\": [[1, 1, 6, 6, 1, 1, 0, 0], 1], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.165,"exit_code":1,"observations":[{"actual":[[1,0,0,3,1,6,4,1],3],"check":"regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...","expected":[[1,0,0,7,7,0,0,1],3],"passed":false},{"actual":[[1,0,3,2,2],2],"check":"regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]","expected":[[1,0,6,0,1],2],"passed":false},{"actual":[[1,0,0,1],3],"check":"partial-repair [[[1, 1, 1]]]","expected":[[1,0,0,1],3],"passed":true},{"actual":[[2,0,0,0],0],"check":"control [[[0, 0, 0]]]","expected":[[2,0,0,0],0],"passed":true},{"actual":[[1,0,0,1,1,1],3],"check":"control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]","expected":[[1,0,0,2,1,0],3],"passed":false},{"actual":[[1,0,3,0],2],"check":"control [[[1, 1, 0], [1, 1, 0]]]","expected":[[2,0,2,0],2],"passed":false},{"actual":[[1,0,1,7,0,7],2],"check":"control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]","expected":[[2,2,4,4,2,2],1],"passed":false},{"actual":[[1,0,1,3,5,6,0,0],2],"check":"control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...","expected":[[1,1,6,6,1,1,0,0],1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...\", \"actual\": [[1, 0, 0, 3, 1, 6, 4, 1], 3], \"expected\": [[1, 0, 0, 7, 7, 0, 0, 1], 3], \"passed\": false}, {\"check\": \"regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]\", \"actual\": [[1, 0, 3, 2, 2], 2], \"expected\": [[1, 0, 6, 0, 1], 2], \"passed\": false}, {\"check\": \"partial-repair [[[1, 1, 1]]]\", \"actual\": [[1, 0, 0, 1], 3], \"expected\": [[1, 0, 0, 1], 3], \"passed\": true}, {\"check\": \"control [[[0, 0, 0]]]\", \"actual\": [[2, 0, 0, 0], 0], \"expected\": [[2, 0, 0, 0], 0], \"passed\": true}, {\"check\": \"control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]\", \"actual\": [[1, 0, 0, 1, 1, 1], 3], \"expected\": [[1, 0, 0, 2, 1, 0], 3], \"passed\": false}, {\"check\": \"control [[[1, 1, 0], [1, 1, 0]]]\", \"actual\": [[1, 0, 3, 0], 2], \"expected\": [[2, 0, 2, 0], 2], \"passed\": false}, {\"check\": \"control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]\", \"actual\": [[1, 0, 1, 7, 0, 7], 2], \"expected\": [[2, 2, 4, 4, 2, 2], 1], \"passed\": false}, {\"check\": \"control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...\", \"actual\": [[1, 0, 1, 3, 5, 6, 0, 0], 2], \"expected\": [[1, 1, 6, 6, 1, 1, 0, 0], 1], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.042,"exit_code":0,"observations":[{"actual":[[1,0,0,7,7,0,0,1],3],"check":"regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...","expected":[[1,0,0,7,7,0,0,1],3],"passed":true},{"actual":[[1,0,6,0,1],2],"check":"regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]","expected":[[1,0,6,0,1],2],"passed":true},{"actual":[[1,0,0,1],3],"check":"partial-repair [[[1, 1, 1]]]","expected":[[1,0,0,1],3],"passed":true},{"actual":[[2,0,0,0],0],"check":"control [[[0, 0, 0]]]","expected":[[2,0,0,0],0],"passed":true},{"actual":[[1,0,0,2,1,0],3],"check":"control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]","expected":[[1,0,0,2,1,0],3],"passed":true},{"actual":[[2,0,2,0],2],"check":"control [[[1, 1, 0], [1, 1, 0]]]","expected":[[2,0,2,0],2],"passed":true},{"actual":[[2,2,4,4,2,2],1],"check":"control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]","expected":[[2,2,4,4,2,2],1],"passed":true},{"actual":[[1,1,6,6,1,1,0,0],1],"check":"control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...","expected":[[1,1,6,6,1,1,0,0],1],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[[1, 0, 0, 0, 1, 1, 0], [0, 1, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, ...\", \"actual\": [[1, 0, 0, 7, 7, 0, 0, 1], 3], \"expected\": [[1, 0, 0, 7, 7, 0, 0, 1], 3], \"passed\": true}, {\"check\": \"regression [[[1, 1, 0, 0], [0, 1, 1, 0], [0, 0, 1, 1]]]\", \"actual\": [[1, 0, 6, 0, 1], 2], \"expected\": [[1, 0, 6, 0, 1], 2], \"passed\": true}, {\"check\": \"partial-repair [[[1, 1, 1]]]\", \"actual\": [[1, 0, 0, 1], 3], \"expected\": [[1, 0, 0, 1], 3], \"passed\": true}, {\"check\": \"control [[[0, 0, 0]]]\", \"actual\": [[2, 0, 0, 0], 0], \"expected\": [[2, 0, 0, 0], 0], \"passed\": true}, {\"check\": \"control [[[1, 0, 1, 1, 0], [0, 1, 1, 1, 1]]]\", \"actual\": [[1, 0, 0, 2, 1, 0], 3], \"expected\": [[1, 0, 0, 2, 1, 0], 3], \"passed\": true}, {\"check\": \"control [[[1, 1, 0], [1, 1, 0]]]\", \"actual\": [[2, 0, 2, 0], 2], \"expected\": [[2, 0, 2, 0], 2], \"passed\": true}, {\"check\": \"control [[[1, 1, 0, 0, 0], [1, 1, 0, 0, 1], [0, 0, 1, 1, 1], [1, 1, 0, 0, 1]]]\", \"actual\": [[2, 2, 4, 4, 2, 2], 1], \"expected\": [[2, 2, 4, 4, 2, 2], 1], \"passed\": true}, {\"check\": \"control [[[0, 0, 0, 1, 0, 1, 1], [1, 0, 0, 1, 1, 1, 0], [0, 0, 0, 1, 1, 0, ...\", \"actual\": [[1, 1, 6, 6, 1, 1, 0, 0], 1], \"expected\": [[1, 1, 6, 6, 1, 1, 0, 0], 1], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}