crypto/fips140 — validation proof

Go’s own crypto/fips140 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 crypto/fips140 row in Validated Test Packages.

Validated 2026-10-25 · converter b5fc1294d

2 matched · 0 disclosed — Go 1.26.10, windows/amd64, converted package src/core/crypto/fips140.

Measured at Release (tiered JIT off), oracle go version go1.26.10 windows/amd64.

Both runtimes skip 1 of the matched tests identically.

Verdicts

Test go test go2cs
TestImmutableGODEBUG pass pass
TestWithoutEnforcement skip skip