go.opentelemetry.io/otel/sdk v1.47.0: trace.NewTracerProvider, trace.NewSimpleSpanProcessor, tracetest.NewInMemoryExporter

# OpenTelemetry Go SDK Lifecycle and InMemoryExporter Export Semantics

## Network Query Findings

An initial search of known solutions returned existing samples for `go.opentelemetry.io/otel/sdk`:
- `sha256:53b6e958b9713543736332d7b7f87d665da9d8c7c6468e96529ad968c51148fc` (`v1.24.0`): ParentBased sampler delegation rules and parent context overrides.
- `sha256:5f70d2ba9888e84e798c0e4450c4dc578490ff9c7590558fccf61ea53919fef3` (`v1.37.0`): Default TracerProvider sampler spec names and ParentBased composition.
- `sha256:91f72226a7c13fff2aded4e72eca39849968343e26fc8a057a36bc1b05863023` (`v1.35.0`): SpanLimits asymmetric eviction between attributes and events/links.

This sample addresses the verified execution contract for `go.opentelemetry.io/otel/sdk` pinned at `v1.47.0`: lifecycle shutdown cascades and synchronous in-memory export semantics.

## Pinned Release

- `go.opentelemetry.io/otel/sdk` pinned to `v1.47.0` (in `go.mod` and `go.sum`)
- `go.opentelemetry.io/otel` pinned to `v1.47.0`
- `go.opentelemetry.io/otel/trace` pinned to `v1.47.0`

## Observed Behaviour

1. **Synchronous Span Export**:
   `sdktrace.NewSimpleSpanProcessor(exporter)` synchronously exports completed spans immediately when `span.End()` is called. Child spans inherit the parent's `TraceID` and assign `childStub.Parent.SpanID() == rootStub.SpanContext.SpanID()`.
2. **InMemoryExporter Shutdown Clears Memory**:
   When `tp.Shutdown(ctx)` is called, shutdown cascades to all registered span processors. For `tracetest.InMemoryExporter`, `Shutdown()` explicitly clears all collected spans from memory, causing `exporter.GetSpans()` to return an empty slice.
3. **Post-Shutdown Processor Deregistration**:
   After `TracerProvider.Shutdown()`, the provider unregisters all span processors and rejects subsequent registration via `RegisterSpanProcessor` (which becomes a no-op).

## Failure Mode of the Naive Expectation

- Code assuming that `tracetest.InMemoryExporter` retains its spans after `TracerProvider.Shutdown()` will encounter silent test failures or nil/empty slice errors when inspecting exported spans post-shutdown. Spans must be inspected or copied before calling `Shutdown()`.
- Code attempting to re-use a `TracerProvider` or re-register span processors after `Shutdown()` will observe that new processors are silently ignored.

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/go.opentelemetry.io/otel/sdk@v1.47.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/go.opentelemetry.io/otel/sdk@v1.47.0

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.

package contract_test

import (
	"context"
	"testing"

	"go.opentelemetry.io/otel/attribute"
	sdktrace "go.opentelemetry.io/otel/sdk/trace"
	"go.opentelemetry.io/otel/sdk/trace/tracetest"
)

func TestTracerProviderLifecycleAndExport(t *testing.T) {
	ctx := context.Background()
	exporter := tracetest.NewInMemoryExporter()
	processor := sdktrace.NewSimpleSpanProcessor(exporter)
	tp := sdktrace.NewTracerProvider(
		sdktrace.WithSpanProcessor(processor),
	)

	tracer := tp.Tracer("contract-test")

	// 1. Create root span and verify attributes
	ctxRoot, rootSpan := tracer.Start(ctx, "root-span")
	rootSpan.SetAttributes(attribute.String("env", "test"), attribute.Int("version", 1))

	// 2. Create child span and verify parent-child relationship
	_, childSpan := tracer.Start(ctxRoot, "child-span")
	childSpan.SetAttributes(attribute.Bool("child", true))
	childSpan.End()

	rootSpan.End()

	// 3. Verify exported spans before shutdown
	spans := exporter.GetSpans()
	if len(spans) != 2 {
		t.Fatalf("expected 2 spans exported before shutdown, got %d", len(spans))
	}

	// SimpleSpanProcessor exports immediately upon End()
	// child was ended first, then root
	childStub := spans[0]
	rootStub := spans[1]

	if childStub.Name != "child-span" {
		t.Errorf("expected child span name 'child-span', got %q", childStub.Name)
	}
	if rootStub.Name != "root-span" {
		t.Errorf("expected root span name 'root-span', got %q", rootStub.Name)
	}

	// Verify trace IDs match
	if childStub.SpanContext.TraceID() != rootStub.SpanContext.TraceID() {
		t.Errorf("expected child and root to have same TraceID: child=%s root=%s",
			childStub.SpanContext.TraceID(), rootStub.SpanContext.TraceID())
	}

	// Verify child's parent is root
	if childStub.Parent.SpanID() != rootStub.SpanContext.SpanID() {
		t.Errorf("expected child's parent SpanID to match root SpanID: child parent=%s root=%s",
			childStub.Parent.SpanID(), rootStub.SpanContext.SpanID())
	}

	// Verify attributes
	var envFound bool
	for _, attr := range rootStub.Attributes {
		if attr.Key == "env" && attr.Value.AsString() == "test" {
			envFound = true
			break
		}
	}
	if !envFound {
		t.Errorf("expected attribute env=test on root span")
	}

	// 4. Test TracerProvider.Shutdown() behavior
	// Shutdown flushes and cascades shutdown to all registered processors.
	// InMemoryExporter clears all held spans on shutdown.
	if err := tp.Shutdown(ctx); err != nil {
		t.Fatalf("failed to shutdown TracerProvider: %v", err)
	}

	// InMemoryExporter clears memory on shutdown, so GetSpans returns empty
	if clearedSpans := exporter.GetSpans(); len(clearedSpans) != 0 {
		t.Errorf("expected exporter to clear spans on shutdown, got %d spans", len(clearedSpans))
	}

	// 5. Subsequent attempts to register processors after Shutdown are no-ops
	newExporter := tracetest.NewInMemoryExporter()
	tp.RegisterSpanProcessor(sdktrace.NewSimpleSpanProcessor(newExporter))

	_, postShutdownSpan := tracer.Start(ctx, "post-shutdown-span")
	postShutdownSpan.End()

	if postSpans := newExporter.GetSpans(); len(postSpans) != 0 {
		t.Errorf("expected post-shutdown registered processor to receive 0 spans, got %d", len(postSpans))
	}
}

