{"abstract":"A complete status block is emitted one subframe early.","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.","evaluation_group":"s3-pcm-pcm-channel-status-block","failed_approach":"Waiting for an extra subframe shifts all following block boundaries.","family":"s3-pcm-pcm-channel-status-block-block-boundary","id":"FA-50056","implementations":{"attempt":{"sha256":"756d2445ddf3212e5ebd54f74913e89a7340b472a2f599da650e1aa92fde3e55","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])\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":"c0e447669f73a4e43fd3b0fa9d512a5b6a338f88c1e178b51a6a0b7ca1927df6","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])\n        if len(current)==block_length-1:\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"},"fixed":{"sha256":"c41b704bd8b43b25e554e943106b5f09fd1afc04f10dd4761e5e27b1e1318b8d","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])\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-block-boundary","generated_at":"2026-09-29T14:45:05.631314+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 block boundary.","root_cause":"A complete status block is emitted one subframe early.","sha256":"8cd231adebd0c46e0ec602ba60c19f8c4569124cc0db938fc7ec28e6ab467c73","title":"Pcm channel status block: block boundary · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.456,"exit_code":1,"observations":[{"actual":[[],[[1,1],[2,0],[3,1]]],"check":"oracle 1","expected":[[[[[1,1],[2,0],[3,1]],true]],[]],"passed":false},{"actual":[[[[[1,0]],false]],[[2,1],[3,0]]],"check":"oracle 2","expected":[[[[[1,0]],false]],[[2,1],[3,0]]],"passed":true},{"actual":[[[[[1,1],[2,0],[3,1]],true]],[[4,0]]],"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,1]]],"check":"oracle 5","expected":[[[[[1,1]],true]],[]],"passed":false},{"actual":[[],[[1,0]]],"check":"oracle 6","expected":[[],[[1,0]]],"passed":true},{"actual":[[[[[1,0],[2,1]],false]],[[3,0]]],"check":"oracle 7","expected":[[[[[1,0],[2,1]],true]],[[3,0]]],"passed":false},{"actual":[[[[[1,1],[2,0],[3,1]],false]],[[1,1],[2,0],[3,1]]],"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, 1]]], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [[[[[1, 0]], false]], [[2, 1], [3, 0]]], \"expected\": [[[[[1, 0]], false]], [[2, 1], [3, 0]]], \"passed\": true}, {\"check\": \"oracle 3\", \"actual\": [[[[[1, 1], [2, 0], [3, 1]], true]], [[4, 0]]], \"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, 1]]], \"expected\": [[[[[1, 1]], true]], []], \"passed\": false}, {\"check\": \"oracle 6\", \"actual\": [[], [[1, 0]]], \"expected\": [[], [[1, 0]]], \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": [[[[[1, 0], [2, 1]], false]], [[3, 0]]], \"expected\": [[[[[1, 0], [2, 1]], true]], [[3, 0]]], \"passed\": false}, {\"check\": \"variant packet 1\", \"actual\": [[[[[1, 1], [2, 0], [3, 1]], false]], [[1, 1], [2, 0], [3, 1]]], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true], [[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.008,"exit_code":1,"observations":[{"actual":[[[[[1,1],[2,0]],true]],[[3,1]]],"check":"oracle 1","expected":[[[[[1,1],[2,0],[3,1]],true]],[]],"passed":false},{"actual":[[[[[1,0]],false],[[[2,1],[3,0]],true]],[]],"check":"oracle 2","expected":[[[[[1,0]],false]],[[2,1],[3,0]]],"passed":false},{"actual":[[[[[1,1]],true],[[[2,0]],true],[[[3,1]],true],[[[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,1]]],"check":"oracle 5","expected":[[[[[1,1]],true]],[]],"passed":false},{"actual":[[],[[1,0]]],"check":"oracle 6","expected":[[],[[1,0]]],"passed":true},{"actual":[[[[[1,0]],true],[[[2,1]],true],[[[3,0]],true]],[]],"check":"oracle 7","expected":[[[[[1,0],[2,1]],true]],[[3,0]]],"passed":false},{"actual":[[[[[1,1],[2,0]],true],[[[3,1]],false],[[[1,1],[2,0]],true]],[[3,1]]],"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]], true]], [[3, 1]]], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": false}, {\"check\": \"oracle 2\", \"actual\": [[[[[1, 0]], false], [[[2, 1], [3, 0]], true]], []], \"expected\": [[[[[1, 0]], false]], [[2, 1], [3, 0]]], \"passed\": false}, {\"check\": \"oracle 3\", \"actual\": [[[[[1, 1]], true], [[[2, 0]], true], [[[3, 1]], true], [[[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, 1]]], \"expected\": [[[[[1, 1]], true]], []], \"passed\": false}, {\"check\": \"oracle 6\", \"actual\": [[], [[1, 0]]], \"expected\": [[], [[1, 0]]], \"passed\": true}, {\"check\": \"oracle 7\", \"actual\": [[[[[1, 0]], true], [[[2, 1]], true], [[[3, 0]], true]], []], \"expected\": [[[[[1, 0], [2, 1]], true]], [[3, 0]]], \"passed\": false}, {\"check\": \"variant packet 1\", \"actual\": [[[[[1, 1], [2, 0]], true], [[[3, 1]], false], [[[1, 1], [2, 0]], true]], [[3, 1]]], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true], [[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.59,"exit_code":0,"observations":[{"actual":[[[[[1,1],[2,0],[3,1]],true]],[]],"check":"oracle 1","expected":[[[[[1,1],[2,0],[3,1]],true]],[]],"passed":true},{"actual":[[[[[1,0]],false]],[[2,1],[3,0]]],"check":"oracle 2","expected":[[[[[1,0]],false]],[[2,1],[3,0]]],"passed":true},{"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,0]]],"check":"oracle 6","expected":[[],[[1,0]]],"passed":true},{"actual":[[[[[1,0],[2,1]],true]],[[3,0]]],"check":"oracle 7","expected":[[[[[1,0],[2,1]],true]],[[3,0]]],"passed":true},{"actual":[[[[[1,1],[2,0],[3,1]],true],[[[1,1],[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":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"oracle 1\", \"actual\": [[[[[1, 1], [2, 0], [3, 1]], true]], []], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": true}, {\"check\": \"oracle 2\", \"actual\": [[[[[1, 0]], false]], [[2, 1], [3, 0]]], \"expected\": [[[[[1, 0]], false]], [[2, 1], [3, 0]]], \"passed\": true}, {\"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, 0]]], \"expected\": [[], [[1, 0]]], \"passed\": true}, {\"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, 1], [2, 0], [3, 1]], true], [[[1, 1], [2, 0], [3, 1]], true]], []], \"expected\": [[[[[1, 1], [2, 0], [3, 1]], true], [[[1, 1], [2, 0], [3, 1]], true]], []], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}