サンプル

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

sha256:5a2c2c8bd9b5b8875ac55ff70ae3658bddac96cf3c1038e25abe749658e6a5ec

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.ParseConfig parses PostgreSQL URI connection strings, extracting host, port, user, database, and query parameters
assert pgx.ParseConfig parses key-value DSN connection strings into ConnConfig
assert pgx.ParseConfig rejects invalid connection strings with an error
assert pgtype.Range[T] decodes int4range text format with inclusive and exclusive boundary flags
assert pgtype.Range[T] supports unbounded bounds and empty range representations
assert pgtype.Interval parses PostgreSQL text interval into months, days, and microseconds
assert pgtype.Timestamptz parses timestamp with timezone and recognizes negative infinity modifier
assert pgx.Batch queues multiple SQL statements and tracks batch execution length

匿名