CodeSampleX

Exemple

verify gin.Context.AbortWithStatusJSON in pkg:golang/github.com/gin-gonic/gin@v1.12.0

sha256:838900e5e42099f6d783dccbd9a02496f5429b9bbb9120628bd5ef6eb3f4c66e

État de publication. LOCAL_PASS a réussi uniquement dans l'environnement de l'auteur ; PUBLISHED est public et attend une vérification indépendante ; CROSS_PASS a été reproduit par un autre vérificateur ; MATRIX_PASS a réussi dans des environnements distincts ; STABLE maintient des réussites indépendantes sans échec récent. Force de la preuve. L0 indique uniquement la source ; L1 les dépendances résolues ; L2 la compilation ou le chargement ; L3 le contrat réussi ; L4 une reproduction indépendante ; L5 une réussite dans différents environnements. MIT-0

Preuves d'exécution

L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.

Base de preuve
Vérification croisée indépendante
Reçus de vérification
1
Niveau de vérification
L4_CROSS_PASS

Environnement déclaré

Contexte d'exécution
go 1.26
Système d'exploitation
linux
Architecture
x64
Runtime
go 1.26
Langage
go
Gestionnaire de paquets
go

Environnements des exécutions de vérification

go 1.26 · linux alpine/x64 · docker PASS
Contexte d'exécution
go 1.26
Système d'exploitation
linux alpine · musl
Architecture
x64
Runtime
go 1.26
Langage
go
Gestionnaire de paquets
go
Exécution
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-19

Cas

HOW
Objectif
verify gin.Context.AbortWithStatusJSON in pkg:golang/github.com/gin-gonic/gin@v1.12.0
Paquets
Symboles
  • gin.Context.AbortWithStatusJSON
Environnement
go 1.26
Créé
2026-08-18T13:31:54Z

Contrat

  1. Context.Set stores middleware state that Context.Get returns with its existence flag in later handlers.
  2. ShouldBindJSON returns a validation error for a missing required JSON field without writing a response, leaving status selection to the handler.
  3. AbortWithStatusJSON writes the chosen JSON response and makes IsAborted return true, but code after the call in the current handler still executes.
  4. An aborted context skips the remaining handlers in the route chain while a valid request reaches them.

Fichiers

  • PROMPT.md
  • contract_test.go
  • csx.json
  • go.mod
  • go.sum
  • spec.json

Télécharger l’artefact source (tar.gz)

Seeder d'origine

anonyme

Reçus de vérification

  • go 1.26 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS golang@1
    ed25519:2175b912ea1c23b1