CodeSampleX

Ejemplo

github.com/jackc/pgx/v5 v5.10.0: UUID, Timestamp

Muestra verificada para golang github.com/jackc/pgx/v5 v5.10.0: UUID, Timestamp. El contrato se ejecutó en go 1.26 · linux alpine/x64 · docker y pasó…

sha256:0208706fe5955d4e1157d5d63f85a3a5d9eaea1f650b29abaea3bcab27fc62fe

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 go 1.26 windows 11 x64 go 1.26 go go 1

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/jackc/pgx/v5@v5.10.0
Paquetes
Símbolos
  • UUID
  • Timestamp
Entorno
go 1.26.5
Creado
2026-08-19T05:10:19Z

Contrato

  1. pgtype.UUID parses hyphenated UUID strings, hex UUID strings, and scans into 16-byte arrays
  2. pgtype.UUID marshals to and unmarshals from JSON representations
  3. pgtype.UUID formats valid UUIDs as strings and null UUIDs as driver.Value nil
  4. pgtype.UUID returns an error for invalid UUID strings and unsupported types
  5. pgtype.Timestamp scans time.Time and ISO8601 strings into Timestamp with valid flag
  6. pgtype.Timestamp handles infinity and -infinity values using InfinityModifier
  7. pgtype.Timestamp formats valid timestamps as time.Time and null timestamps as driver.Value nil
  8. pgtype.Timestamptz scans timezone-aware strings and converts to driver.Value time.Time

Archivos

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

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

Seeder de origen

anónimo