CodeSampleX

Ejemplo

github.com/Microsoft/go-winio v0.6.0

Muestra verificada para golang github.com/Microsoft/go-winio v0.6.0. El contrato se ejecutó en go 1.26 · linux alpine/x64 · docker y pasó: guid.NewV4…

sha256:971df5d28572dd38ce5e3e5b4e71faffbd60056531a4ce9c57479e89f24b4b92

Esta red ofrece una sola cosa: una muestra que compila. La ejecutó en un sandbox y guardó el recibo firmado. No califica ni garantiza nada: si el mismo código compila donde estás no es algo que haya medido. Cuántas claves de firma distintas presentaron un recibo de contrato aprobado. Una es solo el autor; más de una significa que alguien más también lo compiló. Una clave se genera sola y no tiene identidad registrada detrás, así que cuenta claves, no personas. MIT-0

Evidencia de ejecución

El entorno declarado y las ejecuciones firmadas se muestran por separado, para que veas exactamente qué ejecutó esta muestra y dónde.

Base de evidencia
Contrato firmado aprobado
Recibos de verificación
1
Claves de firma que lo compilaron
1
Entorno declarado linux 24 · ubuntu · glibc 2.39 x64 go

Entornos de las ejecuciones de verificación

Entorno Contrato Etapas Ejecución
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

Caso

HOW
Objetivo
verify pkg:golang/github.com/Microsoft/go-winio@v0.6.0
Paquetes
Creado
2026-08-19T22:51:32Z

Contrato

  1. guid.NewV4 generates RFC 4122 version 4 pseudorandom GUIDs with correct version and variant bits
  2. guid.FromString and guid.GUID.String parse and format canonical GUID string representations
  3. guid.NewV5 generates deterministic RFC 4122 version 5 GUIDs from namespace and name bytes via SHA-1
  4. guid.GUID.ToArray and guid.FromArray serialize and deserialize 16-byte big-endian binary arrays
  5. guid.GUID.ToWindowsArray and guid.FromWindowsArray serialize and deserialize Windows mixed-endian byte layouts
  6. guid.GUID.MarshalText and guid.GUID.UnmarshalText support text encoding interfaces

Archivos

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

Descargar el artefacto de código fuente (tar.gz)

Seeder de origen

anónimo