{"abstract":"Transport status high bits leak into the one-bit channel-status lane.","category":"PCM sample encoding","checks":8,"contract":"Group stipulated audio subframes into fixed-size channel-status blocks, preserving PCM samples and one status bit; a new start marks prior partial data incomplete.","contract_signature":"subframes, block_length","evaluation_group":"s3-pcm-pcm-channel-status-block","failed_approach":"Extracting the next bit changes the block metadata stream.","family":"s3-pcm-pcm-channel-status-block-status-bit-mask","id":"FA-50051","implementations":{"attempt":{"sha256":"9d16f439919fb5697c2d50dd76cccb36da1ead93c15dc80f52506d908981a2a8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(subframes, block_length):\n    blocks=[]\n    current=[]\n    for start,audio,status in subframes:\n        if start:\n            if current:\n                blocks.append([current,False])\n            current=[]\n        current.append([audio,(status>>1)&1])\n        if len(current)==block_length:\n            blocks.append([current,True])\n            current=[]\n    return [blocks,current]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('oracle 1', solve(*([[True, 1, 3], [False, 2, 0], [False, 3, 1]], 3)), [[[[[1, 1], [2, 0], [3, 1]], True]], []])\ncheck('oracle 2', solve(*([[True, 1, 0], [True, 2, 1], [False, 3, 2]], 3)), [[[[[1, 0]], False]], [[2, 1], [3, 0]]])\ncheck('oracle 3', solve(*([[False, 1, 1], [False, 2, 0], [False, 3, 1], [False, 4, 0]], 2)), [[[[[1, 1], [2, 0]], True], [[[3, 1], [4, 0]], True]], []])\ncheck('oracle 4', solve(*([], 3)), [[], []])\ncheck('oracle 5', solve(*([[True, 1, 1]], 1)), [[[[[1, 1]], True]], []])\ncheck('oracle 6', solve(*([[False, 1, 2]], 3)), [[], [[1, 0]]])\ncheck('oracle 7', solve(*([[True, 1, 0], [False, 2, 1], [True, 3, 0]], 2)), [[[[[1, 0], [2, 1]], True]], [[3, 0]]])\nif N == 1: check('variant packet 1', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\nif N == 2: check('variant packet 2', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\nif N == 3: check('variant packet 3', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\nif N == 4: check('variant packet 4', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\nif N == 5: check('variant packet 5', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\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":"fa26a9650d4be1cb807b9209480d3b4f64f796dcb17f027e07ebffa47023ccf0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(subframes, block_length):\n    blocks=[]\n    current=[]\n    for start,audio,status in subframes:\n        if start:\n            if current:\n                blocks.append([current,False])\n            current=[]\n        current.append([audio,status])\n        if len(current)==block_length:\n            blocks.append([current,True])\n            current=[]\n    return [blocks,current]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('oracle 1', solve(*([[True, 1, 3], [False, 2, 0], [False, 3, 1]], 3)), [[[[[1, 1], [2, 0], [3, 1]], True]], []])\ncheck('oracle 2', solve(*([[True, 1, 0], [True, 2, 1], [False, 3, 2]], 3)), [[[[[1, 0]], False]], [[2, 1], [3, 0]]])\ncheck('oracle 3', solve(*([[False, 1, 1], [False, 2, 0], [False, 3, 1], [False, 4, 0]], 2)), [[[[[1, 1], [2, 0]], True], [[[3, 1], [4, 0]], True]], []])\ncheck('oracle 4', solve(*([], 3)), [[], []])\ncheck('oracle 5', solve(*([[True, 1, 1]], 1)), [[[[[1, 1]], True]], []])\ncheck('oracle 6', solve(*([[False, 1, 2]], 3)), [[], [[1, 0]]])\ncheck('oracle 7', solve(*([[True, 1, 0], [False, 2, 1], [True, 3, 0]], 2)), [[[[[1, 0], [2, 1]], True]], [[3, 0]]])\nif N == 1: check('variant packet 1', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\nif N == 2: check('variant packet 2', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\nif N == 3: check('variant packet 3', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\nif N == 4: check('variant packet 4', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\nif N == 5: check('variant packet 5', solve(*[[[True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1], [True, 1, 3], [False, 2, 0], [False, 3, 1]], 3]), [[[[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True], [[[1, 1], [2, 0], [3, 1]], True]], []])\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-channel-status-block-status-bit-mask","generated_at":"2026-09-29T14:45:05.643704+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.","root_cause":"Transport status high bits leak into the one-bit channel-status lane.","sha256":"d3c9a3f5dc6145bbcf8c13a0f6290bf9782c4223470b1a1a8b4cdd066d138de2","title":"Pcm channel status block: status bit mask · 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.989,"exit_code":1,"observations":[{"actual":[[[[[1,1],[2,0],[3,0]],true]],[]],"check":"oracle 1","expected":[[[[[1,1],[2,0],[3,1]],true]],[]],"passed":false},{"actual":[[[[[1,0]],false]],[[2,0],[3,1]]],"check":"oracle 2","expected":[[[[[1,0]],false]],[[2,1],[3,0]]],"passed":false},{"actual":[[[[[1,0],[2,0]],true],[[[3,0],[4,0]],true]],[]],"check":"oracle 3","expected":[[[[[1,1],[2,0]],true],[[[3,1],[4,0]],true]],[]],"passed":false},{"actual":[[],[]],"check":"oracle 4","expected":[[],[]],"passed":true},{"actual":[[[[[1,0]],true]],[]],"check":"oracle 5","expected":[[[[[1,1]],true]],[]],"passed":false},{"actual":[[],[[1,1]]],"check":"oracle 6","expected":[[],[[1,0]]],"passed":false},{"actual":[[[[[1,0],[2,0]],true]],[[3,0]]],"check":"oracle 7","expected":[[[[[1,0],[2,1]],true]],[[3,0]]],"passed":false},{"actual":[[[[[1,1],[2,0],[3,0]],true],[[[1,1],[2,0],[3,0]],true]],[]],"check":"variant packet 1","expected":[[[[[1,1],[2,0],[3,1]],true],[[[1,1],[2,0],[3,1]],true]],[]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[[[[1, 1], [2, 0], [3, 0]], true]], []], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [[[[[1, 0]], false]], [[2, 0], [3, 1]]], \"expected\": [[[[[1, 0]], false]], [[2, 1], [3, 0]]], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [[[[[1, 0], [2, 0]], true], [[[3, 0], [4, 0]], true]], []], \"expected\": [[[[[1, 1], [2, 0]], true], [[[3, 1], [4, 0]], true]], []], \"passed\": false}, {\"check\": \"oracle 4\", \"actual\": [[], []], \"expected\": [[], []], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [[[[[1, 0]], true]], []], \"expected\": [[[[[1, 1]], true]], []], \"passed\": false}, {\"check\": \"oracle 6\", \"actual\": [[], [[1, 1]]], \"expected\": [[], [[1, 0]]], \"passed\": false}, {\"check\": \"oracle 7\", \"actual\": [[[[[1, 0], [2, 0]], true]], [[3, 0]]], \"expected\": [[[[[1, 0], [2, 1]], true]], [[3, 0]]], \"passed\": false}, {\"check\": \"variant packet 1\", \"actual\": [[[[[1, 1], [2, 0], [3, 0]], true], [[[1, 1], [2, 0], [3, 0]], true]], []], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true], [[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.09,"exit_code":1,"observations":[{"actual":[[[[[1,3],[2,0],[3,1]],true]],[]],"check":"oracle 1","expected":[[[[[1,1],[2,0],[3,1]],true]],[]],"passed":false},{"actual":[[[[[1,0]],false]],[[2,1],[3,2]]],"check":"oracle 2","expected":[[[[[1,0]],false]],[[2,1],[3,0]]],"passed":false},{"actual":[[[[[1,1],[2,0]],true],[[[3,1],[4,0]],true]],[]],"check":"oracle 3","expected":[[[[[1,1],[2,0]],true],[[[3,1],[4,0]],true]],[]],"passed":true},{"actual":[[],[]],"check":"oracle 4","expected":[[],[]],"passed":true},{"actual":[[[[[1,1]],true]],[]],"check":"oracle 5","expected":[[[[[1,1]],true]],[]],"passed":true},{"actual":[[],[[1,2]]],"check":"oracle 6","expected":[[],[[1,0]]],"passed":false},{"actual":[[[[[1,0],[2,1]],true]],[[3,0]]],"check":"oracle 7","expected":[[[[[1,0],[2,1]],true]],[[3,0]]],"passed":true},{"actual":[[[[[1,3],[2,0],[3,1]],true],[[[1,3],[2,0],[3,1]],true]],[]],"check":"variant packet 1","expected":[[[[[1,1],[2,0],[3,1]],true],[[[1,1],[2,0],[3,1]],true]],[]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[[[[1, 3], [2, 0], [3, 1]], true]], []], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [[[[[1, 0]], false]], [[2, 1], [3, 2]]], \"expected\": [[[[[1, 0]], false]], [[2, 1], [3, 0]]], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [[[[[1, 1], [2, 0]], true], [[[3, 1], [4, 0]], true]], []], \"expected\": [[[[[1, 1], [2, 0]], true], [[[3, 1], [4, 0]], true]], []], \"passed\": true}, {\"check\": \"oracle 4\", \"actual\": [[], []], \"expected\": [[], []], \"passed\": true}, {\"check\": \"oracle 5\", \"actual\": [[[[[1, 1]], true]], []], \"expected\": [[[[[1, 1]], true]], []], \"passed\": true}, {\"check\": \"oracle 6\", \"actual\": [[], [[1, 2]]], \"expected\": [[], [[1, 0]]], \"passed\": false}, {\"check\": \"oracle 7\", \"actual\": [[[[[1, 0], [2, 1]], true]], [[3, 0]]], \"expected\": [[[[[1, 0], [2, 1]], true]], [[3, 0]]], \"passed\": true}, {\"check\": \"variant packet 1\", \"actual\": [[[[[1, 3], [2, 0], [3, 1]], true], [[[1, 3], [2, 0], [3, 1]], true]], []], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true], [[[1, 1], [2, 0], [3, 1]], true]], []], \"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."}}