github.com/mattn/go-sqlite3 v1.14.50: go-sqlite3

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/mattn/go-sqlite3@v1.14.50
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/github.com/mattn/go-sqlite3@v1.14.50
Demonstrate these symbols/APIs:
  - github.com/mattn/go-sqlite3

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:c87ac7651888c4ce04f0317d6b02678414ff15cd82e02dc029b3f19e8a7d551d","contract":["importing github.com/mattn/go-sqlite3 registers the sqlite3 driver with database/sql","sql.Open with sqlite3 driver returns a valid db handle without immediate connection error","connection attempt in non-cgo environment returns the CGO_ENABLED=0 stub error message","sqlite3.SQLiteDriver struct and hook registration fields are accessible"],"goal":"verify pkg:golang/github.com/mattn/go-sqlite3@v1.14.50","kind":"HOW","packages":["pkg:golang/github.com/mattn/go-sqlite3@v1.14.50"],"schemaVersion":1,"symbols":["github.com/mattn/go-sqlite3"]},"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/mattn/go-sqlite3@v1.14.50"],"schemaVersion":1,"subject":"pkg:golang/github.com/mattn/go-sqlite3@v1.14.50","symbols":["github.com/mattn/go-sqlite3"],"verifierAdapter":"golang@1"}

module example.com/sample

go 1.26.6

require github.com/mattn/go-sqlite3 v1.14.50

github.com/mattn/go-sqlite3 v1.14.50 h1:dmdFvo1XG4MPzA4IkAmE9upVz/Nj31uRoM5+jC8hYbY=
github.com/mattn/go-sqlite3 v1.14.50/go.mod h1:6JTjA44L93a0QCyJef5YvlPoKXntQPjzWv5gtm9sB6w=

package main

import (
	"database/sql"
	"fmt"
	"log"
	"strings"

	sqlite3 "github.com/mattn/go-sqlite3"
)

func main() {
	var driverFound bool
	for _, name := range sql.Drivers() {
		if name == "sqlite3" {
			driverFound = true
			break
		}
	}
	if !driverFound {
		log.Fatalf("sqlite3 driver not found in sql.Drivers()")
	}
	fmt.Println("sqlite3 driver registered with database/sql")

	db, err := sql.Open("sqlite3", ":memory:")
	if err != nil {
		log.Fatalf("failed to open database: %v", err)
	}
	defer db.Close()

	err = db.Ping()
	if err == nil {
		fmt.Println("Connected to in-memory SQLite database (CGO enabled)")

		_, err = db.Exec("CREATE TABLE items (id INTEGER PRIMARY KEY AUTOINCREMENT, name TEXT NOT NULL, value INTEGER NOT NULL)")
		if err != nil {
			log.Fatalf("failed to create table: %v", err)
		}

		res, err := db.Exec("INSERT INTO items (name, value) VALUES (?, ?)", "sample_record", 42)
		if err != nil {
			log.Fatalf("failed to insert record: %v", err)
		}

		id, err := res.LastInsertId()
		if err != nil {
			log.Fatalf("failed to get last insert id: %v", err)
		}

		var name string
		var val int
		err = db.QueryRow("SELECT name, value FROM items WHERE id = ?", id).Scan(&name, &val)
		if err != nil {
			log.Fatalf("failed to query record: %v", err)
		}

		fmt.Printf("Queried item %d: %s -> %d\n", id, name, val)
	} else if strings.Contains(err.Error(), "CGO_ENABLED=0") {
		fmt.Println("Observed go-sqlite3 non-cgo stub message at Ping connection time:", err)
	} else {
		log.Fatalf("unexpected ping error: %v", err)
	}

	var customDriver sqlite3.SQLiteDriver
	customDriver.ConnectHook = func(conn *sqlite3.SQLiteConn) error {
		return nil
	}
	fmt.Println("go-sqlite3 sample executed successfully")
}

{
  "schemaVersion": 1,
  "goal": "verify pkg:golang/github.com/mattn/go-sqlite3@v1.14.50",
  "kind": "HOW",
  "packages": [
    "pkg:golang/github.com/mattn/go-sqlite3@v1.14.50"
  ],
  "symbols": [
    "github.com/mattn/go-sqlite3"
  ]
}

package main

import (
	"database/sql"
	"fmt"
	"os"
	"strings"

	sqlite3 "github.com/mattn/go-sqlite3"
)

func main() {
	// Assertion 1: importing github.com/mattn/go-sqlite3 registers the sqlite3 driver with database/sql
	drivers := sql.Drivers()
	found := false
	for _, d := range drivers {
		if d == "sqlite3" {
			found = true
			break
		}
	}
	if !found {
		fmt.Fprintf(os.Stderr, "assertion 1 failed: sqlite3 driver not found in sql.Drivers: %v\n", drivers)
		os.Exit(1)
	}

	// Assertion 2: sql.Open with sqlite3 driver returns a valid db handle without immediate connection error
	db, err := sql.Open("sqlite3", ":memory:")
	if err != nil {
		fmt.Fprintf(os.Stderr, "assertion 2 failed: sql.Open returned error: %v\n", err)
		os.Exit(1)
	}
	defer db.Close()

	if db == nil {
		fmt.Fprintf(os.Stderr, "assertion 2 failed: sql.Open returned nil db\n")
		os.Exit(1)
	}

	// Assertion 3: connection attempt in non-cgo environment returns the CGO_ENABLED=0 stub error message
	err = db.Ping()
	if err == nil {
		fmt.Println("Ping succeeded (cgo enabled)")
	} else {
		expectedMsg := "Binary was compiled with 'CGO_ENABLED=0', go-sqlite3 requires cgo to work. This is a stub"
		if !strings.Contains(err.Error(), expectedMsg) {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: unexpected Ping error: %v (expected %q)\n", err, expectedMsg)
			os.Exit(1)
		}
	}

	// Assertion 4: sqlite3.SQLiteDriver struct and hook registration fields are accessible
	var driver sqlite3.SQLiteDriver
	driver.ConnectHook = func(conn *sqlite3.SQLiteConn) error {
		return nil
	}
	if driver.ConnectHook == nil {
		fmt.Fprintf(os.Stderr, "assertion 4 failed: ConnectHook is nil\n")
		os.Exit(1)
	}

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