{"abstract":"Error patterns with exactly one zero syndrome are \"corrected\" using log(0).","category":"Error-correcting codes","checks":8,"contract":"Correct at most one symbol error in a Reed-Solomon codeword with two parity symbols over GF(2^8) (0x11D, roots alpha^0 and alpha^1, alpha = 2). msg lists coefficients highest degree first, so index n-1-i holds degree i. With S0 = msg(1) and S1 = msg(alpha): both zero -> clean; one zero -> uncorrectable; else the error degree is log(S1/S0), which must be < n, and the error value is S0. Return [corrected symbols or None, status].","contract_signature":"msg","evaluation_group":"w2-error_correcting_codes-rs-single-error","failed_approach":"Rejecting only S0 == 0 still lets S1 == 0 through.","family":"w2-error_correcting_codes-rs-single-error-syndrome-consistency","id":"FA-72026","implementations":{"attempt":{"sha256":"af47e50ed39bc8d3ee28c7b1399ace2f480b5f262a771a896d58620b4acf6b1a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(msg):\n    EXP, LOG = [0] * 512, [0] * 256\n    x = 1\n    for i in range(255):\n        EXP[i] = EXP[i + 255] = x\n        LOG[x] = i\n        x <<= 1\n        if x & 0x100:\n            x ^= 0x11D\n    def mul(a, b):\n        return 0 if a == 0 or b == 0 else EXP[LOG[a] + LOG[b]]\n    \n    n = len(msg)\n    def ev(root):\n        v = 0\n        for coef in msg:\n            v = mul(v, root) ^ coef\n        return v\n    s0, s1 = ev(1), ev(2)\n    if s0 == 0 and s1 == 0:\n        return [list(msg), 'clean']\n    if s0 == 0:\n        return [None, 'uncorrectable']\n    loc = (LOG[s1] - LOG[s0]) % 255\n    if loc >= n:\n        return [None, 'uncorrectable']\n    out = list(msg)\n    out[n - 1 - loc] ^= s0\n    return [out, 'corrected']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[24, 109, 190, 189, 118]]', [[24, 109, 190, 189, 118]], [None, 'uncorrectable']], ['regression [[183, 98, 190, 106, 24, 25]]', [[183, 98, 190, 106, 24, 25]], [None, 'uncorrectable']], ['partial-repair [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['control [[197, 174, 1, 105, 3]]', [[197, 174, 1, 105, 3]], [[197, 174, 1, 105, 3], 'clean']], ['control [[197, 174, 1, 72, 3]]', [[197, 174, 1, 72, 3]], [[197, 174, 1, 105, 3], 'corrected']], ['control [[246, 174, 1, 105, 3]]', [[246, 174, 1, 105, 3]], [[197, 174, 1, 105, 3], 'corrected']], ['control [[197, 174, 1, 32, 233]]', [[197, 174, 1, 32, 233]], [None, 'uncorrectable']], ['control [[170, 170, 73, 201, 214, 86]]', [[170, 170, 73, 201, 214, 86]], [[170, 170, 73, 201, 214, 86], 'clean']]], [['regression [[190, 92, 54, 249, 159, 178]]', [[190, 92, 54, 249, 159, 178]], [None, 'uncorrectable']], ['regression [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['control [[170, 170, 224, 201, 214, 86]]', [[170, 170, 224, 201, 214, 86]], [[170, 170, 73, 201, 214, 86], 'corrected']], ['control [[159, 170, 73, 201, 214, 86]]', [[159, 170, 73, 201, 214, 86]], [[170, 170, 73, 201, 214, 86], 'corrected']], ['control [[170, 108, 73, 201, 214, 197]]', [[170, 108, 73, 201, 214, 197]], [None, 'uncorrectable']], ['control [[95, 129, 216, 244, 158, 37, 73]]', [[95, 129, 216, 244, 158, 37, 73]], [[95, 129, 216, 244, 158, 37, 73], 'clean']], ['control [[95, 129, 216, 244, 184, 37, 73]]', [[95, 129, 216, 244, 184, 37, 73]], [[95, 129, 216, 244, 158, 37, 73], 'corrected']], ['control [[100, 129, 216, 244, 158, 37, 73]]', [[100, 129, 216, 244, 158, 37, 73]], [[95, 129, 216, 244, 158, 37, 73], 'corrected']]], [['regression [[183, 98, 190, 106, 24, 25]]', [[183, 98, 190, 106, 24, 25]], [None, 'uncorrectable']], ['regression [[39, 64, 216, 131, 60]]', [[39, 64, 216, 131, 60]], [None, 'uncorrectable']], ['partial-repair [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['control [[100, 129, 216, 244, 158, 37, 73]]', [[100, 129, 216, 244, 158, 37, 73]], [[95, 129, 216, 244, 158, 37, 73], 'corrected']], ['control [[95, 129, 216, 148, 158, 46, 73]]', [[95, 129, 216, 148, 158, 46, 73]], [None, 'uncorrectable']], ['control [[29, 68, 82, 179, 193, 203, 215, 101]]', [[29, 68, 82, 179, 193, 203, 215, 101]], [[29, 68, 82, 179, 193, 203, 215, 101], 'clean']], ['control [[29, 68, 82, 251, 193, 203, 215, 101]]', [[29, 68, 82, 251, 193, 203, 215, 101]], [[29, 68, 82, 179, 193, 203, 215, 101], 'corrected']], ['control [[160, 68, 82, 179, 193, 203, 215, 101]]', [[160, 68, 82, 179, 193, 203, 215, 101]], [[29, 68, 82, 179, 193, 203, 215, 101], 'corrected']]], [['regression [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['regression [[24, 109, 190, 189, 118]]', [[24, 109, 190, 189, 118]], [None, 'uncorrectable']], ['control [[224, 68, 82, 179, 193, 34, 215, 101]]', [[224, 68, 82, 179, 193, 34, 215, 101]], [None, 'uncorrectable']], ['control [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249]]', [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249]], [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249], 'clean']], ['control [[249, 14, 133, 199, 50, 207, 133, 156, 190, 249]]', [[249, 14, 133, 199, 50, 207, 133, 156, 190, 249]], [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249], 'corrected']], ['control [[101, 14, 133, 199, 50, 217, 133, 156, 190, 249]]', [[101, 14, 133, 199, 50, 217, 133, 156, 190, 249]], [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249], 'corrected']], ['control [[249, 89, 133, 199, 50, 217, 133, 156, 84, 249]]', [[249, 89, 133, 199, 50, 217, 133, 156, 84, 249]], [None, 'uncorrectable']], ['control [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]]', [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]], [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52], 'clean']]], [['regression [[39, 64, 216, 131, 60]]', [[39, 64, 216, 131, 60]], [None, 'uncorrectable']], ['regression [[190, 92, 54, 249, 159, 178]]', [[190, 92, 54, 249, 159, 178]], [None, 'uncorrectable']], ['partial-repair [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['control [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]]', [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]], [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52], 'clean']], ['control [[11, 173, 115, 26, 153, 95, 50, 118, 184, 32, 84, 52]]', [[11, 173, 115, 26, 153, 95, 50, 118, 184, 32, 84, 52]], [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52], 'corrected']], ['control [[215, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]]', [[215, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]], [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52], 'corrected']], ['control [[11, 173, 115, 26, 74, 155, 50, 118, 184, 32, 84, 52]]', [[11, 173, 115, 26, 74, 155, 50, 118, 184, 32, 84, 52]], [None, 'uncorrectable']], ['control [[83, 135, 139, 74, 148, 233, 28, 230, 113, 155, 213, 155, 184, 142]]', [[83, 135, 139, 74, 148, 233, 28, 230, 113, 155, 213, 155, 184, 142]], [[83, 135, 139, 74, 148, 233, 28, 230, 113, 155, 213, 155, 184, 142], 'clean']]]]\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":"cedc9c5cfb82279dd6d523a1b1630d6d1691b6b79311561242a89d0f1a80d816","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(msg):\n    EXP, LOG = [0] * 512, [0] * 256\n    x = 1\n    for i in range(255):\n        EXP[i] = EXP[i + 255] = x\n        LOG[x] = i\n        x <<= 1\n        if x & 0x100:\n            x ^= 0x11D\n    def mul(a, b):\n        return 0 if a == 0 or b == 0 else EXP[LOG[a] + LOG[b]]\n    \n    n = len(msg)\n    def ev(root):\n        v = 0\n        for coef in msg:\n            v = mul(v, root) ^ coef\n        return v\n    s0, s1 = ev(1), ev(2)\n    if s0 == 0 and s1 == 0:\n        return [list(msg), 'clean']\n    loc = (LOG[s1] - LOG[s0]) % 255\n    if loc >= n:\n        return [None, 'uncorrectable']\n    out = list(msg)\n    out[n - 1 - loc] ^= s0\n    return [out, 'corrected']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[24, 109, 190, 189, 118]]', [[24, 109, 190, 189, 118]], [None, 'uncorrectable']], ['regression [[183, 98, 190, 106, 24, 25]]', [[183, 98, 190, 106, 24, 25]], [None, 'uncorrectable']], ['partial-repair [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['control [[197, 174, 1, 105, 3]]', [[197, 174, 1, 105, 3]], [[197, 174, 1, 105, 3], 'clean']], ['control [[197, 174, 1, 72, 3]]', [[197, 174, 1, 72, 3]], [[197, 174, 1, 105, 3], 'corrected']], ['control [[246, 174, 1, 105, 3]]', [[246, 174, 1, 105, 3]], [[197, 174, 1, 105, 3], 'corrected']], ['control [[197, 174, 1, 32, 233]]', [[197, 174, 1, 32, 233]], [None, 'uncorrectable']], ['control [[170, 170, 73, 201, 214, 86]]', [[170, 170, 73, 201, 214, 86]], [[170, 170, 73, 201, 214, 86], 'clean']]], [['regression [[190, 92, 54, 249, 159, 178]]', [[190, 92, 54, 249, 159, 178]], [None, 'uncorrectable']], ['regression [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['control [[170, 170, 224, 201, 214, 86]]', [[170, 170, 224, 201, 214, 86]], [[170, 170, 73, 201, 214, 86], 'corrected']], ['control [[159, 170, 73, 201, 214, 86]]', [[159, 170, 73, 201, 214, 86]], [[170, 170, 73, 201, 214, 86], 'corrected']], ['control [[170, 108, 73, 201, 214, 197]]', [[170, 108, 73, 201, 214, 197]], [None, 'uncorrectable']], ['control [[95, 129, 216, 244, 158, 37, 73]]', [[95, 129, 216, 244, 158, 37, 73]], [[95, 129, 216, 244, 158, 37, 73], 'clean']], ['control [[95, 129, 216, 244, 184, 37, 73]]', [[95, 129, 216, 244, 184, 37, 73]], [[95, 129, 216, 244, 158, 37, 73], 'corrected']], ['control [[100, 129, 216, 244, 158, 37, 73]]', [[100, 129, 216, 244, 158, 37, 73]], [[95, 129, 216, 244, 158, 37, 73], 'corrected']]], [['regression [[183, 98, 190, 106, 24, 25]]', [[183, 98, 190, 106, 24, 25]], [None, 'uncorrectable']], ['regression [[39, 64, 216, 131, 60]]', [[39, 64, 216, 131, 60]], [None, 'uncorrectable']], ['partial-repair [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['control [[100, 129, 216, 244, 158, 37, 73]]', [[100, 129, 216, 244, 158, 37, 73]], [[95, 129, 216, 244, 158, 37, 73], 'corrected']], ['control [[95, 129, 216, 148, 158, 46, 73]]', [[95, 129, 216, 148, 158, 46, 73]], [None, 'uncorrectable']], ['control [[29, 68, 82, 179, 193, 203, 215, 101]]', [[29, 68, 82, 179, 193, 203, 215, 101]], [[29, 68, 82, 179, 193, 203, 215, 101], 'clean']], ['control [[29, 68, 82, 251, 193, 203, 215, 101]]', [[29, 68, 82, 251, 193, 203, 215, 101]], [[29, 68, 82, 179, 193, 203, 215, 101], 'corrected']], ['control [[160, 68, 82, 179, 193, 203, 215, 101]]', [[160, 68, 82, 179, 193, 203, 215, 101]], [[29, 68, 82, 179, 193, 203, 215, 101], 'corrected']]], [['regression [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['regression [[24, 109, 190, 189, 118]]', [[24, 109, 190, 189, 118]], [None, 'uncorrectable']], ['control [[224, 68, 82, 179, 193, 34, 215, 101]]', [[224, 68, 82, 179, 193, 34, 215, 101]], [None, 'uncorrectable']], ['control [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249]]', [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249]], [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249], 'clean']], ['control [[249, 14, 133, 199, 50, 207, 133, 156, 190, 249]]', [[249, 14, 133, 199, 50, 207, 133, 156, 190, 249]], [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249], 'corrected']], ['control [[101, 14, 133, 199, 50, 217, 133, 156, 190, 249]]', [[101, 14, 133, 199, 50, 217, 133, 156, 190, 249]], [[249, 14, 133, 199, 50, 217, 133, 156, 190, 249], 'corrected']], ['control [[249, 89, 133, 199, 50, 217, 133, 156, 84, 249]]', [[249, 89, 133, 199, 50, 217, 133, 156, 84, 249]], [None, 'uncorrectable']], ['control [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]]', [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]], [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52], 'clean']]], [['regression [[39, 64, 216, 131, 60]]', [[39, 64, 216, 131, 60]], [None, 'uncorrectable']], ['regression [[190, 92, 54, 249, 159, 178]]', [[190, 92, 54, 249, 159, 178]], [None, 'uncorrectable']], ['partial-repair [[146, 202, 14, 25, 193]]', [[146, 202, 14, 25, 193]], [None, 'uncorrectable']], ['control [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]]', [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]], [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52], 'clean']], ['control [[11, 173, 115, 26, 153, 95, 50, 118, 184, 32, 84, 52]]', [[11, 173, 115, 26, 153, 95, 50, 118, 184, 32, 84, 52]], [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52], 'corrected']], ['control [[215, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]]', [[215, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52]], [[11, 173, 115, 26, 44, 95, 50, 118, 184, 32, 84, 52], 'corrected']], ['control [[11, 173, 115, 26, 74, 155, 50, 118, 184, 32, 84, 52]]', [[11, 173, 115, 26, 74, 155, 50, 118, 184, 32, 84, 52]], [None, 'uncorrectable']], ['control [[83, 135, 139, 74, 148, 233, 28, 230, 113, 155, 213, 155, 184, 142]]', [[83, 135, 139, 74, 148, 233, 28, 230, 113, 155, 213, 155, 184, 142]], [[83, 135, 139, 74, 148, 233, 28, 230, 113, 155, 213, 155, 184, 142], 'clean']]]]\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-rs-single-error-syndrome-consistency","generated_at":"2026-09-29T14:48:34.801734+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Short-block RS codes in barcodes and radio headers correct a single corrupted symbol cheaply.","root_cause":"The case where exactly one syndrome is zero is not rejected.","sha256":"bac9eab9facfec9c74064aa86a5335c1e147da9b601d567a839d2b46f75a2a54","title":"RS single-error correction ignores a lone zero syndrome · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":39.677,"exit_code":1,"observations":[{"actual":[null,"uncorrectable"],"check":"regression [[24, 109, 190, 189, 118]]","expected":[null,"uncorrectable"],"passed":true},{"actual":[null,"uncorrectable"],"check":"regression [[183, 98, 190, 106, 24, 25]]","expected":[null,"uncorrectable"],"passed":true},{"actual":[[146,202,14,151,193],"corrected"],"check":"partial-repair [[146, 202, 14, 25, 193]]","expected":[null,"uncorrectable"],"passed":false},{"actual":[[197,174,1,105,3],"clean"],"check":"control [[197, 174, 1, 105, 3]]","expected":[[197,174,1,105,3],"clean"],"passed":true},{"actual":[[197,174,1,105,3],"corrected"],"check":"control [[197, 174, 1, 72, 3]]","expected":[[197,174,1,105,3],"corrected"],"passed":true},{"actual":[[197,174,1,105,3],"corrected"],"check":"control [[246, 174, 1, 105, 3]]","expected":[[197,174,1,105,3],"corrected"],"passed":true},{"actual":[null,"uncorrectable"],"check":"control [[197, 174, 1, 32, 233]]","expected":[null,"uncorrectable"],"passed":true},{"actual":[[170,170,73,201,214,86],"clean"],"check":"control [[170, 170, 73, 201, 214, 86]]","expected":[[170,170,73,201,214,86],"clean"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[24, 109, 190, 189, 118]]\", \"actual\": [null, \"uncorrectable\"], \"expected\": [null, \"uncorrectable\"], \"passed\": true}, {\"check\": \"regression [[183, 98, 190, 106, 24, 25]]\", \"actual\": [null, \"uncorrectable\"], \"expected\": [null, \"uncorrectable\"], \"passed\": true}, {\"check\": \"partial-repair [[146, 202, 14, 25, 193]]\", \"actual\": [[146, 202, 14, 151, 193], \"corrected\"], \"expected\": [null, \"uncorrectable\"], \"passed\": false}, {\"check\": \"control [[197, 174, 1, 105, 3]]\", \"actual\": [[197, 174, 1, 105, 3], \"clean\"], \"expected\": [[197, 174, 1, 105, 3], \"clean\"], \"passed\": true}, {\"check\": \"control [[197, 174, 1, 72, 3]]\", \"actual\": [[197, 174, 1, 105, 3], \"corrected\"], \"expected\": [[197, 174, 1, 105, 3], \"corrected\"], \"passed\": true}, {\"check\": \"control [[246, 174, 1, 105, 3]]\", \"actual\": [[197, 174, 1, 105, 3], \"corrected\"], \"expected\": [[197, 174, 1, 105, 3], \"corrected\"], \"passed\": true}, {\"check\": \"control [[197, 174, 1, 32, 233]]\", \"actual\": [null, \"uncorrectable\"], \"expected\": [null, \"uncorrectable\"], \"passed\": true}, {\"check\": \"control [[170, 170, 73, 201, 214, 86]]\", \"actual\": [[170, 170, 73, 201, 214, 86], \"clean\"], \"expected\": [[170, 170, 73, 201, 214, 86], \"clean\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.942,"exit_code":1,"observations":[{"actual":[[24,109,190,189,118],"corrected"],"check":"regression [[24, 109, 190, 189, 118]]","expected":[null,"uncorrectable"],"passed":false},{"actual":[[183,98,190,106,24,25],"corrected"],"check":"regression [[183, 98, 190, 106, 24, 25]]","expected":[null,"uncorrectable"],"passed":false},{"actual":[[146,202,14,151,193],"corrected"],"check":"partial-repair [[146, 202, 14, 25, 193]]","expected":[null,"uncorrectable"],"passed":false},{"actual":[[197,174,1,105,3],"clean"],"check":"control [[197, 174, 1, 105, 3]]","expected":[[197,174,1,105,3],"clean"],"passed":true},{"actual":[[197,174,1,105,3],"corrected"],"check":"control [[197, 174, 1, 72, 3]]","expected":[[197,174,1,105,3],"corrected"],"passed":true},{"actual":[[197,174,1,105,3],"corrected"],"check":"control [[246, 174, 1, 105, 3]]","expected":[[197,174,1,105,3],"corrected"],"passed":true},{"actual":[null,"uncorrectable"],"check":"control [[197, 174, 1, 32, 233]]","expected":[null,"uncorrectable"],"passed":true},{"actual":[[170,170,73,201,214,86],"clean"],"check":"control [[170, 170, 73, 201, 214, 86]]","expected":[[170,170,73,201,214,86],"clean"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[24, 109, 190, 189, 118]]\", \"actual\": [[24, 109, 190, 189, 118], \"corrected\"], \"expected\": [null, \"uncorrectable\"], \"passed\": false}, {\"check\": \"regression [[183, 98, 190, 106, 24, 25]]\", \"actual\": [[183, 98, 190, 106, 24, 25], \"corrected\"], \"expected\": [null, \"uncorrectable\"], \"passed\": false}, {\"check\": \"partial-repair [[146, 202, 14, 25, 193]]\", \"actual\": [[146, 202, 14, 151, 193], \"corrected\"], \"expected\": [null, \"uncorrectable\"], \"passed\": false}, {\"check\": \"control [[197, 174, 1, 105, 3]]\", \"actual\": [[197, 174, 1, 105, 3], \"clean\"], \"expected\": [[197, 174, 1, 105, 3], \"clean\"], \"passed\": true}, {\"check\": \"control [[197, 174, 1, 72, 3]]\", \"actual\": [[197, 174, 1, 105, 3], \"corrected\"], \"expected\": [[197, 174, 1, 105, 3], \"corrected\"], \"passed\": true}, {\"check\": \"control [[246, 174, 1, 105, 3]]\", \"actual\": [[197, 174, 1, 105, 3], \"corrected\"], \"expected\": [[197, 174, 1, 105, 3], \"corrected\"], \"passed\": true}, {\"check\": \"control [[197, 174, 1, 32, 233]]\", \"actual\": [null, \"uncorrectable\"], \"expected\": [null, \"uncorrectable\"], \"passed\": true}, {\"check\": \"control [[170, 170, 73, 201, 214, 86]]\", \"actual\": [[170, 170, 73, 201, 214, 86], \"clean\"], \"expected\": [[170, 170, 73, 201, 214, 86], \"clean\"], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}