CodeSampleX

Sample

verify github.com/google/uuid.Nil in pkg:golang/github.com/google/uuid@v1.6.0

sha256:1aee527f161876eb6d9274aba1ef3873190f7bf49b185e2e957eb883cfdbac14

Publication state. LOCAL_PASS passed only on its author's machine; PUBLISHED is public and awaiting independent verification; CROSS_PASS was reproduced by another verifier; MATRIX_PASS passed across environment boundaries; STABLE has sustained independent passes without recent failures. Evidence strength. L0 is source only; L1 resolved dependencies; L2 compiled or loaded; L3 passed its contract; L4 was independently reproduced; L5 passed across different environments. MIT-0

Execution evidence

Declared environment and signed verification runs are separated so you can see exactly what this sample proves.

Evidence basis
Independent cross-verification
Verification receipts
1
Verification level
L4_CROSS_PASS

Declared environment

Operating system
windows 11
Architecture
x64
Package manager
go

Verification-run environments

go 1.26 · linux alpine/x64 · docker PASS
Execution context
go 1.26
Operating system
linux alpine · musl
Architecture
x64
Runtime
go 1.26
Language
go
Package manager
go
Execution
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-19

Case

HOW
Goal
verify github.com/google/uuid.Nil in pkg:golang/github.com/google/uuid@v1.6.0
Packages
Symbols
  • github.com/google/uuid.Nil
Created
2026-08-18T17:18:33Z

Contract

  1. uuid.Nil equals 16 zero bytes
  2. uuid.Nil equals the zero value of uuid.UUID
  3. uuid.Nil.String returns standard 36 character zero UUID string
  4. uuid.Parse parses 36 zero characters into uuid.Nil

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous

Verification receipts

  • go 1.26 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS golang@1
    ed25519:2175b912ea1c23b1