unicode/utf8 — validation proof
Go’s own unicode/utf8 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 unicode/utf8 row in
Validated Test Packages.
Validated 2026-09-23 · converter f95f88866
14 matched · 1 disclosed — Go 1.24.13, windows/amd64, converted package
src/core/unicode/utf8.
Measured at Release (tiered JIT off), oracle go version go1.24.13 windows/amd64.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAppendRune |
pass | pass |
TestConstants |
pass | pass |
TestDecodeInvalidSequence |
pass | pass |
TestDecodeRune |
pass | pass |
TestDecodeSurrogateRune |
pass | pass |
TestEncodeRune |
pass | pass |
TestFullRune |
pass | pass |
TestNegativeRune |
pass | pass |
TestRuneCount |
pass | pass |
TestRuneCountNonASCIIAllocation |
pass | fail (disclosed) |
TestRuneLen |
pass | pass |
TestRuntimeConversion |
pass | pass |
TestSequencing |
pass | pass |
TestValid |
pass | pass |
TestValidRune |
pass | pass |
Disclosed divergences
A disclosed divergence is a specific Go assertion this conversion does not satisfy — not
a skipped test and not a tolerance. Each one is pinned by exact failure signature in the package’s
hand-owned go2cs_test_disclosures.json;
a disclosed test that fails any other way is still a hard mismatch.
The Class column says which kind each one is: a deferred entry is an assertion the managed
CLR can meet, pinned against the named plan that will retire it; every other class is one it
provably cannot satisfy.
| Test | Class | Pinned reason |
|---|---|---|
TestRuneCountNonASCIIAllocation |
deferred |
NEW at 1.24: a want-zero AllocsPerRun over s := []byte("日本語日本語日本語日"); _ = RuneCount(s). Go’s escape analysis keeps the []byte(const) conversion and RuneCount’s slow-path string on the stack, so it asserts zero; the converted path charges 3 per run. DEFERRED, not alloc-count-semantics: the run’s own unit note says counted 30 go2cs-runtime object allocations ... over 10 run(s) ... an allocation COUNT per run – Go’s own unit, so the counter saw them. The three sites, each read in golib at the 1.24.13 hop: (1) the test’s []byte(const) -> slice |
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.
- BenchmarkAppendASCIIRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAppendInvalidRuneMaxPlusOne (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAppendInvalidRuneNegative (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAppendInvalidRuneSurrogate (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAppendJapaneseRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAppendMaxRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkAppendSpanishRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDecodeASCIIRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkDecodeJapaneseRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeASCIIRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeInvalidRuneMaxPlusOne (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeInvalidRuneNegative (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeInvalidRuneSurrogate (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeJapaneseRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeMaxRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkEncodeSpanishRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkFullRune (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRuneCountInStringTenASCIIChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRuneCountInStringTenJapaneseChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRuneCountTenASCIIChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkRuneCountTenJapaneseChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValid100KASCIIChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidLongJapanese (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidLongMostlyASCII (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidString100KASCIIChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidStringLongJapanese (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidStringLongMostlyASCII (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidStringTenASCIIChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidStringTenJapaneseChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidTenASCIIChars (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkValidTenJapaneseChars (benchmark): benchmark execution is deferred to Phase 4D
- ExampleAppendRune (example): example execution is deferred to Phase 4D
- ExampleDecodeLastRune (example): example execution is deferred to Phase 4D
- ExampleDecodeLastRuneInString (example): example execution is deferred to Phase 4D
- ExampleDecodeRune (example): example execution is deferred to Phase 4D
- ExampleDecodeRuneInString (example): example execution is deferred to Phase 4D
- ExampleEncodeRune (example): example execution is deferred to Phase 4D
- ExampleEncodeRune_outOfRange (example): example execution is deferred to Phase 4D
- ExampleFullRune (example): example execution is deferred to Phase 4D
- ExampleFullRuneInString (example): example execution is deferred to Phase 4D
- ExampleRuneCount (example): example execution is deferred to Phase 4D
- ExampleRuneCountInString (example): example execution is deferred to Phase 4D
- ExampleRuneLen (example): example execution is deferred to Phase 4D
- ExampleRuneStart (example): example execution is deferred to Phase 4D
- ExampleValid (example): example execution is deferred to Phase 4D
- ExampleValidRune (example): example execution is deferred to Phase 4D
- ExampleValidString (example): example execution is deferred to Phase 4D