go.opentelemetry.io/otel/trace v1.37.0: WithAttributes

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 go.opentelemetry.io/otel/trace.WithAttributes in pkg:golang/go.opentelemetry.io/otel/trace@v1.37.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/go.opentelemetry.io/otel/trace@v1.37.0
Demonstrate these symbols/APIs:
  - go.opentelemetry.io/otel/trace.WithAttributes

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:766a878e6ff2a8258985f6fa6f52f36c58d7fd23d82b57149d037bd63f243844","contract":["WithAttributes creates a SpanStartEventOption that configures attributes on a SpanConfig via NewSpanStartConfig.","WithAttributes appends attribute key-values across multiple options preserving order and duplicates without deduplication.","WithAttributes creates an EventOption that configures attributes on an EventConfig via NewEventConfig.","WithAttributes without arguments results in no additional attributes.","WithAttributes preserves distinct attribute types including string, int, and bool."],"goal":"verify go.opentelemetry.io/otel/trace.WithAttributes in pkg:golang/go.opentelemetry.io/otel/trace@v1.37.0","kind":"HOW","packages":["pkg:golang/go.opentelemetry.io/otel/trace@v1.37.0"],"schemaVersion":1,"symbols":["go.opentelemetry.io/otel/trace.WithAttributes"]},"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/go.opentelemetry.io/otel/trace@v1.37.0"],"schemaVersion":1,"subject":"pkg:golang/go.opentelemetry.io/otel/trace@v1.37.0","symbols":["go.opentelemetry.io/otel/trace.WithAttributes"],"verifierAdapter":"golang@1"}

module sample

go 1.26.6

require (
	go.opentelemetry.io/otel v1.37.0
	go.opentelemetry.io/otel/trace v1.37.0
)

github.com/davecgh/go-spew v1.1.1 h1:vj9j/u1bqnvCEfJOwUhtlOARqs3+rkHYY13jYWTU97c=
github.com/davecgh/go-spew v1.1.1/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
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/pmezard/go-difflib v1.0.0 h1:4DBwDE0NGyQoBHbLQYPwSUPoCMWR5BEzIk/f1lZbAQM=
github.com/pmezard/go-difflib v1.0.0/go.mod h1:iKH77koFhYxTK1pcRnkKkqfTogsbg7gZNVY4sRDYZ/4=
github.com/stretchr/testify v1.10.0 h1:Xv5erBjTwe/5IxqUQTdXv5kgmIvbHo3QQyRwhJsOfJA=
github.com/stretchr/testify v1.10.0/go.mod h1:r2ic/lqez/lEtzL7wO/rwa5dbSLXVDPFyf8C91i36aY=
go.opentelemetry.io/otel v1.37.0 h1:9zhNfelUvx0KBfu/gb+ZgeAfAgtWrfHJZcAqFC228wQ=
go.opentelemetry.io/otel v1.37.0/go.mod h1:ehE/umFRLnuLa/vSccNq9oS1ErUlkkK71gMcN34UG8I=
go.opentelemetry.io/otel/trace v1.37.0 h1:HLdcFNbRQBE2imdSEgm/kwqmQj1Or1l/7bW6mxVK7z4=
go.opentelemetry.io/otel/trace v1.37.0/go.mod h1:TlgrlQ+PtQO5XFerSPUYG0JSgGyryXewPGyayAWSBS0=
gopkg.in/yaml.v3 v3.0.1 h1:fxVm/GzAzEWqLHuvctI91KS9hhNmmWOoWu0XTYJS7CA=
gopkg.in/yaml.v3 v3.0.1/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=

package main

import (
	"fmt"

	"go.opentelemetry.io/otel/attribute"
	"go.opentelemetry.io/otel/trace"
)

func main() {
	// Demonstrate trace.WithAttributes used as a SpanStartOption
	attr1 := attribute.String("http.method", "POST")
	attr2 := attribute.Int("http.status_code", 200)
	spanCfg := trace.NewSpanStartConfig(trace.WithAttributes(attr1, attr2))

	fmt.Println("Span start attributes:")
	for _, kv := range spanCfg.Attributes() {
		fmt.Printf("  %s: %s\n", kv.Key, kv.Value.Emit())
	}

	// Demonstrate trace.WithAttributes used as an EventOption
	eventAttr := attribute.String("event.name", "cache_hit")
	eventCfg := trace.NewEventConfig(trace.WithAttributes(eventAttr))

	fmt.Println("Event attributes:")
	for _, kv := range eventCfg.Attributes() {
		fmt.Printf("  %s: %s\n", kv.Key, kv.Value.Emit())
	}
}

{
  "schemaVersion": 1,
  "goal": "verify go.opentelemetry.io/otel/trace.WithAttributes in pkg:golang/go.opentelemetry.io/otel/trace@v1.37.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/go.opentelemetry.io/otel/trace@v1.37.0"
  ],
  "symbols": [
    "go.opentelemetry.io/otel/trace.WithAttributes"
  ]
}

package main

