CodeSampleX

Beispiel

google.golang.org/genproto v0.0.0-20200526211855-cb27e3aa2013

Verifiziertes Beispiel für golang google.golang.org/genproto v0.0.0-20200526211855-cb27e3aa2013. Der Vertrag lief auf go 1.26 · linux debian/x64 · docker und…

sha256:b8c8a3f2d2512389a674be0fadcc70a6b16021f48a55a71a62f4a9278a3f7055

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

Fall

HOW
Ziel
verify pkg:golang/google.golang.org/genproto@v0.0.0-20200526211855-cb27e3aa2013
Pakete
Erstellt
2026-10-20T04:25:37Z

Contract

  1. date.Date.GetYear, GetMonth, and GetDay return zero values on nil or uninitialized instances, and return set values on populated instances.
  2. latlng.LatLng.GetLatitude and GetLongitude return 0.0 on nil instances, and return configured coordinates on populated instances.
  3. date.Date serializes to protobuf bytes and unmarshals back preserving year, month, and day.
  4. latlng.LatLng serializes to protobuf bytes and unmarshals back preserving latitude and longitude coordinates.
  5. date.Date.Reset clears all fields restoring the instance to its zero state.
  6. latlng.LatLng.Reset clears latitude and longitude restoring the instance to its zero state.

Dateien

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

Quellartefakt herunterladen (tar.gz)

Quelltext

PROMPT.md
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/genproto@v0.0.0-20200526211855-cb27e3aa2013
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/google.golang.org/genproto@v0.0.0-20200526211855-cb27e3aa2013

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.
csx.json
{"case":{"caseId":"case:sha256:60aa5e0c4c78a7372d51707f11882b76a15d41cdaa5aaac9aec82613484fabfc","contract":["date.Date.GetYear, GetMonth, and GetDay return zero values on nil or uninitialized instances, and return set values on populated instances.","latlng.LatLng.GetLatitude and GetLongitude return 0.0 on nil instances, and return configured coordinates on populated instances.","date.Date serializes to protobuf bytes and unmarshals back preserving year, month, and day.","latlng.LatLng serializes to protobuf bytes and unmarshals back preserving latitude and longitude coordinates.","date.Date.Reset clears all fields restoring the instance to its zero state.","latlng.LatLng.Reset clears latitude and longitude restoring the instance to its zero state."],"goal":"verify pkg:golang/google.golang.org/genproto@v0.0.0-20200526211855-cb27e3aa2013","kind":"HOW","packages":["pkg:golang/google.golang.org/genproto@v0.0.0-20200526211855-cb27e3aa2013"],"schemaVersion":1},"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/genproto@v0.0.0-20200526211855-cb27e3aa2013"],"schemaVersion":1,"subject":"pkg:golang/google.golang.org/genproto@v0.0.0-20200526211855-cb27e3aa2013","verifierAdapter":"golang@1"}
go.mod
module example.com/verify

go 1.24

require (
	github.com/golang/protobuf v1.4.1
	google.golang.org/genproto v0.0.0-20200526211855-cb27e3aa2013
)

