CodeSampleX

Sample

golang.org/x/net v0.29.0: html.ElementNode

Verified sample for golang golang.org/x/net v0.29.0: html.ElementNode. The contract ran on go 1.26 · linux alpine/x64 · docker and passed: html.ElementNode…

sha256:34f64b158fe4ac85fc766b638112d871c5678f0bb552733e86364d3acc0a8f46

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
1
Signing keys that built it
1
Declared environment go 1.26 linux 24 · ubuntu · glibc 2.39 amd64 go 1.26 go 1.26 go 1

Verification-run environments

Environment Contract Stages Run
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…		 2026-08-30

Case

HOW
Goal
verify golang.org/x/net/html.ElementNode in pkg:golang/golang.org/x/net@v0.29.0
Packages
Symbols
  • golang.org/x/net/html.ElementNode
Environment
go 1.26.6
Created
2026-08-30T15:54:19Z

Contract

  1. html.ElementNode constant distinguishes element nodes from text, document, and comment nodes
  2. html.Parse parses HTML markup into a tree where elements have Type html.ElementNode and Data equal to tag name
  3. Constructing an html.ElementNode with attributes and children renders valid HTML tags via html.Render
  4. Tree traversal inspects Type == html.ElementNode to filter element tags and extract attributes
  5. html.ParseFragment parses snippet in element context and returns nodes with Type html.ElementNode

Files

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • sample.go
  • spec.json
  • test/contract.go

Download the source artifact (tar.gz)

Origin Seeder

anonymous