CodeSampleX

Пример

verify pkg:golang/golang.org/x/sync@v0.22.0

sha256:b48b87cfb762b19b87a9e14cfa4c246213ffb3bcc3308a534d6e0055f6323576

Статус публикации. 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:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1		 2026-08-20

Кейс

HOW
Цель
verify pkg:golang/golang.org/x/sync@v0.22.0
Пакеты
Символы
  • errgroup.WithContext
  • errgroup.Group.SetLimit
  • semaphore.NewWeighted
  • singleflight.Group
Создан
2026-08-20T20:40:28Z

Контракт

  1. errgroup.WithContext cancels derived context and returns error on first subtask failure
  2. errgroup.Group with SetLimit limits maximum concurrent task executions
  3. semaphore.NewWeighted manages weighted access with TryAcquire, Acquire, and Release
  4. singleflight.Group deduplicates concurrent executions for identical keys

Файлы

  • PROMPT.md
  • contract_test.go
  • csx.json
  • go.mod
  • go.sum
  • spec.json
  • sync_sample.go

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

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

аноним