golang.org/x/net v0.29.0: atom.Form

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/net/html/atom.Form in pkg:golang/golang.org/x/net@v0.29.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/golang.org/x/net@v0.29.0
Demonstrate these symbols/APIs:
  - golang.org/x/net/html/atom.Form

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:da80a7e7bce9d7aa922a0fc40a9a605d43ab87fce2697eff26af9a88a2da5d6f","contract":["atom.Form is a non-zero Atom constant","atom.Form.String returns exact string form","atom.Lookup for byte slice form returns atom.Form","html parser assigns atom.Form to DataAtom of form elements"],"goal":"verify golang.org/x/net/html/atom.Form in pkg:golang/golang.org/x/net@v0.29.0","kind":"HOW","packages":["pkg:golang/golang.org/x/net@v0.29.0"],"schemaVersion":1,"symbols":["golang.org/x/net/html/atom.Form"]},"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/net@v0.29.0"],"schemaVersion":1,"subject":"pkg:golang/golang.org/x/net@v0.29.0","symbols":["golang.org/x/net/html/atom.Form"],"verifierAdapter":"golang@1"}

module sample

go 1.26.6

require golang.org/x/net v0.29.0

golang.org/x/net v0.29.0 h1:5ORfpBpCs4HzDYoodCDBbwHzdR5UrLBZ3sOnUJmFoHo=
golang.org/x/net v0.29.0/go.mod h1:gLkgy8jTGERgjzMic6DS9+SP0ajcu6Xu3Orq/SpETg0=

package main

import (
	"fmt"
	"strings"

	"golang.org/x/net/html"
	"golang.org/x/net/html/atom"
)

// IsFormTag checks whether an HTML atom represents a <form> element.
func IsFormTag(a atom.Atom) bool {
	return a == atom.Form
}

// FindForms traverses an HTML node tree and returns the count of <form> elements.
func FindForms(n *html.Node) int {
	count := 0
	if n.Type == html.ElementNode && n.DataAtom == atom.Form {
		count++
	}
	for c := n.FirstChild; c != nil; c = c.NextSibling {
		count += FindForms(c)
	}
	return count
}

func main() {
	fmt.Printf("atom.Form value: %d\n", atom.Form)
	fmt.Printf("atom.Form string: %s\n", atom.Form.String())

	doc, err := html.Parse(strings.NewReader(`<form action="/submit" method="post"><input type="text" name="q"/></form>`))
	if err != nil {
		panic(err)
	}
	forms := FindForms(doc)
	fmt.Printf("Forms detected: %d\n", forms)
}

{
  "schemaVersion": 1,
  "goal": "verify golang.org/x/net/html/atom.Form in pkg:golang/golang.org/x/net@v0.29.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/golang.org/x/net@v0.29.0"
  ],
  "symbols": [
    "golang.org/x/net/html/atom.Form"
  ]
}

package main

import (
	"fmt"
	"os"
	"strings"

	"golang.org/x/net/html"
	"golang.org/x/net/html/atom"
)

func main() {
	// 1. atom.Form is a non-zero Atom constant
	{
		if atom.Form == 0 {
			fmt.Fprintf(os.Stderr, "FAIL: expected atom.Form to be non-zero, got %d\n", atom.Form)
			os.Exit(1)
		}
	}

	// 2. atom.Form.String returns exact string form
	{
		got := atom.Form.String()
		if got != "form" {
			fmt.Fprintf(os.Stderr, "FAIL: expected atom.Form.String() == %q, got %q\n", "form", got)
			os.Exit(1)
		}
	}

	// 3. atom.Lookup for byte slice form returns atom.Form
	{
		got := atom.Lookup([]byte("form"))
		if got != atom.Form {
			fmt.Fprintf(os.Stderr, "FAIL: expected atom.Lookup([]byte(\"form\")) == atom.Form (%d), got %d\n", atom.Form, got)
			os.Exit(1)
		}

		// Non-matching input does not return atom.Form
		gotMismatch := atom.Lookup([]byte("not_a_form"))
		if gotMismatch == atom.Form {
			fmt.Fprintf(os.Stderr, "FAIL: unexpected match of atom.Form for invalid string\n")
			os.Exit(1)
		}
	}

	// 4. html parser assigns atom.Form to DataAtom of form elements
	{
		htmlInput := `<html><body><form action="/login" method="post"><input type="text"/></form></body></html>`
		node, err := html.Parse(strings.NewReader(htmlInput))
		if err != nil {
			fmt.Fprintf(os.Stderr, "FAIL: html.Parse error: %v\n", err)
			os.Exit(1)
		}

		var foundForm *html.Node
		var walk func(*html.Node)
		walk = func(n *html.Node) {
			if n.Type == html.ElementNode && n.DataAtom == atom.Form {
				foundForm = n
				return
			}
			for c := n.FirstChild; c != nil; c = c.NextSibling {
				walk(c)
			}
		}
		walk(node)

		if foundForm == nil {
			fmt.Fprintf(os.Stderr, "FAIL: expected to find element with DataAtom == atom.Form\n")
			os.Exit(1)
		}
		if foundForm.Data != "form" {
			fmt.Fprintf(os.Stderr, "FAIL: expected found form Data == %q, got %q\n", "form", foundForm.Data)
			os.Exit(1)
		}
	}

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