google.golang.org/genproto/googleapis/rpc v0.0.0-20260904194346-d0f1323225a4

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-20260904194346-d0f1323225a4
Kind: HOW

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

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:aebef2910efe51cdee0c1e7392ce956872713faf5228f6dc0bc29df9c15c9590","contract":["status.Status initializes with Code, Message, and Details, returning expected values via GetCode, GetMessage, and GetDetails.","status.Status returns safe default zero values when nil or uninitialized.","status.Status serializes and deserializes accurately using proto.Marshal and proto.Unmarshal preserving Code, Message, and Details.","status.Status packs into anypb.Any with type URL type.googleapis.com/google.rpc.Status and unmarshals back to status.Status.","status.Status.Reset clears Code, Message, and Details from the message.","status.Status packs errdetails messages into Details and unpacks them via anypb.UnmarshalTo."],"goal":"verify pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260904194346-d0f1323225a4","kind":"HOW","packages":["pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260904194346-d0f1323225a4"],"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-20260904194346-d0f1323225a4"],"schemaVersion":1,"subject":"pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20260904194346-d0f1323225a4","verifierAdapter":"golang@1"}

module example.com/sample

go 1.25.0

require (
	google.golang.org/genproto/googleapis/rpc v0.0.0-20260904194346-d0f1323225a4
	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-20260904194346-d0f1323225a4 h1:5t+ZydAFj5kGVLrgCvLmpmCf9ylGRd64hpEronfRaws=
google.golang.org/genproto/googleapis/rpc v0.0.0-20260904194346-d0f1323225a4/go.mod h1:DjtHYE8FKJLivXcBEjGwndXfIC23G0VpXiXKqG179uA=
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"
	"log"

	"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() {
	detail := &errdetails.ErrorInfo{
		Reason: "ACCESS_DENIED",
		Domain: "example.com",
		Metadata: map[string]string{
			"resource": "projects/123/secrets/key",
		},
	}
	anyDetail, err := anypb.New(detail)
	if err != nil {
		log.Fatalf("failed to pack detail: %v", err)
	}

	st := &status.Status{
		Code:    int32(code.Code_PERMISSION_DENIED),
		Message: "permission denied for requested resource",
		Details: []*anypb.Any{anyDetail},
	}

	fmt.Printf("Status: code=%d message=%s details=%d\n", st.GetCode(), st.GetMessage(), len(st.GetDetails()))

	data, err := proto.Marshal(st)
	if err != nil {
		log.Fatalf("failed to marshal status: %v", err)
	}

	var decoded status.Status
	if err := proto.Unmarshal(data, &decoded); err != nil {
		log.Fatalf("failed to unmarshal status: %v", err)
	}

	fmt.Printf("Decoded Status: code=%d message=%s\n", decoded.GetCode(), decoded.GetMessage())
}

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

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 assert(cond bool, msg string) {
	if !cond {
		fmt.Fprintf(os.Stderr, "Assertion failed: %s\n", msg)
		os.Exit(1)
	}
}

func main() {
	// 1. status.Status initializes with Code, Message, and Details, returning expected values via GetCode, GetMessage, and GetDetails.
	detail := &errdetails.ErrorInfo{
		Reason: "RESOURCE_EXHAUSTED",
		Domain: "example.com",
	}
	anyDetail, err := anypb.New(detail)
	assert(err == nil, "anypb.New detail failed")

	st := &status.Status{
		Code:    int32(code.Code_RESOURCE_EXHAUSTED),
		Message: "rate limit exceeded",
		Details: []*anypb.Any{anyDetail},
	}
	assert(st.GetCode() == int32(code.Code_RESOURCE_EXHAUSTED), "code mismatch")
	assert(st.GetMessage() == "rate limit exceeded", "message mismatch")
	assert(len(st.GetDetails()) == 1, "details length mismatch")

	// 2. status.Status returns safe default zero values when nil or uninitialized.
	var nilSt *status.Status
	assert(nilSt.GetCode() == 0, "nil status GetCode must be 0")
	assert(nilSt.GetMessage() == "", "nil status GetMessage must be empty")
	assert(nilSt.GetDetails() == nil, "nil status GetDetails must be nil")

	emptySt := &status.Status{}
	assert(emptySt.GetCode() == 0, "empty status GetCode must be 0")
	assert(emptySt.GetMessage() == "", "empty status GetMessage must be empty")
	assert(emptySt.GetDetails() == nil, "empty status GetDetails must be nil")

	// 3. status.Status serializes and deserializes accurately using proto.Marshal and proto.Unmarshal preserving Code, Message, and Details.
	wire, err := proto.Marshal(st)
	assert(err == nil, "proto.Marshal failed")
	assert(len(wire) > 0, "wire bytes empty")

	var unmarshaled status.Status
	err = proto.Unmarshal(wire, &unmarshaled)
	assert(err == nil, "proto.Unmarshal failed")
	assert(unmarshaled.GetCode() == int32(code.Code_RESOURCE_EXHAUSTED), "unmarshaled code mismatch")
	assert(unmarshaled.GetMessage() == "rate limit exceeded", "unmarshaled message mismatch")
	assert(len(unmarshaled.GetDetails()) == 1, "unmarshaled details length mismatch")

	// 4. status.Status packs into anypb.Any with type URL type.googleapis.com/google.rpc.Status and unmarshals back to status.Status.
	anyStatus, err := anypb.New(st)
	assert(err == nil, "anypb.New status failed")
	assert(anyStatus.GetTypeUrl() == "type.googleapis.com/google.rpc.Status", "unexpected Any type URL")

	unpackedStatus := &status.Status{}
	err = anypb.UnmarshalTo(anyStatus, unpackedStatus, proto.UnmarshalOptions{})
	assert(err == nil, "anypb.UnmarshalTo status failed")
	assert(unpackedStatus.GetCode() == int32(code.Code_RESOURCE_EXHAUSTED), "unpacked code mismatch")
	assert(unpackedStatus.GetMessage() == "rate limit exceeded", "unpacked message mismatch")

	// 5. status.Status.Reset clears Code, Message, and Details from the message.
	resetTarget := &status.Status{
		Code:    int32(code.Code_INVALID_ARGUMENT),
		Message: "bad arg",
		Details: []*anypb.Any{anyDetail},
	}
	resetTarget.Reset()
	assert(resetTarget.GetCode() == 0, "reset code must be 0")
	assert(resetTarget.GetMessage() == "", "reset message must be empty")
	assert(resetTarget.GetDetails() == nil, "reset details must be nil")

	// 6. status.Status packs errdetails messages into Details and unpacks them via anypb.UnmarshalTo.
	extractedDetail := &errdetails.ErrorInfo{}
	err = anypb.UnmarshalTo(unmarshaled.GetDetails()[0], extractedDetail, proto.UnmarshalOptions{})
	assert(err == nil, "anypb.UnmarshalTo detail failed")
	assert(extractedDetail.GetReason() == "RESOURCE_EXHAUSTED", "extracted reason mismatch")
	assert(extractedDetail.GetDomain() == "example.com", "extracted domain mismatch")

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