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.

Package	Proof	Converted package
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/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/elliptic	crypto.elliptic.md	src/core/crypto/elliptic
crypto/hmac	crypto.hmac.md	src/core/crypto/hmac
crypto/internal/alias	crypto.internal.alias.md	src/core/crypto/internal/alias
crypto/internal/bigmod	crypto.internal.bigmod.md	src/core/crypto/internal/bigmod
crypto/internal/boring	crypto.internal.boring.md	src/core/crypto/internal/boring
crypto/md5	crypto.md5.md	src/core/crypto/md5
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/sha512	crypto.sha512.md	src/core/crypto/sha512
crypto/subtle	crypto.subtle.md	src/core/crypto/subtle
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/macho	debug.macho.md	src/core/debug/macho
debug/plan9obj	debug.plan9obj.md	src/core/debug/plan9obj
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/hex	encoding.hex.md	src/core/encoding/hex
encoding/pem	encoding.pem.md	src/core/encoding/pem
errors	errors.md	src/core/errors
expvar	expvar.md	src/core/expvar
go/ast	go.ast.md	src/core/go/ast
go/build/constraint	go.build.constraint.md	src/core/go/build/constraint
go/constant	go.constant.md	src/core/go/constant
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/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/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
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/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/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/gover	internal.gover.md	src/core/internal/gover
internal/itoa	internal.itoa.md	src/core/internal/itoa
internal/profile	internal.profile.md	src/core/internal/profile
internal/saferio	internal.saferio.md	src/core/internal/saferio
internal/sysinfo	internal.sysinfo.md	src/core/internal/sysinfo
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
log/slog/internal/benchmarks	log.slog.internal.benchmarks.md	src/core/log/slog/internal/benchmarks
maps	maps.md	src/core/maps
math	math.md	src/core/math
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/http/fcgi	net.http.fcgi.md	src/core/net/http/fcgi
net/http/internal/ascii	net.http.internal.ascii.md	src/core/net/http/internal/ascii
net/textproto	net.textproto.md	src/core/net/textproto
net/url	net.url.md	src/core/net/url
os/exec/internal/fdtest	os.exec.internal.fdtest.md	src/core/os/exec/internal/fdtest
os/signal	os.signal.md	src/core/os/signal
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/internal/math	runtime.internal.math.md	src/core/runtime/internal/math
runtime/internal/sys	runtime.internal.sys.md	src/core/runtime/internal/sys
runtime/metrics	runtime.metrics.md	src/core/runtime/metrics
sort	sort.md	src/core/sort
strconv	strconv.md	src/core/strconv
strings	strings.md	src/core/strings
sync	sync.md	src/core/sync
syscall	syscall.md	src/core/syscall
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/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