google.golang.org/genproto/googleapis/rpc v0.0.0-20250728155136-f173205681a0: code.Code_value

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 google.golang.org/genproto/googleapis/rpc/code.Code_value in pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20250728155136-f173205681a0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20250728155136-f173205681a0
Demonstrate these symbols/APIs:
  - google.golang.org/genproto/googleapis/rpc/code.Code_value

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:89a55c2a04f1f4979279764f5d7d9d60846f3cfb8af3a4d444731913df776401","contract":["code.Code_value maps canonical gRPC status code names to their defined int32 numerical values","code.Code_value maps UNAUTHENTICATED to integer 16 and RESOURCE_EXHAUSTED to integer 8","code.Code_value contains all 17 canonical gRPC status code names matching Code_name inverses","code.Code_value values cast to code.Code match the canonical Code enum constants","code.Code_value lookup for unknown status name returns zero value and false in comma-ok check"],"goal":"verify google.golang.org/genproto/googleapis/rpc/code.Code_value in pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20250728155136-f173205681a0","kind":"HOW","packages":["pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20250728155136-f173205681a0"],"schemaVersion":1,"symbols":["google.golang.org/genproto/googleapis/rpc/code.Code_value"]},"contractCommand":["go","run","./test"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","language":"go","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","packageManagerVersion":"1.26.6","runtime":"go","runtimeVersion":"1.26.6","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20250728155136-f173205681a0"],"schemaVersion":1,"subject":"pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20250728155136-f173205681a0","symbols":["google.golang.org/genproto/googleapis/rpc/code.Code_value"],"verifierAdapter":"golang@1"}

module sample

go 1.26.6

require google.golang.org/genproto/googleapis/rpc v0.0.0-20250728155136-f173205681a0

require google.golang.org/protobuf v1.36.6 // indirect

github.com/google/go-cmp v0.5.9 h1:O2Tfq5qg4qc4AmwVlvv0oLiVAGB7enBSJ2x2DqQFi38=
github.com/google/go-cmp v0.5.9/go.mod h1:17dUlkBOakJ0+DkrSSNjCkIjxS6bF9zb3elmeNGIjoY=
google.golang.org/genproto/googleapis/rpc v0.0.0-20250728155136-f173205681a0 h1:MAKi5q709QWfnkkpNQ0M12hYJ1+e8qYVDyowc4U1XZM=
google.golang.org/genproto/googleapis/rpc v0.0.0-20250728155136-f173205681a0/go.mod h1:qQ0YXyHHx3XkvlzUtpXDkS29lDSafHMZBAZDc03LQ3A=
google.golang.org/protobuf v1.36.6 h1:z1NpPI8ku2WgiWnf+t9wTPsn6eP1L7ksHUlkfLvd9xY=
google.golang.org/protobuf v1.36.6/go.mod h1:jduwjTPXsFjZGTmRluh+L6NjiWu7pchiJ2/5YcXBHnY=

package main

import (
	"fmt"

	"google.golang.org/genproto/googleapis/rpc/code"
)

func main() {
	names := []string{"OK", "INVALID_ARGUMENT", "NOT_FOUND", "PERMISSION_DENIED", "UNAUTHENTICATED"}
	for _, name := range names {
		val, ok := code.Code_value[name]
		if ok {
			enumVal := code.Code(val)
			fmt.Printf("%s: %d (%s)\n", name, val, enumVal)
		}
	}
}

{
  "schemaVersion": 1,
  "goal": "verify google.golang.org/genproto/googleapis/rpc/code.Code_value in pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20250728155136-f173205681a0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/google.golang.org/genproto/googleapis/rpc@v0.0.0-20250728155136-f173205681a0"
  ],
  "symbols": [
    "google.golang.org/genproto/googleapis/rpc/code.Code_value"
  ]
}

package main

import (
	"fmt"
	"os"

	"google.golang.org/genproto/googleapis/rpc/code"
)

func main() {
	if err := runContract(); err != nil {
		fmt.Fprintf(os.Stderr, "FAIL: %v\n", err)
		os.Exit(1)
	}
	fmt.Println("PASS: all contract assertions satisfied")
}

