Beispiel
google.golang.org/grpc v1.79.3: Version, NewServer, codes.Code
Verifiziertes Beispiel für golang google.golang.org/grpc v1.79.3: Version, NewServer, codes.Code. Der Vertrag lief auf go 1.26 · linux debian/x64 · docker…
sha256:db556f4ef29b0a0c28e00b1480eeab98780e22a16d53a4ff2b6b8cf7bb373453
Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen.
Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen.
MIT-0
Ausführungsbelege
Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.
- Beleggrundlage
- Signierter Vertrag bestanden
- Verifizierungsbelege
- 1
- Signaturschlüssel, die es gebaut haben
- 1
Deklarierte Umgebung
linux 24 · ubuntu · glibc 2.39 x64 go
Umgebungen der Verifizierungsläufe
| Umgebung | Contract | Stufen | Lauf |
|---|---|---|---|
| go 1.26 · linux debian/x64 · docker ed25519:c1973797be207ac4 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · golang@1golang:1.26@sha256:e30143be198a… |
2026-10-14 |
Fall
HOW- Ziel
- verify pkg:golang/google.golang.org/grpc@v1.79.3
- Symbole
-
- google.golang.org/grpc.Version
- google.golang.org/grpc.NewServer
- google.golang.org/grpc/codes.Code
- google.golang.org/grpc/status.New
- google.golang.org/grpc/status.Code
- google.golang.org/grpc/metadata.Pairs
- Erstellt
- 2026-10-14T02:05:37Z
Contract
- grpc.Version exposes the package version string exactly matching 1.79.3
- grpc.NewServer initializes a functional gRPC server instance that can be stopped
- codes.Code formats canonical gRPC status codes to string representations
- status.New constructs a Status value carrying the specified code and message
- status.Code extracts canonical code from status error, OK from nil, and Unknown from generic error
- metadata.Pairs creates structured multi-value metadata accessible via Get
Dateien
- PROMPT.md
- csx.json
- go.mod
- go.sum
- main.go
- spec.json
- test/contract.go
Quelltext
Clean-room public code sample — generation instructions
Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.
A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.
Goal: verify pkg:golang/google.golang.org/grpc@v1.79.3
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:golang/google.golang.org/grpc@v1.79.3
Rules:
- One focused purpose; the smallest project that proves the goal.
- Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
- Pin every dependency with a lockfile so resolution is reproducible.
- No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
- No personal names, emails, company names, or project identifiers of any kind.
- No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
- Keep it under 200 files and 256KB packed.
{"case":{"caseId":"case:sha256:be996555bcf04e8256071cd2209ece191c45b49a14fbb5fa98307cc75c6d16da","contract":["grpc.Version exposes the package version string exactly matching 1.79.3","grpc.NewServer initializes a functional gRPC server instance that can be stopped","codes.Code formats canonical gRPC status codes to string representations","status.New constructs a Status value carrying the specified code and message","status.Code extracts canonical code from status error, OK from nil, and Unknown from generic error","metadata.Pairs creates structured multi-value metadata accessible via Get"],"goal":"verify pkg:golang/google.golang.org/grpc@v1.79.3","kind":"HOW","packages":["pkg:golang/google.golang.org/grpc@v1.79.3"],"schemaVersion":1,"symbols":["google.golang.org/grpc.Version","google.golang.org/grpc.NewServer","google.golang.org/grpc/codes.Code","google.golang.org/grpc/status.New","google.golang.org/grpc/status.Code","google.golang.org/grpc/metadata.Pairs"]},"contractCommand":["go","run","./test"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/google.golang.org/grpc@v1.79.3"],"schemaVersion":1,"subject":"pkg:golang/google.golang.org/grpc@v1.79.3","symbols":["google.golang.org/grpc.Version","google.golang.org/grpc.NewServer","google.golang.org/grpc/codes.Code","google.golang.org/grpc/status.New","google.golang.org/grpc/status.Code","google.golang.org/grpc/metadata.Pairs"],"verifierAdapter":"golang@1"}
module example.com/sample
go 1.24.0
require google.golang.org/grpc v1.79.3
require (
golang.org/x/net v0.48.0 // indirect
golang.org/x/sys v0.39.0 // indirect
golang.org/x/text v0.32.0 // indirect
google.golang.org/genproto/googleapis/rpc v0.0.0-20251202230838-ff82c1b0f217 // indirect
google.golang.org/protobuf v1.36.10 // indirect
)
github.com/cespare/xxhash/v2 v2.3.0 h1:UL815xU9SqsFlibzuggzjXhog7bL6oX9BbNZnL2UFvs=
github.com/cespare/xxhash/v2 v2.3.0/go.mod h1:VGX0DQ3Q6kWi7AoAeZDth3/j3BFtOZR5XLFGgcrjCOs=
github.com/go-logr/logr v1.4.3 h1:CjnDlHq8ikf6E492q6eKboGOC0T8CDaOvkHCIg8idEI=
github.com/go-logr/logr v1.4.3/go.mod h1:9T104GzyrTigFIr8wt5mBrctHMim0Nb2HLGrmQ40KvY=
github.com/go-logr/stdr v1.2.2 h1:hSWxHoqTgW2S2qGc0LTAI563KZ5YKYRhT3MFKZMbjag=
github.com/go-logr/stdr v1.2.2/go.mod h1:mMo/vtBO5dYbehREoey6XUKy/eSumjCCveDpRre4VKE=
github.com/golang/protobuf v1.5.4 h1:i7eJL8qZTpSEXOPTxNKhASYpMn+8e5Q6AdndVa1dWek=
github.com/golang/protobuf v1.5.4/go.mod h1:lnTiLA8Wa4RWRcIUkrtSVa5nRhsEGBg48fD6rSs7xps=
github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
github.com/google/uuid v1.6.0/go.mod h1:TIyPZe4MgqvfeYDBFedMoGGpEw/LqOeaOT+nhxU+yHo=
go.opentelemetry.io/auto/sdk v1.2.1 h1:jXsnJ4Lmnqd11kwkBV2LgLoFMZKizbCi5fNZ/ipaZ64=
go.opentelemetry.io/auto/sdk v1.2.1/go.mod h1:KRTj+aOaElaLi+wW1kO/DZRXwkF4C5xPbEe3ZiIhN7Y=
go.opentelemetry.io/otel v1.39.0 h1:8yPrr/S0ND9QEfTfdP9V+SiwT4E0G7Y5MO7p85nis48=
go.opentelemetry.io/otel v1.39.0/go.mod h1:kLlFTywNWrFyEdH0oj2xK0bFYZtHRYUdv1NklR/tgc8=
go.opentelemetry.io/otel/metric v1.39.0 h1:d1UzonvEZriVfpNKEVmHXbdf909uGTOQjA0HF0Ls5Q0=
go.opentelemetry.io/otel/metric v1.39.0/go.mod h1:jrZSWL33sD7bBxg1xjrqyDjnuzTUB0x1nBERXd7Ftcs=
go.opentelemetry.io/otel/sdk v1.39.0 h1:nMLYcjVsvdui1B/4FRkwjzoRVsMK8uL/cj0OyhKzt18=
go.opentelemetry.io/otel/sdk v1.39.0/go.mod h1:vDojkC4/jsTJsE+kh+LXYQlbL8CgrEcwmt1ENZszdJE=
go.opentelemetry.io/otel/sdk/metric v1.39.0 h1:cXMVVFVgsIf2YL6QkRF4Urbr/aMInf+2WKg+sEJTtB8=
go.opentelemetry.io/otel/sdk/metric v1.39.0/go.mod h1:xq9HEVH7qeX69/JnwEfp6fVq5wosJsY1mt4lLfYdVew=
go.opentelemetry.io/otel/trace v1.39.0 h1:2d2vfpEDmCJ5zVYz7ijaJdOF59xLomrvj7bjt6/qCJI=
go.opentelemetry.io/otel/trace v1.39.0/go.mod h1:88w4/PnZSazkGzz/w84VHpQafiU4EtqqlVdxWy+rNOA=
golang.org/x/net v0.48.0 h1:zyQRTTrjc33Lhh0fBgT/H3oZq9WuvRR5gPC70xpDiQU=
golang.org/x/net v0.48.0/go.mod h1:+ndRgGjkh8FGtu1w1FGbEC31if4VrNVMuKTgcAAnQRY=
golang.org/x/sys v0.39.0 h1:CvCKL8MeisomCi6qNZ+wbb0DN9E5AATixKsvNtMoMFk=
golang.org/x/sys v0.39.0/go.mod h1:OgkHotnGiDImocRcuBABYBEXf8A9a87e/uXjp9XT3ks=
golang.org/x/text v0.32.0 h1:ZD01bjUt1FQ9WJ0ClOL5vxgxOI/sVCNgX1YtKwcY0mU=
golang.org/x/text v0.32.0/go.mod h1:o/rUWzghvpD5TXrTIBuJU77MTaN0ljMWE47kxGJQ7jY=
gonum.org/v1/gonum v0.16.0 h1:5+ul4Swaf3ESvrOnidPp4GZbzf0mxVQpDCYUQE7OJfk=
gonum.org/v1/gonum v0.16.0/go.mod h1:fef3am4MQ93R2HHpKnLk4/Tbh/s0+wqD5nfa6Pnwy4E=
google.golang.org/genproto/googleapis/rpc v0.0.0-20251202230838-ff82c1b0f217 h1:gRkg/vSppuSQoDjxyiGfN4Upv/h/DQmIR10ZU8dh4Ww=
google.golang.org/genproto/googleapis/rpc v0.0.0-20251202230838-ff82c1b0f217/go.mod h1:7i2o+ce6H/6BluujYR+kqX3GKH+dChPTQU19wjRPiGk=
google.golang.org/grpc v1.79.3 h1:sybAEdRIEtvcD68Gx7dmnwjZKlyfuc61Dyo9pGXXkKE=
google.golang.org/grpc v1.79.3/go.mod h1:KmT0Kjez+0dde/v2j9vzwoAScgEPx/Bw1CYChhHLrHQ=
google.golang.org/protobuf v1.36.10 h1:AYd7cD/uASjIL6Q9LiTjz8JLcrh/88q5UObnmY3aOOE=
google.golang.org/protobuf v1.36.10/go.mod h1:HTf+CrKn2C3g5S8VImy6tdcUvCska2kB7j23XfzDpco=
package main
import (
"fmt"
"google.golang.org/grpc"
"google.golang.org/grpc/codes"
"google.golang.org/grpc/metadata"
"google.golang.org/grpc/status"
)
func main() {
fmt.Printf("grpc version: %s\n", grpc.Version)
s := grpc.NewServer()
defer s.Stop()
st := status.New(codes.NotFound, "resource not found")
fmt.Printf("status code: %s, message: %s\n", st.Code(), st.Message())
md := metadata.Pairs("content-type", "application/grpc", "custom-header", "custom-value")
fmt.Printf("metadata content-type: %v\n", md.Get("content-type"))
}
{
"schemaVersion": 1,
"goal": "verify pkg:golang/google.golang.org/grpc@v1.79.3",
"kind": "HOW",
"packages": [
"pkg:golang/google.golang.org/grpc@v1.79.3"
]
}
package main
import (
"errors"
"fmt"
"os"
"google.golang.org/grpc"
"google.golang.org/grpc/codes"
"google.golang.org/grpc/metadata"
"google.golang.org/grpc/status"
)
func main() {
// Assertion 1: grpc.Version exposes the package version string exactly matching "1.79.3"
if grpc.Version != "1.79.3" {
fmt.Fprintf(os.Stderr, "FAIL: expected grpc.Version == 1.79.3, got %q\n", grpc.Version)
os.Exit(1)
}
// Assertion 2: grpc.NewServer initializes a functional gRPC server instance that can be stopped
s := grpc.NewServer()
if s == nil {
fmt.Fprintf(os.Stderr, "FAIL: grpc.NewServer returned nil\n")
os.Exit(1)
}
s.Stop()
// Assertion 3: codes.Code formats canonical gRPC status codes to string representations
if got := codes.OK.String(); got != "OK" {
fmt.Fprintf(os.Stderr, "FAIL: codes.OK.String() = %q, want OK\n", got)
os.Exit(1)
}
if got := codes.NotFound.String(); got != "NotFound" {
fmt.Fprintf(os.Stderr, "FAIL: codes.NotFound.String() = %q, want NotFound\n", got)
os.Exit(1)
}
if got := codes.InvalidArgument.String(); got != "InvalidArgument" {
fmt.Fprintf(os.Stderr, "FAIL: codes.InvalidArgument.String() = %q, want InvalidArgument\n", got)
os.Exit(1)
}
// Assertion 4: status.New constructs a Status value carrying the specified code and message
st := status.New(codes.NotFound, "resource not found")
if st == nil {
fmt.Fprintf(os.Stderr, "FAIL: status.New returned nil\n")
os.Exit(1)
}
if st.Code() != codes.NotFound {
fmt.Fprintf(os.Stderr, "FAIL: st.Code() = %v, want NotFound\n", st.Code())
os.Exit(1)
}
if st.Message() != "resource not found" {
fmt.Fprintf(os.Stderr, "FAIL: st.Message() = %q, want 'resource not found'\n", st.Message())
os.Exit(1)
}
// Assertion 5: status.Code extracts canonical code from status error, OK from nil, and Unknown from generic error
err := st.Err()
if got := status.Code(err); got != codes.NotFound {
fmt.Fprintf(os.Stderr, "FAIL: status.Code(err) = %v, want NotFound\n", got)
os.Exit(1)
}
if got := status.Code(nil); got != codes.OK {
fmt.Fprintf(os.Stderr, "FAIL: status.Code(nil) = %v, want OK\n", got)
os.Exit(1)
}
genericErr := errors.New("arbitrary non-grpc error")
if got := status.Code(genericErr); got != codes.Unknown {
fmt.Fprintf(os.Stderr, "FAIL: status.Code(genericErr) = %v, want Unknown\n", got)
os.Exit(1)
}
// Assertion 6: metadata.Pairs creates structured multi-value metadata accessible via Get
md := metadata.Pairs("content-type", "application/grpc", "custom-header", "v1", "custom-header", "v2")
if ct := md.Get("content-type"); len(ct) != 1 || ct[0] != "application/grpc" {
fmt.Fprintf(os.Stderr, "FAIL: metadata.Get(content-type) = %v\n", ct)
os.Exit(1)
}
if vals := md.Get("custom-header"); len(vals) != 2 || vals[0] != "v1" || vals[1] != "v2" {
fmt.Fprintf(os.Stderr, "FAIL: metadata.Get(custom-header) = %v\n", vals)
os.Exit(1)
}
fmt.Println("All contract assertions passed.")
}
Ursprungs-Seeder
anonym