CodeSampleX

Пример

verify pkg:golang/github.com/google/uuid@v1.6.0

sha256:162151f43d14943647e7ff53169bdd89c69beea37b689fe0c8a0a47b37006bf4

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

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

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

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда go 1.26 windows 11 x64 go 1.26 go go 1

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

Окружение Контракт Этапы Запуск
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/github.com/google/uuid@v1.6.0
Пакеты
Окружение
go 1.26.5
Создан
2026-08-19T07:02:00Z

Контракт

  1. uuid.New returns a valid 16-byte RFC 4122 Version 4 UUID with non-zero bytes
  2. uuid.NewString returns a valid 36-character string formatted as 8-4-4-4-12 hex digits
  3. uuid.Parse decodes valid UUID strings and rejects malformed strings with an error
  4. uuid.Validate verifies canonical UUID string format and returns error on invalid input
  5. uuid.MustParse parses valid UUID string without panic and panics on invalid input
  6. uuid.FromBytes creates UUID from 16-byte slice and rejects slices not equal to 16 bytes
  7. uuid.NewV7 returns a Version 7 UUID with monotonically non-decreasing timestamps
  8. uuid.NullUUID correctly handles valid and null UUID values for SQL and JSON serialization

Файлы

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

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

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

аноним