Validation proofs

One page per validated package — the full per-test differential behind its row in Validated Test Packages: every eligible Test function, go test’s verdict and go2cs’s, side by side. The converter writes these pages itself, from the same comparison record that decides whether a package validates at all.

Pages under current/ are living proof — regenerated only when a package’s verdicts change. Versioned sibling directories are frozen publication snapshots: written once at release and never rewritten, so the proof link for a published package stays the proof as of that binary.

Frozen snapshots

One directory per published release. The page counts below are exact and cannot go stale: a frozen directory is written once and never rewritten, so each number is a permanent statement of how many proof pages that build shipped with. From 1.24.13.1 on, a snapshot also freezes the pages of excluded packages and of import paths a Go release retired, so its page count can exceed the validated count on the roster page beside it (1.24.13.1: 232 pages, 218 validated).

Release	Snapshot	Proof pages	Roster as it stood
1.23.1.2	1.23.1.2/	72	—
1.23.1.3	1.23.1.3/	73	—
1.23.1.4	1.23.1.4/	110	—
1.23.1.5	1.23.1.5/	110	—
1.23.1.6	1.23.1.6/	126	—
1.23.1.7	1.23.1.7/	162	—
1.23.12.1	1.23.12.1/	172	—
1.23.12.2	1.23.12.2/	189	—
1.23.12.3	1.23.12.3/	204	ValidatedTestPackages.md
1.24.13.1	1.24.13.1/	232	ValidatedTestPackages.md
1.24.13.2	1.24.13.2/	232	ValidatedTestPackages.md

A snapshot froze the per-package proofs and not the roster PAGE around them until 1.23.12.3, so for every release above it the campaign’s own “how things stood” view lives only in the signed git tag. git show nuget-<version> — nuget-1.23.12.3, nuget-1.23.1.7 — reaches the exact source tree a release was built from, roster included. From 1.23.12.3 on the snapshot carries that page itself, and src/push-nuget.ps1 writes it beside the proofs on every release.