func runContract() error {
	// 1. code.Code_value maps canonical gRPC status code names to their defined int32 numerical values
	expectedValues := map[string]int32{
		"OK":                  0,
		"CANCELLED":           1,
		"UNKNOWN":             2,
		"INVALID_ARGUMENT":    3,
		"DEADLINE_EXCEEDED":   4,
		"NOT_FOUND":           5,
		"ALREADY_EXISTS":      6,
		"PERMISSION_DENIED":   7,
		"RESOURCE_EXHAUSTED":  8,
		"FAILED_PRECONDITION": 9,
		"ABORTED":             10,
		"OUT_OF_RANGE":        11,
		"UNIMPLEMENTED":       12,
		"INTERNAL":            13,
		"UNAVAILABLE":         14,
		"DATA_LOSS":           15,
		"UNAUTHENTICATED":     16,
	}

	for name, expected := range expectedValues {
		val, ok := code.Code_value[name]
		if !ok {
			return fmt.Errorf("code.Code_value missing expected key %q", name)
		}
		if val != expected {
			return fmt.Errorf("code.Code_value[%q] = %d; want %d", name, val, expected)
		}
	}

	// 2. code.Code_value maps UNAUTHENTICATED to integer 16 and RESOURCE_EXHAUSTED to integer 8
	if val := code.Code_value["UNAUTHENTICATED"]; val != 16 {
		return fmt.Errorf("expected UNAUTHENTICATED to be 16, got %d", val)
	}
	if val := code.Code_value["RESOURCE_EXHAUSTED"]; val != 8 {
		return fmt.Errorf("expected RESOURCE_EXHAUSTED to be 8, got %d", val)
	}

	// 3. code.Code_value contains all 17 canonical gRPC status code names matching Code_name inverses
	if len(code.Code_value) != 17 {
		return fmt.Errorf("expected 17 entries in code.Code_value, got %d", len(code.Code_value))
	}
	for name, val := range code.Code_value {
		mappedName, ok := code.Code_name[val]
		if !ok {
			return fmt.Errorf("code.Code_name has no entry for code.Code_value %d (%s)", val, name)
		}
		if mappedName != name {
			return fmt.Errorf("code.Code_name[%d] = %q; want %q", val, mappedName, name)
		}
	}

	// 4. code.Code_value values cast to code.Code match the canonical Code enum constants
	enumChecks := []struct {
		name     string
		expected code.Code
	}{
		{"OK", code.Code_OK},
		{"CANCELLED", code.Code_CANCELLED},
		{"UNKNOWN", code.Code_UNKNOWN},
		{"INVALID_ARGUMENT", code.Code_INVALID_ARGUMENT},
		{"DEADLINE_EXCEEDED", code.Code_DEADLINE_EXCEEDED},
		{"NOT_FOUND", code.Code_NOT_FOUND},
		{"ALREADY_EXISTS", code.Code_ALREADY_EXISTS},
		{"PERMISSION_DENIED", code.Code_PERMISSION_DENIED},
		{"UNAUTHENTICATED", code.Code_UNAUTHENTICATED},
		{"RESOURCE_EXHAUSTED", code.Code_RESOURCE_EXHAUSTED},
		{"FAILED_PRECONDITION", code.Code_FAILED_PRECONDITION},
		{"ABORTED", code.Code_ABORTED},
		{"OUT_OF_RANGE", code.Code_OUT_OF_RANGE},
		{"UNIMPLEMENTED", code.Code_UNIMPLEMENTED},
		{"INTERNAL", code.Code_INTERNAL},
		{"UNAVAILABLE", code.Code_UNAVAILABLE},
		{"DATA_LOSS", code.Code_DATA_LOSS},
	}

	for _, check := range enumChecks {
		val, ok := code.Code_value[check.name]
		if !ok {
			return fmt.Errorf("code.Code_value missing key %q during enum check", check.name)
		}
		if code.Code(val) != check.expected {
			return fmt.Errorf("code.Code(code.Code_value[%q]) = %v; want %v", check.name, code.Code(val), check.expected)
		}
	}

	// 5. code.Code_value lookup for unknown status name returns zero value and false in comma-ok check
	if val, ok := code.Code_value["UNKNOWN_ERROR_CUSTOM"]; ok || val != 0 {
		return fmt.Errorf("code.Code_value lookup for nonexistent key returned val=%d, ok=%v; want 0, false", val, ok)
	}

	return nil
}