サンプル

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

ゴール: verify pkg:golang/github.com/jackc/pgx/v5@v5.10.0
パッケージ: github.com/jackc/pgx/v5 v5.10.0
シンボル: pgx.CopyFromRows
pgx.CopyFromSlice
pgx.CopyFromFunc
pgx.CopyFromSource
作成日: 2026-08-19T11:29:24Z

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

匿名