github.com/jackc/puddle v1.3.0

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify pkg:golang/github.com/jackc/puddle@v1.3.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/github.com/jackc/puddle@v1.3.0

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:1bb2bf5b0c8ddf10d763e3fe0fae15e865d7f1be911fa7488ecfc58cf5841e30","contract":["puddle.NewPool initializes a pool with the specified maximum capacity and zero total resources","pool.Acquire constructs and returns a new resource when capacity is available and res.Value retrieves the underlying value","res.Release returns the resource to the pool making it idle, allowing subsequent acquire calls to reuse it","pool.TryAcquire returns puddle.ErrNotAvailable when all pool capacity is in use","res.Destroy invokes the destructor callback and permanently removes the resource from the pool","pool.Close closes the pool and causes subsequent acquire calls to fail with puddle.ErrClosedPool"],"goal":"verify pkg:golang/github.com/jackc/puddle@v1.3.0","kind":"HOW","packages":["pkg:golang/github.com/jackc/puddle@v1.3.0"],"schemaVersion":1},"contractCommand":["go","run","./test"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","language":"go","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","packageManagerVersion":"1.26.6","runtime":"go","runtimeVersion":"1.26.6","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/github.com/jackc/puddle@v1.3.0"],"schemaVersion":1,"subject":"pkg:golang/github.com/jackc/puddle@v1.3.0","verifierAdapter":"golang@1"}

module sample

go 1.26.6

require github.com/jackc/puddle v1.3.0

github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/jackc/puddle v1.3.0 h1:eHK/5clGOatcjX3oWGBO/MpxpbHzSwud5EWTSCI+MX0=
github.com/jackc/puddle v1.3.0/go.mod h1:m4B5Dj62Y0fbyuIc15OsIqK0+JU8nkqQjsgx7dvjSWk=
github.com/pmezard/go-difflib v1.0.0 h1:4DBwDE0NGyQoBHbLQYPwSUPoCMWR5BEzIk/f1lZbAQM=
github.com/pmezard/go-difflib v1.0.0/go.mod h1:iKH77koFhYxTK1pcRnkKkqfTogsbg7gZNVY4sRDYZ/4=
github.com/stretchr/objx v0.1.0/go.mod h1:HFkY916IF+rwdDfMAkV7OtwuqBVzrE8GR6GFx+wExME=
github.com/stretchr/testify v1.3.0 h1:TivCn/peBQ7UY8ooIcPgZFpTNSz0Q2U6UrFlUfqbe0Q=
github.com/stretchr/testify v1.3.0/go.mod h1:M5WIy9Dh21IEIfnGCwXGc5bZfKNJtfHm1UVUgZn+9EI=

package main

import (
	"context"
	"fmt"

	"github.com/jackc/puddle"
)

type Item struct {
	ID int
}

func main() {
	var counter int
	constructor := func(ctx context.Context) (interface{}, error) {
		counter++
		return &Item{ID: counter}, nil
	}

	destructor := func(res interface{}) {
		_ = res.(*Item)
	}

	maxSize := int32(5)
	pool := puddle.NewPool(constructor, destructor, maxSize)
	defer pool.Close()

	ctx := context.Background()
	res, err := pool.Acquire(ctx)
	if err != nil {
		fmt.Printf("Failed to acquire resource: %v\n", err)
		return
	}

	item := res.Value().(*Item)
	fmt.Printf("Acquired item with ID %d\n", item.ID)

	res.Release()
	fmt.Println("Successfully released item back to the pool")
}

{
  "schemaVersion": 1,
  "goal": "verify pkg:golang/github.com/jackc/puddle@v1.3.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/github.com/jackc/puddle@v1.3.0"
  ]
}

package main

import (
	"context"
	"errors"
	"fmt"
	"os"
	"time"

	"github.com/jackc/puddle"
)

type contractItem struct {
	id int
}

