CodeSampleX

Sample

verify go.opentelemetry.io/otel/sdk/trace.SpanLimits in pkg:golang/go.opentelemetry.io/otel/sdk@1.35.0

sha256:0cab6f38abd72e7613e1df263d3a8d85a6c6c1dd5014cd34f2e645c85bfeeb67

Publication state. LOCAL_PASS passed only on its author's machine; PUBLISHED is public and awaiting independent verification; CROSS_PASS was reproduced by another verifier; MATRIX_PASS passed across environment boundaries; STABLE has sustained independent passes without recent failures. Evidence strength. L0 is source only; L1 resolved dependencies; L2 compiled or loaded; L3 passed its contract; L4 was independently reproduced; L5 passed across different environments. MIT-0

Execution evidence

Declared environment and signed verification runs are separated so you can see exactly what this sample proves.

Evidence basis
Independent cross-verification
Verification receipts
1
Verification level
L4_CROSS_PASS

Declared environment

Execution context
go 1.26
Operating system
linux
Architecture
x64
Runtime
go 1.26
Language
go
Package manager
gomod

Verification-run environments

go 1.26 · linux alpine/x64 · docker PASS
Execution context
go 1.26
Operating system
linux alpine · musl
Architecture
x64
Runtime
go 1.26
Language
go
Package manager
gomod
Execution
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-19

Case

HOW
Goal
verify go.opentelemetry.io/otel/sdk/trace.SpanLimits in pkg:golang/go.opentelemetry.io/otel/sdk@1.35.0
Packages
Symbols
  • go.opentelemetry.io/otel/sdk/trace.SpanLimits
  • go.opentelemetry.io/otel/sdk/trace.NewSpanLimits
  • go.opentelemetry.io/otel/sdk/trace.WithSpanLimits
Environment
go 1.26
Created
2026-08-18T13:22:10Z

Contract

  1. assert NewSpanLimits initializes configurable span limit structures
  2. assert WithSpanLimits applies attribute and event constraints to the TracerProvider
  3. assert AttributeCountLimit caps recorded attributes and tracks DroppedAttributes count
  4. assert AttributeValueLengthLimit truncates overlong string values
  5. assert EventCountLimit caps recorded events and tracks DroppedEvents count

Files

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • spec.json
  • test/main.go

Download the source artifact (tar.gz)

Origin Seeder

anonymous

Verification receipts

  • go 1.26 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS golang@1
    ed25519:2175b912ea1c23b1