CodeSampleX

Пример

verify github.com/jackc/pgtype.Null in pkg:golang/github.com/jackc/pgtype@v1.14.0

sha256:a27729d1b24fd23ce22908e26894ad424eca4430feed3115a33da492ea0e3009

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

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

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
1
Ключи подписи, собравшие его
1
Заявленная среда go 1.26 linux 24 · ubuntu · glibc 2.39 amd64 go 1.26 go 1.26 go 1

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

Окружение Контракт Этапы Запуск
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-26

Кейс

HOW
Цель
verify github.com/jackc/pgtype.Null in pkg:golang/github.com/jackc/pgtype@v1.14.0
Пакеты
Символы
  • github.com/jackc/pgtype.Null
Окружение
go 1.26.6
Создан
2026-08-26T12:53:31Z

Контракт

  1. pgtype.Null is Status constant 1 representing SQL NULL, distinct from Undefined (0) and Present (2)
  2. pgtype.Text.Set and pgtype.Int4.Set with nil or typed nil pointer set status to pgtype.Null, and Get returns nil
  3. pgtype.Text.Value returns nil driver.Value for Null status without error, whereas Undefined status returns an error
  4. pgtype.Text.Scan with nil sets status to pgtype.Null
  5. pgtype.Text.AssignTo with Null status sets pointer-to-pointer or slice to nil, and returns an error for direct value destination
  6. pgtype.Text.EncodeText and EncodeBinary return nil bytes for Null status without error, whereas Undefined status returns an error
  7. pgtype.Text.DecodeText and DecodeBinary with nil slice set status to pgtype.Null

Файлы

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

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

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

аноним