require google.golang.org/protobuf v1.23.1-0.20200526195155-81db48ad09cc // indirect
go.sum
cloud.google.com/go v0.26.0/go.mod h1:aQUYkXzVsufM+DwF1aE+0xfcU+56JwCaLick0ClmMTw=
github.com/BurntSushi/toml v0.3.1/go.mod h1:xHWCNGjB5oqiDr8zfno3MHue2Ht5sIBksp03qcyfWMU=
github.com/census-instrumentation/opencensus-proto v0.2.1/go.mod h1:f6KPmirojxKA12rnyqOA5BBL4O983OfeGPqjHWSTneU=
github.com/client9/misspell v0.3.4/go.mod h1:qj6jICC3Q7zFZvVWo7KLAzC3yx5G7kyvSDkc90ppPyw=
github.com/envoyproxy/go-control-plane v0.9.1-0.20191026205805-5f8ba28d4473/go.mod h1:YTl/9mNaCwkRvm6d1a2C3ymFceY/DCBVvsKhRF0iEA4=
github.com/envoyproxy/protoc-gen-validate v0.1.0/go.mod h1:iSmxcyjqTsJpI2R4NaDN7+kN2VEUnK/pcBlmesArF7c=
github.com/golang/glog v0.0.0-20160126235308-23def4e6c14b/go.mod h1:SBH7ygxi8pfUlaOkMMuAQtPIUF8ecWP5IEl/CR7VP2Q=
github.com/golang/mock v1.1.1/go.mod h1:oTYuIxOrZwtPieC+H1uAHpcLFnEyAGVDL/k47Jfbm0A=
github.com/golang/protobuf v1.2.0/go.mod h1:6lQm79b+lXiMfvg/cZm0SGofjICqVBUtrP5yJMmIC1U=
github.com/golang/protobuf v1.3.2/go.mod h1:6lQm79b+lXiMfvg/cZm0SGofjICqVBUtrP5yJMmIC1U=
github.com/golang/protobuf v1.4.0-rc.1/go.mod h1:ceaxUfeHdC40wWswd/P6IGgMaK3YpKi5j83Wpe3EHw8=
github.com/golang/protobuf v1.4.0-rc.1.0.20200221234624-67d41d38c208/go.mod h1:xKAWHe0F5eneWXFV3EuXVDTCmh+JuBKY0li0aMyXATA=
github.com/golang/protobuf v1.4.0-rc.2/go.mod h1:LlEzMj4AhA7rCAGe4KMBDvJI+AwstrUpVNzEA03Pprs=
github.com/golang/protobuf v1.4.0-rc.4.0.20200313231945-b860323f09d0/go.mod h1:WU3c8KckQ9AFe+yFwt9sWVRKCVIyN9cPHBJSNnbL67w=
github.com/golang/protobuf v1.4.0/go.mod h1:jodUvKwWbYaEsadDk5Fwe5c77LiNKVO9IDvqG2KuDX0=
github.com/golang/protobuf v1.4.1 h1:ZFgWrT+bLgsYPirOnRfKLYJLvssAegOj/hgyMFdJZe0=
github.com/golang/protobuf v1.4.1/go.mod h1:U8fpvMrcmy5pZrNK1lt4xCsGvpyWQ/VVv6QDs8UjoX8=
github.com/google/go-cmp v0.2.0/go.mod h1:oXzfMopK8JAjlY9xF4vHSVASa0yLyX7SntLO5aqRK0M=
github.com/google/go-cmp v0.3.0/go.mod h1:8QqcDgzrUqlUb/G2PQTWiueGozuR1884gddMywk6iLU=
github.com/google/go-cmp v0.3.1/go.mod h1:8QqcDgzrUqlUb/G2PQTWiueGozuR1884gddMywk6iLU=
github.com/google/go-cmp v0.4.0 h1:xsAVV57WRhGj6kEIi8ReJzQlHHqcBYCElAvkovg3B/4=
github.com/google/go-cmp v0.4.0/go.mod h1:v8dTdLbMG2kIc/vJvl+f65V22dbkXbowE6jgT/gNBxE=
github.com/prometheus/client_model v0.0.0-20190812154241-14fe0d1b01d4/go.mod h1:xMI15A0UPsDsEKsMN9yxemIoYk6Tm2C1GtYGdfGttqA=
golang.org/x/crypto v0.0.0-20190308221718-c2843e01d9a2/go.mod h1:djNgcEr1/C05ACkg1iLfiJU5Ep61QUkGW8qpdssI0+w=
golang.org/x/exp v0.0.0-20190121172915-509febef88a4/go.mod h1:CJ0aWSM057203Lf6IL+f9T1iT9GByDxfZKAQTCR3kQA=
golang.org/x/lint v0.0.0-20181026193005-c67002cb31c3/go.mod h1:UVdnD1Gm6xHRNCYTkRU2/jEulfH38KcIWyp/GAMgvoE=
golang.org/x/lint v0.0.0-20190227174305-5b3e6a55c961/go.mod h1:wehouNa3lNwaWXcvxsM5YxQ5yQlVC4a0KAMCusXpPoU=
golang.org/x/lint v0.0.0-20190313153728-d0100b6bd8b3/go.mod h1:6SW0HCj/g11FgYtHlgUYUwCkIfeOF89ocIRzGO/8vkc=
golang.org/x/net v0.0.0-20180724234803-3673e40ba225/go.mod h1:mL1N/T3taQHkDXs73rZJwtUhF3w3ftmwwsq0BUmARs4=
golang.org/x/net v0.0.0-20180826012351-8a410e7b638d/go.mod h1:mL1N/T3taQHkDXs73rZJwtUhF3w3ftmwwsq0BUmARs4=
golang.org/x/net v0.0.0-20190213061140-3a22650c66bd/go.mod h1:mL1N/T3taQHkDXs73rZJwtUhF3w3ftmwwsq0BUmARs4=
golang.org/x/net v0.0.0-20190311183353-d8887717615a/go.mod h1:t9HGtf8HONx5eT2rtn7q6eTqICYqUVnKs3thJo3Qplg=
golang.org/x/oauth2 v0.0.0-20180821212333-d2e6202438be/go.mod h1:N/0e6XlmueqKjAGxoOufVs8QHGRruUQn6yWY3a++T0U=
golang.org/x/sync v0.0.0-20180314180146-1d60e4601c6f/go.mod h1:RxMgew5VJxzue5/jJTE5uejpjVlOe/izrB70Jof72aM=
golang.org/x/sync v0.0.0-20181108010431-42b317875d0f/go.mod h1:RxMgew5VJxzue5/jJTE5uejpjVlOe/izrB70Jof72aM=
golang.org/x/sync v0.0.0-20190423024810-112230192c58/go.mod h1:RxMgew5VJxzue5/jJTE5uejpjVlOe/izrB70Jof72aM=
golang.org/x/sys v0.0.0-20180830151530-49385e6e1522/go.mod h1:STP8DvDyc/dI5b8T5hshtkjS+E42TnysNCUPdjciGhY=
golang.org/x/sys v0.0.0-20190215142949-d0b11bdaac8a/go.mod h1:STP8DvDyc/dI5b8T5hshtkjS+E42TnysNCUPdjciGhY=
golang.org/x/text v0.3.0/go.mod h1:NqM8EUOU14njkJ3fqMW+pc6Ldnwhi/IjpwHt7yyuwOQ=
golang.org/x/tools v0.0.0-20190114222345-bf090417da8b/go.mod h1:n7NCudcB/nEzxVGmLbDWY5pfWTLqBcC2KZ6jyYvM4mQ=
golang.org/x/tools v0.0.0-20190226205152-f727befe758c/go.mod h1:9Yl7xja0Znq3iFh3HoIrodX9oNMXvdceNzlUR8zjMvY=
golang.org/x/tools v0.0.0-20190311212946-11955173bddd/go.mod h1:LCzVGOaR6xXOjkQ3onu1FJEFr0SW1gC7cKk1uF8kGRs=
golang.org/x/tools v0.0.0-20190524140312-2c0ae7006135/go.mod h1:RgjU9mgBXZiqYHBnxXauZ1Gv1EHHAz9KjViQ78xBX0Q=
golang.org/x/xerrors v0.0.0-20191204190536-9bdfabe68543 h1:E7g+9GITq07hpfrRu66IVDexMakfv52eLZ2CXBWiKr4=
golang.org/x/xerrors v0.0.0-20191204190536-9bdfabe68543/go.mod h1:I/5z698sn9Ka8TeJc9MKroUUfqBBauWjQqLJ2OPfmY0=
google.golang.org/appengine v1.1.0/go.mod h1:EbEs0AVv82hx2wNQdGPgUI5lhzA/G0D9YwlJXL52JkM=
google.golang.org/appengine v1.4.0/go.mod h1:xpcJRLb0r/rnEns0DIKYYv+WjYCduHsrkT7/EB5XEv4=
google.golang.org/genproto v0.0.0-20180817151627-c66870c02cf8/go.mod h1:JiN7NxoALGmiZfu7CAH4rXhgtRTLTxftemlI0sWmxmc=
google.golang.org/genproto v0.0.0-20190819201941-24fa4b261c55/go.mod h1:DMBHOl98Agz4BDEuKkezgsaosCRResVns1a3J2ZsMNc=
google.golang.org/genproto v0.0.0-20200526211855-cb27e3aa2013 h1:+kGHl1aib/qcwaRi1CbqBZ1rk19r85MNUf8HaBghugY=
google.golang.org/genproto v0.0.0-20200526211855-cb27e3aa2013/go.mod h1:NbSheEEYHJ7i3ixzK3sjbqSGDJWnxyFXZblF3eUsNvo=
google.golang.org/grpc v1.19.0/go.mod h1:mqu4LbDTu4XGKhr4mRzUsmM4RtVoemTSY81AxZiDr8c=
google.golang.org/grpc v1.23.0/go.mod h1:Y5yQAOtifL1yxbo5wqy6BxZv8vAUGQwXBOALyacEbxg=
google.golang.org/grpc v1.27.0/go.mod h1:qbnxyOmOxrQa7FizSgH+ReBfzJrCY1pSN7KXBS8abTk=
google.golang.org/protobuf v0.0.0-20200109180630-ec00e32a8dfd/go.mod h1:DFci5gLYBciE7Vtevhsrf46CRTquxDuWsQurQQe4oz8=
google.golang.org/protobuf v0.0.0-20200221191635-4d8936d0db64/go.mod h1:kwYJMbMJ01Woi6D6+Kah6886xMZcty6N08ah7+eCXa0=
google.golang.org/protobuf v0.0.0-20200228230310-ab0ca4ff8a60/go.mod h1:cfTl7dwQJ+fmap5saPgwCLgHXTUD7jkjRqWcaiX5VyM=
google.golang.org/protobuf v1.20.1-0.20200309200217-e05f789c0967/go.mod h1:A+miEFZTKqfCUM6K7xSMQL9OKL/b6hQv+e19PK+JZNE=
google.golang.org/protobuf v1.21.0/go.mod h1:47Nbq4nVaFHyn7ilMalzfO3qCViNmqZ2kzikPIcrTAo=
google.golang.org/protobuf v1.22.0/go.mod h1:EGpADcykh3NcUnDUJcl1+ZksZNG86OlYog2l/sGQquU=
google.golang.org/protobuf v1.23.1-0.20200526195155-81db48ad09cc h1:TnonUr8u3himcMY0vSh23jFOXA+cnucl1gB6EQTReBI=
google.golang.org/protobuf v1.23.1-0.20200526195155-81db48ad09cc/go.mod h1:EGpADcykh3NcUnDUJcl1+ZksZNG86OlYog2l/sGQquU=
honnef.co/go/tools v0.0.0-20190102054323-c2f93a96b099/go.mod h1:rf3lG4BRIbNafJWhAfAdb/ePZxsR/4RtNHQocxwk9r4=
honnef.co/go/tools v0.0.0-20190523083050-ea95bdfd59fc/go.mod h1:rf3lG4BRIbNafJWhAfAdb/ePZxsR/4RtNHQocxwk9r4=
main.go
package main

