golang.org/x/sys v0.0.0-20220406155245-289d7a0edf71: unix.ByteSliceToString

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 golang.org/x/sys/unix.ByteSliceToString in pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71
Demonstrate these symbols/APIs:
  - golang.org/x/sys/unix.ByteSliceToString

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:6561f66854f31f77fbcc31d74c7bab432afde2d77a303cc2586c03561adff521","contract":["unix.ByteSliceToString converts null-terminated byte slice to string truncated at first null byte","unix.ByteSliceToString returns empty string for empty byte slice or slice starting with null byte","unix.ByteSliceToString returns full string when byte slice contains no null bytes"],"goal":"verify golang.org/x/sys/unix.ByteSliceToString in pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71","kind":"HOW","packages":["pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71"],"schemaVersion":1,"symbols":["golang.org/x/sys/unix.ByteSliceToString"]},"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/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71"],"schemaVersion":1,"subject":"pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71","symbols":["golang.org/x/sys/unix.ByteSliceToString"],"verifierAdapter":"golang@1"}

module sample

go 1.25.0

require golang.org/x/sys v0.0.0-20220406155245-289d7a0edf71

golang.org/x/sys v0.0.0-20220406155245-289d7a0edf71 h1:PRD0hj6tTuUnCFD08vkvjkYFbQg/9lV8KIxe1y4/cvU=
golang.org/x/sys v0.0.0-20220406155245-289d7a0edf71/go.mod h1:oPkhp1MJrh7nUepCBck5+mAzfO9JrbApNNgaTdGDITg=

package main

import (
	"fmt"

	"golang.org/x/sys/unix"
)

func main() {
	buf := []byte{'C', 'o', 'd', 'e', 'S', 'a', 'm', 'p', 'l', 'e', 'X', 0, 'e', 'x', 't', 'r', 'a'}
	str := unix.ByteSliceToString(buf)
	fmt.Println("Converted string:", str)
}

{
  "schemaVersion": 1,
  "goal": "verify golang.org/x/sys/unix.ByteSliceToString in pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71",
  "kind": "HOW",
  "packages": [
    "pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71"
  ],
  "symbols": [
    "golang.org/x/sys/unix.ByteSliceToString"
  ]
}

package main

import (
	"fmt"
	"os"

	"golang.org/x/sys/unix"
)

func main() {
	// Assertion 1: unix.ByteSliceToString converts null-terminated byte slice to string truncated at first null byte
	buf := []byte{'C', 'o', 'd', 'e', 'S', 'a', 'm', 'p', 'l', 'e', 'X', 0, 'e', 'x', 't', 'r', 'a'}
	got := unix.ByteSliceToString(buf)
	want := "CodeSampleX"
	if got != want {
		fmt.Fprintf(os.Stderr, "Assertion failed: ByteSliceToString got %q, want %q\n", got, want)
		os.Exit(1)
	}

	// Assertion 2: unix.ByteSliceToString returns empty string for empty byte slice or slice starting with null byte
	emptyBuf := []byte{}
	if gotEmpty := unix.ByteSliceToString(emptyBuf); gotEmpty != "" {
		fmt.Fprintf(os.Stderr, "Assertion failed: ByteSliceToString(empty) got %q, want empty string\n", gotEmpty)
		os.Exit(1)
	}
	nullStartBuf := []byte{0, 'a', 'b', 'c'}
	if gotNullStart := unix.ByteSliceToString(nullStartBuf); gotNullStart != "" {
		fmt.Fprintf(os.Stderr, "Assertion failed: ByteSliceToString(nullStart) got %q, want empty string\n", gotNullStart)
		os.Exit(1)
	}

	// Assertion 3: unix.ByteSliceToString returns full string when byte slice contains no null bytes
	noNullBuf := []byte{'h', 'e', 'l', 'l', 'o'}
	if gotNoNull := unix.ByteSliceToString(noNullBuf); gotNoNull != "hello" {
		fmt.Fprintf(os.Stderr, "Assertion failed: ByteSliceToString(noNull) got %q, want %q\n", gotNoNull, "hello")
		os.Exit(1)
	}

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