CodeSampleX

Пример

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

sha256:790af6712925de14871c37b6dff75594fa6d129fee8ec89b8da639a4bd86fc09

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

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

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
1
Ключи подписи, собравшие его
1
Заявленная среда 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@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-27

Кейс

HOW
Цель
verify golang.org/x/sync/syncmap.Map in pkg:golang/golang.org/x/sync@v0.22.0
Пакеты
Символы
  • golang.org/x/sync/syncmap.Map
Создан
2026-08-27T22:02:28Z

Контракт

  1. syncmap.Map Store stores key-value pair and Load retrieves it
  2. syncmap.Map Load on nonexistent key returns ok=false
  3. syncmap.Map LoadOrStore returns existing value if present without modifying
  4. syncmap.Map LoadOrStore stores and returns new value when key is absent
  5. syncmap.Map LoadAndDelete deletes key and returns previous value and loaded=true
  6. syncmap.Map Delete removes key from map
  7. syncmap.Map Swap replaces value and returns previous value
  8. syncmap.Map CompareAndSwap conditionally replaces value when old matches
  9. syncmap.Map CompareAndDelete conditionally deletes key when old matches
  10. syncmap.Map Range iterates over entries and stops when callback returns false
  11. syncmap.Map safely handles concurrent reads and writes from multiple goroutines

Файлы

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

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

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

аноним