CodeSampleX

Пример

verify github.com/jackc/pgx/v5.CollectExactlyOneRow in pkg:golang/github.com/jackc/pgx/v5@v5.10.0

sha256:12649885520ea1283fc5cac85df8c11fc747bb45fef9ae2552b116622030615f

Статус публикации. 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
Цель
verify github.com/jackc/pgx/v5.CollectExactlyOneRow in pkg:golang/github.com/jackc/pgx/v5@v5.10.0
Пакеты
Символы
  • github.com/jackc/pgx/v5.CollectExactlyOneRow
Окружение
go 1.26.5
Создан
2026-08-19T06:23:03Z

Контракт

  1. pgx.CollectExactlyOneRow collects single scalar value using RowTo
  2. pgx.CollectExactlyOneRow collects single struct matching db tags using RowToStructByName
  3. pgx.CollectExactlyOneRow collects single struct positionally using RowToStructByPos
  4. pgx.CollectExactlyOneRow collects single map using RowToMap
  5. pgx.CollectExactlyOneRow transforms single row with custom RowToFunc
  6. pgx.CollectExactlyOneRow returns pgx.ErrNoRows when result set has 0 rows
  7. pgx.CollectExactlyOneRow returns pgx.ErrTooManyRows when result set contains multiple rows
  8. pgx.CollectExactlyOneRow automatically closes rows upon completion, empty rows, too many rows, or scan errors
  9. pgx.CollectExactlyOneRow propagates underlying rows error
  10. sample helpers provide typed single-row scalar, struct, map, pointer, and custom collection utilities using pgx.CollectExactlyOneRow

Файлы

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

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

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

аноним