샘플

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

sha256:a8f04765568dbb34c53ffbbc7a742a078612875908b5368036b92a478c748856

MIT-0

실행 증거

선언된 환경과 서명된 검증 실행을 분리해 이 샘플이 실제로 증명하는 범위를 보여줍니다.

선언된 환경 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

assert pgx.CopyFromRows creates a CopyFromSource over row slices that iterates sequentially and returns row values
assert pgx.CopyFromRows handles empty row sets with immediate false Next() and nil error
assert pgx.CopyFromRows preserves heterogeneous value types including integers, strings, floats, booleans, byte slices, and nil
assert pgx.CopyFromSlice creates a dynamic generator CopyFromSource passing sequential indices from 0 to length-1
assert pgx.CopyFromSlice records generator errors in Err() and propagates them on Values()
assert pgx.CopyFromFunc creates a stream CopyFromSource that terminates when returning nil row or an error
assert pgx.CopyFromFunc captures stream errors and terminates Next() iteration immediately
assert CopyFromRows, CopyFromSlice, and CopyFromFunc implement the pgx.CopyFromSource interface

익명