google.golang.org/genproto/googleapis/rpc v0.0.0-20260128011058-8636f8732409

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/googleapis/rpc@v0.0.0-20260128011058-8636f8732409
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260128011058-8636f8732409

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:f99695c43e7ecb26fef19271b42b31de0d3641ce309ea792958ebdfa8fdca90c","contract":["status.Status initializes with Code, Message, and Details containing proto-marshaled error details.","status.Status getters GetCode, GetMessage, and GetDetails return expected values and return safe zero values when called on nil receivers.","status.Status serializes and deserializes accurately with proto.Marshal and proto.Unmarshal preserving nested anypb details.","Nested error details in status.Status can be unpacked from anypb.Any to errdetails.BadRequest.","status.Status.Reset clears Code, Message, and Details fields back to zero state."],"goal":"verify pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260128011058-8636f8732409","kind":"HOW","packages":["pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260128011058-8636f8732409"],"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/googleapis/rpc@v0.0.0-20260128011058-8636f8732409"],"schemaVersion":1,"subject":"pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260128011058-8636f8732409","verifierAdapter":"golang@1"}

module sample

go 1.26.6

require (
	google.golang.org/genproto/googleapis/rpc v0.0.0-20260128011058-8636f8732409
	google.golang.org/protobuf v1.36.12
)

github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
google.golang.org/genproto/googleapis/rpc v0.0.0-20260128011058-8636f8732409 h1:H86B94AW+VfJWDqFeEbBPhEtHzJwJfTbgE2lZa54ZAQ=
google.golang.org/genproto/googleapis/rpc v0.0.0-20260128011058-8636f8732409/go.mod h1:j9x/tPzZkyxcgEFkiKEEGxfvyumM01BEtsW8xzOahRQ=
google.golang.org/protobuf v1.36.12 h1:pJOKDDOyeXErUroCihFAd5LQuwXBSpVnKGrj5o/fwxc=
google.golang.org/protobuf v1.36.12/go.mod h1:HTf+CrKn2C3g5S8VImy6tdcUvCska2kB7j23XfzDpco=

package main

import (
	"fmt"

	"google.golang.org/genproto/googleapis/rpc/code"
	"google.golang.org/genproto/googleapis/rpc/errdetails"
	"google.golang.org/genproto/googleapis/rpc/status"
	"google.golang.org/protobuf/proto"
	"google.golang.org/protobuf/types/known/anypb"
)

func main() {
	badReq := &errdetails.BadRequest{
		FieldViolations: []*errdetails.BadRequest_FieldViolation{
			{
				Field:       "user_id",
				Description: "user_id must be a valid non-empty string",
			},
		},
	}

	anyDetail, err := anypb.New(badReq)
	if err != nil {
		panic(err)
	}

	st := &status.Status{
		Code:    int32(code.Code_INVALID_ARGUMENT),
		Message: "invalid request payload",
		Details: []*anypb.Any{anyDetail},
	}

	fmt.Printf("Status Code: %d\n", st.GetCode())
	fmt.Printf("Status Message: %s\n", st.GetMessage())
	fmt.Printf("Details count: %d\n", len(st.GetDetails()))

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

	var decoded status.Status
	if err := proto.Unmarshal(data, &decoded); err != nil {
		panic(err)
	}

	if len(decoded.GetDetails()) > 0 {
		var extracted errdetails.BadRequest
		if err := decoded.GetDetails()[0].UnmarshalTo(&extracted); err != nil {
			panic(err)
		}
		if len(extracted.GetFieldViolations()) > 0 {
			fmt.Printf("Field: %s, Description: %s\n",
				extracted.GetFieldViolations()[0].GetField(),
				extracted.GetFieldViolations()[0].GetDescription())
		}
	}
}

{
  "schemaVersion": 1,
  "goal": "verify pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260128011058-8636f8732409",
  "kind": "HOW",
  "packages": [
    "pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260128011058-8636f8732409"
  ]
}

package main

