github.com/mitchellh/go-ps v1.0.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/mitchellh/go-ps@v1.0.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/github.com/mitchellh/go-ps@v1.0.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:97a0ed6f449248f72a27503fd43f7cf5e20680b917e74475a037436fda68127f","contract":["ps.Processes returns a non-empty slice of running OS processes without error","The process list from ps.Processes contains the current running process PID","ps.FindProcess with current process PID returns a matching Process with valid PID, parent PID, and executable name","ps.FindProcess returns nil without error for a non-existent PID"],"goal":"verify pkg:golang/github.com/mitchellh/go-ps@v1.0.0","kind":"HOW","packages":["pkg:golang/github.com/mitchellh/go-ps@v1.0.0"],"schemaVersion":1},"contractCommand":["go","run","./test"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/github.com/mitchellh/go-ps@v1.0.0"],"schemaVersion":1,"subject":"pkg:golang/github.com/mitchellh/go-ps@v1.0.0","verifierAdapter":"golang@1"}

module sample

go 1.26.6

require github.com/mitchellh/go-ps v1.0.0 // indirect

github.com/mitchellh/go-ps v1.0.0 h1:i6ampVEEF4wQFF+bkYfwYgY+F/uYJDktmvLPf7qIgjc=
github.com/mitchellh/go-ps v1.0.0/go.mod h1:J4lOc8z8yJs6vUwklHw2XEIiT4z4C40KtWVN3nvg8Pg=

package main

import (
	"fmt"
	"os"

	ps "github.com/mitchellh/go-ps"
)

func main() {
	procs, err := ps.Processes()
	if err != nil {
		fmt.Fprintf(os.Stderr, "Error listing processes: %v\n", err)
		os.Exit(1)
	}
	fmt.Printf("Total running processes found: %d\n", len(procs))

	pid := os.Getpid()
	proc, err := ps.FindProcess(pid)
	if err != nil {
		fmt.Fprintf(os.Stderr, "Error finding process %d: %v\n", pid, err)
		os.Exit(1)
	}

	if proc != nil {
		fmt.Printf("Current Process -> PID: %d, PPID: %d, Executable: %s\n", proc.Pid(), proc.PPid(), proc.Executable())
	} else {
		fmt.Printf("Process %d not found\n", pid)
	}

	missing, err := ps.FindProcess(99999999)
	fmt.Printf("FindProcess(99999999): err=%v, missing=%v\n", err, missing)
}

{
  "schemaVersion": 1,
  "goal": "verify pkg:golang/github.com/mitchellh/go-ps@v1.0.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/github.com/mitchellh/go-ps@v1.0.0"
  ]
}

package main

import (
	"fmt"
	"os"

	ps "github.com/mitchellh/go-ps"
)

func main() {
	if err := runContract(); err != nil {
		fmt.Fprintf(os.Stderr, "Contract verification failed: %v\n", err)
		os.Exit(1)
	}
	fmt.Println("All go-ps contract assertions passed successfully.")
}

func runContract() error {
	// Assertion 1: ps.Processes returns a non-empty slice of running OS processes without error
	procs, err := ps.Processes()
	if err != nil {
		return fmt.Errorf("expected ps.Processes() to succeed, got error: %w", err)
	}
	if len(procs) == 0 {
		return fmt.Errorf("expected ps.Processes() to return at least one process, got 0")
	}

	// Assertion 2: The process list from ps.Processes contains the current running process PID
	currentPID := os.Getpid()
	var foundInList bool
	for _, p := range procs {
		if p == nil {
			return fmt.Errorf("encountered nil Process in ps.Processes() results")
		}
		if p.Pid() == currentPID {
			foundInList = true
			if p.Executable() == "" {
				return fmt.Errorf("expected non-empty Executable() for current process in list, got empty string")
			}
		}
	}
	if !foundInList {
		return fmt.Errorf("expected current PID %d to be present in ps.Processes() list", currentPID)
	}

	// Assertion 3: ps.FindProcess with current process PID returns a matching Process with valid PID, parent PID, and executable name
	proc, err := ps.FindProcess(currentPID)
	if err != nil {
		return fmt.Errorf("expected ps.FindProcess(%d) to succeed, got error: %w", currentPID, err)
	}
	if proc == nil {
		return fmt.Errorf("expected ps.FindProcess(%d) to return a non-nil Process", currentPID)
	}
	if proc.Pid() != currentPID {
		return fmt.Errorf("expected proc.Pid() == %d, got %d", currentPID, proc.Pid())
	}
	if proc.PPid() < 0 {
		return fmt.Errorf("expected non-negative parent PID, got %d", proc.PPid())
	}
	if proc.Executable() == "" {
		return fmt.Errorf("expected non-empty Executable() for process %d, got empty string", currentPID)
	}

	// Assertion 4: ps.FindProcess returns nil without error for a non-existent PID
	nonExistentPID := 99999999
	missingProc, err := ps.FindProcess(nonExistentPID)
	if err != nil {
		return fmt.Errorf("expected ps.FindProcess(%d) to return nil error, got %w", nonExistentPID, err)
	}
	if missingProc != nil {
		return fmt.Errorf("expected ps.FindProcess(%d) to return nil process, got %+v", nonExistentPID, missingProc)
	}

	return nil
}