write_admitted messageId: letter or number, no Default_Ignorable, raw compare #69

Merged

libby merged 24 commits from libby/write-admitted-messageid-rule into main 2026-11-09 16:49:35 +00:00

Conversation 0 Commits 24 Files changed 21 +1897 -8

2026-11-09

soul

Docs and test comments: correct the Rust duplicate-key citation, say what the TS and Rust duplicate tests pin ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

2aade7fdd3

• View at this point in history

2026-11-09 16:25:50 +00:00

soul

write-receipt.md: where a received messageId decides, and the single-parser assumption it relies on ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

27d9fbca94

• View at this point in history

2026-11-09 16:07:11 +00:00

soul

GameCult.Networking: a write_admitted frame with more than one messageId key is malformed ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

e08d5c47f4

• View at this point in history

2026-11-09 16:05:21 +00:00

soul

tests first: repeated messageId key, each runtime's declared policy (C# failing) ...

Vectors admittedMessageIdDuplicates carry [invalid,valid], [valid,invalid], [valid,valid]. Decoders that see the
duplicate (C#, Rust) must refuse all three; map-collapsing decoders (Python, TS, Kotlin) judge the last key.
Python, TS, Kotlin and Rust already behave as declared; C# fails: it accepted [valid,valid].

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

cc5a9cec9b

• View at this point in history

2026-11-09 16:04:58 +00:00

soul

write-receipt.md: the messageId rule is on the decoded string; byte-level UTF-8 strictness is the reader's, not required ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

a97861945c

• View at this point in history

2026-11-09 15:13:09 +00:00

soul

cultmesh-kotlin: UTF-8 strictness scoped to the write_admitted frame, not the shared MessagePack reader ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

6c130581a1

• View at this point in history

2026-11-09 15:13:01 +00:00

soul

cultnet-ts: refuse a write_admitted messageId that is not well-formed Unicode (lone surrogate) ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

99273f468c

• View at this point in history

2026-11-09 15:12:07 +00:00

soul

GameCult.Networking: check every messageId key of a write_admitted frame, not only the first ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

2f372eb2f1

• View at this point in history

2026-11-09 15:11:53 +00:00

soul

tests first: duplicate messageId, ill-formed id, scoped UTF-8 strictness, every table range pinned (failing) ...

Failing before the fix: C# 1 (duplicate messageId, second is U+200B), TypeScript 1 (a + lone surrogate),
Kotlin 1 (a document payload string with a lone surrogate no longer decodes). Python and Rust already pass
the new vectors. The range probes read the generated write-admitted-message-id-ranges.json and pass on the
correct tables; they exist to fail when any range is deleted or narrowed.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

f378d4fdb0

• View at this point in history

2026-11-09 15:11:15 +00:00

soul

cultnet-rs: write_admitted messageId from the generated Unicode 16.0 tables (letters and numbers now 16.0, not 15.1) ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

8598fd3d12

• View at this point in history

2026-11-09 15:05:00 +00:00

soul

GameCult.Networking: write_admitted messageId from embedded Unicode 16.0 tables, not .NET's ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

c2d2c1d126

• View at this point in history

2026-11-09 15:05:00 +00:00

soul

cultmesh-kotlin: write_admitted messageId from embedded Unicode 16.0 tables, not the JDK's ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

c4f6e76839

• View at this point in history

2026-11-09 15:04:59 +00:00

soul

cultnet-py: write_admitted messageId from embedded Unicode 16.0 tables, not unicodedata ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

87f53498ed

• View at this point in history

2026-11-09 15:04:59 +00:00

soul

cultnet-ts: write_admitted messageId from embedded Unicode 16.0 tables, not the regex engine's ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

de25b50abd

• View at this point in history

2026-11-09 15:04:59 +00:00

soul

write_admitted messageId: pin Unicode 16.0, one generator for the embedded tables ...

scripts/gen-unicode-messageid-tables.py emits each runtime's Letter-or-Number and Default_Ignorable tables from the two UCD 16.0 files; --check fails on a stale or hand-edited table.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

3d37fda496

• View at this point in history

2026-11-09 15:04:59 +00:00

soul

tests first: Unicode 16.0 pin vectors (failing) ...

Failing before the fix: Rust 1 (16100), Python 2 (16100, 10D40), Kotlin 4 (16100, 10D40, 2EBF0, 2EE5D).
TypeScript and C# already pass: their platform data is 16.0 or later.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

cc931932fc

• View at this point in history

2026-11-09 15:00:54 +00:00

soul

cultnet-rs: refuse a write_admitted messageId without a letter or number or with a Default_Ignorable code point ...

Raw compare. std is_numeric for N; embedded letter (Unicode 15.1) and Default_Ignorable (16.0) range tables.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

ba548d192d

• View at this point in history

2026-11-09 14:49:50 +00:00

soul

GameCult.Networking: refuse a write_admitted messageId without a letter or number, with a Default_Ignorable code point, or with invalid UTF-8 ...

Raw compare. .NET Unicode categories for L/N, an embedded Default_Ignorable range table (Unicode 16.0).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

d546ef9c7f

• View at this point in history

2026-11-09 14:49:50 +00:00

soul

cultmesh-kotlin: refuse a write_admitted messageId without a letter or number or with a Default_Ignorable code point ...

Raw compare. JDK Character categories for L/N, an embedded Default_Ignorable range table (Unicode 16.0).
The MessagePack string reader now refuses invalid UTF-8 instead of substituting U+FFFD.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

d1a4ebdd68

• View at this point in history

2026-11-09 14:45:37 +00:00

soul

cultnet-py: refuse a write_admitted messageId without a letter or number or with a Default_Ignorable code point ...

Raw compare. unicodedata for L/N, an embedded Default_Ignorable range table (Unicode 16.0).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

688562c316

• View at this point in history

2026-11-09 14:43:26 +00:00

soul

vector: write_admitted messageId refuses U+FEFF before a letter (kills a trim-before-check decoder) ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

bf55c10199

• View at this point in history

2026-11-09 14:42:44 +00:00

soul

cultnet-ts: refuse a write_admitted messageId without a letter or number or with a Default_Ignorable code point ...

Raw compare, no trim. The platform's regex property tables carry both properties; no table embedded.
D800 vector now driven from wireHex.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

4c1537885d

• View at this point in history

2026-11-09 14:42:01 +00:00

soul

vector: write_admitted messageId accepts a NUL between letters (rule: letter present, no Default_Ignorable) ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

70f8135d2c

• View at this point in history

2026-11-09 14:41:11 +00:00

soul

tests first: write_admitted messageId rule vectors (failing) ...

Pins Heimdall's rule: a write_admitted messageId needs a Unicode letter or number and no
Default_Ignorable_Code_Point, compared raw. Shared vectors plus a runner test in TS, Python,
Kotlin, C# and Rust. No decoder changed; the refuse vectors fail.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

4571a0d4e7

• View at this point in history

2026-11-09 14:39:51 +00:00