{"abstract":"Packet continuation resets adaptive delta to its lower bound.","category":"PCM sample encoding","checks":8,"contract":"Apply a stipulated 16-code fixed-point PCM adaptation table sequentially, enforcing a minimum positive amplitude delta and returning continuation scale.","evaluation_group":"s3-pcm-pcm-adaptation-table","failed_approach":"Returning a table factor substitutes a dimensionless value for sample scale.","family":"s3-pcm-pcm-adaptation-table-returned-state","id":"FA-49836","implementations":{"attempt":{"sha256":"a97f5a81ba64d35a72d8110df5d9413cbb54bf940b3fd0e833f278be2545e3f1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(codes, delta, minimum, table):\n    out=[]\n    for code in codes:\n        factor=table[code&15]\n        product=delta*factor\n        delta=max(minimum,product//256)\n        out.append(delta)\n    return [out,table[0]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('oracle 1', solve(*([0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230])), [[17, 40, 95, 85], 85])\ncheck('oracle 2', solve(*([0, 0, 0, 0], 5, 4, [128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128])), [[4, 4, 4, 4], 4])\ncheck('oracle 3', solve(*([1, 2, 3], 10, 1, [200, 210, 220, 230, 240, 250, 260, 270, 280, 290, 300, 310, 320, 330, 340, 350])), [[8, 6, 5], 5])\ncheck('oracle 4', solve(*([], 8, 2, [256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256])), [[], 8])\ncheck('oracle 5', solve(*([15, 8, 0], 9, 3, [200, 208, 216, 224, 232, 240, 248, 256, 264, 272, 280, 288, 296, 304, 312, 320])), [[11, 11, 8], 8])\ncheck('oracle 6', solve(*([7, 7], 4, 4, [256, 256, 256, 256, 256, 256, 256, 512, 256, 256, 256, 256, 256, 256, 256, 256])), [[8, 16], 16])\ncheck('oracle 7', solve(*([0, 1], 1, 1, [128, 768, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256])), [[1, 3], 3])\nif N == 1: check('variant packet 1', solve(*[[0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391], 391])\nif N == 2: check('variant packet 2', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812], 1812])\nif N == 3: check('variant packet 3', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407], 8407])\nif N == 4: check('variant packet 4', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407, 7553, 18115, 43447, 39034], 39034])\nif N == 5: check('variant packet 5', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407, 7553, 18115, 43447, 39034, 35069, 84110, 201732, 181243], 181243])\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":"35bb2ad36dc8b3421f3c78a1d7357454478cb0b69d55efc09bbd43f815b07a25","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(codes, delta, minimum, table):\n    out=[]\n    for code in codes:\n        factor=table[code&15]\n        product=delta*factor\n        delta=max(minimum,product//256)\n        out.append(delta)\n    return [out,minimum]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('oracle 1', solve(*([0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230])), [[17, 40, 95, 85], 85])\ncheck('oracle 2', solve(*([0, 0, 0, 0], 5, 4, [128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128])), [[4, 4, 4, 4], 4])\ncheck('oracle 3', solve(*([1, 2, 3], 10, 1, [200, 210, 220, 230, 240, 250, 260, 270, 280, 290, 300, 310, 320, 330, 340, 350])), [[8, 6, 5], 5])\ncheck('oracle 4', solve(*([], 8, 2, [256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256])), [[], 8])\ncheck('oracle 5', solve(*([15, 8, 0], 9, 3, [200, 208, 216, 224, 232, 240, 248, 256, 264, 272, 280, 288, 296, 304, 312, 320])), [[11, 11, 8], 8])\ncheck('oracle 6', solve(*([7, 7], 4, 4, [256, 256, 256, 256, 256, 256, 256, 512, 256, 256, 256, 256, 256, 256, 256, 256])), [[8, 16], 16])\ncheck('oracle 7', solve(*([0, 1], 1, 1, [128, 768, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256])), [[1, 3], 3])\nif N == 1: check('variant packet 1', solve(*[[0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391], 391])\nif N == 2: check('variant packet 2', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812], 1812])\nif N == 3: check('variant packet 3', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407], 8407])\nif N == 4: check('variant packet 4', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407, 7553, 18115, 43447, 39034], 39034])\nif N == 5: check('variant packet 5', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407, 7553, 18115, 43447, 39034, 35069, 84110, 201732, 181243], 181243])\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":"ac398c765caeb6f955461bf73fe9a2e69eb45dc120cf4f4fe5f557e917274543","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(codes, delta, minimum, table):\n    out=[]\n    for code in codes:\n        factor=table[code&15]\n        product=delta*factor\n        delta=max(minimum,product//256)\n        out.append(delta)\n    return [out,delta]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('oracle 1', solve(*([0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230])), [[17, 40, 95, 85], 85])\ncheck('oracle 2', solve(*([0, 0, 0, 0], 5, 4, [128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128])), [[4, 4, 4, 4], 4])\ncheck('oracle 3', solve(*([1, 2, 3], 10, 1, [200, 210, 220, 230, 240, 250, 260, 270, 280, 290, 300, 310, 320, 330, 340, 350])), [[8, 6, 5], 5])\ncheck('oracle 4', solve(*([], 8, 2, [256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256])), [[], 8])\ncheck('oracle 5', solve(*([15, 8, 0], 9, 3, [200, 208, 216, 224, 232, 240, 248, 256, 264, 272, 280, 288, 296, 304, 312, 320])), [[11, 11, 8], 8])\ncheck('oracle 6', solve(*([7, 7], 4, 4, [256, 256, 256, 256, 256, 256, 256, 512, 256, 256, 256, 256, 256, 256, 256, 256])), [[8, 16], 16])\ncheck('oracle 7', solve(*([0, 1], 1, 1, [128, 768, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256])), [[1, 3], 3])\nif N == 1: check('variant packet 1', solve(*[[0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391], 391])\nif N == 2: check('variant packet 2', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812], 1812])\nif N == 3: check('variant packet 3', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407], 8407])\nif N == 4: check('variant packet 4', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407, 7553, 18115, 43447, 39034], 39034])\nif N == 5: check('variant packet 5', solve(*[[0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15, 0, 7, 8, 15], 20, 4, [230, 230, 230, 230, 307, 409, 512, 614, 614, 512, 409, 307, 230, 230, 230, 230]]), [[17, 40, 95, 85, 76, 182, 436, 391, 351, 841, 2017, 1812, 1627, 3902, 9358, 8407, 7553, 18115, 43447, 39034, 35069, 84110, 201732, 181243], 181243])\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-adaptation-table-returned-state","generated_at":"2026-09-29T14:45:03.625686+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 returned state.","root_cause":"Packet continuation resets adaptive delta to its lower bound.","sha256":"768bcc4e46ffbf643c26ca294c42c487817746f3f90b3c85597a0f266efdf6d7","title":"Pcm adaptation table: returned state · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":37.876,"exit_code":1,"observations":[{"actual":[[17,40,95,85],230],"check":"oracle 1","expected":[[17,40,95,85],85],"passed":false},{"actual":[[4,4,4,4],128],"check":"oracle 2","expected":[[4,4,4,4],4],"passed":false},{"actual":[[8,6,5],200],"check":"oracle 3","expected":[[8,6,5],5],"passed":false},{"actual":[[],256],"check":"oracle 4","expected":[[],8],"passed":false},{"actual":[[11,11,8],200],"check":"oracle 5","expected":[[11,11,8],8],"passed":false},{"actual":[[8,16],256],"check":"oracle 6","expected":[[8,16],16],"passed":false},{"actual":[[1,3],128],"check":"oracle 7","expected":[[1,3],3],"passed":false},{"actual":[[17,40,95,85,76,182,436,391],230],"check":"variant packet 1","expected":[[17,40,95,85,76,182,436,391],391],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[17, 40, 95, 85], 230], \"expected\": [[17, 40, 95, 85], 85], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [[4, 4, 4, 4], 128], \"expected\": [[4, 4, 4, 4], 4], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [[8, 6, 5], 200], \"expected\": [[8, 6, 5], 5], \"passed\": false}, {\"check\": \"oracle 4\", \"actual\": [[], 256], \"expected\": [[], 8], \"passed\": false}, {\"check\": \"oracle 5\", \"actual\": [[11, 11, 8], 200], \"expected\": [[11, 11, 8], 8], \"passed\": false}, {\"check\": \"oracle 6\", \"actual\": [[8, 16], 256], \"expected\": [[8, 16], 16], \"passed\": false}, {\"check\": \"oracle 7\", \"actual\": [[1, 3], 128], \"expected\": [[1, 3], 3], \"passed\": false}, {\"check\": \"variant packet 1\", \"actual\": [[17, 40, 95, 85, 76, 182, 436, 391], 230], \"expected\": [[17, 40, 95, 85, 76, 182, 436, 391], 391], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.004,"exit_code":1,"observations":[{"actual":[[17,40,95,85],4],"check":"oracle 1","expected":[[17,40,95,85],85],"passed":false},{"actual":[[4,4,4,4],4],"check":"oracle 2","expected":[[4,4,4,4],4],"passed":true},{"actual":[[8,6,5],1],"check":"oracle 3","expected":[[8,6,5],5],"passed":false},{"actual":[[],2],"check":"oracle 4","expected":[[],8],"passed":false},{"actual":[[11,11,8],3],"check":"oracle 5","expected":[[11,11,8],8],"passed":false},{"actual":[[8,16],4],"check":"oracle 6","expected":[[8,16],16],"passed":false},{"actual":[[1,3],1],"check":"oracle 7","expected":[[1,3],3],"passed":false},{"actual":[[17,40,95,85,76,182,436,391],4],"check":"variant packet 1","expected":[[17,40,95,85,76,182,436,391],391],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[17, 40, 95, 85], 4], \"expected\": [[17, 40, 95, 85], 85], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [[4, 4, 4, 4], 4], \"expected\": [[4, 4, 4, 4], 4], \"passed\": true}, {\"check\": \"oracle 3\", \"actual\": [[8, 6, 5], 1], \"expected\": [[8, 6, 5], 5], \"passed\": false}, {\"check\": \"oracle 4\", \"actual\": [[], 2], \"expected\": [[], 8], \"passed\": false}, {\"check\": \"oracle 5\", \"actual\": [[11, 11, 8], 3], \"expected\": [[11, 11, 8], 8], \"passed\": false}, {\"check\": \"oracle 6\", \"actual\": [[8, 16], 4], \"expected\": [[8, 16], 16], \"passed\": false}, {\"check\": \"oracle 7\", \"actual\": [[1, 3], 1], \"expected\": [[1, 3], 3], \"passed\": false}, {\"check\": \"variant packet 1\", \"actual\": [[17, 40, 95, 85, 76, 182, 436, 391], 4], \"expected\": [[17, 40, 95, 85, 76, 182, 436, 391], 391], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.096,"exit_code":0,"observations":[{"actual":[[17,40,95,85],85],"check":"oracle 1","expected":[[17,40,95,85],85],"passed":true},{"actual":[[4,4,4,4],4],"check":"oracle 2","expected":[[4,4,4,4],4],"passed":true},{"actual":[[8,6,5],5],"check":"oracle 3","expected":[[8,6,5],5],"passed":true},{"actual":[[],8],"check":"oracle 4","expected":[[],8],"passed":true},{"actual":[[11,11,8],8],"check":"oracle 5","expected":[[11,11,8],8],"passed":true},{"actual":[[8,16],16],"check":"oracle 6","expected":[[8,16],16],"passed":true},{"actual":[[1,3],3],"check":"oracle 7","expected":[[1,3],3],"passed":true},{"actual":[[17,40,95,85,76,182,436,391],391],"check":"variant packet 1","expected":[[17,40,95,85,76,182,436,391],391],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[17, 40, 95, 85], 85], \"expected\": [[17, 40, 95, 85], 85], \"passed\": true}, {\"check\": \"oracle 2\", \"actual\": [[4, 4, 4, 4], 4], \"expected\": [[4, 4, 4, 4], 4], \"passed\": true}, {\"check\": \"oracle 3\", \"actual\": [[8, 6, 5], 5], \"expected\": [[8, 6, 5], 5], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [[], 8], \"expected\": [[], 8], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [[11, 11, 8], 8], \"expected\": [[11, 11, 8], 8], \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": [[8, 16], 16], \"expected\": [[8, 16], 16], \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": [[1, 3], 3], \"expected\": [[1, 3], 3], \"passed\": true}, {\"check\": \"variant packet 1\", \"actual\": [[17, 40, 95, 85, 76, 182, 436, 391], 391], \"expected\": [[17, 40, 95, 85, 76, 182, 436, 391], 391], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}