github.com/json-iterator/go v1.1.11: Marshal

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 github.com/json-iterator/go.Marshal in pkg:golang/github.com/json-iterator/go@v1.1.11
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/github.com/json-iterator/go@v1.1.11
Demonstrate these symbols/APIs:
  - github.com/json-iterator/go.Marshal

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:02fa60e5cd3736ee93f9b978766c5506e659ad6e3b252332ed39a67e9edcc5a9","contract":["jsoniter.Marshal encodes primitive values and slices into standard JSON byte slices","jsoniter.Marshal respects json struct tags for custom field naming and omitted empty fields","jsoniter.Marshal escapes HTML special characters including angle brackets and ampersands by default","jsoniter.Marshal returns an error when attempting to serialize unsupported Go types such as channels","jsoniter.Marshal serializes custom types implementing the json.Marshaler interface"],"goal":"verify github.com/json-iterator/go.Marshal in pkg:golang/github.com/json-iterator/go@v1.1.11","kind":"HOW","packages":["pkg:golang/github.com/json-iterator/go@v1.1.11"],"schemaVersion":1,"symbols":["github.com/json-iterator/go.Marshal"]},"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/json-iterator/go@v1.1.11"],"schemaVersion":1,"subject":"pkg:golang/github.com/json-iterator/go@v1.1.11","symbols":["github.com/json-iterator/go.Marshal"],"verifierAdapter":"golang@1"}

module sample

go 1.26.6

require github.com/json-iterator/go v1.1.11

require (
	github.com/modern-go/concurrent v0.0.0-20180228061459-e0a39a4cb421 // indirect
	github.com/modern-go/reflect2 v0.0.0-20180701023420-4b7aa43c6742 // indirect
)

github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
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/gofuzz v1.0.0/go.mod h1:dBl0BpW6vV/+mYPU4Po3pmUjxk6FQPldtuIdl/M65Eg=
github.com/json-iterator/go v1.1.11 h1:uVUAXhF2To8cbw/3xN3pxj6kk7TYKs98NIrTqPlMWAQ=
github.com/json-iterator/go v1.1.11/go.mod h1:KdQUCv79m/52Kvf8AW2vK1V8akMuk1QjK/uOdHXbAo4=
github.com/modern-go/concurrent v0.0.0-20180228061459-e0a39a4cb421 h1:ZqeYNhU3OHLH3mGKHDcjJRFFRrJa6eAM5H+CtDdOsPc=
github.com/modern-go/concurrent v0.0.0-20180228061459-e0a39a4cb421/go.mod h1:6dJC0mAP4ikYIbvyc7fijjWJddQyLn8Ig3JB5CqoB9Q=
github.com/modern-go/reflect2 v0.0.0-20180701023420-4b7aa43c6742 h1:Esafd1046DLDQ0W1YjYsBW+p8U2u7vzgW2SQVmlNazg=
github.com/modern-go/reflect2 v0.0.0-20180701023420-4b7aa43c6742/go.mod h1:bx2lNnkwVCuqBIxFjflWJWanXIb3RllmbCylyMrvgv0=
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 sample

import (
	jsoniter "github.com/json-iterator/go"
)

// MarshalToBytes serializes any Go value into JSON byte slice using jsoniter.Marshal.
func MarshalToBytes(v interface{}) ([]byte, error) {
	return jsoniter.Marshal(v)
}

// UserProfile represents a structured record with JSON tags for field naming and omitempty.
type UserProfile struct {
	Name     string `json:"name"`
	Nickname string `json:"nickname,omitempty"`
	Internal string `json:"-"`
}

// CustomStatus demonstrates custom JSON serialization via json.Marshaler.
type CustomStatus int

const (
	StatusInactive CustomStatus = 0
	StatusActive   CustomStatus = 1
)

func (s CustomStatus) MarshalJSON() ([]byte, error) {
	switch s {
	case StatusActive:
		return []byte(`"ACTIVE"`), nil
	default:
		return []byte(`"INACTIVE"`), nil
	}
}

{
  "schemaVersion": 1,
  "goal": "verify github.com/json-iterator/go.Marshal in pkg:golang/github.com/json-iterator/go@v1.1.11",
  "kind": "HOW",
  "packages": [
    "pkg:golang/github.com/json-iterator/go@v1.1.11"
  ],
  "symbols": [
    "github.com/json-iterator/go.Marshal"
  ]
}

