{"abstract":"Negative samples are quantised one step less reliable than positive samples of equal magnitude.","category":"Error-correcting codes","checks":8,"contract":"Quantise soft demodulator samples to signed integer LLRs for a hard/soft decoder. Each sample y (integer) is scaled (v = y * scale, in hundredths), rounded to the nearest integer with halves rounded away from zero, and saturated symmetrically to +-(2^(bits-1) - 1). Positive LLR means bit 0, negative bit 1, zero is an erasure (None). Return [llrs, hard decisions].","contract_signature":"samples, scale, bits","evaluation_group":"w2-error_correcting_codes-llr-quantizer","failed_approach":"Taking abs(v + 50) // 100 rounds negative values towards the wrong neighbour.","family":"w2-error_correcting_codes-llr-quantizer-negative-rounding","id":"FA-72231","implementations":{"attempt":{"sha256":"25240f2957e79995cb02ee9d5da7fd84fb89ade9d1b61b125b0eb75a91919241","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(samples, scale, bits):\n    lim = 2 ** (bits - 1) - 1\n    llrs, hard = [], []\n    for y in samples:\n        v = y * scale\n        q = abs(v + 50) // 100\n        q = min(q, lim)\n        q = q if v >= 0 else -q\n        llrs.append(q)\n        hard.append(None if q == 0 else (0 if q > 0 else 1))\n    return [llrs, hard]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['partial-repair [[329, -1, -98, 396, 80, -221, -227], 3, 5]', [[329, -1, -98, 396, 80, -221, -227], 3, 5], [[10, 0, -3, 12, 2, -7, -7], [0, None, 1, 0, 0, 1, 1]]], ['partial-repair [[-110, -296, 193], 1, 3]', [[-110, -296, 193], 1, 3], [[-1, -3, 2], [1, 1, 0]]], ['control [[-316, 153, -380, 115, 285], 2, 3]', [[-316, 153, -380, 115, 285], 2, 3], [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]]], ['control [[161, 358], 1, 4]', [[161, 358], 1, 4], [[2, 4], [0, 0]]], ['control [[184, 146], 3, 5]', [[184, 146], 3, 5], [[6, 4], [0, 0]]], ['control [[251, -383, 56, 115, -2], 2, 4]', [[251, -383, 56, 115, -2], 2, 4], [[5, -7, 1, 2, 0], [0, 1, 0, 0, None]]]], [['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['partial-repair [[-325, -180, 220, -322, 21], 4, 5]', [[-325, -180, 220, -322, 21], 4, 5], [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]]], ['partial-repair [[-341, 242, -149, -142, 5, 301], 1, 4]', [[-341, 242, -149, -142, 5, 301], 1, 4], [[-3, 2, -1, -1, 0, 3], [1, 0, 1, 1, None, 0]]], ['control [[900, -900, 700, -800], 1, 4]', [[900, -900, 700, -800], 1, 4], [[7, -7, 7, -7], [0, 1, 0, 1]]], ['control [[-350, 350], 2, 3]', [[-350, 350], 2, 3], [[-3, 3], [1, 0]]], ['control [[0, 1, -1], 1, 3]', [[0, 1, -1], 1, 3], [[0, 0, 0], [None, None, None]]], ['control [[-316, 153, -380, 115, 285], 2, 3]', [[-316, 153, -380, 115, 285], 2, 3], [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]]]], [['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['partial-repair [[-175, 400, -173], 4, 5]', [[-175, 400, -173], 4, 5], [[-7, 15, -7], [1, 0, 1]]], ['partial-repair [[-273, 202, 226, 129, -219, -131], 2, 3]', [[-273, 202, 226, 129, -219, -131], 2, 3], [[-3, 3, 3, 3, -3, -3], [1, 0, 0, 0, 1, 1]]], ['control [[184, 146], 3, 5]', [[184, 146], 3, 5], [[6, 4], [0, 0]]], ['control [[251, -383, 56, 115, -2], 2, 4]', [[251, -383, 56, 115, -2], 2, 4], [[5, -7, 1, 2, 0], [0, 1, 0, 0, None]]], ['control [[-308, 132, -336, -334, 391, 337, -203], 4, 4]', [[-308, 132, -336, -334, 391, 337, -203], 4, 4], [[-7, 5, -7, -7, 7, 7, -7], [1, 0, 1, 1, 0, 0, 1]]], ['control [[900, -900, 700, -800], 1, 4]', [[900, -900, 700, -800], 1, 4], [[7, -7, 7, -7], [0, 1, 0, 1]]]], [['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['partial-repair [[-87, 93], 3, 4]', [[-87, 93], 3, 4], [[-3, 3], [1, 0]]], ['partial-repair [[-219, -66, -258, -177, 231, 304], 3, 5]', [[-219, -66, -258, -177, 231, 304], 3, 5], [[-7, -2, -8, -5, 7, 9], [1, 1, 1, 1, 0, 0]]], ['control [[0, 1, -1], 1, 3]', [[0, 1, -1], 1, 3], [[0, 0, 0], [None, None, None]]], ['control [[-316, 153, -380, 115, 285], 2, 3]', [[-316, 153, -380, 115, 285], 2, 3], [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]]], ['control [[161, 358], 1, 4]', [[161, 358], 1, 4], [[2, 4], [0, 0]]], ['control [[184, 146], 3, 5]', [[184, 146], 3, 5], [[6, 4], [0, 0]]]], [['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['partial-repair [[-293, -398, 93, -6, -35, -78, -62], 4, 5]', [[-293, -398, 93, -6, -35, -78, -62], 4, 5], [[-12, -15, 4, 0, -1, -3, -2], [1, 1, 0, None, 1, 1, 1]]], ['partial-repair [[-128, 321, 78, -33, 59, -182], 1, 3]', [[-128, 321, 78, -33, 59, -182], 1, 3], [[-1, 3, 1, 0, 1, -2], [1, 0, 0, None, 0, 1]]], ['control [[-308, 132, -336, -334, 391, 337, -203], 4, 4]', [[-308, 132, -336, -334, 391, 337, -203], 4, 4], [[-7, 5, -7, -7, 7, 7, -7], [1, 0, 1, 1, 0, 0, 1]]], ['control [[900, -900, 700, -800], 1, 4]', [[900, -900, 700, -800], 1, 4], [[7, -7, 7, -7], [0, 1, 0, 1]]], ['control [[-350, 350], 2, 3]', [[-350, 350], 2, 3], [[-3, 3], [1, 0]]], ['control [[0, 1, -1], 1, 3]', [[0, 1, -1], 1, 3], [[0, 0, 0], [None, None, 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":"6a86d2d0be13cadfae08c4cc7e84d6e1e99fdf386f7edee595f36e7ef8a4245f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(samples, scale, bits):\n    lim = 2 ** (bits - 1) - 1\n    llrs, hard = [], []\n    for y in samples:\n        v = y * scale\n        q = abs((v + 50) // 100)\n        q = min(q, lim)\n        q = q if v >= 0 else -q\n        llrs.append(q)\n        hard.append(None if q == 0 else (0 if q > 0 else 1))\n    return [llrs, hard]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['partial-repair [[329, -1, -98, 396, 80, -221, -227], 3, 5]', [[329, -1, -98, 396, 80, -221, -227], 3, 5], [[10, 0, -3, 12, 2, -7, -7], [0, None, 1, 0, 0, 1, 1]]], ['partial-repair [[-110, -296, 193], 1, 3]', [[-110, -296, 193], 1, 3], [[-1, -3, 2], [1, 1, 0]]], ['control [[-316, 153, -380, 115, 285], 2, 3]', [[-316, 153, -380, 115, 285], 2, 3], [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]]], ['control [[161, 358], 1, 4]', [[161, 358], 1, 4], [[2, 4], [0, 0]]], ['control [[184, 146], 3, 5]', [[184, 146], 3, 5], [[6, 4], [0, 0]]], ['control [[251, -383, 56, 115, -2], 2, 4]', [[251, -383, 56, 115, -2], 2, 4], [[5, -7, 1, 2, 0], [0, 1, 0, 0, None]]]], [['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['partial-repair [[-325, -180, 220, -322, 21], 4, 5]', [[-325, -180, 220, -322, 21], 4, 5], [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]]], ['partial-repair [[-341, 242, -149, -142, 5, 301], 1, 4]', [[-341, 242, -149, -142, 5, 301], 1, 4], [[-3, 2, -1, -1, 0, 3], [1, 0, 1, 1, None, 0]]], ['control [[900, -900, 700, -800], 1, 4]', [[900, -900, 700, -800], 1, 4], [[7, -7, 7, -7], [0, 1, 0, 1]]], ['control [[-350, 350], 2, 3]', [[-350, 350], 2, 3], [[-3, 3], [1, 0]]], ['control [[0, 1, -1], 1, 3]', [[0, 1, -1], 1, 3], [[0, 0, 0], [None, None, None]]], ['control [[-316, 153, -380, 115, 285], 2, 3]', [[-316, 153, -380, 115, 285], 2, 3], [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]]]], [['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['partial-repair [[-175, 400, -173], 4, 5]', [[-175, 400, -173], 4, 5], [[-7, 15, -7], [1, 0, 1]]], ['partial-repair [[-273, 202, 226, 129, -219, -131], 2, 3]', [[-273, 202, 226, 129, -219, -131], 2, 3], [[-3, 3, 3, 3, -3, -3], [1, 0, 0, 0, 1, 1]]], ['control [[184, 146], 3, 5]', [[184, 146], 3, 5], [[6, 4], [0, 0]]], ['control [[251, -383, 56, 115, -2], 2, 4]', [[251, -383, 56, 115, -2], 2, 4], [[5, -7, 1, 2, 0], [0, 1, 0, 0, None]]], ['control [[-308, 132, -336, -334, 391, 337, -203], 4, 4]', [[-308, 132, -336, -334, 391, 337, -203], 4, 4], [[-7, 5, -7, -7, 7, 7, -7], [1, 0, 1, 1, 0, 0, 1]]], ['control [[900, -900, 700, -800], 1, 4]', [[900, -900, 700, -800], 1, 4], [[7, -7, 7, -7], [0, 1, 0, 1]]]], [['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['partial-repair [[-87, 93], 3, 4]', [[-87, 93], 3, 4], [[-3, 3], [1, 0]]], ['partial-repair [[-219, -66, -258, -177, 231, 304], 3, 5]', [[-219, -66, -258, -177, 231, 304], 3, 5], [[-7, -2, -8, -5, 7, 9], [1, 1, 1, 1, 0, 0]]], ['control [[0, 1, -1], 1, 3]', [[0, 1, -1], 1, 3], [[0, 0, 0], [None, None, None]]], ['control [[-316, 153, -380, 115, 285], 2, 3]', [[-316, 153, -380, 115, 285], 2, 3], [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]]], ['control [[161, 358], 1, 4]', [[161, 358], 1, 4], [[2, 4], [0, 0]]], ['control [[184, 146], 3, 5]', [[184, 146], 3, 5], [[6, 4], [0, 0]]]], [['regression [[250, -250, 150, -150, 49, -50], 1, 4]', [[250, -250, 150, -150, 49, -50], 1, 4], [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, None, 1]]], ['regression [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]], ['partial-repair [[-293, -398, 93, -6, -35, -78, -62], 4, 5]', [[-293, -398, 93, -6, -35, -78, -62], 4, 5], [[-12, -15, 4, 0, -1, -3, -2], [1, 1, 0, None, 1, 1, 1]]], ['partial-repair [[-128, 321, 78, -33, 59, -182], 1, 3]', [[-128, 321, 78, -33, 59, -182], 1, 3], [[-1, 3, 1, 0, 1, -2], [1, 0, 0, None, 0, 1]]], ['control [[-308, 132, -336, -334, 391, 337, -203], 4, 4]', [[-308, 132, -336, -334, 391, 337, -203], 4, 4], [[-7, 5, -7, -7, 7, 7, -7], [1, 0, 1, 1, 0, 0, 1]]], ['control [[900, -900, 700, -800], 1, 4]', [[900, -900, 700, -800], 1, 4], [[7, -7, 7, -7], [0, 1, 0, 1]]], ['control [[-350, 350], 2, 3]', [[-350, 350], 2, 3], [[-3, 3], [1, 0]]], ['control [[0, 1, -1], 1, 3]', [[0, 1, -1], 1, 3], [[0, 0, 0], [None, None, 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-llr-quantizer-negative-rounding","generated_at":"2026-09-29T14:48:36.678395+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Fixed-point receivers quantise LLRs before feeding Viterbi or LDPC decoders; bias at this stage costs coding gain.","root_cause":"Rounding is done on the signed value with floor division, so -2.5 becomes -2 while +2.5 becomes 3.","sha256":"046d4a774e41c75d196411ed47e5335cebb6ddda148edf3eaaef6c9cb91bdafa","title":"LLR quantizer floors negative half values · 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":41.411,"exit_code":1,"observations":[{"actual":[[3,-2,2,-1,0,0],[0,1,0,1,null,null]],"check":"regression [[250, -250, 150, -150, 49, -50], 1, 4]","expected":[[3,-3,2,-2,0,-1],[0,1,0,1,null,1]],"passed":false},{"actual":[[-9,-10,-10],[1,1,1]],"check":"regression [[-1049, -1050, -1051], 1, 8]","expected":[[-10,-11,-11],[1,1,1]],"passed":false},{"actual":[[10,0,-2,12,2,-6,-6],[0,null,1,0,0,1,1]],"check":"partial-repair [[329, -1, -98, 396, 80, -221, -227], 3, 5]","expected":[[10,0,-3,12,2,-7,-7],[0,null,1,0,0,1,1]],"passed":false},{"actual":[[0,-2,2],[null,1,0]],"check":"partial-repair [[-110, -296, 193], 1, 3]","expected":[[-1,-3,2],[1,1,0]],"passed":false},{"actual":[[-3,3,-3,2,3],[1,0,1,0,0]],"check":"control [[-316, 153, -380, 115, 285], 2, 3]","expected":[[-3,3,-3,2,3],[1,0,1,0,0]],"passed":true},{"actual":[[2,4],[0,0]],"check":"control [[161, 358], 1, 4]","expected":[[2,4],[0,0]],"passed":true},{"actual":[[6,4],[0,0]],"check":"control [[184, 146], 3, 5]","expected":[[6,4],[0,0]],"passed":true},{"actual":[[5,-7,1,2,0],[0,1,0,0,null]],"check":"control [[251, -383, 56, 115, -2], 2, 4]","expected":[[5,-7,1,2,0],[0,1,0,0,null]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[250, -250, 150, -150, 49, -50], 1, 4]\", \"actual\": [[3, -2, 2, -1, 0, 0], [0, 1, 0, 1, null, null]], \"expected\": [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, null, 1]], \"passed\": false}, {\"check\": \"regression [[-1049, -1050, -1051], 1, 8]\", \"actual\": [[-9, -10, -10], [1, 1, 1]], \"expected\": [[-10, -11, -11], [1, 1, 1]], \"passed\": false}, {\"check\": \"partial-repair [[329, -1, -98, 396, 80, -221, -227], 3, 5]\", \"actual\": [[10, 0, -2, 12, 2, -6, -6], [0, null, 1, 0, 0, 1, 1]], \"expected\": [[10, 0, -3, 12, 2, -7, -7], [0, null, 1, 0, 0, 1, 1]], \"passed\": false}, {\"check\": \"partial-repair [[-110, -296, 193], 1, 3]\", \"actual\": [[0, -2, 2], [null, 1, 0]], \"expected\": [[-1, -3, 2], [1, 1, 0]], \"passed\": false}, {\"check\": \"control [[-316, 153, -380, 115, 285], 2, 3]\", \"actual\": [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]], \"expected\": [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]], \"passed\": true}, {\"check\": \"control [[161, 358], 1, 4]\", \"actual\": [[2, 4], [0, 0]], \"expected\": [[2, 4], [0, 0]], \"passed\": true}, {\"check\": \"control [[184, 146], 3, 5]\", \"actual\": [[6, 4], [0, 0]], \"expected\": [[6, 4], [0, 0]], \"passed\": true}, {\"check\": \"control [[251, -383, 56, 115, -2], 2, 4]\", \"actual\": [[5, -7, 1, 2, 0], [0, 1, 0, 0, null]], \"expected\": [[5, -7, 1, 2, 0], [0, 1, 0, 0, null]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.007,"exit_code":1,"observations":[{"actual":[[3,-2,2,-1,0,0],[0,1,0,1,null,null]],"check":"regression [[250, -250, 150, -150, 49, -50], 1, 4]","expected":[[3,-3,2,-2,0,-1],[0,1,0,1,null,1]],"passed":false},{"actual":[[-10,-10,-11],[1,1,1]],"check":"regression [[-1049, -1050, -1051], 1, 8]","expected":[[-10,-11,-11],[1,1,1]],"passed":false},{"actual":[[10,0,-3,12,2,-7,-7],[0,null,1,0,0,1,1]],"check":"partial-repair [[329, -1, -98, 396, 80, -221, -227], 3, 5]","expected":[[10,0,-3,12,2,-7,-7],[0,null,1,0,0,1,1]],"passed":true},{"actual":[[-1,-3,2],[1,1,0]],"check":"partial-repair [[-110, -296, 193], 1, 3]","expected":[[-1,-3,2],[1,1,0]],"passed":true},{"actual":[[-3,3,-3,2,3],[1,0,1,0,0]],"check":"control [[-316, 153, -380, 115, 285], 2, 3]","expected":[[-3,3,-3,2,3],[1,0,1,0,0]],"passed":true},{"actual":[[2,4],[0,0]],"check":"control [[161, 358], 1, 4]","expected":[[2,4],[0,0]],"passed":true},{"actual":[[6,4],[0,0]],"check":"control [[184, 146], 3, 5]","expected":[[6,4],[0,0]],"passed":true},{"actual":[[5,-7,1,2,0],[0,1,0,0,null]],"check":"control [[251, -383, 56, 115, -2], 2, 4]","expected":[[5,-7,1,2,0],[0,1,0,0,null]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[250, -250, 150, -150, 49, -50], 1, 4]\", \"actual\": [[3, -2, 2, -1, 0, 0], [0, 1, 0, 1, null, null]], \"expected\": [[3, -3, 2, -2, 0, -1], [0, 1, 0, 1, null, 1]], \"passed\": false}, {\"check\": \"regression [[-1049, -1050, -1051], 1, 8]\", \"actual\": [[-10, -10, -11], [1, 1, 1]], \"expected\": [[-10, -11, -11], [1, 1, 1]], \"passed\": false}, {\"check\": \"partial-repair [[329, -1, -98, 396, 80, -221, -227], 3, 5]\", \"actual\": [[10, 0, -3, 12, 2, -7, -7], [0, null, 1, 0, 0, 1, 1]], \"expected\": [[10, 0, -3, 12, 2, -7, -7], [0, null, 1, 0, 0, 1, 1]], \"passed\": true}, {\"check\": \"partial-repair [[-110, -296, 193], 1, 3]\", \"actual\": [[-1, -3, 2], [1, 1, 0]], \"expected\": [[-1, -3, 2], [1, 1, 0]], \"passed\": true}, {\"check\": \"control [[-316, 153, -380, 115, 285], 2, 3]\", \"actual\": [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]], \"expected\": [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]], \"passed\": true}, {\"check\": \"control [[161, 358], 1, 4]\", \"actual\": [[2, 4], [0, 0]], \"expected\": [[2, 4], [0, 0]], \"passed\": true}, {\"check\": \"control [[184, 146], 3, 5]\", \"actual\": [[6, 4], [0, 0]], \"expected\": [[6, 4], [0, 0]], \"passed\": true}, {\"check\": \"control [[251, -383, 56, 115, -2], 2, 4]\", \"actual\": [[5, -7, 1, 2, 0], [0, 1, 0, 0, null]], \"expected\": [[5, -7, 1, 2, 0], [0, 1, 0, 0, null]], \"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."}}