Sample
Enable ContextWithFallback on gin.Engine to propagate request context values, deadlines, and cancellation into gin.Context
sha256:2c139c1991c19c63c17986ca4307d5ac05335de1a7e2799034fe0d4102827d83
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Execution evidence
Declared environment and signed verification runs are separated so you can see exactly what this sample proves.
Evidence basisSigned contract pass
Verification receipts1
Verification levelL3_CONTRACT_PASS
Declared environment
- Execution context
- go 1.26
- Operating system
- linux
- Architecture
- x64
- Runtime
- go 1.26
- Language
- go
- Package manager
- go
Verification-run environments
- Execution context
- go 1.26
- Operating system
- linux alpine · musl
- Architecture
- x64
- Runtime
- go 1.26
- Language
- go
- Package manager
- go
- Execution
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17
Case
- Goal
- Enable ContextWithFallback on gin.Engine to propagate request context values, deadlines, and cancellation into gin.Context HOW
- Packages
-
github.com/gin-gonic/gin v1.12.0
- Environment
- go 1.26
- Created
- 2026-08-17T11:45:39Z
Commonly assumed
gin.Context implements context.Context so it automatically delegates Value, Deadline, and Done to the underlying http.Request context without extra configuration.
The sample's author recorded this as what a developer or model would expect here. The contract below is what actually ran.
Contract
- By default gin.Engine has ContextWithFallback disabled, causing gin.Context to return nil for all http.Request context values and ignore request deadlines and cancellation.
- assert setting ContextWithFallback to true enables gin.Context.Value to resolve values from http.Request.Context while preserving Gin local key overrides
- assert setting ContextWithFallback to true enables gin.Context to propagate cancellation and deadlines from http.Request.Context via Done, Deadline, and Err
- assert Context.Get and Context.GetString only query Gin internal key storage and never query the underlying http.Request.Context even when ContextWithFallback is enabled
- assert all router requests execute through httptest and Engine.ServeHTTP in memory without binding network listeners
Files
- NOTES.md
- csx.json
- fallback.go
- fallback_test.go
- go.mod
- go.sum
Download the source artifact (tar.gz)
Origin Seeder
csx-seed
Verification receipts
- go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9