FAILURE MAP
← Case archive

FA-28331 / HTTP redirects / Open access

Expose final response metadata without leaking intermediate representation state: failure from terminal status · case 01

Expose final response metadata without leaking intermediate representation state: the failure from terminal status branch emits an incorrect decision.

Verified by executionVariant 1 · 6 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The failure-from-terminal-status decision uses 'any(s>=300 for s in statuses)'; this violates the stipulated controller policy.

VERIFIED REPAIR

At this decision use 'statuses[-1]>=400', preserving the other controller outputs.

Unsuccessful approach: The partial repair uses 'statuses[0]>=400' and still fails an explicit boundary or control.

Case contract

Expose final response metadata without leaking intermediate representation state. The explicit fixture inputs and outputs define a bounded offline policy; request identity must accompany the decision.

Why this case matters

Models a redirect controller decision before following a target or exposing a redirect result.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json
from urllib.parse import urlsplit, unquote, quote
import posixpath
import re
N = 1
observations = []
def solve(request, original, final, statuses, body, intermediate_lengths, final_length):
    return {'request': request, 'decision': [final, statuses[-1], len(statuses)>1, body, final_length, sum(intermediate_lengths)+final_length, statuses[:-1], len(statuses)-1, any(s>=300 for s in statuses), statuses[0]]} 
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('/requests/' + str(N) + '/0', '/a', '/c', [301, 302, 200], 'ok', [8, 9], 2), {'request': '/requests/' + str(N) + '/0', 'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, False, 301]})
check('fixture 2', solve('/requests/' + str(N) + '/1', '/a', '/a', [200], '', [], 0), {'request': '/requests/' + str(N) + '/1', 'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200]})
check('fixture 3', solve('/requests/' + str(N) + '/2', '/x', '/y', [307, 404], 'err', [100], 3), {'request': '/requests/' + str(N) + '/2', 'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, True, 307]})
check('fixture 4', solve('/requests/' + str(N) + '/3', '/x', '/x', [302, 302, 200], 'done', [0, 2], 4), {'request': '/requests/' + str(N) + '/3', 'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, False, 302]})
check('fixture 5', solve('/requests/' + str(N) + '/4', '/m', '/n', [308, 204], '', [5], 0), {'request': '/requests/' + str(N) + '/4', 'decision': ['/n', 204, True, '', 0, 5, [308], 1, False, 308]})
check('fixture 6', solve('/requests/' + str(N) + '/5', '/v', '/w', [303, 500], 'bad', [7], 3), {'request': '/requests/' + str(N) + '/5', 'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, True, 303]})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
fixture 1{'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, True, 301], 'request': '/requests/1/0'}{'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, False, 301], 'request': '/requests/1/0'}Failed
fixture 2{'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200], 'request': '/requests/1/1'}{'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200], 'request': '/requests/1/1'}Passed
fixture 3{'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, True, 307], 'request': '/requests/1/2'}{'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, True, 307], 'request': '/requests/1/2'}Passed
fixture 4{'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, True, 302], 'request': '/requests/1/3'}{'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, False, 302], 'request': '/requests/1/3'}Failed
fixture 5{'decision': ['/n', 204, True, '', 0, 5, [308], 1, True, 308], 'request': '/requests/1/4'}{'decision': ['/n', 204, True, '', 0, 5, [308], 1, False, 308], 'request': '/requests/1/4'}Failed
fixture 6{'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, True, 303], 'request': '/requests/1/5'}{'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, True, 303], 'request': '/requests/1/5'}Passed

SHA-256 / 490e0150a24d63e7a15312b95495b471212d0426619cb871b054bd12659a258c

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json
from urllib.parse import urlsplit, unquote, quote
import posixpath
import re
N = 1
observations = []
def solve(request, original, final, statuses, body, intermediate_lengths, final_length):
    return {'request': request, 'decision': [final, statuses[-1], len(statuses)>1, body, final_length, sum(intermediate_lengths)+final_length, statuses[:-1], len(statuses)-1, statuses[0]>=400, statuses[0]]} 
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('/requests/' + str(N) + '/0', '/a', '/c', [301, 302, 200], 'ok', [8, 9], 2), {'request': '/requests/' + str(N) + '/0', 'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, False, 301]})
check('fixture 2', solve('/requests/' + str(N) + '/1', '/a', '/a', [200], '', [], 0), {'request': '/requests/' + str(N) + '/1', 'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200]})
check('fixture 3', solve('/requests/' + str(N) + '/2', '/x', '/y', [307, 404], 'err', [100], 3), {'request': '/requests/' + str(N) + '/2', 'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, True, 307]})
check('fixture 4', solve('/requests/' + str(N) + '/3', '/x', '/x', [302, 302, 200], 'done', [0, 2], 4), {'request': '/requests/' + str(N) + '/3', 'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, False, 302]})
check('fixture 5', solve('/requests/' + str(N) + '/4', '/m', '/n', [308, 204], '', [5], 0), {'request': '/requests/' + str(N) + '/4', 'decision': ['/n', 204, True, '', 0, 5, [308], 1, False, 308]})
check('fixture 6', solve('/requests/' + str(N) + '/5', '/v', '/w', [303, 500], 'bad', [7], 3), {'request': '/requests/' + str(N) + '/5', 'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, True, 303]})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
fixture 1{'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, False, 301], 'request': '/requests/1/0'}{'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, False, 301], 'request': '/requests/1/0'}Passed
fixture 2{'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200], 'request': '/requests/1/1'}{'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200], 'request': '/requests/1/1'}Passed
fixture 3{'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, False, 307], 'request': '/requests/1/2'}{'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, True, 307], 'request': '/requests/1/2'}Failed
fixture 4{'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, False, 302], 'request': '/requests/1/3'}{'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, False, 302], 'request': '/requests/1/3'}Passed
fixture 5{'decision': ['/n', 204, True, '', 0, 5, [308], 1, False, 308], 'request': '/requests/1/4'}{'decision': ['/n', 204, True, '', 0, 5, [308], 1, False, 308], 'request': '/requests/1/4'}Passed
fixture 6{'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, False, 303], 'request': '/requests/1/5'}{'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, True, 303], 'request': '/requests/1/5'}Failed

SHA-256 / 685954e3cf4e4027a967d2c3de78ed85393a67ffc2066b1bfb872e18d17c3b0e

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json
from urllib.parse import urlsplit, unquote, quote
import posixpath
import re
N = 1
observations = []
def solve(request, original, final, statuses, body, intermediate_lengths, final_length):
    return {'request': request, 'decision': [final, statuses[-1], len(statuses)>1, body, final_length, sum(intermediate_lengths)+final_length, statuses[:-1], len(statuses)-1, statuses[-1]>=400, statuses[0]]} 
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('/requests/' + str(N) + '/0', '/a', '/c', [301, 302, 200], 'ok', [8, 9], 2), {'request': '/requests/' + str(N) + '/0', 'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, False, 301]})
check('fixture 2', solve('/requests/' + str(N) + '/1', '/a', '/a', [200], '', [], 0), {'request': '/requests/' + str(N) + '/1', 'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200]})
check('fixture 3', solve('/requests/' + str(N) + '/2', '/x', '/y', [307, 404], 'err', [100], 3), {'request': '/requests/' + str(N) + '/2', 'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, True, 307]})
check('fixture 4', solve('/requests/' + str(N) + '/3', '/x', '/x', [302, 302, 200], 'done', [0, 2], 4), {'request': '/requests/' + str(N) + '/3', 'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, False, 302]})
check('fixture 5', solve('/requests/' + str(N) + '/4', '/m', '/n', [308, 204], '', [5], 0), {'request': '/requests/' + str(N) + '/4', 'decision': ['/n', 204, True, '', 0, 5, [308], 1, False, 308]})
check('fixture 6', solve('/requests/' + str(N) + '/5', '/v', '/w', [303, 500], 'bad', [7], 3), {'request': '/requests/' + str(N) + '/5', 'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, True, 303]})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
fixture 1{'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, False, 301], 'request': '/requests/1/0'}{'decision': ['/c', 200, True, 'ok', 2, 19, [301, 302], 2, False, 301], 'request': '/requests/1/0'}Passed
fixture 2{'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200], 'request': '/requests/1/1'}{'decision': ['/a', 200, False, '', 0, 0, [], 0, False, 200], 'request': '/requests/1/1'}Passed
fixture 3{'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, True, 307], 'request': '/requests/1/2'}{'decision': ['/y', 404, True, 'err', 3, 103, [307], 1, True, 307], 'request': '/requests/1/2'}Passed
fixture 4{'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, False, 302], 'request': '/requests/1/3'}{'decision': ['/x', 200, True, 'done', 4, 6, [302, 302], 2, False, 302], 'request': '/requests/1/3'}Passed
fixture 5{'decision': ['/n', 204, True, '', 0, 5, [308], 1, False, 308], 'request': '/requests/1/4'}{'decision': ['/n', 204, True, '', 0, 5, [308], 1, False, 308], 'request': '/requests/1/4'}Passed
fixture 6{'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, True, 303], 'request': '/requests/1/5'}{'decision': ['/w', 500, True, 'bad', 3, 10, [303], 1, True, 303], 'request': '/requests/1/5'}Passed

SHA-256 / 0e41b750c86286acb11e49bcf252a2b14876a150194c4eeabeb4f43881e20210

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:41:32.982698+00:00.

Case digest / 4f09a20fb645f51908831905133dd0879fe9b5375b8168b759614a1a9bee432f