CodeSampleX

Beispiel

verify attribute.NewSet in pkg:golang/go.opentelemetry.io/otel@1.35.0

sha256:419e2f70cf0bfeb5d17f2503a6c65f659395d86620bc4a8138ad3e376360c5b1

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 · go@1 · 2026-08-19

Fall

HOW
Ziel
verify attribute.NewSet in pkg:golang/go.opentelemetry.io/otel@1.35.0
Pakete
Symbole
  • attribute.NewSet
  • attribute.Set.Value
  • attribute.Set.HasValue
  • attribute.Set.Equals
  • attribute.Set.Len
Umgebung
go 1.26
Erstellt
2026-08-18T13:21:35Z

Contract

  1. attribute.NewSet creates an immutable key-value set that allows O(1) attribute lookup by key.
  2. Duplicate keys are deduplicated during NewSet construction where the last value for a given key takes precedence.
  3. Set equality via Equals correctly matches sets containing identical key-values regardless of original insertion order.
  4. Calling NewSet with no arguments returns an empty Set with Len == 0.

Dateien

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • spec.json
  • test/contract_test.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 go@1
    ed25519:2175b912ea1c23b1