FA-26706 / HTTP ranges / Open access
Content-Range metadata is retained only for partial or unsatisfied responses · case 01
Content-Range metadata is retained only for partial or unsatisfied responses.
ROOT CAUSE
The content-range-status-placement decision uses return value.
VERIFIED REPAIR
Apply the bounded decision exactly: return value if status in (206,416) else None
Unsuccessful approach: The partial repair uses return value if status==206 else None, which still violates the stated contract.
Case contract
This serializer emits value only for status206 or416; all other status codes remove it.
Why this case matters
Range responses combine representation identity, conditional requests, framing, and partial-object state.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(status, value):
return value
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('content-range-status-placement fixture 0', solve(200,"r"+str(N)), None)
check('content-range-status-placement fixture 1', solve(416,"bytes */"+str(N)), "bytes */"+str(N))
check('content-range-status-placement fixture 2', solve(206,"r"), "r")
check('content-range-status-placement fixture 3', solve(304,"r"), None)
check('content-range-status-placement fixture 4', solve(412,"r"), None)
check('content-range-status-placement fixture 5', solve(500,"r"), None)
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| content-range-status-placement fixture 0 | r1 | None | Failed |
| content-range-status-placement fixture 1 | bytes */1 | bytes */1 | Passed |
| content-range-status-placement fixture 2 | r | r | Passed |
| content-range-status-placement fixture 3 | r | None | Failed |
| content-range-status-placement fixture 4 | r | None | Failed |
| content-range-status-placement fixture 5 | r | None | Failed |
SHA-256 / f016b7aa4bf4abae2db018afb15a90a2f9a0ec0b2d944d3d44ad26c83ccc29cd
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(status, value):
return value if status==206 else None
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('content-range-status-placement fixture 0', solve(200,"r"+str(N)), None)
check('content-range-status-placement fixture 1', solve(416,"bytes */"+str(N)), "bytes */"+str(N))
check('content-range-status-placement fixture 2', solve(206,"r"), "r")
check('content-range-status-placement fixture 3', solve(304,"r"), None)
check('content-range-status-placement fixture 4', solve(412,"r"), None)
check('content-range-status-placement fixture 5', solve(500,"r"), None)
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| content-range-status-placement fixture 0 | None | None | Passed |
| content-range-status-placement fixture 1 | None | bytes */1 | Failed |
| content-range-status-placement fixture 2 | r | r | Passed |
| content-range-status-placement fixture 3 | None | None | Passed |
| content-range-status-placement fixture 4 | None | None | Passed |
| content-range-status-placement fixture 5 | None | None | Passed |
SHA-256 / d2d4649f948431b6ae58a32db9063093ae4fd6c0ac0fa4424874afced4ab9b31
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(status, value):
return value if status in (206,416) else None
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('content-range-status-placement fixture 0', solve(200,"r"+str(N)), None)
check('content-range-status-placement fixture 1', solve(416,"bytes */"+str(N)), "bytes */"+str(N))
check('content-range-status-placement fixture 2', solve(206,"r"), "r")
check('content-range-status-placement fixture 3', solve(304,"r"), None)
check('content-range-status-placement fixture 4', solve(412,"r"), None)
check('content-range-status-placement fixture 5', solve(500,"r"), None)
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| content-range-status-placement fixture 0 | None | None | Passed |
| content-range-status-placement fixture 1 | bytes */1 | bytes */1 | Passed |
| content-range-status-placement fixture 2 | r | r | Passed |
| content-range-status-placement fixture 3 | None | None | Passed |
| content-range-status-placement fixture 4 | None | None | Passed |
| content-range-status-placement fixture 5 | None | None | Passed |
SHA-256 / 6ad811e4a5ea20ede647867c23c26f61f80e935a31ddecf7e820d59ea48ddd63
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:41:18.323666+00:00.
Case digest / a3c6de8a144f1cdd43073c45359159aba130755f0ec2a0eaf63774e35d0590ee