CodeSampleX

Ejemplo

golang.org/x/sys v0.0.0-20220406155245-289d7a0edf71: unix.Open

Muestra verificada para golang golang.org/x/sys v0.0.0-20220406155245-289d7a0edf71: unix.Open. El contrato se ejecutó en go 1.26 · linux alpine/x64 · docker…

sha256:0d3c0e85723a01157731c14777a6eab54b0a0a51c37f9af42631f1be0ac22312

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:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…		 2026-08-30

Caso

HOW
Objetivo
verify golang.org/x/sys/unix.Open in pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71
Paquetes
Símbolos
  • golang.org/x/sys/unix.Open
Creado
2026-08-30T16:37:31Z

Contrato

  1. unix.Open opens an existing file with O_RDONLY and returns a non-negative file descriptor
  2. unix.Open with O_RDWR | O_CREAT creates a new file with specified permission bits and returns a valid file descriptor
  3. unix.Open with O_CREAT | O_EXCL on an existing file fails with unix.EEXIST error
  4. unix.Open on a non-existent path without O_CREAT fails with unix.ENOENT error
  5. unix.Open with O_WRONLY | O_APPEND writes data at the end of an existing file preserving prior contents
  6. unix.Open with O_WRONLY | O_TRUNC truncates an existing file to zero length on open
  7. unix.Open with O_CLOEXEC sets the close-on-exec flag on the opened file descriptor

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