go.opentelemetry.io/otel v1.44.0: attribute.INT64

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 go.opentelemetry.io/otel/attribute.INT64 in pkg:golang/go.opentelemetry.io/otel@v1.44.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/go.opentelemetry.io/otel@v1.44.0
Demonstrate these symbols/APIs:
  - go.opentelemetry.io/otel/attribute.INT64

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:e696c49a9b18255322719cf8b3533630e8c240169a511602f4a87cf92759ee82","contract":["attribute.INT64 represents the 64-bit signed integer Type in the attribute package.","attribute.Int64 and attribute.Int64Value produce values with Type equal to attribute.INT64.","attribute.Key.Int64 creates an equivalent KeyValue with Type attribute.INT64 for the specified key.","Values of Type attribute.INT64 can be retrieved using AsInt64 and Emit accurately represents the signed integer.","attribute.INT64 KeyValues can be added to an attribute.Set, preserving key uniqueness and value lookup.","attribute.INT64 values handle extreme int64 bounds including math.MinInt64, 0, and math.MaxInt64."],"goal":"verify go.opentelemetry.io/otel/attribute.INT64 in pkg:golang/go.opentelemetry.io/otel@v1.44.0","kind":"HOW","packages":["pkg:golang/go.opentelemetry.io/otel@v1.44.0"],"schemaVersion":1,"symbols":["go.opentelemetry.io/otel/attribute.INT64"]},"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/go.opentelemetry.io/otel@v1.44.0"],"schemaVersion":1,"subject":"pkg:golang/go.opentelemetry.io/otel@v1.44.0","symbols":["go.opentelemetry.io/otel/attribute.INT64"],"verifierAdapter":"golang@1"}

module sample

go 1.26.6

require go.opentelemetry.io/otel v1.44.0

require github.com/cespare/xxhash/v2 v2.3.0 // indirect

github.com/cespare/xxhash/v2 v2.3.0 h1:UL815xU9SqsFlibzuggzjXhog7bL6oX9BbNZnL2UFvs=
github.com/cespare/xxhash/v2 v2.3.0/go.mod h1:VGX0DQ3Q6kWi7AoAeZDth3/j3BFtOZR5XLFGgcrjCOs=
github.com/davecgh/go-spew v1.1.1 h1:vj9j/u1bqnvCEfJOwUhtlOARqs3+rkHYY13jYWTU97c=
github.com/davecgh/go-spew v1.1.1/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
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/testify v1.11.1 h1:7s2iGBzp5EwR7/aIZr8ao5+dra3wiQyKjjFuvgVKu7U=
github.com/stretchr/testify v1.11.1/go.mod h1:wZwfW3scLgRK+23gO65QZefKpKQRnfz6sD981Nm4B6U=
go.opentelemetry.io/otel v1.44.0 h1:JjwHmHpA4iZ3wBxluu2fbbE7j4kqlE8jXyAyPXH7HqU=
go.opentelemetry.io/otel v1.44.0/go.mod h1:BMgjTHL9WPRlRjL2oZCBTL4whCGtXch2H4BhOPIAyYc=
gopkg.in/yaml.v3 v3.0.1 h1:fxVm/GzAzEWqLHuvctI91KS9hhNmmWOoWu0XTYJS7CA=
gopkg.in/yaml.v3 v3.0.1/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=

package main

import (
	"fmt"

	"go.opentelemetry.io/otel/attribute"
)

func main() {
	kv := attribute.Int64("http.status_code", 200)
	fmt.Printf("Key: %s, Value: %d, Type: %s (is INT64: %t)\n",
		kv.Key, kv.Value.AsInt64(), kv.Value.Type(), kv.Value.Type() == attribute.INT64)

	key := attribute.Key("retry.count")
	retryKV := key.Int64(3)
	fmt.Printf("Key: %s, Value: %d, Type: %s\n", retryKV.Key, retryKV.Value.AsInt64(), retryKV.Value.Type())

	val := attribute.Int64Value(42)
	fmt.Printf("Type: %s, Value: %d\n", val.Type(), val.AsInt64())

	set := attribute.NewSet(kv, retryKV)
	if v, ok := set.Value("http.status_code"); ok {
		fmt.Printf("Set lookup 'http.status_code': %d (Type: %s)\n", v.AsInt64(), v.Type())
	}
}

{
  "schemaVersion": 1,
  "goal": "verify go.opentelemetry.io/otel/attribute.INT64 in pkg:golang/go.opentelemetry.io/otel@v1.44.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/go.opentelemetry.io/otel@v1.44.0"
  ],
  "symbols": [
    "go.opentelemetry.io/otel/attribute.INT64"
  ]
}

package main

import (
	"fmt"
	"math"
	"os"

	"go.opentelemetry.io/otel/attribute"
)

