{"abstract":"An object store maps upload part numbers and byte ranges onto stored parts: an empty stored part has no satisfiable byte range.","category":"HTTP ranges","checks":14,"contract":"x has stored part sizes in order and a query. [\"part\",n] (1-based) returns [206,bytes a-b/total] for that part, or [416,bytes */total] when n is outside 1..count or the part is empty. [\"range\",a,b] with inclusive bounds returns [416,bytes */total] unless 0<=a<=b<total; otherwise [206,rows] where each intersecting nonempty part yields [part-number,offset-within-part,count] in part order.","evaluation_group":"s3-http_ranges-part-number-range-map","failed_approach":"The partial repair uses sizes=x['parts']\ntotal=sum(sizes)\nstarts=[]\nacc=0\nfor s in sizes:\n    starts.append(acc)\n    acc+=s\nq=x['query']\nif q[0]=='part':\n    n=q[1]\n    if not 1<=n<=len(sizes) or total==0: return [416,'bytes */%d'%total]\n    a=starts[n-1]\n    return [206,'bytes %d-%d/%d'%(a,a+sizes[n-1]-1,total)]\na,b=q[1],q[2]\nif not 0<=a<=b<total: return [416,'bytes */%d'%total]\nout=[]\nfor i,s in enumerate(sizes):\n    lo=max(a,starts[i])\n    hi=min(b,starts[i]+s-1)\n    if lo<=hi: out.append([i+1,lo-starts[i],hi-lo+1])\nreturn [206,out], which still violates the stated contract.","family":"s3-http_ranges-part-number-range-map-empty-part-unsatisfiable","id":"FA-27816","implementations":{"attempt":{"sha256":"9f95368d9acfeca0ab3ede9928566fd55a2b90db86baf19d5a033011de6e04de","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    sizes=x['parts']\n    total=sum(sizes)\n    starts=[]\n    acc=0\n    for s in sizes:\n        starts.append(acc)\n        acc+=s\n    q=x['query']\n    if q[0]=='part':\n        n=q[1]\n        if not 1<=n<=len(sizes) or total==0: return [416,'bytes */%d'%total]\n        a=starts[n-1]\n        return [206,'bytes %d-%d/%d'%(a,a+sizes[n-1]-1,total)]\n    a,b=q[1],q[2]\n    if not 0<=a<=b<total: return [416,'bytes */%d'%total]\n    out=[]\n    for i,s in enumerate(sizes):\n        lo=max(a,starts[i])\n        hi=min(b,starts[i]+s-1)\n        if lo<=hi: out.append([i+1,lo-starts[i],hi-lo+1])\n    return [206,out]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('empty-part-unsatisfiable fixture 0', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',2]}))), json.loads(json.dumps([206,'bytes 5-7/12'])))\ncheck('empty-part-unsatisfiable fixture 1', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',3]}))), json.loads(json.dumps([206,'bytes 8-11/12'])))\ncheck('empty-part-unsatisfiable fixture 2', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',0]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 3', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',-1]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 4', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',4]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 5', json.loads(json.dumps(solve({'parts':[5,0,4],'query':['part',2]}))), json.loads(json.dumps([416,'bytes */9'])))\ncheck('empty-part-unsatisfiable fixture 6', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',3,9]}))), json.loads(json.dumps([206,[[1,3,2],[2,0,3],[3,0,2]]])))\ncheck('empty-part-unsatisfiable fixture 7', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',4,5]}))), json.loads(json.dumps([206,[[1,4,1],[2,0,1]]])))\ncheck('empty-part-unsatisfiable fixture 8', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',5,7]}))), json.loads(json.dumps([206,[[2,0,3]]])))\ncheck('empty-part-unsatisfiable fixture 9', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',0,12]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 10', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',0,11]}))), json.loads(json.dumps([206,[[1,0,5],[2,0,3],[3,0,4]]])))\ncheck('empty-part-unsatisfiable fixture 11', json.loads(json.dumps(solve({'parts':[5,0,4],'query':['range',4,5]}))), json.loads(json.dumps([206,[[1,4,1],[3,0,1]]])))\ncheck('empty-part-unsatisfiable fixture 12', json.loads(json.dumps(solve({'parts':[],'query':['part',1]}))), json.loads(json.dumps([416,'bytes */0'])))\ncheck('empty-part-unsatisfiable fixture 13', json.loads(json.dumps(solve({'parts':[N,N],'query':['part',2]}))), json.loads(json.dumps([206,\"bytes %d-%d/%d\"%(N,2*N-1,2*N)])))\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":"ba5391c0d42fcf825b538bdad081c37e6f6cd189be68fbe2fa488e83a5b63429","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    sizes=x['parts']\n    total=sum(sizes)\n    starts=[]\n    acc=0\n    for s in sizes:\n        starts.append(acc)\n        acc+=s\n    q=x['query']\n    if q[0]=='part':\n        n=q[1]\n        if not 1<=n<=len(sizes): return [416,'bytes */%d'%total]\n        a=starts[n-1]\n        return [206,'bytes %d-%d/%d'%(a,a+sizes[n-1]-1,total)]\n    a,b=q[1],q[2]\n    if not 0<=a<=b<total: return [416,'bytes */%d'%total]\n    out=[]\n    for i,s in enumerate(sizes):\n        lo=max(a,starts[i])\n        hi=min(b,starts[i]+s-1)\n        if lo<=hi: out.append([i+1,lo-starts[i],hi-lo+1])\n    return [206,out]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('empty-part-unsatisfiable fixture 0', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',2]}))), json.loads(json.dumps([206,'bytes 5-7/12'])))\ncheck('empty-part-unsatisfiable fixture 1', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',3]}))), json.loads(json.dumps([206,'bytes 8-11/12'])))\ncheck('empty-part-unsatisfiable fixture 2', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',0]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 3', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',-1]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 4', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',4]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 5', json.loads(json.dumps(solve({'parts':[5,0,4],'query':['part',2]}))), json.loads(json.dumps([416,'bytes */9'])))\ncheck('empty-part-unsatisfiable fixture 6', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',3,9]}))), json.loads(json.dumps([206,[[1,3,2],[2,0,3],[3,0,2]]])))\ncheck('empty-part-unsatisfiable fixture 7', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',4,5]}))), json.loads(json.dumps([206,[[1,4,1],[2,0,1]]])))\ncheck('empty-part-unsatisfiable fixture 8', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',5,7]}))), json.loads(json.dumps([206,[[2,0,3]]])))\ncheck('empty-part-unsatisfiable fixture 9', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',0,12]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 10', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',0,11]}))), json.loads(json.dumps([206,[[1,0,5],[2,0,3],[3,0,4]]])))\ncheck('empty-part-unsatisfiable fixture 11', json.loads(json.dumps(solve({'parts':[5,0,4],'query':['range',4,5]}))), json.loads(json.dumps([206,[[1,4,1],[3,0,1]]])))\ncheck('empty-part-unsatisfiable fixture 12', json.loads(json.dumps(solve({'parts':[],'query':['part',1]}))), json.loads(json.dumps([416,'bytes */0'])))\ncheck('empty-part-unsatisfiable fixture 13', json.loads(json.dumps(solve({'parts':[N,N],'query':['part',2]}))), json.loads(json.dumps([206,\"bytes %d-%d/%d\"%(N,2*N-1,2*N)])))\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":"2ef07937e920630add06884814ca0561b02add6645e0a5dca236c82528e73ceb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    sizes=x['parts']\n    total=sum(sizes)\n    starts=[]\n    acc=0\n    for s in sizes:\n        starts.append(acc)\n        acc+=s\n    q=x['query']\n    if q[0]=='part':\n        n=q[1]\n        if not 1<=n<=len(sizes) or sizes[n-1]==0: return [416,'bytes */%d'%total]\n        a=starts[n-1]\n        return [206,'bytes %d-%d/%d'%(a,a+sizes[n-1]-1,total)]\n    a,b=q[1],q[2]\n    if not 0<=a<=b<total: return [416,'bytes */%d'%total]\n    out=[]\n    for i,s in enumerate(sizes):\n        lo=max(a,starts[i])\n        hi=min(b,starts[i]+s-1)\n        if lo<=hi: out.append([i+1,lo-starts[i],hi-lo+1])\n    return [206,out]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('empty-part-unsatisfiable fixture 0', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',2]}))), json.loads(json.dumps([206,'bytes 5-7/12'])))\ncheck('empty-part-unsatisfiable fixture 1', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',3]}))), json.loads(json.dumps([206,'bytes 8-11/12'])))\ncheck('empty-part-unsatisfiable fixture 2', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',0]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 3', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',-1]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 4', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['part',4]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 5', json.loads(json.dumps(solve({'parts':[5,0,4],'query':['part',2]}))), json.loads(json.dumps([416,'bytes */9'])))\ncheck('empty-part-unsatisfiable fixture 6', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',3,9]}))), json.loads(json.dumps([206,[[1,3,2],[2,0,3],[3,0,2]]])))\ncheck('empty-part-unsatisfiable fixture 7', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',4,5]}))), json.loads(json.dumps([206,[[1,4,1],[2,0,1]]])))\ncheck('empty-part-unsatisfiable fixture 8', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',5,7]}))), json.loads(json.dumps([206,[[2,0,3]]])))\ncheck('empty-part-unsatisfiable fixture 9', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',0,12]}))), json.loads(json.dumps([416,'bytes */12'])))\ncheck('empty-part-unsatisfiable fixture 10', json.loads(json.dumps(solve({'parts':[5,3,4],'query':['range',0,11]}))), json.loads(json.dumps([206,[[1,0,5],[2,0,3],[3,0,4]]])))\ncheck('empty-part-unsatisfiable fixture 11', json.loads(json.dumps(solve({'parts':[5,0,4],'query':['range',4,5]}))), json.loads(json.dumps([206,[[1,4,1],[3,0,1]]])))\ncheck('empty-part-unsatisfiable fixture 12', json.loads(json.dumps(solve({'parts':[],'query':['part',1]}))), json.loads(json.dumps([416,'bytes */0'])))\ncheck('empty-part-unsatisfiable fixture 13', json.loads(json.dumps(solve({'parts':[N,N],'query':['part',2]}))), json.loads(json.dumps([206,\"bytes %d-%d/%d\"%(N,2*N-1,2*N)])))\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-part-number-range-map-empty-part-unsatisfiable","generated_at":"2026-09-29T14:41:28.386673+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: sizes=x['parts']\ntotal=sum(sizes)\nstarts=[]\nacc=0\nfor s in sizes:\n    starts.append(acc)\n    acc+=s\nq=x['query']\nif q[0]=='part':\n    n=q[1]\n    if not 1<=n<=len(sizes) or sizes[n-1]==0: return [416,'bytes */%d'%total]\n    a=starts[n-1]\n    return [206,'bytes %d-%d/%d'%(a,a+sizes[n-1]-1,total)]\na,b=q[1],q[2]\nif not 0<=a<=b<total: return [416,'bytes */%d'%total]\nout=[]\nfor i,s in enumerate(sizes):\n    lo=max(a,starts[i])\n    hi=min(b,starts[i]+s-1)\n    if lo<=hi: out.append([i+1,lo-starts[i],hi-lo+1])\nreturn [206,out]","root_cause":"The part-number-range-map-empty-part-unsatisfiable decision uses sizes=x['parts']\ntotal=sum(sizes)\nstarts=[]\nacc=0\nfor s in sizes:\n    starts.append(acc)\n    acc+=s\nq=x['query']\nif q[0]=='part':\n    n=q[1]\n    if not 1<=n<=len(sizes): return [416,'bytes */%d'%total]\n    a=starts[n-1]\n    return [206,'bytes %d-%d/%d'%(a,a+sizes[n-1]-1,total)]\na,b=q[1],q[2]\nif not 0<=a<=b<total: return [416,'bytes */%d'%total]\nout=[]\nfor i,s in enumerate(sizes):\n    lo=max(a,starts[i])\n    hi=min(b,starts[i]+s-1)\n    if lo<=hi: out.append([i+1,lo-starts[i],hi-lo+1])\nreturn [206,out].","sha256":"b8eac38ff7c2124527e9f955f41e78a0274bf15c0c2fc2e0ac5007d7ec11d422","title":"An object store maps upload part numbers and byte ranges onto stored parts: an empty stored part has no satisfiable byte range · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":37.893,"exit_code":1,"observations":[{"actual":[206,"bytes 5-7/12"],"check":"empty-part-unsatisfiable fixture 0","expected":[206,"bytes 5-7/12"],"passed":true},{"actual":[206,"bytes 8-11/12"],"check":"empty-part-unsatisfiable fixture 1","expected":[206,"bytes 8-11/12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 2","expected":[416,"bytes */12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 3","expected":[416,"bytes */12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 4","expected":[416,"bytes */12"],"passed":true},{"actual":[206,"bytes 5-4/9"],"check":"empty-part-unsatisfiable fixture 5","expected":[416,"bytes */9"],"passed":false},{"actual":[206,[[1,3,2],[2,0,3],[3,0,2]]],"check":"empty-part-unsatisfiable fixture 6","expected":[206,[[1,3,2],[2,0,3],[3,0,2]]],"passed":true},{"actual":[206,[[1,4,1],[2,0,1]]],"check":"empty-part-unsatisfiable fixture 7","expected":[206,[[1,4,1],[2,0,1]]],"passed":true},{"actual":[206,[[2,0,3]]],"check":"empty-part-unsatisfiable fixture 8","expected":[206,[[2,0,3]]],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 9","expected":[416,"bytes */12"],"passed":true},{"actual":[206,[[1,0,5],[2,0,3],[3,0,4]]],"check":"empty-part-unsatisfiable fixture 10","expected":[206,[[1,0,5],[2,0,3],[3,0,4]]],"passed":true},{"actual":[206,[[1,4,1],[3,0,1]]],"check":"empty-part-unsatisfiable fixture 11","expected":[206,[[1,4,1],[3,0,1]]],"passed":true},{"actual":[416,"bytes */0"],"check":"empty-part-unsatisfiable fixture 12","expected":[416,"bytes */0"],"passed":true},{"actual":[206,"bytes 1-1/2"],"check":"empty-part-unsatisfiable fixture 13","expected":[206,"bytes 1-1/2"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"empty-part-unsatisfiable fixture 0\", \"actual\": [206, \"bytes 5-7/12\"], \"expected\": [206, \"bytes 5-7/12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 1\", \"actual\": [206, \"bytes 8-11/12\"], \"expected\": [206, \"bytes 8-11/12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 2\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 3\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 4\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 5\", \"actual\": [206, \"bytes 5-4/9\"], \"expected\": [416, \"bytes */9\"], \"passed\": false}, {\"check\": \"empty-part-unsatisfiable fixture 6\", \"actual\": [206, [[1, 3, 2], [2, 0, 3], [3, 0, 2]]], \"expected\": [206, [[1, 3, 2], [2, 0, 3], [3, 0, 2]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 7\", \"actual\": [206, [[1, 4, 1], [2, 0, 1]]], \"expected\": [206, [[1, 4, 1], [2, 0, 1]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 8\", \"actual\": [206, [[2, 0, 3]]], \"expected\": [206, [[2, 0, 3]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 9\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 10\", \"actual\": [206, [[1, 0, 5], [2, 0, 3], [3, 0, 4]]], \"expected\": [206, [[1, 0, 5], [2, 0, 3], [3, 0, 4]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 11\", \"actual\": [206, [[1, 4, 1], [3, 0, 1]]], \"expected\": [206, [[1, 4, 1], [3, 0, 1]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 12\", \"actual\": [416, \"bytes */0\"], \"expected\": [416, \"bytes */0\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 13\", \"actual\": [206, \"bytes 1-1/2\"], \"expected\": [206, \"bytes 1-1/2\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.973,"exit_code":1,"observations":[{"actual":[206,"bytes 5-7/12"],"check":"empty-part-unsatisfiable fixture 0","expected":[206,"bytes 5-7/12"],"passed":true},{"actual":[206,"bytes 8-11/12"],"check":"empty-part-unsatisfiable fixture 1","expected":[206,"bytes 8-11/12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 2","expected":[416,"bytes */12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 3","expected":[416,"bytes */12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 4","expected":[416,"bytes */12"],"passed":true},{"actual":[206,"bytes 5-4/9"],"check":"empty-part-unsatisfiable fixture 5","expected":[416,"bytes */9"],"passed":false},{"actual":[206,[[1,3,2],[2,0,3],[3,0,2]]],"check":"empty-part-unsatisfiable fixture 6","expected":[206,[[1,3,2],[2,0,3],[3,0,2]]],"passed":true},{"actual":[206,[[1,4,1],[2,0,1]]],"check":"empty-part-unsatisfiable fixture 7","expected":[206,[[1,4,1],[2,0,1]]],"passed":true},{"actual":[206,[[2,0,3]]],"check":"empty-part-unsatisfiable fixture 8","expected":[206,[[2,0,3]]],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 9","expected":[416,"bytes */12"],"passed":true},{"actual":[206,[[1,0,5],[2,0,3],[3,0,4]]],"check":"empty-part-unsatisfiable fixture 10","expected":[206,[[1,0,5],[2,0,3],[3,0,4]]],"passed":true},{"actual":[206,[[1,4,1],[3,0,1]]],"check":"empty-part-unsatisfiable fixture 11","expected":[206,[[1,4,1],[3,0,1]]],"passed":true},{"actual":[416,"bytes */0"],"check":"empty-part-unsatisfiable fixture 12","expected":[416,"bytes */0"],"passed":true},{"actual":[206,"bytes 1-1/2"],"check":"empty-part-unsatisfiable fixture 13","expected":[206,"bytes 1-1/2"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"empty-part-unsatisfiable fixture 0\", \"actual\": [206, \"bytes 5-7/12\"], \"expected\": [206, \"bytes 5-7/12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 1\", \"actual\": [206, \"bytes 8-11/12\"], \"expected\": [206, \"bytes 8-11/12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 2\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 3\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 4\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 5\", \"actual\": [206, \"bytes 5-4/9\"], \"expected\": [416, \"bytes */9\"], \"passed\": false}, {\"check\": \"empty-part-unsatisfiable fixture 6\", \"actual\": [206, [[1, 3, 2], [2, 0, 3], [3, 0, 2]]], \"expected\": [206, [[1, 3, 2], [2, 0, 3], [3, 0, 2]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 7\", \"actual\": [206, [[1, 4, 1], [2, 0, 1]]], \"expected\": [206, [[1, 4, 1], [2, 0, 1]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 8\", \"actual\": [206, [[2, 0, 3]]], \"expected\": [206, [[2, 0, 3]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 9\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 10\", \"actual\": [206, [[1, 0, 5], [2, 0, 3], [3, 0, 4]]], \"expected\": [206, [[1, 0, 5], [2, 0, 3], [3, 0, 4]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 11\", \"actual\": [206, [[1, 4, 1], [3, 0, 1]]], \"expected\": [206, [[1, 4, 1], [3, 0, 1]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 12\", \"actual\": [416, \"bytes */0\"], \"expected\": [416, \"bytes */0\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 13\", \"actual\": [206, \"bytes 1-1/2\"], \"expected\": [206, \"bytes 1-1/2\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.243,"exit_code":0,"observations":[{"actual":[206,"bytes 5-7/12"],"check":"empty-part-unsatisfiable fixture 0","expected":[206,"bytes 5-7/12"],"passed":true},{"actual":[206,"bytes 8-11/12"],"check":"empty-part-unsatisfiable fixture 1","expected":[206,"bytes 8-11/12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 2","expected":[416,"bytes */12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 3","expected":[416,"bytes */12"],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 4","expected":[416,"bytes */12"],"passed":true},{"actual":[416,"bytes */9"],"check":"empty-part-unsatisfiable fixture 5","expected":[416,"bytes */9"],"passed":true},{"actual":[206,[[1,3,2],[2,0,3],[3,0,2]]],"check":"empty-part-unsatisfiable fixture 6","expected":[206,[[1,3,2],[2,0,3],[3,0,2]]],"passed":true},{"actual":[206,[[1,4,1],[2,0,1]]],"check":"empty-part-unsatisfiable fixture 7","expected":[206,[[1,4,1],[2,0,1]]],"passed":true},{"actual":[206,[[2,0,3]]],"check":"empty-part-unsatisfiable fixture 8","expected":[206,[[2,0,3]]],"passed":true},{"actual":[416,"bytes */12"],"check":"empty-part-unsatisfiable fixture 9","expected":[416,"bytes */12"],"passed":true},{"actual":[206,[[1,0,5],[2,0,3],[3,0,4]]],"check":"empty-part-unsatisfiable fixture 10","expected":[206,[[1,0,5],[2,0,3],[3,0,4]]],"passed":true},{"actual":[206,[[1,4,1],[3,0,1]]],"check":"empty-part-unsatisfiable fixture 11","expected":[206,[[1,4,1],[3,0,1]]],"passed":true},{"actual":[416,"bytes */0"],"check":"empty-part-unsatisfiable fixture 12","expected":[416,"bytes */0"],"passed":true},{"actual":[206,"bytes 1-1/2"],"check":"empty-part-unsatisfiable fixture 13","expected":[206,"bytes 1-1/2"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"empty-part-unsatisfiable fixture 0\", \"actual\": [206, \"bytes 5-7/12\"], \"expected\": [206, \"bytes 5-7/12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 1\", \"actual\": [206, \"bytes 8-11/12\"], \"expected\": [206, \"bytes 8-11/12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 2\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 3\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 4\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 5\", \"actual\": [416, \"bytes */9\"], \"expected\": [416, \"bytes */9\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 6\", \"actual\": [206, [[1, 3, 2], [2, 0, 3], [3, 0, 2]]], \"expected\": [206, [[1, 3, 2], [2, 0, 3], [3, 0, 2]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 7\", \"actual\": [206, [[1, 4, 1], [2, 0, 1]]], \"expected\": [206, [[1, 4, 1], [2, 0, 1]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 8\", \"actual\": [206, [[2, 0, 3]]], \"expected\": [206, [[2, 0, 3]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 9\", \"actual\": [416, \"bytes */12\"], \"expected\": [416, \"bytes */12\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 10\", \"actual\": [206, [[1, 0, 5], [2, 0, 3], [3, 0, 4]]], \"expected\": [206, [[1, 0, 5], [2, 0, 3], [3, 0, 4]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 11\", \"actual\": [206, [[1, 4, 1], [3, 0, 1]]], \"expected\": [206, [[1, 4, 1], [3, 0, 1]]], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 12\", \"actual\": [416, \"bytes */0\"], \"expected\": [416, \"bytes */0\"], \"passed\": true}, {\"check\": \"empty-part-unsatisfiable fixture 13\", \"actual\": [206, \"bytes 1-1/2\"], \"expected\": [206, \"bytes 1-1/2\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}