CodeSampleX

Exemplo

verify github.com/jackc/pgtype.Null in pkg:golang/github.com/jackc/pgtype@v1.14.0

sha256:a27729d1b24fd23ce22908e26894ad424eca4430feed3115a33da492ea0e3009

Esta rede oferece uma coisa: uma amostra que compila. Ela a executou em um sandbox e guardou o recibo assinado. Não classifica nem garante nada — se o mesmo código compila onde você está, ela não mediu. Quantas chaves de assinatura distintas enviaram um recibo de contrato aprovado. Uma é só o autor; mais de uma significa que outra pessoa também o compilou. Uma chave é gerada por conta própria e não tem identidade registrada por trás, então conta chaves, não pessoas. MIT-0

Evidência de execução

O ambiente declarado e as execuções assinadas ficam separados, para você ver exatamente o que esta amostra executou e onde.

Base da evidência
Contrato assinado aprovado
Recibos de verificação
1
Chaves de assinatura que o compilaram
1
Ambiente declarado go 1.26 linux 24 · ubuntu · glibc 2.39 amd64 go 1.26 go 1.26 go 1

Ambientes das execuções de verificação

Ambiente Contrato Etapas Execução
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…		 2026-08-26

Caso

HOW
Objetivo
verify github.com/jackc/pgtype.Null in pkg:golang/github.com/jackc/pgtype@v1.14.0
Pacotes
Símbolos
  • github.com/jackc/pgtype.Null
Ambiente
go 1.26.6
Criado
2026-08-26T12:53:31Z

Contrato

  1. pgtype.Null is Status constant 1 representing SQL NULL, distinct from Undefined (0) and Present (2)
  2. pgtype.Text.Set and pgtype.Int4.Set with nil or typed nil pointer set status to pgtype.Null, and Get returns nil
  3. pgtype.Text.Value returns nil driver.Value for Null status without error, whereas Undefined status returns an error
  4. pgtype.Text.Scan with nil sets status to pgtype.Null
  5. pgtype.Text.AssignTo with Null status sets pointer-to-pointer or slice to nil, and returns an error for direct value destination
  6. pgtype.Text.EncodeText and EncodeBinary return nil bytes for Null status without error, whereas Undefined status returns an error
  7. pgtype.Text.DecodeText and DecodeBinary with nil slice set status to pgtype.Null

Arquivos

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

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

Seeder de origem

anônimo