go/doc — validation proof

Go’s own go/doc test suite, converted to C# by go2cs, built against the converted standard library, run under the Go-semantics test host, and compared verdict for verdict against a clean go test -json baseline of the same sources. This page is generated by the converter from that comparison — it is the evidence behind the go/doc row in Validated Test Packages.

Validated 2026-08-25 · converter 8293ae2e9

85 matched · 0 disclosed — Go 1.23.12, windows/amd64, converted package src/core/go/doc.

Verdicts

Test go test go2cs
Test pass pass
Test/AllDecls pass pass
Test/AllDecls/a pass pass
Test/AllDecls/b pass pass
Test/AllDecls/blank pass pass
Test/AllDecls/bugpara pass pass
Test/AllDecls/c pass pass
Test/AllDecls/d pass pass
Test/AllDecls/e pass pass
Test/AllDecls/error1 pass pass
Test/AllDecls/error2 pass pass
Test/AllDecls/f pass pass
Test/AllDecls/g pass pass
Test/AllDecls/generics pass pass
Test/AllDecls/issue12839 pass pass
Test/AllDecls/issue13742 pass pass
Test/AllDecls/issue16153 pass pass
Test/AllDecls/issue17788 pass pass
Test/AllDecls/issue22856 pass pass
Test/AllDecls/predeclared pass pass
Test/AllDecls/testing pass pass
Test/AllMethods pass pass
Test/AllMethods/a pass pass
Test/AllMethods/b pass pass
Test/AllMethods/blank pass pass
Test/AllMethods/bugpara pass pass
Test/AllMethods/c pass pass
Test/AllMethods/d pass pass
Test/AllMethods/e pass pass
Test/AllMethods/error1 pass pass
Test/AllMethods/error2 pass pass
Test/AllMethods/f pass pass
Test/AllMethods/g pass pass
Test/AllMethods/generics pass pass
Test/AllMethods/issue12839 pass pass
Test/AllMethods/issue13742 pass pass
Test/AllMethods/issue16153 pass pass
Test/AllMethods/issue17788 pass pass
Test/AllMethods/issue22856 pass pass
Test/AllMethods/predeclared pass pass
Test/AllMethods/testing pass pass
Test/default pass pass
Test/default/a pass pass
Test/default/b pass pass
Test/default/blank pass pass
Test/default/bugpara pass pass
Test/default/c pass pass
Test/default/d pass pass
Test/default/e pass pass
Test/default/error1 pass pass
Test/default/error2 pass pass
Test/default/f pass pass
Test/default/g pass pass
Test/default/generics pass pass
Test/default/issue12839 pass pass
Test/default/issue13742 pass pass
Test/default/issue16153 pass pass
Test/default/issue17788 pass pass
Test/default/issue22856 pass pass
Test/default/predeclared pass pass
Test/default/testing pass pass
TestClassifyExamples pass pass
TestComment pass pass
TestExamples pass pass
TestExamples/empty pass pass
TestExamples/generic_constraints pass pass
TestExamples/import_groups pass pass
TestExamples/import_groups_named pass pass
TestExamples/inspect_signature pass pass
TestExamples/iota pass pass
TestExamples/issue43658 pass pass
TestExamples/multiple pass pass
TestExamples/values pass pass
TestExamples/whole_file pass pass
TestExamples/whole_function pass pass
TestExamples/whole_function_external pass pass
TestFuncs pass pass
TestImportGroupStarts pass pass
TestImportGroupStarts/blank_import pass pass
TestImportGroupStarts/extra_space pass pass
TestImportGroupStarts/line_comment pass pass
TestImportGroupStarts/named_import pass pass
TestImportGroupStarts/one_group pass pass
TestImportGroupStarts/several_groups pass pass
TestSynopsis pass pass

Excluded declarations

Declarations filtered from both sides of the comparison, and therefore not claimed above: Benchmark, Fuzz and Example declarations the converted host does not execute, plus any test requiring a capability the managed runtime does not provide — a testing member the host has not implemented, or a platform behavior it provably cannot reproduce. Each is named with the capability it needs.