Пример
Differentiate CollectOneRow and CollectExactlyOneRow cardinality enforcement, distinguish empty PostgreSQL ranges from SQL NULL in pgtype.Range, decode infinity timestamps into pgtype.Timestamptz without time.Time failure, and verify nested savepoint transaction lifecycle
sha256:39b6a8729d5dbe2e91f27c744a4aad5510b74b605fdc30802740b9db2bbea784
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Свидетельства выполнения
Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.
Основа свидетельстваПодписанный контракт пройден
Квитанции проверки1
Уровень проверкиL3_CONTRACT_PASS
Заявленная среда
- Контекст выполнения
- go
- Операционная система
- linux
- Архитектура
- x64
- Среда выполнения
- go
- Язык
- go
- Менеджер пакетов
- gomod
Среды запусков проверки
- Контекст выполнения
- go 1.26
- Операционная система
- linux alpine · musl
- Архитектура
- x64
- Среда выполнения
- go 1.26
- Язык
- go
- Менеджер пакетов
- gomod
- Выполнение
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17
Кейс
- Цель
- Differentiate CollectOneRow and CollectExactlyOneRow cardinality enforcement, distinguish empty PostgreSQL ranges from SQL NULL in pgtype.Range, decode infinity timestamps into pgtype.Timestamptz without time.Time failure, and verify nested savepoint transaction lifecycle HOW
- Пакеты
-
github.com/jackc/pgx/v5 v5.10.0
- Окружение
- go
- Создан
- 2026-08-17T20:07:10Z
Что обычно предполагают
CollectOneRow errors when multiple rows match, empty PostgreSQL ranges scan as Valid=false like SQL NULL, and PostgreSQL infinity timestamps scan into time.Time
Автор образца записал здесь то, чего ожидал бы разработчик или модель. Контракт ниже — это то, что действительно выполнялось.
Контракт
- CollectOneRow consumes the first row without error on multi-row results whereas CollectExactlyOneRow rejects multiple rows with ErrTooManyRows
- assert empty PostgreSQL ranges parse as Valid=true with Empty bound types whereas SQL NULL ranges parse as Valid=false
- assert scanning PostgreSQL infinity or -infinity timestamps into time.Time fails whereas pgtype.Timestamptz and pgtype.Timestamp record InfinityModifier
- assert pgtype.Interval preserves calendar Months, Days, and Microseconds as distinct components
- assert pgtype.Bits stores bit length and MSB-aligned byte representations
- assert nested tx.Begin subtransactions execute savepoint, rollback to savepoint, and release savepoint commands leaving outer transaction intact
Файлы
- NOTES.md
- csx.json
- go.mod
- go.sum
- sample_test.go
Скачать артефакт с исходным кодом (tar.gz)
Исходный сидер
csx-seed
Квитанции проверки
- go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9