import (
	"fmt"
	"os"

	"go.opentelemetry.io/otel/attribute"
	"go.opentelemetry.io/otel/trace"
)

func main() {
	// Assertion 1: WithAttributes creates a SpanStartEventOption that configures attributes on a SpanConfig via NewSpanStartConfig.
	attr1 := attribute.String("rpc.system", "grpc")
	attr2 := attribute.Int("rpc.grpc.status_code", 0)
	spanCfg := trace.NewSpanStartConfig(trace.WithAttributes(attr1, attr2))
	spanAttrs := spanCfg.Attributes()
	if len(spanAttrs) != 2 {
		fmt.Fprintf(os.Stderr, "FAIL: expected 2 span attributes, got %d\n", len(spanAttrs))
		os.Exit(1)
	}
	if spanAttrs[0] != attr1 || spanAttrs[1] != attr2 {
		fmt.Fprintf(os.Stderr, "FAIL: span attributes content mismatch\n")
		os.Exit(1)
	}

	// Assertion 2: WithAttributes appends attribute key-values across multiple options preserving order and duplicates without deduplication.
	attrDuplicate := attribute.String("rpc.system", "grpc-internal")
	attr3 := attribute.Bool("retry", true)
	composedCfg := trace.NewSpanStartConfig(
		trace.WithAttributes(attr1, attr2),
		trace.WithAttributes(attrDuplicate, attr3),
	)
	composedAttrs := composedCfg.Attributes()
	if len(composedAttrs) != 4 {
		fmt.Fprintf(os.Stderr, "FAIL: expected 4 attributes across options, got %d\n", len(composedAttrs))
		os.Exit(1)
	}
	if composedAttrs[0] != attr1 || composedAttrs[1] != attr2 || composedAttrs[2] != attrDuplicate || composedAttrs[3] != attr3 {
		fmt.Fprintf(os.Stderr, "FAIL: order and duplicates preservation mismatch\n")
		os.Exit(1)
	}

	// Assertion 3: WithAttributes creates an EventOption that configures attributes on an EventConfig via NewEventConfig.
	eventAttr1 := attribute.String("exception.type", "TimeoutException")
	eventAttr2 := attribute.String("exception.message", "request timed out")
	eventCfg := trace.NewEventConfig(trace.WithAttributes(eventAttr1, eventAttr2))
	eventAttrs := eventCfg.Attributes()
	if len(eventAttrs) != 2 {
		fmt.Fprintf(os.Stderr, "FAIL: expected 2 event attributes, got %d\n", len(eventAttrs))
		os.Exit(1)
	}
	if eventAttrs[0] != eventAttr1 || eventAttrs[1] != eventAttr2 {
		fmt.Fprintf(os.Stderr, "FAIL: event attributes content mismatch\n")
		os.Exit(1)
	}

	// Assertion 4: WithAttributes without arguments results in no additional attributes.
	emptyOptionCfg := trace.NewSpanStartConfig(trace.WithAttributes())
	if len(emptyOptionCfg.Attributes()) != 0 {
		fmt.Fprintf(os.Stderr, "FAIL: expected 0 attributes for empty WithAttributes, got %d\n", len(emptyOptionCfg.Attributes()))
		os.Exit(1)
	}
	emptyEventCfg := trace.NewEventConfig(trace.WithAttributes())
	if len(emptyEventCfg.Attributes()) != 0 {
		fmt.Fprintf(os.Stderr, "FAIL: expected 0 event attributes for empty WithAttributes, got %d\n", len(emptyEventCfg.Attributes()))
		os.Exit(1)
	}

	// Assertion 5: WithAttributes preserves distinct attribute types including string, int, and bool.
	strAttr := attribute.String("attr.string", "test-val")
	intAttr := attribute.Int64("attr.int", 12345)
	boolAttr := attribute.Bool("attr.bool", true)
	typedCfg := trace.NewSpanStartConfig(trace.WithAttributes(strAttr, intAttr, boolAttr))
	typedAttrs := typedCfg.Attributes()
	if len(typedAttrs) != 3 {
		fmt.Fprintf(os.Stderr, "FAIL: expected 3 typed attributes, got %d\n", len(typedAttrs))
		os.Exit(1)
	}
	if typedAttrs[0].Value.Type() != attribute.STRING || typedAttrs[0].Value.AsString() != "test-val" {
		fmt.Fprintf(os.Stderr, "FAIL: string attribute mismatch\n")
		os.Exit(1)
	}
	if typedAttrs[1].Value.Type() != attribute.INT64 || typedAttrs[1].Value.AsInt64() != 12345 {
		fmt.Fprintf(os.Stderr, "FAIL: int64 attribute mismatch\n")
		os.Exit(1)
	}
	if typedAttrs[2].Value.Type() != attribute.BOOL || typedAttrs[2].Value.AsBool() != true {
		fmt.Fprintf(os.Stderr, "FAIL: bool attribute mismatch\n")
		os.Exit(1)
	}

	fmt.Println("PASS: all WithAttributes contract assertions passed.")
}