{"abstract":"Large samples produce LLRs outside the decoder word size.","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":"Allowing the extra negative two-complement code makes negative LLRs stronger than positive ones.","family":"w2-error_correcting_codes-llr-quantizer-symmetric-saturation","id":"FA-72236","implementations":{"attempt":{"sha256":"76041365f76b651417fb7e07676b0cac7f34b4cbacfea178c6bbc8d0f9af4f86","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 if v >= 0 else lim + 1)\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 [[-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 [[-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 [[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]]], ['control [[-110, -296, 193], 1, 3]', [[-110, -296, 193], 1, 3], [[-1, -3, 2], [1, 1, 0]]], ['control [[-139, 193, -225, -10, -203], 3, 4]', [[-139, 193, -225, -10, -203], 3, 4], [[-4, 6, -7, 0, -6], [1, 0, 1, None, 1]]], ['control [[-325, -180, 220, -322, 21], 4, 5]', [[-325, -180, 220, -322, 21], 4, 5], [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]]], ['control [[-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]]]], [['regression [[136, 302, -270, -121, 100, 337, -271], 2, 3]', [[136, 302, -270, -121, 100, 337, -271], 2, 3], [[3, 3, -3, -2, 2, 3, -3], [0, 0, 1, 1, 0, 0, 1]]], ['regression [[251, -383, 56, 115, -2], 2, 4]', [[251, -383, 56, 115, -2], 2, 4], [[5, -7, 1, 2, 0], [0, 1, 0, 0, None]]], ['partial-repair [[-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 [[396, 308, -178], 1, 4]', [[396, 308, -178], 1, 4], [[4, 3, -2], [0, 0, 1]]], ['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 [[-87, 93], 3, 4]', [[-87, 93], 3, 4], [[-3, 3], [1, 0]]], ['control [[-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]]]], [['regression [[-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]]], ['regression [[-119, -57, 243, 368, -75, -270, -363], 1, 3]', [[-119, -57, 243, 368, -75, -270, -363], 1, 3], [[-1, -1, 2, 3, -1, -3, -3], [1, 1, 0, 0, 1, 1, 1]]], ['partial-repair [[900, -900, 700, -800], 1, 4]', [[900, -900, 700, -800], 1, 4], [[7, -7, 7, -7], [0, 1, 0, 1]]], ['control [[395, -217, -351], 1, 4]', [[395, -217, -351], 1, 4], [[4, -2, -4], [0, 1, 1]]], ['control [[-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 [[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]]], ['control [[0, 1, -1], 1, 3]', [[0, 1, -1], 1, 3], [[0, 0, 0], [None, None, None]]], ['control [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]]], [['regression [[-350, 350], 2, 3]', [[-350, 350], 2, 3], [[-3, 3], [1, 0]]], ['regression [[-316, 153, -380, 115, 285], 2, 3]', [[-316, 153, -380, 115, 285], 2, 3], [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]]], ['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 [[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]]], ['control [[-110, -296, 193], 1, 3]', [[-110, -296, 193], 1, 3], [[-1, -3, 2], [1, 1, 0]]], ['control [[-139, 193, -225, -10, -203], 3, 4]', [[-139, 193, -225, -10, -203], 3, 4], [[-4, 6, -7, 0, -6], [1, 0, 1, None, 1]]], ['control [[-325, -180, 220, -322, 21], 4, 5]', [[-325, -180, 220, -322, 21], 4, 5], [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]]], ['control [[-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]]]], [['regression [[-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]]], ['regression [[136, 302, -270, -121, 100, 337, -271], 2, 3]', [[136, 302, -270, -121, 100, 337, -271], 2, 3], [[3, 3, -3, -2, 2, 3, -3], [0, 0, 1, 1, 0, 0, 1]]], ['partial-repair [[251, -383, 56, 115, -2], 2, 4]', [[251, -383, 56, 115, -2], 2, 4], [[5, -7, 1, 2, 0], [0, 1, 0, 0, None]]], ['partial-repair [[-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 [[396, 308, -178], 1, 4]', [[396, 308, -178], 1, 4], [[4, 3, -2], [0, 0, 1]]], ['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 [[-87, 93], 3, 4]', [[-87, 93], 3, 4], [[-3, 3], [1, 0]]]]]\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":"29eb6ad7e608b294fe0ee170d1e358bccb75cb3c255ceb27360375c097f29114","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, 2 ** bits - 1)\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 [[-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 [[-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 [[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]]], ['control [[-110, -296, 193], 1, 3]', [[-110, -296, 193], 1, 3], [[-1, -3, 2], [1, 1, 0]]], ['control [[-139, 193, -225, -10, -203], 3, 4]', [[-139, 193, -225, -10, -203], 3, 4], [[-4, 6, -7, 0, -6], [1, 0, 1, None, 1]]], ['control [[-325, -180, 220, -322, 21], 4, 5]', [[-325, -180, 220, -322, 21], 4, 5], [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]]], ['control [[-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]]]], [['regression [[136, 302, -270, -121, 100, 337, -271], 2, 3]', [[136, 302, -270, -121, 100, 337, -271], 2, 3], [[3, 3, -3, -2, 2, 3, -3], [0, 0, 1, 1, 0, 0, 1]]], ['regression [[251, -383, 56, 115, -2], 2, 4]', [[251, -383, 56, 115, -2], 2, 4], [[5, -7, 1, 2, 0], [0, 1, 0, 0, None]]], ['partial-repair [[-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 [[396, 308, -178], 1, 4]', [[396, 308, -178], 1, 4], [[4, 3, -2], [0, 0, 1]]], ['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 [[-87, 93], 3, 4]', [[-87, 93], 3, 4], [[-3, 3], [1, 0]]], ['control [[-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]]]], [['regression [[-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]]], ['regression [[-119, -57, 243, 368, -75, -270, -363], 1, 3]', [[-119, -57, 243, 368, -75, -270, -363], 1, 3], [[-1, -1, 2, 3, -1, -3, -3], [1, 1, 0, 0, 1, 1, 1]]], ['partial-repair [[900, -900, 700, -800], 1, 4]', [[900, -900, 700, -800], 1, 4], [[7, -7, 7, -7], [0, 1, 0, 1]]], ['control [[395, -217, -351], 1, 4]', [[395, -217, -351], 1, 4], [[4, -2, -4], [0, 1, 1]]], ['control [[-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 [[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]]], ['control [[0, 1, -1], 1, 3]', [[0, 1, -1], 1, 3], [[0, 0, 0], [None, None, None]]], ['control [[-1049, -1050, -1051], 1, 8]', [[-1049, -1050, -1051], 1, 8], [[-10, -11, -11], [1, 1, 1]]]], [['regression [[-350, 350], 2, 3]', [[-350, 350], 2, 3], [[-3, 3], [1, 0]]], ['regression [[-316, 153, -380, 115, 285], 2, 3]', [[-316, 153, -380, 115, 285], 2, 3], [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]]], ['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 [[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]]], ['control [[-110, -296, 193], 1, 3]', [[-110, -296, 193], 1, 3], [[-1, -3, 2], [1, 1, 0]]], ['control [[-139, 193, -225, -10, -203], 3, 4]', [[-139, 193, -225, -10, -203], 3, 4], [[-4, 6, -7, 0, -6], [1, 0, 1, None, 1]]], ['control [[-325, -180, 220, -322, 21], 4, 5]', [[-325, -180, 220, -322, 21], 4, 5], [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]]], ['control [[-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]]]], [['regression [[-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]]], ['regression [[136, 302, -270, -121, 100, 337, -271], 2, 3]', [[136, 302, -270, -121, 100, 337, -271], 2, 3], [[3, 3, -3, -2, 2, 3, -3], [0, 0, 1, 1, 0, 0, 1]]], ['partial-repair [[251, -383, 56, 115, -2], 2, 4]', [[251, -383, 56, 115, -2], 2, 4], [[5, -7, 1, 2, 0], [0, 1, 0, 0, None]]], ['partial-repair [[-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 [[396, 308, -178], 1, 4]', [[396, 308, -178], 1, 4], [[4, 3, -2], [0, 0, 1]]], ['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 [[-87, 93], 3, 4]', [[-87, 93], 3, 4], [[-3, 3], [1, 0]]]]]\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-symmetric-saturation","generated_at":"2026-09-29T14:48:36.679537+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":"The limit is 2^bits - 1, the unsigned range, instead of the symmetric signed limit.","sha256":"7f8009c2549d5596e7e19274d1fa604d98fbaa46e3b9d6355cd26a6f54b6b98e","title":"LLR quantizer saturates to the unsigned range · 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":42.667,"exit_code":1,"observations":[{"actual":[[-4,3,-4,2,3],[1,0,1,0,0]],"check":"regression [[-316, 153, -380, 115, 285], 2, 3]","expected":[[-3,3,-3,2,3],[1,0,1,0,0]],"passed":false},{"actual":[[-7,15,-7],[1,0,1]],"check":"regression [[-175, 400, -173], 4, 5]","expected":[[-7,15,-7],[1,0,1]],"passed":true},{"actual":[[-4,3,3,3,-4,-3],[1,0,0,0,1,1]],"check":"partial-repair [[-273, 202, 226, 129, -219, -131], 2, 3]","expected":[[-3,3,3,3,-3,-3],[1,0,0,0,1,1]],"passed":false},{"actual":[[10,0,-3,12,2,-7,-7],[0,null,1,0,0,1,1]],"check":"control [[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":"control [[-110, -296, 193], 1, 3]","expected":[[-1,-3,2],[1,1,0]],"passed":true},{"actual":[[-4,6,-7,0,-6],[1,0,1,null,1]],"check":"control [[-139, 193, -225, -10, -203], 3, 4]","expected":[[-4,6,-7,0,-6],[1,0,1,null,1]],"passed":true},{"actual":[[-13,-7,9,-13,1],[1,1,0,1,0]],"check":"control [[-325, -180, 220, -322, 21], 4, 5]","expected":[[-13,-7,9,-13,1],[1,1,0,1,0]],"passed":true},{"actual":[[-3,2,-1,-1,0,3],[1,0,1,1,null,0]],"check":"control [[-341, 242, -149, -142, 5, 301], 1, 4]","expected":[[-3,2,-1,-1,0,3],[1,0,1,1,null,0]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[-316, 153, -380, 115, 285], 2, 3]\", \"actual\": [[-4, 3, -4, 2, 3], [1, 0, 1, 0, 0]], \"expected\": [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]], \"passed\": false}, {\"check\": \"regression [[-175, 400, -173], 4, 5]\", \"actual\": [[-7, 15, -7], [1, 0, 1]], \"expected\": [[-7, 15, -7], [1, 0, 1]], \"passed\": true}, {\"check\": \"partial-repair [[-273, 202, 226, 129, -219, -131], 2, 3]\", \"actual\": [[-4, 3, 3, 3, -4, -3], [1, 0, 0, 0, 1, 1]], \"expected\": [[-3, 3, 3, 3, -3, -3], [1, 0, 0, 0, 1, 1]], \"passed\": false}, {\"check\": \"control [[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\": \"control [[-110, -296, 193], 1, 3]\", \"actual\": [[-1, -3, 2], [1, 1, 0]], \"expected\": [[-1, -3, 2], [1, 1, 0]], \"passed\": true}, {\"check\": \"control [[-139, 193, -225, -10, -203], 3, 4]\", \"actual\": [[-4, 6, -7, 0, -6], [1, 0, 1, null, 1]], \"expected\": [[-4, 6, -7, 0, -6], [1, 0, 1, null, 1]], \"passed\": true}, {\"check\": \"control [[-325, -180, 220, -322, 21], 4, 5]\", \"actual\": [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]], \"expected\": [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]], \"passed\": true}, {\"check\": \"control [[-341, 242, -149, -142, 5, 301], 1, 4]\", \"actual\": [[-3, 2, -1, -1, 0, 3], [1, 0, 1, 1, null, 0]], \"expected\": [[-3, 2, -1, -1, 0, 3], [1, 0, 1, 1, null, 0]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.483,"exit_code":1,"observations":[{"actual":[[-6,3,-7,2,6],[1,0,1,0,0]],"check":"regression [[-316, 153, -380, 115, 285], 2, 3]","expected":[[-3,3,-3,2,3],[1,0,1,0,0]],"passed":false},{"actual":[[-7,16,-7],[1,0,1]],"check":"regression [[-175, 400, -173], 4, 5]","expected":[[-7,15,-7],[1,0,1]],"passed":false},{"actual":[[-5,4,5,3,-4,-3],[1,0,0,0,1,1]],"check":"partial-repair [[-273, 202, 226, 129, -219, -131], 2, 3]","expected":[[-3,3,3,3,-3,-3],[1,0,0,0,1,1]],"passed":false},{"actual":[[10,0,-3,12,2,-7,-7],[0,null,1,0,0,1,1]],"check":"control [[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":"control [[-110, -296, 193], 1, 3]","expected":[[-1,-3,2],[1,1,0]],"passed":true},{"actual":[[-4,6,-7,0,-6],[1,0,1,null,1]],"check":"control [[-139, 193, -225, -10, -203], 3, 4]","expected":[[-4,6,-7,0,-6],[1,0,1,null,1]],"passed":true},{"actual":[[-13,-7,9,-13,1],[1,1,0,1,0]],"check":"control [[-325, -180, 220, -322, 21], 4, 5]","expected":[[-13,-7,9,-13,1],[1,1,0,1,0]],"passed":true},{"actual":[[-3,2,-1,-1,0,3],[1,0,1,1,null,0]],"check":"control [[-341, 242, -149, -142, 5, 301], 1, 4]","expected":[[-3,2,-1,-1,0,3],[1,0,1,1,null,0]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[-316, 153, -380, 115, 285], 2, 3]\", \"actual\": [[-6, 3, -7, 2, 6], [1, 0, 1, 0, 0]], \"expected\": [[-3, 3, -3, 2, 3], [1, 0, 1, 0, 0]], \"passed\": false}, {\"check\": \"regression [[-175, 400, -173], 4, 5]\", \"actual\": [[-7, 16, -7], [1, 0, 1]], \"expected\": [[-7, 15, -7], [1, 0, 1]], \"passed\": false}, {\"check\": \"partial-repair [[-273, 202, 226, 129, -219, -131], 2, 3]\", \"actual\": [[-5, 4, 5, 3, -4, -3], [1, 0, 0, 0, 1, 1]], \"expected\": [[-3, 3, 3, 3, -3, -3], [1, 0, 0, 0, 1, 1]], \"passed\": false}, {\"check\": \"control [[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\": \"control [[-110, -296, 193], 1, 3]\", \"actual\": [[-1, -3, 2], [1, 1, 0]], \"expected\": [[-1, -3, 2], [1, 1, 0]], \"passed\": true}, {\"check\": \"control [[-139, 193, -225, -10, -203], 3, 4]\", \"actual\": [[-4, 6, -7, 0, -6], [1, 0, 1, null, 1]], \"expected\": [[-4, 6, -7, 0, -6], [1, 0, 1, null, 1]], \"passed\": true}, {\"check\": \"control [[-325, -180, 220, -322, 21], 4, 5]\", \"actual\": [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]], \"expected\": [[-13, -7, 9, -13, 1], [1, 1, 0, 1, 0]], \"passed\": true}, {\"check\": \"control [[-341, 242, -149, -142, 5, 301], 1, 4]\", \"actual\": [[-3, 2, -1, -1, 0, 3], [1, 0, 1, 1, null, 0]], \"expected\": [[-3, 2, -1, -1, 0, 3], [1, 0, 1, 1, null, 0]], \"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."}}