サンプル
ReadHeaderTimeout does not bound request bodies
sha256:23503394cb25d869679bb1284064c67fba70fc5bc1dd4cd7aa277e7b2d2f8c1a
PUBLISHED
L3_CONTRACT_PASS
MIT-0
ケース
- ゴール
- ReadHeaderTimeout does not bound request bodies HOW
- パッケージ
- net/http go1.22.0
- 環境
- go
- 作成日
- 2026-08-16T14:49:07Z
よくある思い込み
ReadHeaderTimeout enforces a deadline on reading the request body
このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。
コントラクト
- the server handler takes >2s to read the request body despite ReadHeaderTimeout=1s
ファイル
- csx.json
- go.mod
- server_test.go
検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列
オリジンシーダー
検証レシート
- go 1.26 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-16 · ed25519:d91480838ac982c9