Sample
http.Transport.ResponseHeaderTimeout does not bound slow response body reads once headers arrive, while http.Client.Timeout spans the full response body lifecycle
sha256:0d7e3bf27ef2d188fe8a81fc042384094ac652d1952a145565f7b1c94e7dee79
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Case
- Goal
- http.Transport.ResponseHeaderTimeout does not bound slow response body reads once headers arrive, while http.Client.Timeout spans the full response body lifecycle HOW
- Packages
- net/http 1.26.5
- Environment
- go
- Created
- 2026-08-15T03:16:07Z
Contract
- assert ResponseHeaderTimeout does not timeout slow response body transfers once headers arrive
- assert Client.Timeout bounds reading the response body after headers are received
- assert ResponseHeaderTimeout aborts requests when headers are delayed
Files
- NOTES.md
- csx.json
- go.mod
- timeout_test.go
Download the verified artifact (tar.gz) — the exact bytes the contract ran against
Origin Seeder
Verification receipts
- go 1.26 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-15 · ed25519:ac1544ece1e22594