{"abstract":"A range client removes transfer framing before applying representation offsets: the zero chunk starts trailer parsing without entering body accumulation.","category":"HTTP ranges","checks":11,"contract":"Decode a complete bounded ASCII chunked origin body. Size lines use 1..2 hexadecimal digits with optional semicolon extensions, followed by exact CRLF; each data chunk has exact trailing CRLF. A zero chunk ends data and introduces colon-bearing trailer lines terminated by an empty CRLF line. No bytes may follow trailers. Enforce cumulative decoded-byte limit x.limit. Return [decoded[start:stop],decoded-length,trailer-lines] or None. This controlled framing model does not implement general HTTP headers.","evaluation_group":"s3-http_ranges-chunked-origin-body","failed_approach":"The partial repair uses data=x['wire']\npos=0\nbody=''\ntrailers=[]\nwhile True:\n    end=data.find('\\r\\n',pos)\n    if end<0: return None\n    digits=data[pos:end].split(';',1)[0]\n    if not 1<=len(digits)<=2 or any(c not in '0123456789abcdefABCDEF' for c in digits): return None\n    size=int(digits,16)\n    pos=end+2\n    if size==0 and data[pos:pos+2]=='\\r\\n':\n        while True:\n            end=data.find('\\r\\n',pos)\n            if end<0: return None\n            line=data[pos:end]\n            pos=end+2\n            if not line: break\n            if ':' not in line: return None\n            trailers.append(line)\n        if pos!=len(data): return None\n        return [body[x['start']:x['stop']],len(body),trailers]\n    if pos+size+2>len(data): return None\n    if data[pos+size:pos+size+2]!='\\r\\n': return None\n    body+=data[pos:pos+size]\n    if len(body)>x['limit']: return None\n    pos+=size+2, which still violates the stated contract.","family":"s3-http_ranges-chunked-origin-body-zero-terminator","id":"FA-27306","implementations":{"attempt":{"sha256":"e9ee3450ecc6265f881feb3dc962a58c12fe12855a8b31a991f5eaecf9a03582","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    data=x['wire']\n    pos=0\n    body=''\n    trailers=[]\n    while True:\n        end=data.find('\\r\\n',pos)\n        if end<0: return None\n        digits=data[pos:end].split(';',1)[0]\n        if not 1<=len(digits)<=2 or any(c not in '0123456789abcdefABCDEF' for c in digits): return None\n        size=int(digits,16)\n        pos=end+2\n        if size==0 and data[pos:pos+2]=='\\r\\n':\n            while True:\n                end=data.find('\\r\\n',pos)\n                if end<0: return None\n                line=data[pos:end]\n                pos=end+2\n                if not line: break\n                if ':' not in line: return None\n                trailers.append(line)\n            if pos!=len(data): return None\n            return [body[x['start']:x['stop']],len(body),trailers]\n        if pos+size+2>len(data): return None\n        if data[pos+size:pos+size+2]!='\\r\\n': return None\n        body+=data[pos:pos+size]\n        if len(body)>x['limit']: return None\n        pos+=size+2\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('zero-terminator fixture 0', json.loads(json.dumps(solve({'wire':'A;foo=bar\\r\\n0123456789\\r\\n0\\r\\nX:y\\r\\n\\r\\n','start':2,'stop':6,'limit':20}))), json.loads(json.dumps(['2345',10,['X:y']])))\ncheck('zero-terminator fixture 1', json.loads(json.dumps(solve({'wire':'2\\r\\nab\\r\\n3\\r\\ncde\\r\\n0\\r\\n\\r\\n','start':1,'stop':4,'limit':5}))), json.loads(json.dumps(['bcd',5,[]])))\ncheck('zero-terminator fixture 2', json.loads(json.dumps(solve({'wire':'0\\r\\n\\r\\n','start':0,'stop':3,'limit':0}))), json.loads(json.dumps(['',0,[]])))\ncheck('zero-terminator fixture 3', json.loads(json.dumps(solve({'wire':'1;z=q\\r\\nx\\r\\n0\\r\\n\\r\\n','start':0,'stop':1,'limit':1}))), json.loads(json.dumps(['x',1,[]])))\ncheck('zero-terminator fixture 4', json.loads(json.dumps(solve({'wire':'1\\r\\nxXX0\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 5', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\n\\r\\nextra','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 6', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\nBadTrailer\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 7', json.loads(json.dumps(solve({'wire':'2\\r\\nab\\r\\n2\\r\\ncd\\r\\n0\\r\\n\\r\\n','start':0,'stop':4,'limit':3}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 8', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\nX:a\\r\\nY:b\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(['x',1,['X:a','Y:b']])))\ncheck('zero-terminator fixture 9', json.loads(json.dumps(solve({'wire':format(N,\"x\")+\"\\r\\n\"+\"p\"*N+\"\\r\\n0\\r\\n\\r\\n\",'start':0,'stop':N,'limit':10}))), json.loads(json.dumps([\"p\"*N,N,[]])))\ncheck('zero-terminator fixture 10', json.loads(json.dumps(solve({'wire':'10\\r\\nabcdefghijklmnop\\r\\n0\\r\\n\\r\\n','start':12,'stop':16,'limit':16}))), json.loads(json.dumps(['mnop',16,[]])))\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":"3676d2a5d3af9717b395fea04b4285c117372f8cd1b729acb364d470de530400","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    data=x['wire']\n    pos=0\n    body=''\n    trailers=[]\n    while True:\n        end=data.find('\\r\\n',pos)\n        if end<0: return None\n        digits=data[pos:end].split(';',1)[0]\n        if not 1<=len(digits)<=2 or any(c not in '0123456789abcdefABCDEF' for c in digits): return None\n        size=int(digits,16)\n        pos=end+2\n        if size==0 and pos==len(data):\n            while True:\n                end=data.find('\\r\\n',pos)\n                if end<0: return None\n                line=data[pos:end]\n                pos=end+2\n                if not line: break\n                if ':' not in line: return None\n                trailers.append(line)\n            if pos!=len(data): return None\n            return [body[x['start']:x['stop']],len(body),trailers]\n        if pos+size+2>len(data): return None\n        if data[pos+size:pos+size+2]!='\\r\\n': return None\n        body+=data[pos:pos+size]\n        if len(body)>x['limit']: return None\n        pos+=size+2\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('zero-terminator fixture 0', json.loads(json.dumps(solve({'wire':'A;foo=bar\\r\\n0123456789\\r\\n0\\r\\nX:y\\r\\n\\r\\n','start':2,'stop':6,'limit':20}))), json.loads(json.dumps(['2345',10,['X:y']])))\ncheck('zero-terminator fixture 1', json.loads(json.dumps(solve({'wire':'2\\r\\nab\\r\\n3\\r\\ncde\\r\\n0\\r\\n\\r\\n','start':1,'stop':4,'limit':5}))), json.loads(json.dumps(['bcd',5,[]])))\ncheck('zero-terminator fixture 2', json.loads(json.dumps(solve({'wire':'0\\r\\n\\r\\n','start':0,'stop':3,'limit':0}))), json.loads(json.dumps(['',0,[]])))\ncheck('zero-terminator fixture 3', json.loads(json.dumps(solve({'wire':'1;z=q\\r\\nx\\r\\n0\\r\\n\\r\\n','start':0,'stop':1,'limit':1}))), json.loads(json.dumps(['x',1,[]])))\ncheck('zero-terminator fixture 4', json.loads(json.dumps(solve({'wire':'1\\r\\nxXX0\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 5', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\n\\r\\nextra','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 6', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\nBadTrailer\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 7', json.loads(json.dumps(solve({'wire':'2\\r\\nab\\r\\n2\\r\\ncd\\r\\n0\\r\\n\\r\\n','start':0,'stop':4,'limit':3}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 8', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\nX:a\\r\\nY:b\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(['x',1,['X:a','Y:b']])))\ncheck('zero-terminator fixture 9', json.loads(json.dumps(solve({'wire':format(N,\"x\")+\"\\r\\n\"+\"p\"*N+\"\\r\\n0\\r\\n\\r\\n\",'start':0,'stop':N,'limit':10}))), json.loads(json.dumps([\"p\"*N,N,[]])))\ncheck('zero-terminator fixture 10', json.loads(json.dumps(solve({'wire':'10\\r\\nabcdefghijklmnop\\r\\n0\\r\\n\\r\\n','start':12,'stop':16,'limit':16}))), json.loads(json.dumps(['mnop',16,[]])))\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":"18867c2d2291b6d4b7d8a7e865f088a713d97325b6450cc3a7ee0fdd4bc91ee9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    data=x['wire']\n    pos=0\n    body=''\n    trailers=[]\n    while True:\n        end=data.find('\\r\\n',pos)\n        if end<0: return None\n        digits=data[pos:end].split(';',1)[0]\n        if not 1<=len(digits)<=2 or any(c not in '0123456789abcdefABCDEF' for c in digits): return None\n        size=int(digits,16)\n        pos=end+2\n        if size==0:\n            while True:\n                end=data.find('\\r\\n',pos)\n                if end<0: return None\n                line=data[pos:end]\n                pos=end+2\n                if not line: break\n                if ':' not in line: return None\n                trailers.append(line)\n            if pos!=len(data): return None\n            return [body[x['start']:x['stop']],len(body),trailers]\n        if pos+size+2>len(data): return None\n        if data[pos+size:pos+size+2]!='\\r\\n': return None\n        body+=data[pos:pos+size]\n        if len(body)>x['limit']: return None\n        pos+=size+2\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('zero-terminator fixture 0', json.loads(json.dumps(solve({'wire':'A;foo=bar\\r\\n0123456789\\r\\n0\\r\\nX:y\\r\\n\\r\\n','start':2,'stop':6,'limit':20}))), json.loads(json.dumps(['2345',10,['X:y']])))\ncheck('zero-terminator fixture 1', json.loads(json.dumps(solve({'wire':'2\\r\\nab\\r\\n3\\r\\ncde\\r\\n0\\r\\n\\r\\n','start':1,'stop':4,'limit':5}))), json.loads(json.dumps(['bcd',5,[]])))\ncheck('zero-terminator fixture 2', json.loads(json.dumps(solve({'wire':'0\\r\\n\\r\\n','start':0,'stop':3,'limit':0}))), json.loads(json.dumps(['',0,[]])))\ncheck('zero-terminator fixture 3', json.loads(json.dumps(solve({'wire':'1;z=q\\r\\nx\\r\\n0\\r\\n\\r\\n','start':0,'stop':1,'limit':1}))), json.loads(json.dumps(['x',1,[]])))\ncheck('zero-terminator fixture 4', json.loads(json.dumps(solve({'wire':'1\\r\\nxXX0\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 5', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\n\\r\\nextra','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 6', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\nBadTrailer\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 7', json.loads(json.dumps(solve({'wire':'2\\r\\nab\\r\\n2\\r\\ncd\\r\\n0\\r\\n\\r\\n','start':0,'stop':4,'limit':3}))), json.loads(json.dumps(None)))\ncheck('zero-terminator fixture 8', json.loads(json.dumps(solve({'wire':'1\\r\\nx\\r\\n0\\r\\nX:a\\r\\nY:b\\r\\n\\r\\n','start':0,'stop':1,'limit':2}))), json.loads(json.dumps(['x',1,['X:a','Y:b']])))\ncheck('zero-terminator fixture 9', json.loads(json.dumps(solve({'wire':format(N,\"x\")+\"\\r\\n\"+\"p\"*N+\"\\r\\n0\\r\\n\\r\\n\",'start':0,'stop':N,'limit':10}))), json.loads(json.dumps([\"p\"*N,N,[]])))\ncheck('zero-terminator fixture 10', json.loads(json.dumps(solve({'wire':'10\\r\\nabcdefghijklmnop\\r\\n0\\r\\n\\r\\n','start':12,'stop':16,'limit':16}))), json.loads(json.dumps(['mnop',16,[]])))\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":"Deterministic simplified range service, with stipulated local policies and already parsed trusted inputs; not a complete HTTP implementation. 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-http_ranges-chunked-origin-body-zero-terminator","generated_at":"2026-09-29T14:41:23.897303+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Range responses combine representation identity, conditional requests, framing, and partial-object state.","repair":"Apply the bounded decision exactly: data=x['wire']\npos=0\nbody=''\ntrailers=[]\nwhile True:\n    end=data.find('\\r\\n',pos)\n    if end<0: return None\n    digits=data[pos:end].split(';',1)[0]\n    if not 1<=len(digits)<=2 or any(c not in '0123456789abcdefABCDEF' for c in digits): return None\n    size=int(digits,16)\n    pos=end+2\n    if size==0:\n        while True:\n            end=data.find('\\r\\n',pos)\n            if end<0: return None\n            line=data[pos:end]\n            pos=end+2\n            if not line: break\n            if ':' not in line: return None\n            trailers.append(line)\n        if pos!=len(data): return None\n        return [body[x['start']:x['stop']],len(body),trailers]\n    if pos+size+2>len(data): return None\n    if data[pos+size:pos+size+2]!='\\r\\n': return None\n    body+=data[pos:pos+size]\n    if len(body)>x['limit']: return None\n    pos+=size+2","root_cause":"The chunked-origin-body-zero-terminator decision uses data=x['wire']\npos=0\nbody=''\ntrailers=[]\nwhile True:\n    end=data.find('\\r\\n',pos)\n    if end<0: return None\n    digits=data[pos:end].split(';',1)[0]\n    if not 1<=len(digits)<=2 or any(c not in '0123456789abcdefABCDEF' for c in digits): return None\n    size=int(digits,16)\n    pos=end+2\n    if size==0 and pos==len(data):\n        while True:\n            end=data.find('\\r\\n',pos)\n            if end<0: return None\n            line=data[pos:end]\n            pos=end+2\n            if not line: break\n            if ':' not in line: return None\n            trailers.append(line)\n        if pos!=len(data): return None\n        return [body[x['start']:x['stop']],len(body),trailers]\n    if pos+size+2>len(data): return None\n    if data[pos+size:pos+size+2]!='\\r\\n': return None\n    body+=data[pos:pos+size]\n    if len(body)>x['limit']: return None\n    pos+=size+2.","sha256":"5d447762c6ede9813ab00fc4c0c4d1266b044938ab03434be3cfd6f4bfc2e834","title":"A range client removes transfer framing before applying representation offsets: the zero chunk starts trailer parsing without entering body accumulation · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.623,"exit_code":1,"observations":[{"actual":null,"check":"zero-terminator fixture 0","expected":["2345",10,["X:y"]],"passed":false},{"actual":["bcd",5,[]],"check":"zero-terminator fixture 1","expected":["bcd",5,[]],"passed":true},{"actual":["",0,[]],"check":"zero-terminator fixture 2","expected":["",0,[]],"passed":true},{"actual":["x",1,[]],"check":"zero-terminator fixture 3","expected":["x",1,[]],"passed":true},{"actual":null,"check":"zero-terminator fixture 4","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 5","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 6","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 7","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 8","expected":["x",1,["X:a","Y:b"]],"passed":false},{"actual":["p",1,[]],"check":"zero-terminator fixture 9","expected":["p",1,[]],"passed":true},{"actual":["mnop",16,[]],"check":"zero-terminator fixture 10","expected":["mnop",16,[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"zero-terminator fixture 0\", \"actual\": null, \"expected\": [\"2345\", 10, [\"X:y\"]], \"passed\": false}, {\"check\": \"zero-terminator fixture 1\", \"actual\": [\"bcd\", 5, []], \"expected\": [\"bcd\", 5, []], \"passed\": true}, {\"check\": \"zero-terminator fixture 2\", \"actual\": [\"\", 0, []], \"expected\": [\"\", 0, []], \"passed\": true}, {\"check\": \"zero-terminator fixture 3\", \"actual\": [\"x\", 1, []], \"expected\": [\"x\", 1, []], \"passed\": true}, {\"check\": \"zero-terminator fixture 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 7\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 8\", \"actual\": null, \"expected\": [\"x\", 1, [\"X:a\", \"Y:b\"]], \"passed\": false}, {\"check\": \"zero-terminator fixture 9\", \"actual\": [\"p\", 1, []], \"expected\": [\"p\", 1, []], \"passed\": true}, {\"check\": \"zero-terminator fixture 10\", \"actual\": [\"mnop\", 16, []], \"expected\": [\"mnop\", 16, []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.386,"exit_code":1,"observations":[{"actual":null,"check":"zero-terminator fixture 0","expected":["2345",10,["X:y"]],"passed":false},{"actual":null,"check":"zero-terminator fixture 1","expected":["bcd",5,[]],"passed":false},{"actual":null,"check":"zero-terminator fixture 2","expected":["",0,[]],"passed":false},{"actual":null,"check":"zero-terminator fixture 3","expected":["x",1,[]],"passed":false},{"actual":null,"check":"zero-terminator fixture 4","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 5","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 6","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 7","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 8","expected":["x",1,["X:a","Y:b"]],"passed":false},{"actual":null,"check":"zero-terminator fixture 9","expected":["p",1,[]],"passed":false},{"actual":null,"check":"zero-terminator fixture 10","expected":["mnop",16,[]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"zero-terminator fixture 0\", \"actual\": null, \"expected\": [\"2345\", 10, [\"X:y\"]], \"passed\": false}, {\"check\": \"zero-terminator fixture 1\", \"actual\": null, \"expected\": [\"bcd\", 5, []], \"passed\": false}, {\"check\": \"zero-terminator fixture 2\", \"actual\": null, \"expected\": [\"\", 0, []], \"passed\": false}, {\"check\": \"zero-terminator fixture 3\", \"actual\": null, \"expected\": [\"x\", 1, []], \"passed\": false}, {\"check\": \"zero-terminator fixture 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 7\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 8\", \"actual\": null, \"expected\": [\"x\", 1, [\"X:a\", \"Y:b\"]], \"passed\": false}, {\"check\": \"zero-terminator fixture 9\", \"actual\": null, \"expected\": [\"p\", 1, []], \"passed\": false}, {\"check\": \"zero-terminator fixture 10\", \"actual\": null, \"expected\": [\"mnop\", 16, []], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.031,"exit_code":0,"observations":[{"actual":["2345",10,["X:y"]],"check":"zero-terminator fixture 0","expected":["2345",10,["X:y"]],"passed":true},{"actual":["bcd",5,[]],"check":"zero-terminator fixture 1","expected":["bcd",5,[]],"passed":true},{"actual":["",0,[]],"check":"zero-terminator fixture 2","expected":["",0,[]],"passed":true},{"actual":["x",1,[]],"check":"zero-terminator fixture 3","expected":["x",1,[]],"passed":true},{"actual":null,"check":"zero-terminator fixture 4","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 5","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 6","expected":null,"passed":true},{"actual":null,"check":"zero-terminator fixture 7","expected":null,"passed":true},{"actual":["x",1,["X:a","Y:b"]],"check":"zero-terminator fixture 8","expected":["x",1,["X:a","Y:b"]],"passed":true},{"actual":["p",1,[]],"check":"zero-terminator fixture 9","expected":["p",1,[]],"passed":true},{"actual":["mnop",16,[]],"check":"zero-terminator fixture 10","expected":["mnop",16,[]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"zero-terminator fixture 0\", \"actual\": [\"2345\", 10, [\"X:y\"]], \"expected\": [\"2345\", 10, [\"X:y\"]], \"passed\": true}, {\"check\": \"zero-terminator fixture 1\", \"actual\": [\"bcd\", 5, []], \"expected\": [\"bcd\", 5, []], \"passed\": true}, {\"check\": \"zero-terminator fixture 2\", \"actual\": [\"\", 0, []], \"expected\": [\"\", 0, []], \"passed\": true}, {\"check\": \"zero-terminator fixture 3\", \"actual\": [\"x\", 1, []], \"expected\": [\"x\", 1, []], \"passed\": true}, {\"check\": \"zero-terminator fixture 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 7\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zero-terminator fixture 8\", \"actual\": [\"x\", 1, [\"X:a\", \"Y:b\"]], \"expected\": [\"x\", 1, [\"X:a\", \"Y:b\"]], \"passed\": true}, {\"check\": \"zero-terminator fixture 9\", \"actual\": [\"p\", 1, []], \"expected\": [\"p\", 1, []], \"passed\": true}, {\"check\": \"zero-terminator fixture 10\", \"actual\": [\"mnop\", 16, []], \"expected\": [\"mnop\", 16, []], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}