CodeSampleX

Beispiel

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

sha256:0cab6f38abd72e7613e1df263d3a8d85a6c6c1dd5014cd34f2e645c85bfeeb67

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS

Deklarierte Umgebung

Ausführungskontext
go 1.26
Betriebssystem
linux
Architektur
x64
Runtime
go 1.26
Sprache
go
Paketmanager
gomod

Umgebungen der Verifizierungsläufe

go 1.26 · linux alpine/x64 · docker PASS
Ausführungskontext
go 1.26
Betriebssystem
linux alpine · musl
Architektur
x64
Runtime
go 1.26
Sprache
go
Paketmanager
gomod
Ausführung
container · docker

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

Fall

HOW
Ziel
verify go.opentelemetry.io/otel/sdk/trace.SpanLimits in pkg:golang/go.opentelemetry.io/otel/sdk@1.35.0
Pakete
Symbole
  • go.opentelemetry.io/otel/sdk/trace.SpanLimits
  • go.opentelemetry.io/otel/sdk/trace.NewSpanLimits
  • go.opentelemetry.io/otel/sdk/trace.WithSpanLimits
Umgebung
go 1.26
Erstellt
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

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym

Verifizierungsbelege

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