Exemple
go.opentelemetry.io/otel v1.43.0: SetTracerProvider, GetTracerProvider, Tracer
Échantillon vérifié pour golang go.opentelemetry.io/otel v1.43.0: SetTracerProvider, GetTracerProvider, Tracer. Le contrat s'est exécuté sur go 1.26 · linux…
sha256:d0d14a47251b4c5a9f205645e63c870ba4f8dd577119ec29498928aaf692bfae
Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré.
Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes.
MIT-0
Preuves d'exécution
L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.
- Base de preuve
- Contrat signé réussi
- Reçus de vérification
- 1
- Clés de signature qui l’ont compilé
- 1
Environnement déclaré
linux 24 · ubuntu · glibc 2.39 x64 go
Environnements des exécutions de vérification
| Environnement | Contrat | Étapes | Exécution |
|---|---|---|---|
| go 1.26 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · golang@1 |
2026-08-19 |
Cas
HOW- Objectif
- verify pkg:golang/go.opentelemetry.io/otel@v1.43.0
- Paquets
- Symboles
-
- SetTracerProvider
- GetTracerProvider
- Tracer
- SetMeterProvider
- GetMeterProvider
- SetErrorHandler
- Handle
- SetTextMapPropagator
- GetTextMapPropagator
- Créé
- 2026-08-19T21:11:12Z
Contrat
- otel.SetTracerProvider registers a global TracerProvider and otel.GetTracerProvider returns it
- otel.Tracer creates a named Tracer delegating to the configured global TracerProvider
- otel.SetMeterProvider registers a global MeterProvider and otel.GetMeterProvider returns it
- otel.SetErrorHandler registers a global ErrorHandler and otel.Handle delegates errors to it
- otel.SetTextMapPropagator registers a global TextMapPropagator and otel.GetTextMapPropagator returns it
Fichiers
- PROMPT.md
- csx.json
- go.mod
- go.sum
- main.go
- spec.json
- test/contract.go
Code source
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@v1.43.0
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:golang/go.opentelemetry.io/otel@v1.43.0
Constraints:
- executionContext: node
Required runtime conditions:
- ecosystem: npm
- language: javascript
- moduleSystem: cjs
- packageManager: npm@10.9.8
- runtime: node@22.23.2
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:1757fd8a443b8796a8b842abdde65600e450ce6b7baca890e1a6dbeba4a4a25e","contract":["otel.SetTracerProvider registers a global TracerProvider and otel.GetTracerProvider returns it","otel.Tracer creates a named Tracer delegating to the configured global TracerProvider","otel.SetMeterProvider registers a global MeterProvider and otel.GetMeterProvider returns it","otel.SetErrorHandler registers a global ErrorHandler and otel.Handle delegates errors to it","otel.SetTextMapPropagator registers a global TextMapPropagator and otel.GetTextMapPropagator returns it"],"goal":"verify pkg:golang/go.opentelemetry.io/otel@v1.43.0","kind":"HOW","packages":["pkg:golang/go.opentelemetry.io/otel@v1.43.0"],"schemaVersion":1,"symbols":["SetTracerProvider","GetTracerProvider","Tracer","SetMeterProvider","GetMeterProvider","SetErrorHandler","Handle","SetTextMapPropagator","GetTextMapPropagator"]},"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@v1.43.0"],"schemaVersion":1,"symbols":["SetTracerProvider","GetTracerProvider","Tracer","SetMeterProvider","GetMeterProvider","SetErrorHandler","Handle","SetTextMapPropagator","GetTextMapPropagator"],"verifierAdapter":"golang@1"}
module example.com/otelsample
go 1.26.6
require (
go.opentelemetry.io/otel v1.43.0
go.opentelemetry.io/otel/metric v1.43.0
go.opentelemetry.io/otel/trace v1.43.0
)
require (
github.com/cespare/xxhash/v2 v2.3.0 // indirect
github.com/go-logr/logr v1.4.3 // indirect
github.com/go-logr/stdr v1.2.2 // indirect
go.opentelemetry.io/auto/sdk v1.2.1 // 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/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/go-logr/logr v1.2.2/go.mod h1:jdQByPbusPIv2/zmleS9BjJVeZ6kBagPoEUsqbVz/1A=
github.com/go-logr/logr v1.4.3 h1:CjnDlHq8ikf6E492q6eKboGOC0T8CDaOvkHCIg8idEI=
github.com/go-logr/logr v1.4.3/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/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.11.1 h1:7s2iGBzp5EwR7/aIZr8ao5+dra3wiQyKjjFuvgVKu7U=
github.com/stretchr/testify v1.11.1/go.mod h1:wZwfW3scLgRK+23gO65QZefKpKQRnfz6sD981Nm4B6U=
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.43.0 h1:mYIM03dnh5zfN7HautFE4ieIig9amkNANT+xcVxAj9I=
go.opentelemetry.io/otel v1.43.0/go.mod h1:JuG+u74mvjvcm8vj8pI5XiHy1zDeoCS2LB1spIq7Ay0=
go.opentelemetry.io/otel/metric v1.43.0 h1:d7638QeInOnuwOONPp4JAOGfbCEpYb+K6DVWvdxGzgM=
go.opentelemetry.io/otel/metric v1.43.0/go.mod h1:RDnPtIxvqlgO8GRW18W6Z/4P462ldprJtfxHxyKd2PY=
go.opentelemetry.io/otel/trace v1.43.0 h1:BkNrHpup+4k4w+ZZ86CZoHHEkohws8AY+WTX09nk+3A=
go.opentelemetry.io/otel/trace v1.43.0/go.mod h1:/QJhyVBUUswCphDVxq+8mld+AvhXZLhe+8WVFxiFff0=
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 (
"context"
"errors"
"fmt"
"sync/atomic"
"go.opentelemetry.io/otel"
"go.opentelemetry.io/otel/metric/noop"
"go.opentelemetry.io/otel/propagation"
traceNoop "go.opentelemetry.io/otel/trace/noop"
)
// TelemetryApp demonstrates standard OpenTelemetry API setup and usage.
type TelemetryApp struct {
appName string
}
// NewTelemetryApp initializes telemetry providers and sets up global handlers.
func NewTelemetryApp(name string) *TelemetryApp {
// Register global tracer provider
tp := traceNoop.NewTracerProvider()
otel.SetTracerProvider(tp)
// Register global meter provider
mp := noop.NewMeterProvider()
otel.SetMeterProvider(mp)
// Register global propagator
otel.SetTextMapPropagator(propagation.TraceContext{})
return &TelemetryApp{appName: name}
}
// ProcessRequest executes an instrumented unit of work.
func (a *TelemetryApp) ProcessRequest(ctx context.Context, requestName string) error {
tracer := otel.Tracer(a.appName)
ctx, span := tracer.Start(ctx, requestName)
defer span.End()
meter := otel.Meter(a.appName)
counter, err := meter.Int64Counter("requests_processed")
if err != nil {
otel.Handle(err)
return err
}
counter.Add(ctx, 1)
span.AddEvent("processing completed")
return nil
}
func main() {
var errorCount int64
otel.SetErrorHandler(otel.ErrorHandlerFunc(func(err error) {
atomic.AddInt64(&errorCount, 1)
fmt.Printf("Custom error handler captured: %v\n", err)
}))
app := NewTelemetryApp("example.com/telemetry-service")
ctx := context.Background()
if err := app.ProcessRequest(ctx, "GetUserData"); err != nil {
fmt.Printf("Request error: %v\n", err)
}
otel.Handle(errors.New("simulated telemetry reporting error"))
fmt.Printf("Telemetry application finished, handled errors: %d\n", atomic.LoadInt64(&errorCount))
}
{
"schemaVersion": 1,
"goal": "verify pkg:golang/go.opentelemetry.io/otel@v1.43.0",
"kind": "HOW",
"packages": [
"pkg:golang/go.opentelemetry.io/otel@v1.43.0"
],
"constraints": {
"executionContext": "node"
},
"runtimeConditions": {
"ecosystem": "npm",
"language": "javascript",
"moduleSystem": "cjs",
"packageManager": "npm@10.9.8",
"runtime": "node@22.23.2"
}
}
package main
import (
"context"
"errors"
"fmt"
"os"
"sync/atomic"
"go.opentelemetry.io/otel"
"go.opentelemetry.io/otel/metric/noop"
"go.opentelemetry.io/otel/propagation"
traceNoop "go.opentelemetry.io/otel/trace/noop"
)
func main() {
// Contract 1: otel.SetTracerProvider registers a global TracerProvider and otel.GetTracerProvider returns it
{
tp := traceNoop.NewTracerProvider()
otel.SetTracerProvider(tp)
gotTP := otel.GetTracerProvider()
if gotTP == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil TracerProvider from otel.GetTracerProvider()")
os.Exit(1)
}
}
// Contract 2: otel.Tracer creates a named Tracer delegating to the configured global TracerProvider
{
tracer := otel.Tracer("contract-tracer")
if tracer == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil Tracer from otel.Tracer()")
os.Exit(1)
}
ctx := context.Background()
ctxWithSpan, span := tracer.Start(ctx, "contract-span")
if span == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil Span from tracer.Start()")
os.Exit(1)
}
if ctxWithSpan == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil Context from tracer.Start()")
os.Exit(1)
}
span.AddEvent("contract-event")
span.End()
}
// Contract 3: otel.SetMeterProvider registers a global MeterProvider and otel.GetMeterProvider returns it
{
mp := noop.NewMeterProvider()
otel.SetMeterProvider(mp)
gotMP := otel.GetMeterProvider()
if gotMP == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil MeterProvider from otel.GetMeterProvider()")
os.Exit(1)
}
meter := otel.Meter("contract-meter")
if meter == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil Meter from otel.Meter()")
os.Exit(1)
}
counter, err := meter.Int64Counter("contract-counter")
if err != nil {
fmt.Fprintf(os.Stderr, "FAIL: unexpected error creating counter: %v\n", err)
os.Exit(1)
}
counter.Add(context.Background(), 5)
}
// Contract 4: otel.SetErrorHandler registers a global ErrorHandler and otel.Handle delegates errors to it
{
var capturedErr error
var handleCount int64
handler := otel.ErrorHandlerFunc(func(err error) {
atomic.AddInt64(&handleCount, 1)
capturedErr = err
})
otel.SetErrorHandler(handler)
gotHandler := otel.GetErrorHandler()
if gotHandler == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil ErrorHandler from otel.GetErrorHandler()")
os.Exit(1)
}
testErr := errors.New("contract test error")
otel.Handle(testErr)
if atomic.LoadInt64(&handleCount) != 1 {
fmt.Fprintf(os.Stderr, "FAIL: expected ErrorHandler to be called once, got %d\n", atomic.LoadInt64(&handleCount))
os.Exit(1)
}
if capturedErr == nil || capturedErr.Error() != "contract test error" {
fmt.Fprintf(os.Stderr, "FAIL: expected captured error 'contract test error', got %v\n", capturedErr)
os.Exit(1)
}
}
// Contract 5: otel.SetTextMapPropagator registers a global TextMapPropagator and otel.GetTextMapPropagator returns it
{
propagator := propagation.TraceContext{}
otel.SetTextMapPropagator(propagator)
gotPropagator := otel.GetTextMapPropagator()
if gotPropagator == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil TextMapPropagator from otel.GetTextMapPropagator()")
os.Exit(1)
}
carrier := propagation.MapCarrier{}
propagator.Inject(context.Background(), carrier)
extractedCtx := propagator.Extract(context.Background(), carrier)
if extractedCtx == nil {
fmt.Fprintln(os.Stderr, "FAIL: expected non-nil Context from propagator.Extract()")
os.Exit(1)
}
}
fmt.Println("PASS: pkg:golang/go.opentelemetry.io/otel@v1.43.0 contract verified")
}
Seeder d'origine
anonyme