{"abstract":"Release an intermediate response before following its target: the eof diagnostic branch emits an incorrect decision.","category":"HTTP redirects","checks":6,"contract":"Release an intermediate response before following its target. The explicit fixture inputs and outputs define a bounded offline policy; request identity must accompany the decision.","contract_signature":"request, drained, remaining, reusable, closed, canceled, http2","evaluation_group":"s3-http-redirects-intermediate-response-release","failed_approach":"The partial repair uses \"'eof' if remaining <= 3 else 'pending'\" and still fails an explicit boundary or control.","family":"s3-http-redirects-intermediate-response-release-eof-diagnostic","id":"FA-28166","implementations":{"attempt":{"sha256":"94f24948e6bbb6010638d67168f98f7a4cfbdbf1dad847c4a09b5983a29b32c2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom urllib.parse import urlsplit, unquote, quote\nimport posixpath\nimport re\nN = 1\nobservations = []\ndef solve(request, drained, remaining, reusable, closed, canceled, http2):\n    return {'request': request, 'decision': [not drained and remaining > 0, reusable and drained and not closed, not http2 and remaining > 0 and not reusable, http2 and remaining > 0, not canceled and not closed, 'eof' if remaining <= 3 else 'pending', not closed, remaining if not drained else 0, 'stream' if http2 else 'connection', 'released' if closed else ('canceling' if canceled else 'owned')]} \ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve('/requests/' + str(N) + '/0', False, 8, True, False, False, False), {'request': '/requests/' + str(N) + '/0', 'decision': [True, False, False, False, True, 'pending', True, 8, 'connection', 'owned']})\ncheck('fixture 2', solve('/requests/' + str(N) + '/1', True, 0, True, False, False, False), {'request': '/requests/' + str(N) + '/1', 'decision': [False, True, False, False, True, 'eof', True, 0, 'connection', 'owned']})\ncheck('fixture 3', solve('/requests/' + str(N) + '/2', False, 3, False, False, False, False), {'request': '/requests/' + str(N) + '/2', 'decision': [True, False, True, False, True, 'pending', True, 3, 'connection', 'owned']})\ncheck('fixture 4', solve('/requests/' + str(N) + '/3', False, 5, True, False, True, True), {'request': '/requests/' + str(N) + '/3', 'decision': [True, False, False, True, False, 'pending', True, 5, 'stream', 'canceling']})\ncheck('fixture 5', solve('/requests/' + str(N) + '/4', True, 0, True, True, False, True), {'request': '/requests/' + str(N) + '/4', 'decision': [False, False, False, False, False, 'eof', False, 0, 'stream', 'released']})\ncheck('fixture 6', solve('/requests/' + str(N) + '/5', False, 0, False, True, True, False), {'request': '/requests/' + str(N) + '/5', 'decision': [False, False, False, False, False, 'eof', False, 0, 'connection', 'released']})\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":"c5373400259580b4ccb9f019704d239b00b77a3d31424216b8e6b11c3d84a5ce","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom urllib.parse import urlsplit, unquote, quote\nimport posixpath\nimport re\nN = 1\nobservations = []\ndef solve(request, drained, remaining, reusable, closed, canceled, http2):\n    return {'request': request, 'decision': [not drained and remaining > 0, reusable and drained and not closed, not http2 and remaining > 0 and not reusable, http2 and remaining > 0, not canceled and not closed, 'eof' if drained else 'pending', not closed, remaining if not drained else 0, 'stream' if http2 else 'connection', 'released' if closed else ('canceling' if canceled else 'owned')]} \ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve('/requests/' + str(N) + '/0', False, 8, True, False, False, False), {'request': '/requests/' + str(N) + '/0', 'decision': [True, False, False, False, True, 'pending', True, 8, 'connection', 'owned']})\ncheck('fixture 2', solve('/requests/' + str(N) + '/1', True, 0, True, False, False, False), {'request': '/requests/' + str(N) + '/1', 'decision': [False, True, False, False, True, 'eof', True, 0, 'connection', 'owned']})\ncheck('fixture 3', solve('/requests/' + str(N) + '/2', False, 3, False, False, False, False), {'request': '/requests/' + str(N) + '/2', 'decision': [True, False, True, False, True, 'pending', True, 3, 'connection', 'owned']})\ncheck('fixture 4', solve('/requests/' + str(N) + '/3', False, 5, True, False, True, True), {'request': '/requests/' + str(N) + '/3', 'decision': [True, False, False, True, False, 'pending', True, 5, 'stream', 'canceling']})\ncheck('fixture 5', solve('/requests/' + str(N) + '/4', True, 0, True, True, False, True), {'request': '/requests/' + str(N) + '/4', 'decision': [False, False, False, False, False, 'eof', False, 0, 'stream', 'released']})\ncheck('fixture 6', solve('/requests/' + str(N) + '/5', False, 0, False, True, True, False), {'request': '/requests/' + str(N) + '/5', 'decision': [False, False, False, False, False, 'eof', False, 0, 'connection', 'released']})\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 offline redirect policy, not a complete HTTP, browser, URL, cache, or security implementation. Numbered variants vary request correlation identity. 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-redirects-intermediate-response-release-eof-diagnostic","generated_at":"2026-09-29T14:41:31.704492+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Models a redirect controller decision before following a target or exposing a redirect result.","root_cause":"The eof-diagnostic decision uses \"'eof' if drained else 'pending'\"; this violates the stipulated controller policy.","sha256":"753257e618327adfea8efacbe7dcc036de66eedc9a2c3305a08c382f191a3d4a","title":"Release an intermediate response before following its target: eof diagnostic · case 01","variant":1,"variant_policy":"N changes request correlation identity. Policy boundary fixtures are reused; numbered variants are not independent examples.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.685,"exit_code":1,"observations":[{"actual":{"decision":[true,false,false,false,true,"pending",true,8,"connection","owned"],"request":"/requests/1/0"},"check":"fixture 1","expected":{"decision":[true,false,false,false,true,"pending",true,8,"connection","owned"],"request":"/requests/1/0"},"passed":true},{"actual":{"decision":[false,true,false,false,true,"eof",true,0,"connection","owned"],"request":"/requests/1/1"},"check":"fixture 2","expected":{"decision":[false,true,false,false,true,"eof",true,0,"connection","owned"],"request":"/requests/1/1"},"passed":true},{"actual":{"decision":[true,false,true,false,true,"eof",true,3,"connection","owned"],"request":"/requests/1/2"},"check":"fixture 3","expected":{"decision":[true,false,true,false,true,"pending",true,3,"connection","owned"],"request":"/requests/1/2"},"passed":false},{"actual":{"decision":[true,false,false,true,false,"pending",true,5,"stream","canceling"],"request":"/requests/1/3"},"check":"fixture 4","expected":{"decision":[true,false,false,true,false,"pending",true,5,"stream","canceling"],"request":"/requests/1/3"},"passed":true},{"actual":{"decision":[false,false,false,false,false,"eof",false,0,"stream","released"],"request":"/requests/1/4"},"check":"fixture 5","expected":{"decision":[false,false,false,false,false,"eof",false,0,"stream","released"],"request":"/requests/1/4"},"passed":true},{"actual":{"decision":[false,false,false,false,false,"eof",false,0,"connection","released"],"request":"/requests/1/5"},"check":"fixture 6","expected":{"decision":[false,false,false,false,false,"eof",false,0,"connection","released"],"request":"/requests/1/5"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": {\"request\": \"/requests/1/0\", \"decision\": [true, false, false, false, true, \"pending\", true, 8, \"connection\", \"owned\"]}, \"expected\": {\"request\": \"/requests/1/0\", \"decision\": [true, false, false, false, true, \"pending\", true, 8, \"connection\", \"owned\"]}, \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": {\"request\": \"/requests/1/1\", \"decision\": [false, true, false, false, true, \"eof\", true, 0, \"connection\", \"owned\"]}, \"expected\": {\"request\": \"/requests/1/1\", \"decision\": [false, true, false, false, true, \"eof\", true, 0, \"connection\", \"owned\"]}, \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": {\"request\": \"/requests/1/2\", \"decision\": [true, false, true, false, true, \"eof\", true, 3, \"connection\", \"owned\"]}, \"expected\": {\"request\": \"/requests/1/2\", \"decision\": [true, false, true, false, true, \"pending\", true, 3, \"connection\", \"owned\"]}, \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": {\"request\": \"/requests/1/3\", \"decision\": [true, false, false, true, false, \"pending\", true, 5, \"stream\", \"canceling\"]}, \"expected\": {\"request\": \"/requests/1/3\", \"decision\": [true, false, false, true, false, \"pending\", true, 5, \"stream\", \"canceling\"]}, \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": {\"request\": \"/requests/1/4\", \"decision\": [false, false, false, false, false, \"eof\", false, 0, \"stream\", \"released\"]}, \"expected\": {\"request\": \"/requests/1/4\", \"decision\": [false, false, false, false, false, \"eof\", false, 0, \"stream\", \"released\"]}, \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": {\"request\": \"/requests/1/5\", \"decision\": [false, false, false, false, false, \"eof\", false, 0, \"connection\", \"released\"]}, \"expected\": {\"request\": \"/requests/1/5\", \"decision\": [false, false, false, false, false, \"eof\", false, 0, \"connection\", \"released\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.543,"exit_code":1,"observations":[{"actual":{"decision":[true,false,false,false,true,"pending",true,8,"connection","owned"],"request":"/requests/1/0"},"check":"fixture 1","expected":{"decision":[true,false,false,false,true,"pending",true,8,"connection","owned"],"request":"/requests/1/0"},"passed":true},{"actual":{"decision":[false,true,false,false,true,"eof",true,0,"connection","owned"],"request":"/requests/1/1"},"check":"fixture 2","expected":{"decision":[false,true,false,false,true,"eof",true,0,"connection","owned"],"request":"/requests/1/1"},"passed":true},{"actual":{"decision":[true,false,true,false,true,"pending",true,3,"connection","owned"],"request":"/requests/1/2"},"check":"fixture 3","expected":{"decision":[true,false,true,false,true,"pending",true,3,"connection","owned"],"request":"/requests/1/2"},"passed":true},{"actual":{"decision":[true,false,false,true,false,"pending",true,5,"stream","canceling"],"request":"/requests/1/3"},"check":"fixture 4","expected":{"decision":[true,false,false,true,false,"pending",true,5,"stream","canceling"],"request":"/requests/1/3"},"passed":true},{"actual":{"decision":[false,false,false,false,false,"eof",false,0,"stream","released"],"request":"/requests/1/4"},"check":"fixture 5","expected":{"decision":[false,false,false,false,false,"eof",false,0,"stream","released"],"request":"/requests/1/4"},"passed":true},{"actual":{"decision":[false,false,false,false,false,"pending",false,0,"connection","released"],"request":"/requests/1/5"},"check":"fixture 6","expected":{"decision":[false,false,false,false,false,"eof",false,0,"connection","released"],"request":"/requests/1/5"},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": {\"request\": \"/requests/1/0\", \"decision\": [true, false, false, false, true, \"pending\", true, 8, \"connection\", \"owned\"]}, \"expected\": {\"request\": \"/requests/1/0\", \"decision\": [true, false, false, false, true, \"pending\", true, 8, \"connection\", \"owned\"]}, \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": {\"request\": \"/requests/1/1\", \"decision\": [false, true, false, false, true, \"eof\", true, 0, \"connection\", \"owned\"]}, \"expected\": {\"request\": \"/requests/1/1\", \"decision\": [false, true, false, false, true, \"eof\", true, 0, \"connection\", \"owned\"]}, \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": {\"request\": \"/requests/1/2\", \"decision\": [true, false, true, false, true, \"pending\", true, 3, \"connection\", \"owned\"]}, \"expected\": {\"request\": \"/requests/1/2\", \"decision\": [true, false, true, false, true, \"pending\", true, 3, \"connection\", \"owned\"]}, \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": {\"request\": \"/requests/1/3\", \"decision\": [true, false, false, true, false, \"pending\", true, 5, \"stream\", \"canceling\"]}, \"expected\": {\"request\": \"/requests/1/3\", \"decision\": [true, false, false, true, false, \"pending\", true, 5, \"stream\", \"canceling\"]}, \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": {\"request\": \"/requests/1/4\", \"decision\": [false, false, false, false, false, \"eof\", false, 0, \"stream\", \"released\"]}, \"expected\": {\"request\": \"/requests/1/4\", \"decision\": [false, false, false, false, false, \"eof\", false, 0, \"stream\", \"released\"]}, \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": {\"request\": \"/requests/1/5\", \"decision\": [false, false, false, false, false, \"pending\", false, 0, \"connection\", \"released\"]}, \"expected\": {\"request\": \"/requests/1/5\", \"decision\": [false, false, false, false, false, \"eof\", false, 0, \"connection\", \"released\"]}, \"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."}}