Docs correctness pass + property-based tests - #400

Merged

jackyzha0 merged 7 commits into

mainfrom

jacky/docs-correctness-and-property-tests

Aug 14, 2026

Commits on Aug 14, 2026

docs: correct README and PROTOCOL against the implementation

jackyzha0
and
claude
committed
468b119
fix(transport): break require cycles, export stream-flag predicates as values

jackyzha0
and
claude
committed
75eb994
test: add property-based tests with hegel

jackyzha0
and
claude
committed
fa86f8a
chore: skip .claude worktrees in vitest and prettier

jackyzha0
and
claude
committed
4d2d28e
fix(codec): escape marker keys in NaiveJsonCodec

jackyzha0
and
claude
committed
8b32da9
perf(codec): compile server validator, fix base64, reuse msgpack coders

jackyzha0
and
claude
committed
d931407
test: benchmark against the real clock, and benchmark the codecs

jackyzha0
and
claude
committed
6e13ac5