Package	Proof	Converted package
archive/tar	archive.tar.md	src/core/archive/tar
archive/zip	archive.zip.md	src/core/archive/zip
bufio	bufio.md	src/core/bufio
bytes	bytes.md	src/core/bytes
cmp	cmp.md	src/core/cmp
compress/bzip2	compress.bzip2.md	src/core/compress/bzip2
compress/flate	compress.flate.md	src/core/compress/flate
compress/gzip	compress.gzip.md	src/core/compress/gzip
compress/lzw	compress.lzw.md	src/core/compress/lzw
compress/zlib	compress.zlib.md	src/core/compress/zlib
container/heap	container.heap.md	src/core/container/heap
container/list	container.list.md	src/core/container/list
container/ring	container.ring.md	src/core/container/ring
context	context.md	src/core/context
crypto	crypto.md	src/core/crypto
crypto/aes	crypto.aes.md	src/core/crypto/aes
crypto/cipher	crypto.cipher.md	src/core/crypto/cipher
crypto/des	crypto.des.md	src/core/crypto/des
crypto/dsa	crypto.dsa.md	src/core/crypto/dsa
crypto/ecdh	crypto.ecdh.md	src/core/crypto/ecdh
crypto/ecdsa	crypto.ecdsa.md	src/core/crypto/ecdsa
crypto/ed25519	crypto.ed25519.md	src/core/crypto/ed25519
crypto/elliptic	crypto.elliptic.md	src/core/crypto/elliptic
crypto/hkdf	crypto.hkdf.md	src/core/crypto/hkdf
crypto/hmac	crypto.hmac.md	src/core/crypto/hmac
crypto/internal/boring	crypto.internal.boring.md	src/core/crypto/internal/boring
crypto/internal/boring/bcache	crypto.internal.boring.bcache.md	src/core/crypto/internal/boring/bcache
crypto/internal/fips140/aes	crypto.internal.fips140.aes.md	src/core/crypto/internal/fips140/aes
crypto/internal/fips140/bigmod	crypto.internal.fips140.bigmod.md	src/core/crypto/internal/fips140/bigmod
crypto/internal/fips140/ecdh	crypto.internal.fips140.ecdh.md	src/core/crypto/internal/fips140/ecdh
crypto/internal/fips140/ecdsa	crypto.internal.fips140.ecdsa.md	src/core/crypto/internal/fips140/ecdsa
crypto/internal/fips140/edwards25519	crypto.internal.fips140.edwards25519.md	src/core/crypto/internal/fips140/edwards25519
crypto/internal/fips140/edwards25519/field	crypto.internal.fips140.edwards25519.field.md	src/core/crypto/internal/fips140/edwards25519/field
crypto/internal/fips140/mlkem	crypto.internal.fips140.mlkem.md	src/core/crypto/internal/fips140/mlkem
crypto/internal/fips140/nistec	crypto.internal.fips140.nistec.md	src/core/crypto/internal/fips140/nistec
crypto/internal/fips140/rsa	crypto.internal.fips140.rsa.md	src/core/crypto/internal/fips140/rsa
crypto/internal/fips140test	crypto.internal.fips140test.md	src/core/crypto/internal/fips140test
crypto/internal/hpke	crypto.internal.hpke.md	src/core/crypto/internal/hpke
crypto/internal/sysrand	crypto.internal.sysrand.md	src/core/crypto/internal/sysrand
crypto/md5	crypto.md5.md	src/core/crypto/md5
crypto/mlkem	crypto.mlkem.md	src/core/crypto/mlkem
crypto/pbkdf2	crypto.pbkdf2.md	src/core/crypto/pbkdf2
crypto/rand	crypto.rand.md	src/core/crypto/rand
crypto/rc4	crypto.rc4.md	src/core/crypto/rc4
crypto/rsa	crypto.rsa.md	src/core/crypto/rsa
crypto/sha1	crypto.sha1.md	src/core/crypto/sha1
crypto/sha256	crypto.sha256.md	src/core/crypto/sha256
crypto/sha3	crypto.sha3.md	src/core/crypto/sha3
crypto/sha512	crypto.sha512.md	src/core/crypto/sha512
crypto/subtle	crypto.subtle.md	src/core/crypto/subtle
crypto/tls	crypto.tls.md	src/core/crypto/tls
crypto/x509	crypto.x509.md	src/core/crypto/x509
database/sql	database.sql.md	src/core/database/sql
database/sql/driver	database.sql.driver.md	src/core/database/sql/driver
debug/buildinfo	debug.buildinfo.md	src/core/debug/buildinfo
debug/dwarf	debug.dwarf.md	src/core/debug/dwarf
debug/elf	debug.elf.md	src/core/debug/elf
debug/gosym	debug.gosym.md	src/core/debug/gosym
debug/macho	debug.macho.md	src/core/debug/macho
debug/pe	debug.pe.md	src/core/debug/pe
debug/plan9obj	debug.plan9obj.md	src/core/debug/plan9obj
embed/internal/embedtest	embed.internal.embedtest.md	src/core/embed/internal/embedtest
encoding/ascii85	encoding.ascii85.md	src/core/encoding/ascii85
encoding/asn1	encoding.asn1.md	src/core/encoding/asn1
encoding/base32	encoding.base32.md	src/core/encoding/base32
encoding/base64	encoding.base64.md	src/core/encoding/base64
encoding/binary	encoding.binary.md	src/core/encoding/binary
encoding/csv	encoding.csv.md	src/core/encoding/csv
encoding/gob	encoding.gob.md	src/core/encoding/gob
encoding/hex	encoding.hex.md	src/core/encoding/hex
encoding/json	encoding.json.md	src/core/encoding/json
encoding/xml	encoding.xml.md	src/core/encoding/xml
encoding/pem	encoding.pem.md	src/core/encoding/pem
errors	errors.md	src/core/errors
expvar	expvar.md	src/core/expvar
flag	flag.md	src/core/flag
fmt	fmt.md	src/core/fmt
go/ast	go.ast.md	src/core/go/ast
go/ast/internal/tests	go.ast.internal.tests.md	src/core/go/ast/internal/tests
go/build	go.build.md	src/core/go/build
go/build/constraint	go.build.constraint.md	src/core/go/build/constraint
go/constant	go.constant.md	src/core/go/constant
go/doc	go.doc.md	src/core/go/doc
go/doc/comment	go.doc.comment.md	src/core/go/doc/comment
go/format	go.format.md	src/core/go/format
go/importer	go.importer.md	src/core/go/importer
go/internal/gccgoimporter	go.internal.gccgoimporter.md	src/core/go/internal/gccgoimporter
go/internal/gcimporter	go.internal.gcimporter.md	src/core/go/internal/gcimporter
go/internal/srcimporter	go.internal.srcimporter.md	src/core/go/internal/srcimporter
go/parser	go.parser.md	src/core/go/parser
go/printer	go.printer.md	src/core/go/printer
go/scanner	go.scanner.md	src/core/go/scanner
go/token	go.token.md	src/core/go/token
go/types	go.types.md	src/core/go/types
go/version	go.version.md	src/core/go/version
hash	hash.md	src/core/hash
hash/adler32	hash.adler32.md	src/core/hash/adler32
hash/crc32	hash.crc32.md	src/core/hash/crc32
hash/crc64	hash.crc64.md	src/core/hash/crc64
hash/fnv	hash.fnv.md	src/core/hash/fnv
hash/maphash	hash.maphash.md	src/core/hash/maphash
html	html.md	src/core/html
html/template	html.template.md	src/core/html/template
image	image.md	src/core/image
image/color	image.color.md	src/core/image/color
image/draw	image.draw.md	src/core/image/draw
image/gif	image.gif.md	src/core/image/gif
image/jpeg	image.jpeg.md	src/core/image/jpeg
image/png	image.png.md	src/core/image/png
index/suffixarray	index.suffixarray.md	src/core/index/suffixarray
internal/abi	internal.abi.md	src/core/internal/abi
internal/buildcfg	internal.buildcfg.md	src/core/internal/buildcfg
internal/chacha8rand	internal.chacha8rand.md	src/core/internal/chacha8rand
internal/coverage/cfile	internal.coverage.cfile.md	src/core/internal/coverage/cfile
internal/coverage/cformat	internal.coverage.cformat.md	src/core/internal/coverage/cformat
internal/coverage/cmerge	internal.coverage.cmerge.md	src/core/internal/coverage/cmerge
internal/coverage/pods	internal.coverage.pods.md	src/core/internal/coverage/pods
internal/coverage/slicereader	internal.coverage.slicereader.md	src/core/internal/coverage/slicereader
internal/coverage/slicewriter	internal.coverage.slicewriter.md	src/core/internal/coverage/slicewriter
internal/coverage/test	internal.coverage.test.md	src/core/internal/coverage/test
internal/cpu	internal.cpu.md	src/core/internal/cpu
internal/dag	internal.dag.md	src/core/internal/dag
internal/diff	internal.diff.md	src/core/internal/diff
internal/fmtsort	internal.fmtsort.md	src/core/internal/fmtsort
internal/fuzz	internal.fuzz.md	src/core/internal/fuzz
internal/godebug	internal.godebug.md	src/core/internal/godebug
internal/godebugs	internal.godebugs.md	src/core/internal/godebugs
internal/gover	internal.gover.md	src/core/internal/gover
internal/itoa	internal.itoa.md	src/core/internal/itoa
internal/pkgbits	internal.pkgbits.md	src/core/internal/pkgbits
internal/platform	internal.platform.md	src/core/internal/platform
internal/poll	internal.poll.md	src/core/internal/poll
internal/profile	internal.profile.md	src/core/internal/profile
internal/reflectlite	internal.reflectlite.md	src/core/internal/reflectlite
internal/runtime/atomic	internal.runtime.atomic.md	src/core/internal/runtime/atomic
internal/runtime/maps	internal.runtime.maps.md	src/core/internal/runtime/maps
internal/runtime/math	internal.runtime.math.md	src/core/internal/runtime/math
internal/runtime/sys	internal.runtime.sys.md	src/core/internal/runtime/sys
internal/saferio	internal.saferio.md	src/core/internal/saferio
internal/singleflight	internal.singleflight.md	src/core/internal/singleflight
internal/sync	internal.sync.md	src/core/internal/sync
internal/syscall/windows	internal.syscall.windows.md	src/core/internal/syscall/windows
internal/syscall/windows/registry	internal.syscall.windows.registry.md	src/core/internal/syscall/windows/registry
internal/sysinfo	internal.sysinfo.md	src/core/internal/sysinfo
internal/testenv	internal.testenv.md	src/core/internal/testenv
internal/trace	internal.trace.md	src/core/internal/trace
internal/trace/internal/oldtrace	internal.trace.internal.oldtrace.md	src/core/internal/trace/internal/oldtrace
internal/types/errors	internal.types.errors.md	src/core/internal/types/errors
internal/xcoff	internal.xcoff.md	src/core/internal/xcoff
internal/zstd	internal.zstd.md	src/core/internal/zstd
io	io.md	src/core/io
io/fs	io.fs.md	src/core/io/fs
io/ioutil	io.ioutil.md	src/core/io/ioutil
iter	iter.md	src/core/iter
log	log.md	src/core/log
log/slog	log.slog.md	src/core/log/slog
log/slog/internal/benchmarks	log.slog.internal.benchmarks.md	src/core/log/slog/internal/benchmarks
log/slog/internal/buffer	log.slog.internal.buffer.md	src/core/log/slog/internal/buffer
maps	maps.md	src/core/maps
math	math.md	src/core/math
math/big	math.big.md	src/core/math/big
math/bits	math.bits.md	src/core/math/bits
math/cmplx	math.cmplx.md	src/core/math/cmplx
math/rand	math.rand.md	src/core/math/rand
math/rand/v2	math.rand.v2.md	src/core/math/rand/v2
mime	mime.md	src/core/mime
mime/multipart	mime.multipart.md	src/core/mime/multipart
mime/quotedprintable	mime.quotedprintable.md	src/core/mime/quotedprintable
net	net.md	src/core/net
net/http	net.http.md	src/core/net/http
net/http/cgi	net.http.cgi.md	src/core/net/http/cgi
net/http/cookiejar	net.http.cookiejar.md	src/core/net/http/cookiejar
net/http/fcgi	net.http.fcgi.md	src/core/net/http/fcgi
net/http/httptest	net.http.httptest.md	src/core/net/http/httptest
net/http/httptrace	net.http.httptrace.md	src/core/net/http/httptrace
net/http/httputil	net.http.httputil.md	src/core/net/http/httputil
net/http/internal	net.http.internal.md	src/core/net/http/internal
net/http/internal/ascii	net.http.internal.ascii.md	src/core/net/http/internal/ascii
net/mail	net.mail.md	src/core/net/mail
net/netip	net.netip.md	src/core/net/netip
net/rpc	net.rpc.md	src/core/net/rpc
net/rpc/jsonrpc	net.rpc.jsonrpc.md	src/core/net/rpc/jsonrpc
net/smtp	net.smtp.md	src/core/net/smtp
net/textproto	net.textproto.md	src/core/net/textproto
net/url	net.url.md	src/core/net/url
os	os.md	src/core/os
os/exec	os.exec.md	src/core/os/exec
os/exec/internal/fdtest	os.exec.internal.fdtest.md	src/core/os/exec/internal/fdtest
os/signal	os.signal.md	src/core/os/signal
os/user	os.user.md	src/core/os/user
path	path.md	src/core/path
path/filepath	path.filepath.md	src/core/path/filepath
plugin	plugin.md	src/core/plugin
regexp	regexp.md	src/core/regexp
regexp/syntax	regexp.syntax.md	src/core/regexp/syntax
runtime/debug	runtime.debug.md	src/core/runtime/debug
runtime/metrics	runtime.metrics.md	src/core/runtime/metrics
slices	slices.md	src/core/slices
sort	sort.md	src/core/sort
strconv	strconv.md	src/core/strconv
strings	strings.md	src/core/strings
sync	sync.md	src/core/sync
sync/atomic	sync.atomic.md	src/core/sync/atomic
syscall	syscall.md	src/core/syscall
testing	testing.md	src/core/testing
testing/fstest	testing.fstest.md	src/core/testing/fstest
testing/iotest	testing.iotest.md	src/core/testing/iotest
testing/quick	testing.quick.md	src/core/testing/quick
testing/slogtest	testing.slogtest.md	src/core/testing/slogtest
text/scanner	text.scanner.md	src/core/text/scanner
text/tabwriter	text.tabwriter.md	src/core/text/tabwriter
text/template	text.template.md	src/core/text/template
text/template/parse	text.template.parse.md	src/core/text/template/parse
time	time.md	src/core/time
unicode	unicode.md	src/core/unicode
unicode/utf16	unicode.utf16.md	src/core/unicode/utf16
unicode/utf8	unicode.utf8.md	src/core/unicode/utf8
unique	unique.md	src/core/unique
weak	weak.md	src/core/weak