CodeSampleX

Пример

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

sha256:446a5f4017dee43a651e1e1f00cd01208c3374f0448a3bef7bf90aefa47e742c

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

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

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

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда windows 11 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/github.com/google/uuid@v1.6.0
Пакеты
Символы
  • uuid.New
  • uuid.NewString
  • uuid.Parse
  • uuid.ParseBytes
  • uuid.Validate
  • uuid.Must
Создан
2026-08-19T02:51:51Z

Контракт

  1. uuid.New generates a non-nil 16-byte RFC4122 version 4 UUID
  2. uuid.NewString returns a 36-character hyphenated UUID string
  3. uuid.Parse correctly parses a valid UUID string into matching uuid.UUID
  4. uuid.ParseBytes correctly parses a valid 36-byte UUID slice into matching uuid.UUID
  5. uuid.Validate validates canonical hyphenated UUID strings and reports errors for malformed strings
  6. uuid.Must returns valid UUID on nil error and panics when error is not nil

Файлы

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

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

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

аноним