{"abstract":"LPC decoder feeds residual instead of reconstructed sample into history.","category":"PCM sample encoding","checks":8,"contract":"Reconstruct bounded integer PCM LPC residuals using newest-first history, floor-divided complete dot products and reconstructed-sample history feedback.","evaluation_group":"s3-pcm-pcm-lpc-residual-reconstruction","failed_approach":"Feeding prediction omits the correction required by the next sample.","family":"s3-pcm-pcm-lpc-residual-reconstruction-history-feedback","id":"FA-50161","implementations":{"attempt":{"sha256":"b4fcd56457d4e5c4e639feffd0d94c4f37f7ee023d2e10ac9be28be42c7649ad","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(residuals, history, coefficients, divisor):\n    state=list(history)\n    out=[]\n    for residual in residuals:\n        prediction=sum(c*x for c,x in zip(coefficients,state))//divisor\n        sample=prediction+residual\n        out.append(sample)\n        state=[prediction]+state[:-1]\n    return [out,state]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('oracle 1', solve(*([1, 2, -1], [3, 1], [2, -1], 1)), [[6, 11, 15], [15, 11]])\ncheck('oracle 2', solve(*([0, 1, -2], [-3, 2], [1, 1], 3)), [[-1, -1, -3], [-3, -1]])\ncheck('oracle 3', solve(*([], [2, 1], [2, -1], 1)), [[], [2, 1]])\ncheck('oracle 4', solve(*([2, 0, 1], [0, 0, 0], [3, -2, 1], 2)), [[2, 3, 3], [3, 3, 2]])\ncheck('oracle 5', solve(*([-1, 3], [5], [1], 2)), [[1, 3], [3]])\ncheck('oracle 6', solve(*([1, 1], [1, 2, 3], [1, 2, 3], 4)), [[4, 4], [4, 4, 1]])\ncheck('oracle 7', solve(*([0, -1], [4, -2], [3, 1], 3)), [[3, 3], [3, 3]])\nif N == 1: check('variant packet 1', solve(*[[1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33], [33, 27]])\nif N == 2: check('variant packet 2', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57], [57, 49]])\nif N == 3: check('variant packet 3', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87], [87, 77]])\nif N == 4: check('variant packet 4', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87, 98, 111, 123], [123, 111]])\nif N == 5: check('variant packet 5', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87, 98, 111, 123, 136, 151, 165], [165, 151]])\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":"ec1066f1e4aadd6db224c0420914b5268a8503cca908fe1029de702be15970c0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(residuals, history, coefficients, divisor):\n    state=list(history)\n    out=[]\n    for residual in residuals:\n        prediction=sum(c*x for c,x in zip(coefficients,state))//divisor\n        sample=prediction+residual\n        out.append(sample)\n        state=[residual]+state[:-1]\n    return [out,state]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('oracle 1', solve(*([1, 2, -1], [3, 1], [2, -1], 1)), [[6, 11, 15], [15, 11]])\ncheck('oracle 2', solve(*([0, 1, -2], [-3, 2], [1, 1], 3)), [[-1, -1, -3], [-3, -1]])\ncheck('oracle 3', solve(*([], [2, 1], [2, -1], 1)), [[], [2, 1]])\ncheck('oracle 4', solve(*([2, 0, 1], [0, 0, 0], [3, -2, 1], 2)), [[2, 3, 3], [3, 3, 2]])\ncheck('oracle 5', solve(*([-1, 3], [5], [1], 2)), [[1, 3], [3]])\ncheck('oracle 6', solve(*([1, 1], [1, 2, 3], [1, 2, 3], 4)), [[4, 4], [4, 4, 1]])\ncheck('oracle 7', solve(*([0, -1], [4, -2], [3, 1], 3)), [[3, 3], [3, 3]])\nif N == 1: check('variant packet 1', solve(*[[1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33], [33, 27]])\nif N == 2: check('variant packet 2', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57], [57, 49]])\nif N == 3: check('variant packet 3', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87], [87, 77]])\nif N == 4: check('variant packet 4', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87, 98, 111, 123], [123, 111]])\nif N == 5: check('variant packet 5', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87, 98, 111, 123, 136, 151, 165], [165, 151]])\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":"13ed7d44c9da9b2358c03834f633d9fe772e00fc1f0d48d294522abee17e3586","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(residuals, history, coefficients, divisor):\n    state=list(history)\n    out=[]\n    for residual in residuals:\n        prediction=sum(c*x for c,x in zip(coefficients,state))//divisor\n        sample=prediction+residual\n        out.append(sample)\n        state=[sample]+state[:-1]\n    return [out,state]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('oracle 1', solve(*([1, 2, -1], [3, 1], [2, -1], 1)), [[6, 11, 15], [15, 11]])\ncheck('oracle 2', solve(*([0, 1, -2], [-3, 2], [1, 1], 3)), [[-1, -1, -3], [-3, -1]])\ncheck('oracle 3', solve(*([], [2, 1], [2, -1], 1)), [[], [2, 1]])\ncheck('oracle 4', solve(*([2, 0, 1], [0, 0, 0], [3, -2, 1], 2)), [[2, 3, 3], [3, 3, 2]])\ncheck('oracle 5', solve(*([-1, 3], [5], [1], 2)), [[1, 3], [3]])\ncheck('oracle 6', solve(*([1, 1], [1, 2, 3], [1, 2, 3], 4)), [[4, 4], [4, 4, 1]])\ncheck('oracle 7', solve(*([0, -1], [4, -2], [3, 1], 3)), [[3, 3], [3, 3]])\nif N == 1: check('variant packet 1', solve(*[[1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33], [33, 27]])\nif N == 2: check('variant packet 2', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57], [57, 49]])\nif N == 3: check('variant packet 3', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87], [87, 77]])\nif N == 4: check('variant packet 4', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87, 98, 111, 123], [123, 111]])\nif N == 5: check('variant packet 5', solve(*[[1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1, 1, 2, -1], [3, 1], [2, -1], 1]), [[6, 11, 15, 20, 27, 33, 40, 49, 57, 66, 77, 87, 98, 111, 123, 136, 151, 165], [165, 151]])\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":"Stipulated finite model; no claim of hardware timing or full file-format conformance. 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":"s3-pcm-pcm-lpc-residual-reconstruction-history-feedback","generated_at":"2026-09-29T14:45:06.619573+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline PCM interchange uses these exact bounded packet and sample representation decisions.","repair":"Use the stated conversion contract at history feedback.","root_cause":"LPC decoder feeds residual instead of reconstructed sample into history.","sha256":"e011a691f22da9b52cb86601686471f3ee10b8a3b9d392a656c6e5f0ff7cef12","title":"Pcm lpc residual reconstruction: history feedback · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.785,"exit_code":1,"observations":[{"actual":[[6,9,8],[9,7]],"check":"oracle 1","expected":[[6,11,15],[15,11]],"passed":false},{"actual":[[-1,-1,-3],[-1,-2]],"check":"oracle 2","expected":[[-1,-1,-3],[-3,-1]],"passed":false},{"actual":[[],[2,1]],"check":"oracle 3","expected":[[],[2,1]],"passed":true},{"actual":[[2,0,1],[0,0,0]],"check":"oracle 4","expected":[[2,3,3],[3,3,2]],"passed":false},{"actual":[[1,4],[1]],"check":"oracle 5","expected":[[1,3],[3]],"passed":false},{"actual":[[4,3],[2,3,1]],"check":"oracle 6","expected":[[4,4],[4,4,1]],"passed":false},{"actual":[[3,3],[4,3]],"check":"oracle 7","expected":[[3,3],[3,3]],"passed":false},{"actual":[[6,9,8,12,15,14],[15,13]],"check":"variant packet 1","expected":[[6,11,15,20,27,33],[33,27]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[6, 9, 8], [9, 7]], \"expected\": [[6, 11, 15], [15, 11]], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [[-1, -1, -3], [-1, -2]], \"expected\": [[-1, -1, -3], [-3, -1]], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [[], [2, 1]], \"expected\": [[], [2, 1]], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [[2, 0, 1], [0, 0, 0]], \"expected\": [[2, 3, 3], [3, 3, 2]], \"passed\": false}, {\"check\": \"oracle 5\", \"actual\": [[1, 4], [1]], \"expected\": [[1, 3], [3]], \"passed\": false}, {\"check\": \"oracle 6\", \"actual\": [[4, 3], [2, 3, 1]], \"expected\": [[4, 4], [4, 4, 1]], \"passed\": false}, {\"check\": \"oracle 7\", \"actual\": [[3, 3], [4, 3]], \"expected\": [[3, 3], [3, 3]], \"passed\": false}, {\"check\": \"variant packet 1\", \"actual\": [[6, 9, 8, 12, 15, 14], [15, 13]], \"expected\": [[6, 11, 15, 20, 27, 33], [33, 27]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.751,"exit_code":1,"observations":[{"actual":[[6,1,2],[-1,2]],"check":"oracle 1","expected":[[6,11,15],[15,11]],"passed":false},{"actual":[[-1,0,-2],[-2,1]],"check":"oracle 2","expected":[[-1,-1,-3],[-3,-1]],"passed":false},{"actual":[[],[2,1]],"check":"oracle 3","expected":[[],[2,1]],"passed":true},{"actual":[[2,3,-1],[1,0,2]],"check":"oracle 4","expected":[[2,3,3],[3,3,2]],"passed":false},{"actual":[[1,2],[3]],"check":"oracle 5","expected":[[1,3],[3]],"passed":false},{"actual":[[4,3],[1,1,1]],"check":"oracle 6","expected":[[4,4],[4,4,1]],"passed":false},{"actual":[[3,0],[-1,0]],"check":"oracle 7","expected":[[3,3],[3,3]],"passed":false},{"actual":[[6,1,2,-3,5,2],[-1,2]],"check":"variant packet 1","expected":[[6,11,15,20,27,33],[33,27]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[6, 1, 2], [-1, 2]], \"expected\": [[6, 11, 15], [15, 11]], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [[-1, 0, -2], [-2, 1]], \"expected\": [[-1, -1, -3], [-3, -1]], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [[], [2, 1]], \"expected\": [[], [2, 1]], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [[2, 3, -1], [1, 0, 2]], \"expected\": [[2, 3, 3], [3, 3, 2]], \"passed\": false}, {\"check\": \"oracle 5\", \"actual\": [[1, 2], [3]], \"expected\": [[1, 3], [3]], \"passed\": false}, {\"check\": \"oracle 6\", \"actual\": [[4, 3], [1, 1, 1]], \"expected\": [[4, 4], [4, 4, 1]], \"passed\": false}, {\"check\": \"oracle 7\", \"actual\": [[3, 0], [-1, 0]], \"expected\": [[3, 3], [3, 3]], \"passed\": false}, {\"check\": \"variant packet 1\", \"actual\": [[6, 1, 2, -3, 5, 2], [-1, 2]], \"expected\": [[6, 11, 15, 20, 27, 33], [33, 27]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.33,"exit_code":0,"observations":[{"actual":[[6,11,15],[15,11]],"check":"oracle 1","expected":[[6,11,15],[15,11]],"passed":true},{"actual":[[-1,-1,-3],[-3,-1]],"check":"oracle 2","expected":[[-1,-1,-3],[-3,-1]],"passed":true},{"actual":[[],[2,1]],"check":"oracle 3","expected":[[],[2,1]],"passed":true},{"actual":[[2,3,3],[3,3,2]],"check":"oracle 4","expected":[[2,3,3],[3,3,2]],"passed":true},{"actual":[[1,3],[3]],"check":"oracle 5","expected":[[1,3],[3]],"passed":true},{"actual":[[4,4],[4,4,1]],"check":"oracle 6","expected":[[4,4],[4,4,1]],"passed":true},{"actual":[[3,3],[3,3]],"check":"oracle 7","expected":[[3,3],[3,3]],"passed":true},{"actual":[[6,11,15,20,27,33],[33,27]],"check":"variant packet 1","expected":[[6,11,15,20,27,33],[33,27]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[6, 11, 15], [15, 11]], \"expected\": [[6, 11, 15], [15, 11]], \"passed\": true}, {\"check\": \"oracle 2\", \"actual\": [[-1, -1, -3], [-3, -1]], \"expected\": [[-1, -1, -3], [-3, -1]], \"passed\": true}, {\"check\": \"oracle 3\", \"actual\": [[], [2, 1]], \"expected\": [[], [2, 1]], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [[2, 3, 3], [3, 3, 2]], \"expected\": [[2, 3, 3], [3, 3, 2]], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [[1, 3], [3]], \"expected\": [[1, 3], [3]], \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": [[4, 4], [4, 4, 1]], \"expected\": [[4, 4], [4, 4, 1]], \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": [[3, 3], [3, 3]], \"expected\": [[3, 3], [3, 3]], \"passed\": true}, {\"check\": \"variant packet 1\", \"actual\": [[6, 11, 15, 20, 27, 33], [33, 27]], \"expected\": [[6, 11, 15, 20, 27, 33], [33, 27]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}