CodeSampleX

Пример

Parse and format PostgreSQL date and timestamp types using pgtype

sha256:b78061e814f0c24560db5adf4921c7c1c8d18c64b6455defcf7f032c288ee9ae

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

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

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

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда go 1.26 windows 11 x64 go 1.26 go go 1

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

Окружение Контракт Этапы Запуск
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
Цель
Parse and format PostgreSQL date and timestamp types using pgtype
Пакеты
Символы
  • github.com/jackc/pgx/v5/pgtype.Date
  • github.com/jackc/pgx/v5/pgtype.Timestamp
  • github.com/jackc/pgx/v5/pgtype.Timestamptz
Окружение
go 1.26.5
Создан
2026-08-19T05:39:19Z

Контракт

  1. pgtype.Date parses date strings into time.Time and sets Valid to true
  2. pgtype.Date scans time.Time values at midnight UTC and converts to DateValue
  3. pgtype.Date parses infinity and -infinity modifier strings
  4. pgtype.Date formats valid and null date values to driver.Value
  5. pgtype.Date returns an error when scanning invalid date strings
  6. pgtype.Timestamp parses timestamp strings and handles infinity modifiers
  7. pgtype.Timestamp formats valid and null timestamp values to driver.Value
  8. pgtype.Timestamp returns an error when scanning invalid timestamp strings
  9. pgtype.Timestamptz parses timestamp strings with timezone offsets into time.Time
  10. pgtype.Timestamptz formats valid and null timestamptz values to driver.Value
  11. pgtype.Timestamptz returns an error when scanning invalid timestamptz strings

Файлы

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

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

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

аноним