import (
	"fmt"

	"github.com/golang/protobuf/proto"
	"google.golang.org/genproto/googleapis/type/date"
	"google.golang.org/genproto/googleapis/type/latlng"
)

func main() {
	d := &date.Date{
		Year:  2026,
		Month: 10,
		Day:   20,
	}
	fmt.Printf("Date: %04d-%02d-%02d\n", d.GetYear(), d.GetMonth(), d.GetDay())

	loc := &latlng.LatLng{
		Latitude:  37.422,
		Longitude: -122.084,
	}
	fmt.Printf("Location: lat=%f, lng=%f\n", loc.GetLatitude(), loc.GetLongitude())

	data, err := proto.Marshal(d)
	if err != nil {
		panic(err)
	}

	var decoded date.Date
	if err := proto.Unmarshal(data, &decoded); err != nil {
		panic(err)
	}
	fmt.Printf("Decoded date: %04d-%02d-%02d\n", decoded.GetYear(), decoded.GetMonth(), decoded.GetDay())
}
spec.json
{
  "schemaVersion": 1,
  "goal": "verify pkg:golang/google.golang.org/genproto@v0.0.0-20200526211855-cb27e3aa2013",
  "kind": "HOW",
  "packages": [
    "pkg:golang/google.golang.org/genproto@v0.0.0-20200526211855-cb27e3aa2013"
  ]
}
test/contract.go
package main

