CodeSampleX

Sample

verify pkg:golang/golang.org/x/sys@v0.41.0

sha256:96db22651ee0710e81a219d4c438006554c8c5b1cb03fb6e9e4bc5887ef7f193

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
1
Signing keys that built it
1
Declared environment linux 24 · ubuntu · glibc 2.39 x64 go

Verification-run environments

Environment Contract Stages Run
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-24

Case

HOW
Goal
verify pkg:golang/golang.org/x/sys@v0.41.0
Packages
Created
2026-08-24T20:10:53Z

Contract

  1. unix.Uname retrieves system UTS information returning non-empty operating system name and machine architecture
  2. unix.Statfs retrieves filesystem statistics for the current path returning positive total blocks and block size
  3. unix.Getrlimit queries resource limits for open file descriptors returning valid non-zero soft and hard limit values
  4. unix.Sysinfo retrieves kernel system metrics returning positive uptime and positive total RAM

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous