CodeSampleX

サンプル

github.com/jackc/puddle/v2 v2.2.2: create and manage a generic resource pool with puddle.NewPool

検証済みサンプル — golang github.com/jackc/puddle/v2 v2.2.2: create and manage a generic resource pool with puddle.NewPool. go 1.26 · linux alpine/x64 · docker で…

sha256:34a05247790eed03624445ab20a18f0edacaa91da601416d164f4b3821065fec

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
1
ビルドした署名鍵
1
宣言された環境 linux 24 · ubuntu · glibc 2.39 x64 go

検証実行環境

環境 コントラクト ステージ 実行日
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1		 2026-08-21

ケース

HOW
ゴール
create and manage a generic resource pool with puddle.NewPool
パッケージ
作成日
2026-08-21T00:44:46Z

コントラクト

  1. puddle.NewPool initializes a type-parameterized resource pool with constructor and MaxSize config
  2. pool.Acquire creates and leases a resource handle whose Value is accessible and increments AcquiredResources
  3. resource.Release returns the resource to the pool making it available as an idle resource
  4. resource.Destroy removes the resource from the pool invoking the Destructor callback
  5. pool.Close closes the pool and causes subsequent Acquire calls to return ErrClosedPool

ファイル

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

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

匿名