func main() {
	// Assertion 1: puddle.NewPool initializes a pool with the specified maximum capacity and zero total resources
	{
		constructor := func(ctx context.Context) (interface{}, error) {
			return &contractItem{id: 1}, nil
		}
		destructor := func(res interface{}) {}

		pool := puddle.NewPool(constructor, destructor, 5)
		stat := pool.Stat()
		if stat.MaxResources() != 5 {
			fmt.Fprintf(os.Stderr, "assertion 1 failed: expected MaxResources 5, got %d\n", stat.MaxResources())
			os.Exit(1)
		}
		if stat.TotalResources() != 0 {
			fmt.Fprintf(os.Stderr, "assertion 1 failed: expected TotalResources 0, got %d\n", stat.TotalResources())
			os.Exit(1)
		}
		pool.Close()
	}

	// Assertion 2: pool.Acquire constructs and returns a new resource when capacity is available and res.Value retrieves the underlying value
	{
		createCount := 0
		constructor := func(ctx context.Context) (interface{}, error) {
			createCount++
			return &contractItem{id: createCount}, nil
		}
		destructor := func(res interface{}) {}

		pool := puddle.NewPool(constructor, destructor, 3)
		ctx := context.Background()

		res, err := pool.Acquire(ctx)
		if err != nil {
			fmt.Fprintf(os.Stderr, "assertion 2 failed: unexpected acquire error: %v\n", err)
			os.Exit(1)
		}
		item, ok := res.Value().(*contractItem)
		if !ok || item.id != 1 {
			fmt.Fprintf(os.Stderr, "assertion 2 failed: unexpected item value: %+v\n", item)
			os.Exit(1)
		}
		if pool.Stat().AcquiredResources() != 1 {
			fmt.Fprintf(os.Stderr, "assertion 2 failed: expected AcquiredResources 1, got %d\n", pool.Stat().AcquiredResources())
			os.Exit(1)
		}
		res.Release()
		pool.Close()
	}

	// Assertion 3: res.Release returns the resource to the pool making it idle, allowing subsequent acquire calls to reuse it
	{
		createCount := 0
		constructor := func(ctx context.Context) (interface{}, error) {
			createCount++
			return &contractItem{id: createCount}, nil
		}
		destructor := func(res interface{}) {}

		pool := puddle.NewPool(constructor, destructor, 2)
		ctx := context.Background()

		res1, err := pool.Acquire(ctx)
		if err != nil {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: acquire 1 error: %v\n", err)
			os.Exit(1)
		}
		res1.Release()

		if pool.Stat().IdleResources() != 1 {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: expected 1 idle resource, got %d\n", pool.Stat().IdleResources())
			os.Exit(1)
		}

		res2, err := pool.Acquire(ctx)
		if err != nil {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: acquire 2 error: %v\n", err)
			os.Exit(1)
		}
		if createCount != 1 || res2.Value().(*contractItem).id != 1 {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: resource was not reused\n")
			os.Exit(1)
		}
		res2.Release()
		pool.Close()
	}

	// Assertion 4: pool.TryAcquire returns puddle.ErrNotAvailable when all pool capacity is in use
	{
		constructor := func(ctx context.Context) (interface{}, error) {
			return &contractItem{id: 42}, nil
		}
		destructor := func(res interface{}) {}

		pool := puddle.NewPool(constructor, destructor, 1)
		ctx := context.Background()

		res, err := pool.Acquire(ctx)
		if err != nil {
			fmt.Fprintf(os.Stderr, "assertion 4 failed: acquire error: %v\n", err)
			os.Exit(1)
		}

		_, tryErr := pool.TryAcquire(ctx)
		if !errors.Is(tryErr, puddle.ErrNotAvailable) {
			fmt.Fprintf(os.Stderr, "assertion 4 failed: expected ErrNotAvailable, got: %v\n", tryErr)
			os.Exit(1)
		}

		res.Release()
		pool.Close()
	}

	// Assertion 5: res.Destroy invokes the destructor callback and permanently removes the resource from the pool
	{
		destructChan := make(chan int, 1)
		constructor := func(ctx context.Context) (interface{}, error) {
			return &contractItem{id: 99}, nil
		}
		destructor := func(res interface{}) {
			destructChan <- res.(*contractItem).id
		}

		pool := puddle.NewPool(constructor, destructor, 2)
		ctx := context.Background()

		res, err := pool.Acquire(ctx)
		if err != nil {
			fmt.Fprintf(os.Stderr, "assertion 5 failed: acquire error: %v\n", err)
			os.Exit(1)
		}

		res.Destroy()

		select {
		case id := <-destructChan:
			if id != 99 {
				fmt.Fprintf(os.Stderr, "assertion 5 failed: unexpected destroyed ID: %d\n", id)
				os.Exit(1)
			}
		case <-time.After(2 * time.Second):
			fmt.Fprintf(os.Stderr, "assertion 5 failed: destructor not called within timeout\n")
			os.Exit(1)
		}

		pool.Close()
		if pool.Stat().TotalResources() != 0 {
			fmt.Fprintf(os.Stderr, "assertion 5 failed: expected TotalResources 0 after destroy and close, got %d\n", pool.Stat().TotalResources())
			os.Exit(1)
		}
	}

	// Assertion 6: pool.Close closes the pool and causes subsequent acquire calls to fail with puddle.ErrClosedPool
	{
		constructor := func(ctx context.Context) (interface{}, error) {
			return &contractItem{id: 100}, nil
		}
		destructor := func(res interface{}) {}

		pool := puddle.NewPool(constructor, destructor, 2)
		pool.Close()

		ctx := context.Background()
		_, err := pool.Acquire(ctx)
		if !errors.Is(err, puddle.ErrClosedPool) {
			fmt.Fprintf(os.Stderr, "assertion 6 failed: expected ErrClosedPool, got: %v\n", err)
			os.Exit(1)
		}
	}

	fmt.Println("All contract assertions passed successfully.")
}