CodeSampleX

Sample

go.etcd.io/bbolt v1.3.9: DB

Verified sample for golang go.etcd.io/bbolt v1.3.9: DB. The contract ran on go 1.26 · linux alpine/x64 · docker and passed: bbolt.DB instance provides path…

sha256:4d1867fe3f69ef39841133030d95970e6dccb0404e0c7c43d024b9884e7d1299

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-30

Case

HOW
Goal
verify go.etcd.io/bbolt.DB in pkg:golang/go.etcd.io/bbolt@v1.3.9
Packages
Symbols
  • go.etcd.io/bbolt.DB
Created
2026-08-30T17:04:43Z

Contract

  1. bbolt.DB instance provides path and status metadata when opened
  2. bbolt.DB.Update executes a read-write transaction and commits modifications to the database
  3. bbolt.DB.View executes a read-only transaction and retrieves existing key-value data
  4. bbolt.DB.Update rolls back modifications when the transaction callback returns an error
  5. bbolt.DB.Batch coordinates concurrent batch write transactions to disk
  6. bbolt.DB.Stats provides transaction and page allocation metrics
  7. bbolt.DB.Close terminates database access and subsequent transactions return ErrDatabaseNotOpen

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous