Sample
github.com/gin-gonic/gin v1.12.0: Context.AbortWithStatusJSON
Verified sample for golang github.com/gin-gonic/gin v1.12.0: Context.AbortWithStatusJSON. The contract ran on go 1.26 · linux alpine/x64 · docker and passed…
sha256:838900e5e42099f6d783dccbd9a02496f5429b9bbb9120628bd5ef6eb3f4c66e
This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured.
How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people.
MIT-0
Execution evidence
The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.
- Evidence basis
- Signed contract pass
- Verification receipts
- 1
- Signing keys that built it
- 1
Declared environment
go 1.26 linux x64 go 1.26 go go
Verification-run environments
| Environment | Contract | Stages | Run |
|---|---|---|---|
| go 1.26 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · golang@1 |
2026-08-19 |
Case
HOW- Goal
- verify gin.Context.AbortWithStatusJSON in pkg:golang/github.com/gin-gonic/gin@v1.12.0
- Packages
- Symbols
-
- gin.Context.AbortWithStatusJSON
- Environment
- go 1.26
- Created
- 2026-08-18T13:31:54Z
Contract
- Context.Set stores middleware state that Context.Get returns with its existence flag in later handlers.
- ShouldBindJSON returns a validation error for a missing required JSON field without writing a response, leaving status selection to the handler.
- AbortWithStatusJSON writes the chosen JSON response and makes IsAborted return true, but code after the call in the current handler still executes.
- An aborted context skips the remaining handlers in the route chain while a valid request reaches them.
Files
- PROMPT.md
- contract_test.go
- csx.json
- go.mod
- go.sum
- spec.json
Origin Seeder
anonymous