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/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/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/internal/boring/bcache crypto.internal.boring.bcache.md src/core/crypto/internal/boring/bcache
crypto/internal/edwards25519 crypto.internal.edwards25519.md src/core/crypto/internal/edwards25519
crypto/internal/edwards25519/field crypto.internal.edwards25519.field.md src/core/crypto/internal/edwards25519/field
crypto/internal/hpke crypto.internal.hpke.md src/core/crypto/internal/hpke
crypto/internal/mlkem768 crypto.internal.mlkem768.md src/core/crypto/internal/mlkem768
crypto/internal/nistec crypto.internal.nistec.md src/core/crypto/internal/nistec
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
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
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/pem encoding.pem.md src/core/encoding/pem
encoding/xml encoding.xml.md src/core/encoding/xml
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/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/concurrent internal.concurrent.md src/core/internal/concurrent
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/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/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/saferio internal.saferio.md src/core/internal/saferio
internal/singleflight internal.singleflight.md src/core/internal/singleflight
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/weak internal.weak.md src/core/internal/weak
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/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/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
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/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