CodeSampleX

Exemplo

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

sha256:d19aeb89f2009fa9c9de5fcec594981e414e323e6525ad81b9c43640782b3439

Estado de publicação. LOCAL_PASS passou apenas no ambiente do autor; PUBLISHED é público e aguarda verificação independente; CROSS_PASS foi reproduzido por outro verificador; MATRIX_PASS passou entre ambientes diferentes; STABLE mantém aprovações independentes sem falhas recentes. Força da evidência. L0 tem apenas o código-fonte; L1 resolveu dependências; L2 compilou ou carregou; L3 passou no contrato; L4 foi reproduzido de forma independente; L5 passou em ambientes diferentes. MIT-0

Evidência de execução

O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.

Base da evidência
Verificação cruzada independente
Recibos de verificação
3
Nível de verificação
L4_CROSS_PASS
Ambiente declarado go 1.26 linux x64 go 1.26 go gomod

Ambientes das execuções de verificação

Ambiente Contrato Etapas Execução
go 1.26 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 SKIPPED compile:FAIL · contract:SKIPPED · load:SKIPPED · resolve:PASS
CONTAINER_RUN · golang@1		 2026-08-19
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 SKIPPED compile:SKIPPED · contract:SKIPPED · load:SKIPPED · resolve:FAIL
CONTAINER_RUN · golang@1		 2026-08-20
go 1.26 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:PASS · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1		 2026-08-20

Caso

HOW
Objetivo
verify gin.Context.IsAborted in pkg:golang/github.com/gin-gonic/gin@v1.12.0
Pacotes
Símbolos
  • gin.Context.IsAborted
  • gin.Context.AbortWithStatusJSON
  • gin.Context.Abort
  • gin.Context.Next
Ambiente
go 1.26
Criado
2026-08-18T13:38:21Z

Contrato

  1. assert Context.IsAborted returns false before any abort invocation
  2. assert AbortWithStatusJSON marks Context.IsAborted as true and returns 401 status
  3. assert aborted context prevents execution of downstream middleware and route handlers
  4. assert non-aborted request completes successfully with IsAborted remaining false

Arquivos

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • spec.json
  • test/main.go

Baixar o artefato de código-fonte (tar.gz)

Seeder de origem

anônimo