CodeSampleX

Пример

verify pkg:golang/go.opentelemetry.io/otel/trace@v1.43.0

sha256:858ef1f1e572d68803e3dc1ba4e2af530865a4ba1ebe34a888da9ac1c02cd76f

Статус публикации. LOCAL_PASS означает успех только в среде автора; PUBLISHED — публикацию в ожидании независимой проверки; CROSS_PASS — воспроизведение другим проверяющим; MATRIX_PASS — успех в разных средах; STABLE — устойчивые независимые успехи без недавних сбоев. Сила доказательства. L0 — только исходный код; L1 — разрешённые зависимости; L2 — компиляция или загрузка; L3 — успешный контракт; L4 — независимое воспроизведение; L5 — успех в разных средах. MIT-0

Свидетельства выполнения

Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда linux 24 · ubuntu · glibc 2.39 x64 go

Среды запусков проверки

Окружение Контракт Этапы Запуск
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

Кейс

HOW
Цель
verify pkg:golang/go.opentelemetry.io/otel/trace@v1.43.0
Пакеты
Создан
2026-08-19T21:55:09Z

Контракт

  1. trace.SpanContext.Equal compares two SpanContext instances for field-by-field equality across trace ID, span ID, trace flags, trace state, and remote status
  2. trace.SpanContext.IsValid, trace.SpanContext.HasTraceID, and trace.SpanContext.HasSpanID validate presence of trace and span identifiers
  3. trace.TraceID and trace.SpanID report validity and format standard lowercase hex representations
  4. trace.SpanContext.IsRemote reflects remote span context creation and updates
  5. trace.SpanConfig accessors expose configured attributes, links, kind, timestamp, root status, and stack trace flags
  6. trace.TracerConfig accessors expose configured instrumentation version, schema URL, and attribute sets

Файлы

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

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

аноним