docs: fix encoding spec correctness\n\n- Fix xxHash32 LORO-seed test vectors\n- Document RawTreeMove encoding + usage\n- Remove incorrect serde_columnar row-count claims\n\nCo-authored-by: lody <agent@lody.ai>

Author: codex

docs/encoding-container-states.md

@@ -183,8 +183,6 @@ List container stores ordered elements with element IDs.
 ┌────────────────────────────────────────────────────────────────────────────┐
 │                    EncodedListIds (serde_columnar)                          │
 ├─────────────────┬──────────────────────────────────────────────────────────┤
-│ varint          │ Number of elements (N)                                   │
-├─────────────────┼──────────────────────────────────────────────────────────┤
 │ Column 1        │ peer_idx (DeltaRle encoded usize)                        │
 ├─────────────────┼──────────────────────────────────────────────────────────┤
 │ Column 2        │ counter (DeltaRle encoded i32)                           │
@@ -408,8 +406,6 @@ Fractional indexes are prefix-compressed:
 ┌────────────────────────────────────────────────────────────────────────────┐
 │                    PositionArena (serde_columnar)                           │
 ├─────────────────┬──────────────────────────────────────────────────────────┤
-│ varint          │ Number of positions (N)                                  │
-├─────────────────┼──────────────────────────────────────────────────────────┤
 │ Column 1        │ common_prefix_length (Rle encoded usize)                 │
 │                 │   Bytes shared with previous position                    │
 ├─────────────────┼──────────────────────────────────────────────────────────┤

docs/encoding-xxhash32.md

@@ -134,19 +134,19 @@ xxHash32(new Uint8Array([]), 0) === 0x02CC5D05  // 46947589
 const LORO_SEED = 0x4F524F4C;
 
 // Empty with LORO seed
-xxHash32(new Uint8Array([]), LORO_SEED) === 0x30CFEAB0  // 819588784
+xxHash32(new Uint8Array([]), LORO_SEED) === 0xDC3BF95A  // 3694917978
 
 // Single byte
-xxHash32(new Uint8Array([0x00]), LORO_SEED) === 0x71B1D100  // 1907421440
+xxHash32(new Uint8Array([0x00]), LORO_SEED) === 0xDAD9F666  // 3671717478
 
 // "loro" (4 bytes)
-xxHash32(new Uint8Array([0x6C, 0x6F, 0x72, 0x6F]), LORO_SEED) === 0x9B07EF77  // 2601328503
+xxHash32(new Uint8Array([0x6C, 0x6F, 0x72, 0x6F]), LORO_SEED) === 0x74D321EA  // 1959993834
 
 // 16 bytes (triggers block processing)
 xxHash32(new Uint8Array([
   0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
   0x08, 0x09, 0x0A, 0x0B, 0x0C, 0x0D, 0x0E, 0x0F
-]), LORO_SEED) === 0xE5AA0AB4  // 3853614772
+]), LORO_SEED) === 0x2EDAB25F  // 786084447
 ```
 
 ## Usage in Loro Checksum Verification

docs/encoding.md

@@ -678,7 +678,7 @@ Loro uses a tagged value encoding system where each value is prefixed with a typ
 | 4 | F64 | 64-bit floating point (big-endian) |
 | 5 | Str | String value (LEB128 len + UTF-8 bytes) |
 | 6 | Binary | Binary data (LEB128 len + bytes) |
-| 7 | ContainerType | Container type marker (LEB128 index) |
+| 7 | ContainerType | Container index (LEB128 unsigned) |
 | 8 | DeleteOnce | Single deletion marker |
 | 9 | DeleteSeq | Sequence deletion |
 | 10 | DeltaInt | Delta-encoded i32 (LEB128 signed) |
@@ -687,7 +687,7 @@ Loro uses a tagged value encoding system where each value is prefixed with a typ
 | 13 | TreeMove | Tree node move operation |
 | 14 | ListMove | List move operation |
 | 15 | ListSet | List set operation |
-| 16 | RawTreeMove | Raw tree move (internal) |
+| 16 | RawTreeMove | Raw tree move (used for Tree ops in Change Blocks) |
 | 0x80+ | Future | Unknown/future value types |
 
 **Source**: `crates/loro-internal/src/encoding/value.rs:39-161`
@@ -788,6 +788,28 @@ Common patterns:
 **Source**: `crates/loro-internal/src/encoding/value.rs:480-485` (EncodedTreeMove struct)
 **Source**: `crates/loro-internal/src/encoding/value.rs:953-967` (read_tree_move)
 
+#### RawTreeMove
+
+This encoding is used by Change Blocks for Tree operations (Create/Move/Delete).
+
+```
+┌──────────────────────────────────────────────────────────────────┐
+│                    RawTreeMove Encoding                           │
+├───────────────┬──────────────────────────────────────────────────┤
+│ LEB128        │ subject_peer_idx (index into peers)              │
+│ LEB128        │ subject_cnt (TreeID counter)                     │
+│ LEB128        │ position_idx (index into positions)              │
+│ 1             │ is_parent_null (u8 as bool)                      │
+│ LEB128        │ parent_peer_idx (only if !is_parent_null)        │
+│ LEB128        │ parent_cnt (only if !is_parent_null)             │
+└───────────────┴──────────────────────────────────────────────────┘
+```
+
+**Source**: `crates/loro-internal/src/encoding/value.rs:470-477` (RawTreeMove struct)
+**Source**: `crates/loro-internal/src/encoding/value.rs:969-987` (read_raw_tree_move)
+**Source**: `crates/loro-internal/src/encoding/value.rs:1122-1136` (write_raw_tree_move)
+**Source**: `crates/loro-internal/src/oplog/change_store/block_encode.rs:316-370` (TreeOp → RawTreeMove)
+
 #### ListMove
 
 ```
@@ -1638,7 +1660,7 @@ To implement a complete Loro decoder/encoder, you need to handle:
 - [x] ContainerID encoding/decoding
 - [x] ContainerWrapper encoding/decoding
 - [x] Change Block full parsing
-- [x] ContainerArena encoding/decoding (serde_columnar)
+- [x] ContainerArena encoding/decoding (postcard Vec)
 - [x] PositionArena encoding/decoding (prefix compression)
 - [x] Value encoding/decoding for all types
 - [x] serde_columnar compatible decoder