package main

import (
	"bytes"
	"fmt"
	"os"

	jsoniter "github.com/json-iterator/go"
	"sample"
)

func main() {
	// Contract 1: jsoniter.Marshal encodes primitive values and slices into standard JSON byte slices
	{
		numData, err := sample.MarshalToBytes(12345)
		if err != nil || string(numData) != "12345" {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 1]: int marshal failed: %v, got %s\n", err, string(numData))
			os.Exit(1)
		}

		strData, err := sample.MarshalToBytes("hello world")
		if err != nil || string(strData) != `"hello world"` {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 1]: string marshal failed: %v, got %s\n", err, string(strData))
			os.Exit(1)
		}

		sliceData, err := sample.MarshalToBytes([]string{"apple", "banana"})
		if err != nil || string(sliceData) != `["apple","banana"]` {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 1]: slice marshal failed: %v, got %s\n", err, string(sliceData))
			os.Exit(1)
		}
	}

	// Contract 2: jsoniter.Marshal respects json struct tags for custom field naming and omitted empty fields
	{
		userWithNick := sample.UserProfile{
			Name:     "Alice",
			Nickname: "ally",
			Internal: "secret-123",
		}
		data1, err := sample.MarshalToBytes(userWithNick)
		if err != nil {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 2]: struct marshal failed: %v\n", err)
			os.Exit(1)
		}
		expected1 := `{"name":"Alice","nickname":"ally"}`
		if string(data1) != expected1 {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 2]: expected %s, got %s\n", expected1, string(data1))
			os.Exit(1)
		}

		userWithoutNick := sample.UserProfile{
			Name:     "Bob",
			Nickname: "",
			Internal: "secret-456",
		}
		data2, err := sample.MarshalToBytes(userWithoutNick)
		if err != nil {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 2]: struct marshal without nickname failed: %v\n", err)
			os.Exit(1)
		}
		expected2 := `{"name":"Bob"}`
		if string(data2) != expected2 {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 2]: expected %s, got %s\n", expected2, string(data2))
			os.Exit(1)
		}
	}

	// Contract 3: jsoniter.Marshal escapes HTML special characters including angle brackets and ampersands by default
	{
		htmlContent := "<script>&test</script>"
		data, err := sample.MarshalToBytes(htmlContent)
		if err != nil {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 3]: HTML marshal failed: %v\n", err)
			os.Exit(1)
		}
		if !bytes.Contains(data, []byte(`\u003c`)) || !bytes.Contains(data, []byte(`\u0026`)) {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 3]: expected escaped HTML, got %s\n", string(data))
			os.Exit(1)
		}
	}

	// Contract 4: jsoniter.Marshal returns an error when attempting to serialize unsupported Go types such as channels
	{
		ch := make(chan int)
		_, err := sample.MarshalToBytes(ch)
		if err == nil {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 4]: expected error for channel, got nil\n")
			os.Exit(1)
		}
	}

	// Contract 5: jsoniter.Marshal serializes custom types implementing the json.Marshaler interface
	{
		active := sample.StatusActive
		dataActive, err := sample.MarshalToBytes(active)
		if err != nil || string(dataActive) != `"ACTIVE"` {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 5]: expected \"ACTIVE\", got %s (err: %v)\n", string(dataActive), err)
			os.Exit(1)
		}

		inactive := sample.StatusInactive
		dataInactive, err := sample.MarshalToBytes(inactive)
		if err != nil || string(dataInactive) != `"INACTIVE"` {
			fmt.Fprintf(os.Stderr, "FAIL [Contract 5]: expected \"INACTIVE\", got %s (err: %v)\n", string(dataInactive), err)
			os.Exit(1)
		}
	}

	// Direct call on jsoniter.Marshal to establish direct symbol linkage
	{
		data, err := jsoniter.Marshal([]string{"verified"})
		if err != nil || len(data) == 0 {
			fmt.Fprintf(os.Stderr, "FAIL: direct jsoniter.Marshal call failed: %v\n", err)
			os.Exit(1)
		}
	}

	fmt.Println("PASS: all pkg:golang/github.com/json-iterator/go@v1.1.11 contracts verified successfully")
}