{"case":{"believed":"InMemoryExporter retains previously exported spans after TracerProvider.Shutdown() and RegisterSpanProcessor succeeds after shutdown","caseId":"case:sha256:d228989b481c5ca5c0df4a0bd0b0642deb33f294e11154b577af69cc1d2c715f","contract":["SimpleSpanProcessor synchronously exports ended spans to InMemoryExporter preserving span names and attributes","Child spans inherit the parent span TraceID and correctly record parent SpanID","TracerProvider.Shutdown() cascades shutdown to registered span processors, causing InMemoryExporter to clear all stored spans from memory","RegisterSpanProcessor calls on a TracerProvider after Shutdown() are no-ops and reject new processors"],"goal":"verify pkg:golang/go.opentelemetry.io/otel/sdk@v1.47.0","kind":"HOW","packages":["pkg:golang/go.opentelemetry.io/otel/sdk@v1.47.0"],"schemaVersion":1,"symbols":["go.opentelemetry.io/otel/sdk/trace.NewTracerProvider","go.opentelemetry.io/otel/sdk/trace.NewSimpleSpanProcessor","go.opentelemetry.io/otel/sdk/trace/tracetest.NewInMemoryExporter"]},"contractCommand":["go","test","./..."],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","executionContext":"go","language":"go","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","runtime":"go","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/go.opentelemetry.io/otel/sdk@v1.47.0"],"schemaVersion":1,"subject":"pkg:golang/go.opentelemetry.io/otel/sdk@v1.47.0","symbols":["go.opentelemetry.io/otel/sdk/trace.NewTracerProvider","go.opentelemetry.io/otel/sdk/trace.NewSimpleSpanProcessor","go.opentelemetry.io/otel/sdk/trace/tracetest.NewInMemoryExporter"],"verifierAdapter":"golang@1"}

module example.com/verify-otel-sdk

go 1.26.6

require (
	go.opentelemetry.io/otel v1.47.0
	go.opentelemetry.io/otel/sdk v1.47.0
)

require (
	github.com/cespare/xxhash/v2 v2.3.0 // indirect
	github.com/go-logr/logr v1.4.4 // indirect
	github.com/go-logr/stdr v1.2.2 // indirect
	github.com/google/uuid v1.6.0 // indirect
	go.opentelemetry.io/auto/sdk v1.2.1 // indirect
	go.opentelemetry.io/otel/log v1.47.0 // indirect
	go.opentelemetry.io/otel/metric v1.47.0 // indirect
	go.opentelemetry.io/otel/trace v1.47.0 // indirect
	golang.org/x/sys v0.48.0 // indirect
)

github.com/cespare/xxhash/v2 v2.3.0 h1:UL815xU9SqsFlibzuggzjXhog7bL6oX9BbNZnL2UFvs=
github.com/cespare/xxhash/v2 v2.3.0/go.mod h1:VGX0DQ3Q6kWi7AoAeZDth3/j3BFtOZR5XLFGgcrjCOs=
github.com/go-logr/logr v1.2.2/go.mod h1:jdQByPbusPIv2/zmleS9BjJVeZ6kBagPoEUsqbVz/1A=
github.com/go-logr/logr v1.4.4 h1:tG4xh9yMsRCAiodLVTxyrkzSZ9+o0L1Kg/+cPVcbP/8=
github.com/go-logr/logr v1.4.4/go.mod h1:9T104GzyrTigFIr8wt5mBrctHMim0Nb2HLGrmQ40KvY=
github.com/go-logr/stdr v1.2.2 h1:hSWxHoqTgW2S2qGc0LTAI563KZ5YKYRhT3MFKZMbjag=
github.com/go-logr/stdr v1.2.2/go.mod h1:mMo/vtBO5dYbehREoey6XUKy/eSumjCCveDpRre4VKE=
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/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
github.com/google/uuid v1.6.0/go.mod h1:TIyPZe4MgqvfeYDBFedMoGGpEw/LqOeaOT+nhxU+yHo=
github.com/stretchr/testify v1.12.1 h1:EuwCh5fleGS7H32xRwO3wRGT7DxrDhLAT6FF8MpWDWE=
github.com/stretchr/testify v1.12.1/go.mod h1:MDEgiDPPsNp5cuIrHPPCyornHKgEVbtFUmoNlxoYthg=
go.opentelemetry.io/auto/sdk v1.2.1 h1:jXsnJ4Lmnqd11kwkBV2LgLoFMZKizbCi5fNZ/ipaZ64=
go.opentelemetry.io/auto/sdk v1.2.1/go.mod h1:KRTj+aOaElaLi+wW1kO/DZRXwkF4C5xPbEe3ZiIhN7Y=
go.opentelemetry.io/otel v1.47.0 h1:j7ALJ/zgkS7Z6aeJW09p8VC9804bC+PpeTfCD4XPnOM=
go.opentelemetry.io/otel v1.47.0/go.mod h1:8wS9O2qfXrYrzp6hIF/HOYJJf/wIhFPhR2xLuP+iXQU=
go.opentelemetry.io/otel/log v1.47.0 h1:cOTS1CcLbSQeZKanGJ+0JpF/+t4PELi3O3bbl2lqCcI=
go.opentelemetry.io/otel/log v1.47.0/go.mod h1:9byitSQ5pLC6PpqwGXjqdMKya6ZTswHRZh2vvXT33nw=
go.opentelemetry.io/otel/metric v1.47.0 h1:4PptaldXx3Eat1XjMZ68pPJEs5wrhlemctZE9a3UdWY=
go.opentelemetry.io/otel/metric v1.47.0/go.mod h1:ADGSXxRrXM6bjbvLo535EstVFlPpPYZm4LBKixjDHwU=
go.opentelemetry.io/otel/sdk v1.47.0 h1:zWXEr4j2lFefG87TU6Yg8a7ngfohIKFZHKp0Hf5hC6I=
go.opentelemetry.io/otel/sdk v1.47.0/go.mod h1:VUc24kiOeoGsxG8G9ULx3fWKvB7jMhnGE8Oi607lgR0=
go.opentelemetry.io/otel/sdk/metric v1.47.0 h1:lfISg2j93VT6yqdk9OfUaZmw/GfcZqCCV3jdXtsPnKw=
go.opentelemetry.io/otel/sdk/metric v1.47.0/go.mod h1:ypLp+mW1Nt2x+Szt3b5/i1syodyts49lMOwxpDI3VGw=
go.opentelemetry.io/otel/trace v1.47.0 h1:JOjX/Oci8K94QHddo+bbfya/Ai/nf6/dt9ZfrFNWSrM=
go.opentelemetry.io/otel/trace v1.47.0/go.mod h1:jNaSLa2PZEYFG6fRjJABAu+bw4FS08uDmPg28lTghu0=
go.uber.org/goleak v1.3.0 h1:2K3zAYmnTNqV73imy9J1T3WC+gmCePx2hEGkimedGto=
go.uber.org/goleak v1.3.0/go.mod h1:CoHD4mav9JJNrW/WLlf7HGZPjdw8EucARQHekz1X6bE=
go.yaml.in/yaml/v3 v3.0.5 h1:N6y/pJk8buWs9NY5ERU2HSMfm+IuD/OtfdAnq6kESPw=
go.yaml.in/yaml/v3 v3.0.5/go.mod h1:HVTZu1O7/Vkt2N+BFy8Zza+lnLsABggaTM2ZpNIGuKg=
golang.org/x/sys v0.48.0 h1:bbX/i/6MgT9BVLM9RT1thmxL04yeTAhbEz4SyadbXoo=
golang.org/x/sys v0.48.0/go.mod h1:hNLxWAXmnKAxqDtdwIYC4bM9oQPEecfsnNMuSxOs3og=

{
  "schemaVersion": 1,
  "goal": "verify pkg:golang/go.opentelemetry.io/otel/sdk@v1.47.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/go.opentelemetry.io/otel/sdk@v1.47.0"
  ]
}