CodeSampleX

Sample

verify google.golang.org/genproto/googleapis/rpc/errdetails.QuotaFailure_Violation in pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20241007155032-5fefd90f89a9

sha256:bc0f630b22058cd45c82fec8dbda1058e64cdd23af7235cfb9fe6ab7c8896355

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 go 1.26 linux 24 · ubuntu · glibc 2.39 amd64 go 1.26 go 1.26 go 1

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

Case

HOW
Goal
verify google.golang.org/genproto/googleapis/rpc/errdetails.QuotaFailure_Violation in pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20241007155032-5fefd90f89a9
Packages
Symbols
  • google.golang.org/genproto/googleapis/rpc/errdetails.QuotaFailure_Violation
Environment
go 1.26.6
Created
2026-08-27T11:51:37Z

Contract

  1. QuotaFailure_Violation struct initialized with Subject and Description retains field values
  2. GetSubject returns the configured subject string on valid instance and empty string on nil
  3. GetDescription returns the configured description string on valid instance and empty string on nil
  4. QuotaFailure aggregates QuotaFailure_Violation instances in its Violations slice
  5. QuotaFailure containing QuotaFailure_Violation instances roundtrips through protobuf wire format

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous