CodeSampleX

Пример

Handle nullable database and JSON UUID values with uuid.NullUUID in google/uuid v1.6.0

sha256:53087a733b6f5edec7b5844c167e2fe5a9dd63ab1aa08ad893515a9824ab493b

Статус публикации. 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
Цель
Handle nullable database and JSON UUID values with uuid.NullUUID in google/uuid v1.6.0
Пакеты
Символы
  • uuid.NullUUID
Создан
2026-08-18T19:15:11Z

Контракт

  1. assert NullUUID with Valid false marshals to JSON null and returns nil driver.Value
  2. assert NullUUID with Valid true marshals to quoted UUID JSON and returns string driver.Value
  3. assert NullUUID UnmarshalJSON parses valid UUID string and unmarshals null literal to Valid false
  4. assert NullUUID Scan accepts byte slice, string, and nil, but rejects invalid types or malformed UUID strings

Файлы

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

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

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

аноним