CodeSampleX

Пример

validate UUID strings with uuid.Validate and parse byte slices with uuid.ParseBytes

sha256:c29aba409e237b40a3926f0d95dd723ff1d074f8939a2c11d2ea29dce4cb487a

Статус публикации. 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
Цель
validate UUID strings with uuid.Validate and parse byte slices with uuid.ParseBytes
Пакеты
Символы
  • ParseBytes
  • Validate
Создан
2026-08-18T21:37:36Z

Контракт

  1. uuid.Validate returns nil for valid UUID string in standard 8-4-4-4-12 format
  2. uuid.Validate returns error for malformed UUID string with invalid length or characters
  3. uuid.ParseBytes parses byte slice of valid UUID string and returns matching UUID struct
  4. uuid.ParseBytes returns error and Nil UUID when given invalid byte slice
  5. uuid.ParseBytes parses 32-character hex byte slice without dashes successfully

Файлы

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

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

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

аноним