CodeSampleX

Пример

Generate deterministic RFC4122 version 3 (MD5) and version 5 (SHA-1) name-based UUIDs with standard namespaces

sha256:417423770ee57bc2c7e1bc56f06d747791b1ad1be701d11abb3af2795eb671ac

Статус публикации. 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 wsl

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

Окружение Контракт Этапы Запуск
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
Цель
Generate deterministic RFC4122 version 3 (MD5) and version 5 (SHA-1) name-based UUIDs with standard namespaces
Пакеты
Символы
  • uuid.NewMD5
  • uuid.NewSHA1
Создан
2026-08-18T21:56:21Z

Контракт

  1. assert uuid.NewMD5 generates deterministic RFC4122 version 3 UUIDs for standard namespaces
  2. assert uuid.NewSHA1 generates deterministic RFC4122 version 5 UUIDs for standard namespaces
  3. assert distinct namespaces produce different UUIDs for identical input data
  4. assert distinct input data produces different UUIDs within the same namespace
  5. assert MD5 (v3) and SHA1 (v5) produce distinct UUIDs for identical namespace and input data
  6. assert NewMD5 and NewSHA1 with custom namespace UUIDs produce valid Version 3 and Version 5 RFC4122 UUIDs

Файлы

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

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

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

аноним