import (
	"fmt"
	"os"

	"google.golang.org/genproto/googleapis/rpc/code"
	"google.golang.org/genproto/googleapis/rpc/errdetails"
	"google.golang.org/genproto/googleapis/rpc/status"
	"google.golang.org/protobuf/proto"
	"google.golang.org/protobuf/types/known/anypb"
)

func main() {
	// Assertion 1: status.Status initializes with Code, Message, and Details containing proto-marshaled error details.
	{
		badReq := &errdetails.BadRequest{
			FieldViolations: []*errdetails.BadRequest_FieldViolation{
				{
					Field:       "order_id",
					Description: "order_id is required",
				},
			},
		}
		anyDetail, err := anypb.New(badReq)
		if err != nil {
			fmt.Fprintf(os.Stderr, "FAIL: anypb.New failed: %v\n", err)
			os.Exit(1)
		}

		st := &status.Status{
			Code:    int32(code.Code_INVALID_ARGUMENT),
			Message: "missing required argument",
			Details: []*anypb.Any{anyDetail},
		}

		if st.Code != int32(code.Code_INVALID_ARGUMENT) {
			fmt.Fprintf(os.Stderr, "FAIL: Code = %d, want %d\n", st.Code, code.Code_INVALID_ARGUMENT)
			os.Exit(1)
		}
		if st.Message != "missing required argument" {
			fmt.Fprintf(os.Stderr, "FAIL: Message = %q, want %q\n", st.Message, "missing required argument")
			os.Exit(1)
		}
		if len(st.Details) != 1 {
			fmt.Fprintf(os.Stderr, "FAIL: len(Details) = %d, want 1\n", len(st.Details))
			os.Exit(1)
		}
	}

	// Assertion 2: status.Status getters GetCode, GetMessage, and GetDetails return expected values and return safe zero values when called on nil receivers.
	{
		var nilSt *status.Status
		if got := nilSt.GetCode(); got != 0 {
			fmt.Fprintf(os.Stderr, "FAIL: nil.GetCode() = %d, want 0\n", got)
			os.Exit(1)
		}
		if got := nilSt.GetMessage(); got != "" {
			fmt.Fprintf(os.Stderr, "FAIL: nil.GetMessage() = %q, want empty string\n", got)
			os.Exit(1)
		}
		if got := nilSt.GetDetails(); got != nil {
			fmt.Fprintf(os.Stderr, "FAIL: nil.GetDetails() = %v, want nil\n", got)
			os.Exit(1)
		}

		st := &status.Status{
			Code:    int32(code.Code_NOT_FOUND),
			Message: "item not found",
		}
		if got := st.GetCode(); got != int32(code.Code_NOT_FOUND) {
			fmt.Fprintf(os.Stderr, "FAIL: GetCode() = %d, want %d\n", got, code.Code_NOT_FOUND)
			os.Exit(1)
		}
		if got := st.GetMessage(); got != "item not found" {
			fmt.Fprintf(os.Stderr, "FAIL: GetMessage() = %q, want 'item not found'\n", got)
			os.Exit(1)
		}
		if got := st.GetDetails(); got != nil {
			fmt.Fprintf(os.Stderr, "FAIL: GetDetails() = %v, want nil\n", got)
			os.Exit(1)
		}
	}

	// Assertion 3: status.Status serializes and deserializes accurately with proto.Marshal and proto.Unmarshal preserving nested anypb details.
	{
		badReq := &errdetails.BadRequest{
			FieldViolations: []*errdetails.BadRequest_FieldViolation{
				{
					Field:       "account_number",
					Description: "invalid checksum",
				},
			},
		}
		anyDetail, err := anypb.New(badReq)
		if err != nil {
			fmt.Fprintf(os.Stderr, "FAIL: anypb.New failed: %v\n", err)
			os.Exit(1)
		}

		original := &status.Status{
			Code:    int32(code.Code_FAILED_PRECONDITION),
			Message: "precondition check failed",
			Details: []*anypb.Any{anyDetail},
		}

		data, err := proto.Marshal(original)
		if err != nil {
			fmt.Fprintf(os.Stderr, "FAIL: proto.Marshal failed: %v\n", err)
			os.Exit(1)
		}

		var decoded status.Status
		if err := proto.Unmarshal(data, &decoded); err != nil {
			fmt.Fprintf(os.Stderr, "FAIL: proto.Unmarshal failed: %v\n", err)
			os.Exit(1)
		}

		if !proto.Equal(original, &decoded) {
			fmt.Fprintf(os.Stderr, "FAIL: unmarshaled status does not match original: got %+v, want %+v\n", &decoded, original)
			os.Exit(1)
		}
		if decoded.GetCode() != original.GetCode() {
			fmt.Fprintf(os.Stderr, "FAIL: decoded Code = %d, want %d\n", decoded.GetCode(), original.GetCode())
			os.Exit(1)
		}
		if decoded.GetMessage() != original.GetMessage() {
			fmt.Fprintf(os.Stderr, "FAIL: decoded Message = %q, want %q\n", decoded.GetMessage(), original.GetMessage())
			os.Exit(1)
		}
	}

	// Assertion 4: Nested error details in status.Status can be unpacked from anypb.Any to errdetails.BadRequest.
	{
		badReq := &errdetails.BadRequest{
			FieldViolations: []*errdetails.BadRequest_FieldViolation{
				{
					Field:       "email",
					Description: "must be a well-formed address",
				},
			},
		}
		anyDetail, err := anypb.New(badReq)
		if err != nil {
			fmt.Fprintf(os.Stderr, "FAIL: anypb.New failed: %v\n", err)
			os.Exit(1)
		}

		st := &status.Status{
			Code:    int32(code.Code_INVALID_ARGUMENT),
			Message: "validation error",
			Details: []*anypb.Any{anyDetail},
		}

		details := st.GetDetails()
		if len(details) != 1 {
			fmt.Fprintf(os.Stderr, "FAIL: expected 1 detail, got %d\n", len(details))
			os.Exit(1)
		}

		var extracted errdetails.BadRequest
		if err := details[0].UnmarshalTo(&extracted); err != nil {
			fmt.Fprintf(os.Stderr, "FAIL: UnmarshalTo failed: %v\n", err)
			os.Exit(1)
		}

		if !proto.Equal(badReq, &extracted) {
			fmt.Fprintf(os.Stderr, "FAIL: unpacked detail mismatch: got %+v, want %+v\n", &extracted, badReq)
			os.Exit(1)
		}
		if len(extracted.GetFieldViolations()) != 1 {
			fmt.Fprintf(os.Stderr, "FAIL: violations count = %d, want 1\n", len(extracted.GetFieldViolations()))
			os.Exit(1)
		}
		violation := extracted.GetFieldViolations()[0]
		if violation.GetField() != "email" || violation.GetDescription() != "must be a well-formed address" {
			fmt.Fprintf(os.Stderr, "FAIL: unexpected violation content: field=%q, desc=%q\n",
				violation.GetField(), violation.GetDescription())
			os.Exit(1)
		}
	}

	// Assertion 5: status.Status.Reset clears Code, Message, and Details fields back to zero state.
	{
		badReq := &errdetails.BadRequest{
			FieldViolations: []*errdetails.BadRequest_FieldViolation{
				{
					Field:       "tag",
					Description: "invalid format",
				},
			},
		}
		anyDetail, _ := anypb.New(badReq)

		st := &status.Status{
			Code:    int32(code.Code_ALREADY_EXISTS),
			Message: "resource already exists",
			Details: []*anypb.Any{anyDetail},
		}

		st.Reset()
		if st.GetCode() != 0 {
			fmt.Fprintf(os.Stderr, "FAIL: after Reset, GetCode() = %d, want 0\n", st.GetCode())
			os.Exit(1)
		}
		if st.GetMessage() != "" {
			fmt.Fprintf(os.Stderr, "FAIL: after Reset, GetMessage() = %q, want empty string\n", st.GetMessage())
			os.Exit(1)
		}
		if st.GetDetails() != nil {
			fmt.Fprintf(os.Stderr, "FAIL: after Reset, GetDetails() = %v, want nil\n", st.GetDetails())
			os.Exit(1)
		}
	}

	fmt.Println("PASS: google.golang.org/genproto/googleapis/rpc/status.Status contract passed")
}