{"abstract":"Soft values are placed at shifted positions after the first punctured bit.","category":"Error-correcting codes","checks":8,"contract":"Depuncture a rate-matched soft stream: the mother-code stream of length total was punctured with a cyclic 0/1 pattern starting at pattern phase 0 for every block. Reinsert LLR 0 at punctured positions and place received values at kept positions. If the number of received values differs from the number of kept positions, or the pattern keeps nothing, return None. Return the depunctured list.","contract_signature":"rx, pattern, total","evaluation_group":"w2-error_correcting_codes-depuncture","failed_approach":"Advancing the pattern one step ahead of k shifts every decision by one.","family":"w2-error_correcting_codes-depuncture-pattern-phase","id":"FA-72151","implementations":{"attempt":{"sha256":"10499d8ada905a75ec79480ec996e7406967586a96297aee32d4b872d335ebe5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rx, pattern, total):\n    if not pattern or sum(pattern) == 0 or total < 0:\n        return None\n    kept = sum(pattern) * (total // len(pattern)) + sum(pattern[:total % len(pattern)])\n    if kept != len(rx):\n        return None\n    out, j = [], 0\n    for k in range(total):\n        if pattern[(k + 1) % len(pattern)]:\n            out.append(rx[j])\n            j += 1\n        else:\n            out.append(0)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]', [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13], [-5, -1, 0, 4, 1, -3, 0, 2, 4, 6, 0, 1, -1]], ['regression [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6]', [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6], [-1, -3, 0, 1, 4, -3]], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]', [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8], [-1, 0, 4, 1, -5, 0, -3, 0]], ['control [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12]', [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12], [1, -3, -5, 0, 2, 2, -1, 0, -3, 2, 4, 0]], ['control [[1, -1, -1, 6, 2, 4, -1, 1, 4, 6, 6], [1, 1, 1, 0], 14]', [[1, -1, -1, 6, 2, 4, -1, 1, 4, 6, 6], [1, 1, 1, 0], 14], [1, -1, -1, 0, 6, 2, 4, 0, -1, 1, 4, 0, 6, 6]]], [['regression [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]', [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8], [-1, 0, 4, 1, -5, 0, -3, 0]], ['regression [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12]', [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12], [1, -3, -5, 0, 2, 2, -1, 0, -3, 2, 4, 0]], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[-3, 2, -3, -1, 4, 2, 1, 6, 6, -5], [1, 1, 0], 14]', [[-3, 2, -3, -1, 4, 2, 1, 6, 6, -5], [1, 1, 0], 14], [-3, 2, 0, -3, -1, 0, 4, 2, 0, 1, 6, 0, 6, -5]], ['control [[-5, -3, -1, 6, -3, -5, -5, -3], [1, 1, 0], 12]', [[-5, -3, -1, 6, -3, -5, -5, -3], [1, 1, 0], 12], [-5, -3, 0, -1, 6, 0, -3, -5, 0, -5, -3, 0]], ['control [[1, 2], [1, 1, 0], 3]', [[1, 2], [1, 1, 0], 3], [1, 2, 0]]], [['regression [[1, 4, 2, 4], [1, 0], 7]', [[1, 4, 2, 4], [1, 0], 7], [1, 0, 4, 0, 2, 0, 4]], ['regression [[6, 2, -1], [1, 0], 5]', [[6, 2, -1], [1, 0], 5], [6, 0, 2, 0, -1]], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[4], [1, 0, 0], 2]', [[4], [1, 0, 0], 2], [4, 0]], ['control [[7, 8, 9, 5], [1, 1, 0, 1], 5]', [[7, 8, 9, 5], [1, 1, 0, 1], 5], [7, 8, 0, 9, 5]], ['control [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]', [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13], [-5, -1, 0, 4, 1, -3, 0, 2, 4, 6, 0, 1, -1]]], [['regression [[-5, -3, -1, 6, -3, -5, -5, -3], [1, 1, 0], 12]', [[-5, -3, -1, 6, -3, -5, -5, -3], [1, 1, 0], 12], [-5, -3, 0, -1, 6, 0, -3, -5, 0, -5, -3, 0]], ['regression [[7, 8, 9, 5], [1, 1, 0, 1], 5]', [[7, 8, 9, 5], [1, 1, 0, 1], 5], [7, 8, 0, 9, 5]], ['partial-repair [[1, 2], [1, 1, 0], 3]', [[1, 2], [1, 1, 0], 3], [1, 2, 0]], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[2, 1, -3, 6, -1, -5, -3], [1, 0, 1, 1, 1, 0], 10]', [[2, 1, -3, 6, -1, -5, -3], [1, 0, 1, 1, 1, 0], 10], [2, 0, 1, -3, 6, 0, -1, 0, -5, -3]], ['control [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]', [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8], [-1, 0, 4, 1, -5, 0, -3, 0]]], [['regression [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6]', [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6], [-1, -3, 0, 1, 4, -3]], ['regression [[2, 1, -3, 6, -1, -5, -3], [1, 0, 1, 1, 1, 0], 10]', [[2, 1, -3, 6, -1, -5, -3], [1, 0, 1, 1, 1, 0], 10], [2, 0, 1, -3, 6, 0, -1, 0, -5, -3]], ['partial-repair [[7, 8, 9, 5], [1, 1, 0, 1], 5]', [[7, 8, 9, 5], [1, 1, 0, 1], 5], [7, 8, 0, 9, 5]], ['partial-repair [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]', [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13], [-5, -1, 0, 4, 1, -3, 0, 2, 4, 6, 0, 1, -1]], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[6, 2, -1], [1, 0], 5]', [[6, 2, -1], [1, 0], 5], [6, 0, 2, 0, -1]]]]\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":"87b2176ea09ca1ad128fc0db60ec884782fd1a9419435163876a2e62ca8ffb92","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rx, pattern, total):\n    if not pattern or sum(pattern) == 0 or total < 0:\n        return None\n    kept = sum(pattern) * (total // len(pattern)) + sum(pattern[:total % len(pattern)])\n    if kept != len(rx):\n        return None\n    out, j = [], 0\n    for k in range(total):\n        if pattern[j % len(pattern)]:\n            out.append(rx[j])\n            j += 1\n        else:\n            out.append(0)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]', [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13], [-5, -1, 0, 4, 1, -3, 0, 2, 4, 6, 0, 1, -1]], ['regression [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6]', [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6], [-1, -3, 0, 1, 4, -3]], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]', [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8], [-1, 0, 4, 1, -5, 0, -3, 0]], ['control [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12]', [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12], [1, -3, -5, 0, 2, 2, -1, 0, -3, 2, 4, 0]], ['control [[1, -1, -1, 6, 2, 4, -1, 1, 4, 6, 6], [1, 1, 1, 0], 14]', [[1, -1, -1, 6, 2, 4, -1, 1, 4, 6, 6], [1, 1, 1, 0], 14], [1, -1, -1, 0, 6, 2, 4, 0, -1, 1, 4, 0, 6, 6]]], [['regression [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]', [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8], [-1, 0, 4, 1, -5, 0, -3, 0]], ['regression [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12]', [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12], [1, -3, -5, 0, 2, 2, -1, 0, -3, 2, 4, 0]], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[-3, 2, -3, -1, 4, 2, 1, 6, 6, -5], [1, 1, 0], 14]', [[-3, 2, -3, -1, 4, 2, 1, 6, 6, -5], [1, 1, 0], 14], [-3, 2, 0, -3, -1, 0, 4, 2, 0, 1, 6, 0, 6, -5]], ['control [[-5, -3, -1, 6, -3, -5, -5, -3], [1, 1, 0], 12]', [[-5, -3, -1, 6, -3, -5, -5, -3], [1, 1, 0], 12], [-5, -3, 0, -1, 6, 0, -3, -5, 0, -5, -3, 0]], ['control [[1, 2], [1, 1, 0], 3]', [[1, 2], [1, 1, 0], 3], [1, 2, 0]]], [['regression [[1, 4, 2, 4], [1, 0], 7]', [[1, 4, 2, 4], [1, 0], 7], [1, 0, 4, 0, 2, 0, 4]], ['regression [[6, 2, -1], [1, 0], 5]', [[6, 2, -1], [1, 0], 5], [6, 0, 2, 0, -1]], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[4], [1, 0, 0], 2]', [[4], [1, 0, 0], 2], [4, 0]], ['control [[7, 8, 9, 5], [1, 1, 0, 1], 5]', [[7, 8, 9, 5], [1, 1, 0, 1], 5], [7, 8, 0, 9, 5]], ['control [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]', [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13], [-5, -1, 0, 4, 1, -3, 0, 2, 4, 6, 0, 1, -1]]], [['regression [[-5, -3, -1, 6, -3, -5, -5, -3], [1, 1, 0], 12]', [[-5, -3, -1, 6, -3, -5, -5, -3], [1, 1, 0], 12], [-5, -3, 0, -1, 6, 0, -3, -5, 0, -5, -3, 0]], ['regression [[7, 8, 9, 5], [1, 1, 0, 1], 5]', [[7, 8, 9, 5], [1, 1, 0, 1], 5], [7, 8, 0, 9, 5]], ['partial-repair [[1, 2], [1, 1, 0], 3]', [[1, 2], [1, 1, 0], 3], [1, 2, 0]], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[2, 1, -3, 6, -1, -5, -3], [1, 0, 1, 1, 1, 0], 10]', [[2, 1, -3, 6, -1, -5, -3], [1, 0, 1, 1, 1, 0], 10], [2, 0, 1, -3, 6, 0, -1, 0, -5, -3]], ['control [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]', [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8], [-1, 0, 4, 1, -5, 0, -3, 0]]], [['regression [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6]', [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6], [-1, -3, 0, 1, 4, -3]], ['regression [[2, 1, -3, 6, -1, -5, -3], [1, 0, 1, 1, 1, 0], 10]', [[2, 1, -3, 6, -1, -5, -3], [1, 0, 1, 1, 1, 0], 10], [2, 0, 1, -3, 6, 0, -1, 0, -5, -3]], ['partial-repair [[7, 8, 9, 5], [1, 1, 0, 1], 5]', [[7, 8, 9, 5], [1, 1, 0, 1], 5], [7, 8, 0, 9, 5]], ['partial-repair [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]', [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13], [-5, -1, 0, 4, 1, -3, 0, 2, 4, 6, 0, 1, -1]], ['control [[7, 8, 9], [1, 1, 0, 1], 5]', [[7, 8, 9], [1, 1, 0, 1], 5], None], ['control [[1, 2, 3], [1, 1, 0], 3]', [[1, 2, 3], [1, 1, 0], 3], None], ['control [[], [0, 0], 4]', [[], [0, 0], 4], None], ['control [[6, 2, -1], [1, 0], 5]', [[6, 2, -1], [1, 0], 5], [6, 0, 2, 0, -1]]]]\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-depuncture-pattern-phase","generated_at":"2026-09-29T14:48:35.922846+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Rate-compatible punctured convolutional and turbo codes need exact depuncturing before decoding.","root_cause":"The pattern is indexed with the received-value counter j instead of the mother-stream position k.","sha256":"32405fd7884908de6c88ff060e5bd170d20e38d396c8d76b7b7cb5e813c5fe77","title":"Depuncturing indexes the pattern by received count · 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.547,"exit_code":1,"observations":[{"actual":[-5,0,-1,4,1,0,-3,2,4,0,6,1,-1],"check":"regression [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]","expected":[-5,-1,0,4,1,-3,0,2,4,6,0,1,-1],"passed":false},{"actual":[-1,0,-3,1,4,0],"check":"regression [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6]","expected":[-1,-3,0,1,4,-3],"passed":false},{"actual":null,"check":"control [[1, 2, 3], [1, 1, 0], 3]","expected":null,"passed":true},{"actual":null,"check":"control [[], [0, 0], 4]","expected":null,"passed":true},{"actual":null,"check":"control [[7, 8, 9], [1, 1, 0, 1], 5]","expected":null,"passed":true},{"actual":[0,-1,4,1,0,-5,0,-3],"check":"control [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]","expected":[-1,0,4,1,-5,0,-3,0],"passed":false},{"actual":[1,-3,0,-5,2,2,0,-1,-3,2,0,4],"check":"control [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12]","expected":[1,-3,-5,0,2,2,-1,0,-3,2,4,0],"passed":false},{"actual":[1,-1,0,-1,6,2,0,4,-1,1,0,4,6,6],"check":"control [[1, -1, -1, 6, 2, 4, -1, 1, 4, 6, 6], [1, 1, 1, 0], 14]","expected":[1,-1,-1,0,6,2,4,0,-1,1,4,0,6,6],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]\", \"actual\": [-5, 0, -1, 4, 1, 0, -3, 2, 4, 0, 6, 1, -1], \"expected\": [-5, -1, 0, 4, 1, -3, 0, 2, 4, 6, 0, 1, -1], \"passed\": false}, {\"check\": \"regression [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6]\", \"actual\": [-1, 0, -3, 1, 4, 0], \"expected\": [-1, -3, 0, 1, 4, -3], \"passed\": false}, {\"check\": \"control [[1, 2, 3], [1, 1, 0], 3]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [[], [0, 0], 4]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [[7, 8, 9], [1, 1, 0, 1], 5]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]\", \"actual\": [0, -1, 4, 1, 0, -5, 0, -3], \"expected\": [-1, 0, 4, 1, -5, 0, -3, 0], \"passed\": false}, {\"check\": \"control [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12]\", \"actual\": [1, -3, 0, -5, 2, 2, 0, -1, -3, 2, 0, 4], \"expected\": [1, -3, -5, 0, 2, 2, -1, 0, -3, 2, 4, 0], \"passed\": false}, {\"check\": \"control [[1, -1, -1, 6, 2, 4, -1, 1, 4, 6, 6], [1, 1, 1, 0], 14]\", \"actual\": [1, -1, 0, -1, 6, 2, 0, 4, -1, 1, 0, 4, 6, 6], \"expected\": [1, -1, -1, 0, 6, 2, 4, 0, -1, 1, 4, 0, 6, 6], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.723,"exit_code":1,"observations":[{"actual":[-5,-1,0,0,0,0,0,0,0,0,0,0,0],"check":"regression [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]","expected":[-5,-1,0,4,1,-3,0,2,4,6,0,1,-1],"passed":false},{"actual":[-1,-3,0,0,0,0],"check":"regression [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6]","expected":[-1,-3,0,1,4,-3],"passed":false},{"actual":null,"check":"control [[1, 2, 3], [1, 1, 0], 3]","expected":null,"passed":true},{"actual":null,"check":"control [[], [0, 0], 4]","expected":null,"passed":true},{"actual":null,"check":"control [[7, 8, 9], [1, 1, 0, 1], 5]","expected":null,"passed":true},{"actual":[-1,0,0,0,0,0,0,0],"check":"control [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]","expected":[-1,0,4,1,-5,0,-3,0],"passed":false},{"actual":[1,-3,-5,0,0,0,0,0,0,0,0,0],"check":"control [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12]","expected":[1,-3,-5,0,2,2,-1,0,-3,2,4,0],"passed":false},{"actual":[1,-1,-1,0,0,0,0,0,0,0,0,0,0,0],"check":"control [[1, -1, -1, 6, 2, 4, -1, 1, 4, 6, 6], [1, 1, 1, 0], 14]","expected":[1,-1,-1,0,6,2,4,0,-1,1,4,0,6,6],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [[-5, -1, 4, 1, -3, 2, 4, 6, 1, -1], [1, 1, 0, 1], 13]\", \"actual\": [-5, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], \"expected\": [-5, -1, 0, 4, 1, -3, 0, 2, 4, 6, 0, 1, -1], \"passed\": false}, {\"check\": \"regression [[-1, -3, 1, 4, -3], [1, 1, 0, 1], 6]\", \"actual\": [-1, -3, 0, 0, 0, 0], \"expected\": [-1, -3, 0, 1, 4, -3], \"passed\": false}, {\"check\": \"control [[1, 2, 3], [1, 1, 0], 3]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [[], [0, 0], 4]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [[7, 8, 9], [1, 1, 0, 1], 5]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [[-1, 4, 1, -5, -3], [1, 0, 1, 1, 1, 0], 8]\", \"actual\": [-1, 0, 0, 0, 0, 0, 0, 0], \"expected\": [-1, 0, 4, 1, -5, 0, -3, 0], \"passed\": false}, {\"check\": \"control [[1, -3, -5, 2, 2, -1, -3, 2, 4], [1, 1, 1, 0], 12]\", \"actual\": [1, -3, -5, 0, 0, 0, 0, 0, 0, 0, 0, 0], \"expected\": [1, -3, -5, 0, 2, 2, -1, 0, -3, 2, 4, 0], \"passed\": false}, {\"check\": \"control [[1, -1, -1, 6, 2, 4, -1, 1, 4, 6, 6], [1, 1, 1, 0], 14]\", \"actual\": [1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], \"expected\": [1, -1, -1, 0, 6, 2, 4, 0, -1, 1, 4, 0, 6, 6], \"passed\": false}], \"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."}}