CodeSampleX

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

Files

Download the source artifact (tar.gz)

Origin Seeder

csx-seed

Verification receipts