{"abstract":"Build public redirect origins from explicitly trusted proxy metadata: the direct authority port preserved branch emits an incorrect decision.","category":"HTTP redirects","checks":6,"contract":"Build public redirect origins from explicitly trusted proxy metadata. The explicit fixture inputs and outputs define a bounded offline policy; request identity must accompany the decision.","contract_signature":"request, trusted, chain, proto, direct_host, direct_scheme, prefix","evaluation_group":"s3-http-redirects-forwarded-public-origin","failed_approach":"The partial repair uses 'chain[0] if chain else direct_host' and still fails an explicit boundary or control.","family":"s3-http-redirects-forwarded-public-origin-direct-authority-port-preserved","id":"FA-29071","implementations":{"attempt":{"sha256":"1de707614ec550dec5d6265b83646ae8e3fa788f4d4d8e0effc726063e0233b5","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, trusted, chain, proto, direct_host, direct_scheme, prefix):\n    return {'request': request, 'decision': [chain[0] if trusted and chain else direct_host, proto.lower() if trusted and proto else direct_scheme, chain, bool(chain), '/' + prefix.lstrip('/') if prefix else '', prefix if trusted else '', chain[0] if chain else direct_host, prefix.rstrip('/')+'/' if prefix else '/', not proto or proto.lower() in ('http','https'), 'forwarded' if trusted and chain else 'direct']} \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', True, ['client.test', 'edge.test'], 'https', 'internal:8080', 'http', '/app'), {'request': '/requests/' + str(N) + '/0', 'decision': ['client.test', 'https', ['client.test', 'edge.test'], True, '/app', '/app', 'internal:8080', '/app/', True, 'forwarded']})\ncheck('fixture 2', solve('/requests/' + str(N) + '/1', False, ['attacker.test'], 'https', 'public.test', 'http', '/'), {'request': '/requests/' + str(N) + '/1', 'decision': ['public.test', 'http', ['attacker.test'], True, '/', '', 'public.test', '/', True, 'direct']})\ncheck('fixture 3', solve('/requests/' + str(N) + '/2', True, [], '', 'fallback.test', 'https', ''), {'request': '/requests/' + str(N) + '/2', 'decision': ['fallback.test', 'https', [], False, '', '', 'fallback.test', '/', True, 'direct']})\ncheck('fixture 4', solve('/requests/' + str(N) + '/3', True, ['one.test', 'two.test', 'three.test'], 'http', 'internal', 'https', '/v2/'), {'request': '/requests/' + str(N) + '/3', 'decision': ['one.test', 'http', ['one.test', 'two.test', 'three.test'], True, '/v2/', '/v2/', 'internal', '/v2/', True, 'forwarded']})\ncheck('fixture 5', solve('/requests/' + str(N) + '/4', True, ['public.test'], 'HTTPS', 'internal', 'http', '//evil.test'), {'request': '/requests/' + str(N) + '/4', 'decision': ['public.test', 'https', ['public.test'], True, '/evil.test', '//evil.test', 'internal', '//evil.test/', True, 'forwarded']})\ncheck('fixture 6', solve('/requests/' + str(N) + '/5', False, [], 'http', 'actual.test', 'https', '/x'), {'request': '/requests/' + str(N) + '/5', 'decision': ['actual.test', 'https', [], False, '/x', '', 'actual.test', '/x/', True, 'direct']})\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":"dde03bd681e2868a2a04af842b64d50355df764a3e44d6c2bfab74307c90309f","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, trusted, chain, proto, direct_host, direct_scheme, prefix):\n    return {'request': request, 'decision': [chain[0] if trusted and chain else direct_host, proto.lower() if trusted and proto else direct_scheme, chain, bool(chain), '/' + prefix.lstrip('/') if prefix else '', prefix if trusted else '', direct_host.split(':')[0], prefix.rstrip('/')+'/' if prefix else '/', not proto or proto.lower() in ('http','https'), 'forwarded' if trusted and chain else 'direct']} \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', True, ['client.test', 'edge.test'], 'https', 'internal:8080', 'http', '/app'), {'request': '/requests/' + str(N) + '/0', 'decision': ['client.test', 'https', ['client.test', 'edge.test'], True, '/app', '/app', 'internal:8080', '/app/', True, 'forwarded']})\ncheck('fixture 2', solve('/requests/' + str(N) + '/1', False, ['attacker.test'], 'https', 'public.test', 'http', '/'), {'request': '/requests/' + str(N) + '/1', 'decision': ['public.test', 'http', ['attacker.test'], True, '/', '', 'public.test', '/', True, 'direct']})\ncheck('fixture 3', solve('/requests/' + str(N) + '/2', True, [], '', 'fallback.test', 'https', ''), {'request': '/requests/' + str(N) + '/2', 'decision': ['fallback.test', 'https', [], False, '', '', 'fallback.test', '/', True, 'direct']})\ncheck('fixture 4', solve('/requests/' + str(N) + '/3', True, ['one.test', 'two.test', 'three.test'], 'http', 'internal', 'https', '/v2/'), {'request': '/requests/' + str(N) + '/3', 'decision': ['one.test', 'http', ['one.test', 'two.test', 'three.test'], True, '/v2/', '/v2/', 'internal', '/v2/', True, 'forwarded']})\ncheck('fixture 5', solve('/requests/' + str(N) + '/4', True, ['public.test'], 'HTTPS', 'internal', 'http', '//evil.test'), {'request': '/requests/' + str(N) + '/4', 'decision': ['public.test', 'https', ['public.test'], True, '/evil.test', '//evil.test', 'internal', '//evil.test/', True, 'forwarded']})\ncheck('fixture 6', solve('/requests/' + str(N) + '/5', False, [], 'http', 'actual.test', 'https', '/x'), {'request': '/requests/' + str(N) + '/5', 'decision': ['actual.test', 'https', [], False, '/x', '', 'actual.test', '/x/', True, 'direct']})\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-forwarded-public-origin-direct-authority-port-preserved","generated_at":"2026-09-29T14:41:39.760866+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 direct-authority-port-preserved decision uses \"direct_host.split(':')[0]\"; this violates the stipulated controller policy.","sha256":"5a66dc64ecbf2ea76fd1df5d16a2dbf9c04eb186990333e0cf261d6b03cd9021","title":"Build public redirect origins from explicitly trusted proxy metadata: direct authority port preserved · 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":45.29,"exit_code":1,"observations":[{"actual":{"decision":["client.test","https",["client.test","edge.test"],true,"/app","/app","client.test","/app/",true,"forwarded"],"request":"/requests/1/0"},"check":"fixture 1","expected":{"decision":["client.test","https",["client.test","edge.test"],true,"/app","/app","internal:8080","/app/",true,"forwarded"],"request":"/requests/1/0"},"passed":false},{"actual":{"decision":["public.test","http",["attacker.test"],true,"/","","attacker.test","/",true,"direct"],"request":"/requests/1/1"},"check":"fixture 2","expected":{"decision":["public.test","http",["attacker.test"],true,"/","","public.test","/",true,"direct"],"request":"/requests/1/1"},"passed":false},{"actual":{"decision":["fallback.test","https",[],false,"","","fallback.test","/",true,"direct"],"request":"/requests/1/2"},"check":"fixture 3","expected":{"decision":["fallback.test","https",[],false,"","","fallback.test","/",true,"direct"],"request":"/requests/1/2"},"passed":true},{"actual":{"decision":["one.test","http",["one.test","two.test","three.test"],true,"/v2/","/v2/","one.test","/v2/",true,"forwarded"],"request":"/requests/1/3"},"check":"fixture 4","expected":{"decision":["one.test","http",["one.test","two.test","three.test"],true,"/v2/","/v2/","internal","/v2/",true,"forwarded"],"request":"/requests/1/3"},"passed":false},{"actual":{"decision":["public.test","https",["public.test"],true,"/evil.test","//evil.test","public.test","//evil.test/",true,"forwarded"],"request":"/requests/1/4"},"check":"fixture 5","expected":{"decision":["public.test","https",["public.test"],true,"/evil.test","//evil.test","internal","//evil.test/",true,"forwarded"],"request":"/requests/1/4"},"passed":false},{"actual":{"decision":["actual.test","https",[],false,"/x","","actual.test","/x/",true,"direct"],"request":"/requests/1/5"},"check":"fixture 6","expected":{"decision":["actual.test","https",[],false,"/x","","actual.test","/x/",true,"direct"],"request":"/requests/1/5"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": {\"request\": \"/requests/1/0\", \"decision\": [\"client.test\", \"https\", [\"client.test\", \"edge.test\"], true, \"/app\", \"/app\", \"client.test\", \"/app/\", true, \"forwarded\"]}, \"expected\": {\"request\": \"/requests/1/0\", \"decision\": [\"client.test\", \"https\", [\"client.test\", \"edge.test\"], true, \"/app\", \"/app\", \"internal:8080\", \"/app/\", true, \"forwarded\"]}, \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": {\"request\": \"/requests/1/1\", \"decision\": [\"public.test\", \"http\", [\"attacker.test\"], true, \"/\", \"\", \"attacker.test\", \"/\", true, \"direct\"]}, \"expected\": {\"request\": \"/requests/1/1\", \"decision\": [\"public.test\", \"http\", [\"attacker.test\"], true, \"/\", \"\", \"public.test\", \"/\", true, \"direct\"]}, \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": {\"request\": \"/requests/1/2\", \"decision\": [\"fallback.test\", \"https\", [], false, \"\", \"\", \"fallback.test\", \"/\", true, \"direct\"]}, \"expected\": {\"request\": \"/requests/1/2\", \"decision\": [\"fallback.test\", \"https\", [], false, \"\", \"\", \"fallback.test\", \"/\", true, \"direct\"]}, \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": {\"request\": \"/requests/1/3\", \"decision\": [\"one.test\", \"http\", [\"one.test\", \"two.test\", \"three.test\"], true, \"/v2/\", \"/v2/\", \"one.test\", \"/v2/\", true, \"forwarded\"]}, \"expected\": {\"request\": \"/requests/1/3\", \"decision\": [\"one.test\", \"http\", [\"one.test\", \"two.test\", \"three.test\"], true, \"/v2/\", \"/v2/\", \"internal\", \"/v2/\", true, \"forwarded\"]}, \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": {\"request\": \"/requests/1/4\", \"decision\": [\"public.test\", \"https\", [\"public.test\"], true, \"/evil.test\", \"//evil.test\", \"public.test\", \"//evil.test/\", true, \"forwarded\"]}, \"expected\": {\"request\": \"/requests/1/4\", \"decision\": [\"public.test\", \"https\", [\"public.test\"], true, \"/evil.test\", \"//evil.test\", \"internal\", \"//evil.test/\", true, \"forwarded\"]}, \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": {\"request\": \"/requests/1/5\", \"decision\": [\"actual.test\", \"https\", [], false, \"/x\", \"\", \"actual.test\", \"/x/\", true, \"direct\"]}, \"expected\": {\"request\": \"/requests/1/5\", \"decision\": [\"actual.test\", \"https\", [], false, \"/x\", \"\", \"actual.test\", \"/x/\", true, \"direct\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.433,"exit_code":1,"observations":[{"actual":{"decision":["client.test","https",["client.test","edge.test"],true,"/app","/app","internal","/app/",true,"forwarded"],"request":"/requests/1/0"},"check":"fixture 1","expected":{"decision":["client.test","https",["client.test","edge.test"],true,"/app","/app","internal:8080","/app/",true,"forwarded"],"request":"/requests/1/0"},"passed":false},{"actual":{"decision":["public.test","http",["attacker.test"],true,"/","","public.test","/",true,"direct"],"request":"/requests/1/1"},"check":"fixture 2","expected":{"decision":["public.test","http",["attacker.test"],true,"/","","public.test","/",true,"direct"],"request":"/requests/1/1"},"passed":true},{"actual":{"decision":["fallback.test","https",[],false,"","","fallback.test","/",true,"direct"],"request":"/requests/1/2"},"check":"fixture 3","expected":{"decision":["fallback.test","https",[],false,"","","fallback.test","/",true,"direct"],"request":"/requests/1/2"},"passed":true},{"actual":{"decision":["one.test","http",["one.test","two.test","three.test"],true,"/v2/","/v2/","internal","/v2/",true,"forwarded"],"request":"/requests/1/3"},"check":"fixture 4","expected":{"decision":["one.test","http",["one.test","two.test","three.test"],true,"/v2/","/v2/","internal","/v2/",true,"forwarded"],"request":"/requests/1/3"},"passed":true},{"actual":{"decision":["public.test","https",["public.test"],true,"/evil.test","//evil.test","internal","//evil.test/",true,"forwarded"],"request":"/requests/1/4"},"check":"fixture 5","expected":{"decision":["public.test","https",["public.test"],true,"/evil.test","//evil.test","internal","//evil.test/",true,"forwarded"],"request":"/requests/1/4"},"passed":true},{"actual":{"decision":["actual.test","https",[],false,"/x","","actual.test","/x/",true,"direct"],"request":"/requests/1/5"},"check":"fixture 6","expected":{"decision":["actual.test","https",[],false,"/x","","actual.test","/x/",true,"direct"],"request":"/requests/1/5"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": {\"request\": \"/requests/1/0\", \"decision\": [\"client.test\", \"https\", [\"client.test\", \"edge.test\"], true, \"/app\", \"/app\", \"internal\", \"/app/\", true, \"forwarded\"]}, \"expected\": {\"request\": \"/requests/1/0\", \"decision\": [\"client.test\", \"https\", [\"client.test\", \"edge.test\"], true, \"/app\", \"/app\", \"internal:8080\", \"/app/\", true, \"forwarded\"]}, \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": {\"request\": \"/requests/1/1\", \"decision\": [\"public.test\", \"http\", [\"attacker.test\"], true, \"/\", \"\", \"public.test\", \"/\", true, \"direct\"]}, \"expected\": {\"request\": \"/requests/1/1\", \"decision\": [\"public.test\", \"http\", [\"attacker.test\"], true, \"/\", \"\", \"public.test\", \"/\", true, \"direct\"]}, \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": {\"request\": \"/requests/1/2\", \"decision\": [\"fallback.test\", \"https\", [], false, \"\", \"\", \"fallback.test\", \"/\", true, \"direct\"]}, \"expected\": {\"request\": \"/requests/1/2\", \"decision\": [\"fallback.test\", \"https\", [], false, \"\", \"\", \"fallback.test\", \"/\", true, \"direct\"]}, \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": {\"request\": \"/requests/1/3\", \"decision\": [\"one.test\", \"http\", [\"one.test\", \"two.test\", \"three.test\"], true, \"/v2/\", \"/v2/\", \"internal\", \"/v2/\", true, \"forwarded\"]}, \"expected\": {\"request\": \"/requests/1/3\", \"decision\": [\"one.test\", \"http\", [\"one.test\", \"two.test\", \"three.test\"], true, \"/v2/\", \"/v2/\", \"internal\", \"/v2/\", true, \"forwarded\"]}, \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": {\"request\": \"/requests/1/4\", \"decision\": [\"public.test\", \"https\", [\"public.test\"], true, \"/evil.test\", \"//evil.test\", \"internal\", \"//evil.test/\", true, \"forwarded\"]}, \"expected\": {\"request\": \"/requests/1/4\", \"decision\": [\"public.test\", \"https\", [\"public.test\"], true, \"/evil.test\", \"//evil.test\", \"internal\", \"//evil.test/\", true, \"forwarded\"]}, \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": {\"request\": \"/requests/1/5\", \"decision\": [\"actual.test\", \"https\", [], false, \"/x\", \"\", \"actual.test\", \"/x/\", true, \"direct\"]}, \"expected\": {\"request\": \"/requests/1/5\", \"decision\": [\"actual.test\", \"https\", [], false, \"/x\", \"\", \"actual.test\", \"/x/\", true, \"direct\"]}, \"passed\": true}], \"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."}}