func main() {
	// Assertion 1: attribute.INT64 represents the 64-bit signed integer Type in the attribute package.
	if attribute.INT64.String() != "INT64" {
		fmt.Fprintf(os.Stderr, "FAIL: expected attribute.INT64.String() to be 'INT64', got '%s'\n", attribute.INT64.String())
		os.Exit(1)
	}

	// Assertion 2: attribute.Int64 and attribute.Int64Value produce values with Type equal to attribute.INT64.
	kv := attribute.Int64("http.status_code", 200)
	if kv.Key != attribute.Key("http.status_code") {
		fmt.Fprintf(os.Stderr, "FAIL: expected key 'http.status_code', got '%s'\n", kv.Key)
		os.Exit(1)
	}
	if kv.Value.Type() != attribute.INT64 {
		fmt.Fprintf(os.Stderr, "FAIL: expected INT64 type, got %v\n", kv.Value.Type())
		os.Exit(1)
	}
	if !kv.Valid() {
		fmt.Fprintf(os.Stderr, "FAIL: expected valid KeyValue\n")
		os.Exit(1)
	}

	v := attribute.Int64Value(42)
	if v.Type() != attribute.INT64 {
		fmt.Fprintf(os.Stderr, "FAIL: expected Int64Value to have type INT64, got %v\n", v.Type())
		os.Exit(1)
	}
	if v.AsInt64() != 42 {
		fmt.Fprintf(os.Stderr, "FAIL: expected AsInt64() to be 42, got %d\n", v.AsInt64())
		os.Exit(1)
	}

	// Assertion 3: attribute.Key.Int64 creates an equivalent KeyValue with Type attribute.INT64 for the specified key.
	key := attribute.Key("http.status_code")
	kvFromKey := key.Int64(200)
	if kvFromKey != kv {
		fmt.Fprintf(os.Stderr, "FAIL: expected key.Int64 to match attribute.Int64\n")
		os.Exit(1)
	}
	if kvFromKey.Value.Type() != attribute.INT64 {
		fmt.Fprintf(os.Stderr, "FAIL: expected key.Int64 value type to be INT64\n")
		os.Exit(1)
	}

	// Assertion 4: Values of Type attribute.INT64 can be retrieved using AsInt64 and Emit accurately represents the signed integer.
	if val := kv.Value.AsInt64(); val != 200 {
		fmt.Fprintf(os.Stderr, "FAIL: expected AsInt64 200, got %d\n", val)
		os.Exit(1)
	}
	if emitted := kv.Value.Emit(); emitted != "200" {
		fmt.Fprintf(os.Stderr, "FAIL: expected Emit '200', got '%s'\n", emitted)
		os.Exit(1)
	}

	// Assertion 5: attribute.INT64 KeyValues can be added to an attribute.Set, preserving key uniqueness and value lookup.
	set := attribute.NewSet(
		attribute.Int64("count", 10),
		attribute.Int64("limit", 100),
		attribute.Int64("count", 20), // overwrite duplicate key
	)
	if set.Len() != 2 {
		fmt.Fprintf(os.Stderr, "FAIL: expected set length 2, got %d\n", set.Len())
		os.Exit(1)
	}
	if val, ok := set.Value("count"); !ok || val.Type() != attribute.INT64 || val.AsInt64() != 20 {
		fmt.Fprintf(os.Stderr, "FAIL: expected count to be int64 20, got %v (ok=%v)\n", val, ok)
		os.Exit(1)
	}
	if val, ok := set.Value("limit"); !ok || val.Type() != attribute.INT64 || val.AsInt64() != 100 {
		fmt.Fprintf(os.Stderr, "FAIL: expected limit to be int64 100, got %v (ok=%v)\n", val, ok)
		os.Exit(1)
	}
	if _, ok := set.Value("missing"); ok {
		fmt.Fprintf(os.Stderr, "FAIL: expected missing key lookup to return false\n")
		os.Exit(1)
	}

	// Assertion 6: attribute.INT64 values handle extreme int64 bounds including math.MinInt64, 0, and math.MaxInt64.
	bounds := []int64{math.MinInt64, -1, 0, 1, math.MaxInt64}
	for _, b := range bounds {
		bVal := attribute.Int64Value(b)
		if bVal.Type() != attribute.INT64 {
			fmt.Fprintf(os.Stderr, "FAIL: expected INT64 type for bound %d\n", b)
			os.Exit(1)
		}
		if bVal.AsInt64() != b {
			fmt.Fprintf(os.Stderr, "FAIL: expected %d, got %d\n", b, bVal.AsInt64())
			os.Exit(1)
		}
		expectedEmit := fmt.Sprintf("%d", b)
		if bVal.Emit() != expectedEmit {
			fmt.Fprintf(os.Stderr, "FAIL: expected Emit '%s', got '%s'\n", expectedEmit, bVal.Emit())
			os.Exit(1)
		}
	}

	fmt.Println("PASS: all attribute.INT64 contract assertions passed.")
}