import (
	"fmt"
	"math"
	"os"

	"github.com/golang/protobuf/proto"
	"google.golang.org/genproto/googleapis/type/date"
	"google.golang.org/genproto/googleapis/type/latlng"
)

func main() {
	// Assertion 1: date.Date.GetYear, GetMonth, and GetDay return zero values on nil or uninitialized instances, and return set values on populated instances.
	{
		var nilDate *date.Date
		if nilDate.GetYear() != 0 || nilDate.GetMonth() != 0 || nilDate.GetDay() != 0 {
			fmt.Fprintf(os.Stderr, "assertion 1 failed: nil date getters must return 0\n")
			os.Exit(1)
		}

		emptyDate := &date.Date{}
		if emptyDate.GetYear() != 0 || emptyDate.GetMonth() != 0 || emptyDate.GetDay() != 0 {
			fmt.Fprintf(os.Stderr, "assertion 1 failed: empty date getters must return 0\n")
			os.Exit(1)
		}

		d := &date.Date{Year: 2026, Month: 10, Day: 20}
		if d.GetYear() != 2026 || d.GetMonth() != 10 || d.GetDay() != 20 {
			fmt.Fprintf(os.Stderr, "assertion 1 failed: populated date getters mismatch\n")
			os.Exit(1)
		}
	}

	// Assertion 2: latlng.LatLng.GetLatitude and GetLongitude return 0.0 on nil instances, and return configured coordinates on populated instances.
	{
		var nilLatLng *latlng.LatLng
		if nilLatLng.GetLatitude() != 0.0 || nilLatLng.GetLongitude() != 0.0 {
			fmt.Fprintf(os.Stderr, "assertion 2 failed: nil latlng getters must return 0.0\n")
			os.Exit(1)
		}

		emptyLatLng := &latlng.LatLng{}
		if emptyLatLng.GetLatitude() != 0.0 || emptyLatLng.GetLongitude() != 0.0 {
			fmt.Fprintf(os.Stderr, "assertion 2 failed: empty latlng getters must return 0.0\n")
			os.Exit(1)
		}

		pos := &latlng.LatLng{Latitude: 37.422, Longitude: -122.084}
		if math.Abs(pos.GetLatitude()-37.422) > 1e-6 || math.Abs(pos.GetLongitude()-(-122.084)) > 1e-6 {
			fmt.Fprintf(os.Stderr, "assertion 2 failed: populated latlng getters mismatch\n")
			os.Exit(1)
		}
	}

	// Assertion 3: date.Date serializes to protobuf bytes and unmarshals back preserving year, month, and day.
	{
		orig := &date.Date{Year: 2020, Month: 5, Day: 26}
		data, err := proto.Marshal(orig)
		if err != nil {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: marshal failed: %v\n", err)
			os.Exit(1)
		}
		if len(data) == 0 {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: marshal returned empty bytes\n")
			os.Exit(1)
		}

		var decoded date.Date
		if err := proto.Unmarshal(data, &decoded); err != nil {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: unmarshal failed: %v\n", err)
			os.Exit(1)
		}
		if decoded.GetYear() != 2020 || decoded.GetMonth() != 5 || decoded.GetDay() != 26 {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: unmarshaled values mismatch\n")
			os.Exit(1)
		}
	}

	// Assertion 4: latlng.LatLng serializes to protobuf bytes and unmarshals back preserving latitude and longitude coordinates.
	{
		orig := &latlng.LatLng{Latitude: -33.8688, Longitude: 151.2093}
		data, err := proto.Marshal(orig)
		if err != nil {
			fmt.Fprintf(os.Stderr, "assertion 4 failed: marshal failed: %v\n", err)
			os.Exit(1)
		}
		if len(data) == 0 {
			fmt.Fprintf(os.Stderr, "assertion 4 failed: marshal returned empty bytes\n")
			os.Exit(1)
		}

		var decoded latlng.LatLng
		if err := proto.Unmarshal(data, &decoded); err != nil {
			fmt.Fprintf(os.Stderr, "assertion 4 failed: unmarshal failed: %v\n", err)
			os.Exit(1)
		}
		if math.Abs(decoded.GetLatitude()-orig.Latitude) > 1e-6 || math.Abs(decoded.GetLongitude()-orig.Longitude) > 1e-6 {
			fmt.Fprintf(os.Stderr, "assertion 4 failed: unmarshaled coordinates mismatch\n")
			os.Exit(1)
		}
	}

	// Assertion 5: date.Date.Reset clears all fields restoring the instance to its zero state.
	{
		d := &date.Date{Year: 2024, Month: 12, Day: 25}
		d.Reset()
		if d.GetYear() != 0 || d.GetMonth() != 0 || d.GetDay() != 0 {
			fmt.Fprintf(os.Stderr, "assertion 5 failed: Reset did not clear date fields\n")
			os.Exit(1)
		}
	}

	// Assertion 6: latlng.LatLng.Reset clears latitude and longitude restoring the instance to its zero state.
	{
		pos := &latlng.LatLng{Latitude: 48.8566, Longitude: 2.3522}
		pos.Reset()
		if pos.GetLatitude() != 0.0 || pos.GetLongitude() != 0.0 {
			fmt.Fprintf(os.Stderr, "assertion 6 failed: Reset did not clear latlng fields\n")
			os.Exit(1)
		}
	}

	fmt.Println("All contract assertions passed.")
}

Ursprungs-Seeder

anonym