Synthetic native editing regression: type `-`, autoformat as a list, reverse the rule to `- `, type `Alpha`, split the paragraph, then type `Beta`. Generated with `native/crdt/src/bin/rule_wire_probe.rs` using one retained source client. Numbered `.bin` files are incremental updates; `.snapshot` files are the authoritative state after each edit. Browser Yjs independently accepts both and converges. The yrs 0.23.5 unpatched receiver fails at step 3 when a deletion range starts at a garbage-collected block. No user data.