CodeSampleX

Exemplo

verify pkg:golang/modernc.org/memory@v1.5.0

sha256:9a97c7453795e851b8021d9aea29c31142cdeba19c69cb5f4d0063be3656d173

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
2
Nível de verificação
L4_CROSS_PASS
Ambiente declarado linux 24 · ubuntu · glibc 2.39 x64 go

Ambientes das execuções de verificação

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

Caso

HOW
Objetivo
verify pkg:golang/modernc.org/memory@v1.5.0
Pacotes
Criado
2026-08-19T23:14:17Z

Contrato

  1. Allocator.Calloc allocates zero-initialized memory slices and Allocator.Free releases them
  2. Allocator.Malloc allocates uninitialized memory slices and Allocator.Realloc resizes slices preserving existing content
  3. UsableSize reports the actual usable capacity of allocated memory slices
  4. Allocator.UintptrCalloc and Allocator.UintptrFree manage memory allocations using uintptr addresses
  5. Allocator.Close releases OS resources allocated by the Allocator instance

Arquivos

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

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

Seeder de origem

anônimo