{"abstract":"Byte offsets address the selected encoded representation.","category":"HTTP ranges","checks":6,"contract":"ASCII identity and encoded are distinct stored representations. Slice [start:stop] from the negotiated representation without decoding.","evaluation_group":"s3-http_ranges-representation","failed_approach":"The partial repair uses return encoded[start:stop] if use_encoded and len(encoded)>len(identity) else identity[start:stop], which still violates the stated contract.","family":"s3-http_ranges-encoded-offset-domain","id":"FA-26391","implementations":{"attempt":{"sha256":"cbfab074188a19513f03a33bf873a782579d98a3da39f11b8419e818091c0869","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(identity, encoded, use_encoded, start, stop):\n    return encoded[start:stop] if use_encoded and len(encoded)>len(identity) else identity[start:stop]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('encoded-offset-domain fixture 0', solve(\"abcdef\"*N,\"XYZ\"*N,True,0,2), \"XY\")\ncheck('encoded-offset-domain fixture 1', solve(\"abcdef\",\"XYZ\",False,1,3), \"bc\")\ncheck('encoded-offset-domain fixture 2', solve(\"abcdef\",\"XYZ\",True,1,3), \"YZ\")\ncheck('encoded-offset-domain fixture 3', solve(\"\",\"\",True,0,1), \"\")\ncheck('encoded-offset-domain fixture 4', solve(\"ab\",\"WXYZ\",True,0,2), \"WX\")\ncheck('encoded-offset-domain fixture 5', solve(\"abc\",\"X\",False,0,1), \"a\")\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":"32a3e0de0861be745cc68afa38db372106c1f3add0a443605ce44cdc78293bd3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(identity, encoded, use_encoded, start, stop):\n    return identity[start:stop]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('encoded-offset-domain fixture 0', solve(\"abcdef\"*N,\"XYZ\"*N,True,0,2), \"XY\")\ncheck('encoded-offset-domain fixture 1', solve(\"abcdef\",\"XYZ\",False,1,3), \"bc\")\ncheck('encoded-offset-domain fixture 2', solve(\"abcdef\",\"XYZ\",True,1,3), \"YZ\")\ncheck('encoded-offset-domain fixture 3', solve(\"\",\"\",True,0,1), \"\")\ncheck('encoded-offset-domain fixture 4', solve(\"ab\",\"WXYZ\",True,0,2), \"WX\")\ncheck('encoded-offset-domain fixture 5', solve(\"abc\",\"X\",False,0,1), \"a\")\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":"2fb6164c8e4c853fdc0503ac72952508f4e4dd58f50843c1488854f1f4694485","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(identity, encoded, use_encoded, start, stop):\n    return (encoded if use_encoded else identity)[start:stop]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('encoded-offset-domain fixture 0', solve(\"abcdef\"*N,\"XYZ\"*N,True,0,2), \"XY\")\ncheck('encoded-offset-domain fixture 1', solve(\"abcdef\",\"XYZ\",False,1,3), \"bc\")\ncheck('encoded-offset-domain fixture 2', solve(\"abcdef\",\"XYZ\",True,1,3), \"YZ\")\ncheck('encoded-offset-domain fixture 3', solve(\"\",\"\",True,0,1), \"\")\ncheck('encoded-offset-domain fixture 4', solve(\"ab\",\"WXYZ\",True,0,2), \"WX\")\ncheck('encoded-offset-domain fixture 5', solve(\"abc\",\"X\",False,0,1), \"a\")\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-encoded-offset-domain","generated_at":"2026-09-29T14:41:15.650456+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: return (encoded if use_encoded else identity)[start:stop]","root_cause":"The encoded-offset-domain decision uses return identity[start:stop].","sha256":"73d77109f823ae9b55590c00f618e11484ea75654b1f1b088b2f5f4759063bd4","title":"Byte offsets address the selected encoded representation · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.68,"exit_code":1,"observations":[{"actual":"ab","check":"encoded-offset-domain fixture 0","expected":"XY","passed":false},{"actual":"bc","check":"encoded-offset-domain fixture 1","expected":"bc","passed":true},{"actual":"bc","check":"encoded-offset-domain fixture 2","expected":"YZ","passed":false},{"actual":"","check":"encoded-offset-domain fixture 3","expected":"","passed":true},{"actual":"WX","check":"encoded-offset-domain fixture 4","expected":"WX","passed":true},{"actual":"a","check":"encoded-offset-domain fixture 5","expected":"a","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"encoded-offset-domain fixture 0\", \"actual\": \"ab\", \"expected\": \"XY\", \"passed\": false}, {\"check\": \"encoded-offset-domain fixture 1\", \"actual\": \"bc\", \"expected\": \"bc\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 2\", \"actual\": \"bc\", \"expected\": \"YZ\", \"passed\": false}, {\"check\": \"encoded-offset-domain fixture 3\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 4\", \"actual\": \"WX\", \"expected\": \"WX\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 5\", \"actual\": \"a\", \"expected\": \"a\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.398,"exit_code":1,"observations":[{"actual":"ab","check":"encoded-offset-domain fixture 0","expected":"XY","passed":false},{"actual":"bc","check":"encoded-offset-domain fixture 1","expected":"bc","passed":true},{"actual":"bc","check":"encoded-offset-domain fixture 2","expected":"YZ","passed":false},{"actual":"","check":"encoded-offset-domain fixture 3","expected":"","passed":true},{"actual":"ab","check":"encoded-offset-domain fixture 4","expected":"WX","passed":false},{"actual":"a","check":"encoded-offset-domain fixture 5","expected":"a","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"encoded-offset-domain fixture 0\", \"actual\": \"ab\", \"expected\": \"XY\", \"passed\": false}, {\"check\": \"encoded-offset-domain fixture 1\", \"actual\": \"bc\", \"expected\": \"bc\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 2\", \"actual\": \"bc\", \"expected\": \"YZ\", \"passed\": false}, {\"check\": \"encoded-offset-domain fixture 3\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 4\", \"actual\": \"ab\", \"expected\": \"WX\", \"passed\": false}, {\"check\": \"encoded-offset-domain fixture 5\", \"actual\": \"a\", \"expected\": \"a\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.089,"exit_code":0,"observations":[{"actual":"XY","check":"encoded-offset-domain fixture 0","expected":"XY","passed":true},{"actual":"bc","check":"encoded-offset-domain fixture 1","expected":"bc","passed":true},{"actual":"YZ","check":"encoded-offset-domain fixture 2","expected":"YZ","passed":true},{"actual":"","check":"encoded-offset-domain fixture 3","expected":"","passed":true},{"actual":"WX","check":"encoded-offset-domain fixture 4","expected":"WX","passed":true},{"actual":"a","check":"encoded-offset-domain fixture 5","expected":"a","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"encoded-offset-domain fixture 0\", \"actual\": \"XY\", \"expected\": \"XY\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 1\", \"actual\": \"bc\", \"expected\": \"bc\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 2\", \"actual\": \"YZ\", \"expected\": \"YZ\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 3\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 4\", \"actual\": \"WX\", \"expected\": \"WX\", \"passed\": true}, {\"check\": \"encoded-offset-domain fixture 5\", \"actual\": \"a\", \"expected\": \"a\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}