Expand description
Snapshot wire types and chunk codec for array CRDT sync.
A TileSnapshot captures the full state of a tile coord-range at a
specific HLC. Snapshots are used for catch-up replication (first connect,
long disconnect, after log GC) so receivers can resume the op-stream from
TileSnapshot::snapshot_hlc without replaying the full op history.
The actual snapshot builder (which walks engine state) lands in Phase F (Origin). This file ships only the wire shape and the streaming chunk codec.
Structs§
- Coord
Range - A half-open coordinate range
[lo, hi). - Snapshot
Chunk - One chunk of a streaming
TileSnapshot. - Snapshot
Header - Metadata header sent before the chunk stream begins.
- Tile
Snapshot - Full state snapshot for a tile coord-range at a specific HLC.
Traits§
- Snapshot
Sink - Receiver for completed snapshots during GC compaction.
Functions§
- assemble_
chunks - Reassemble a
TileSnapshotfrom a header and a slice of chunks. - decode_
snapshot - Decode a
TileSnapshotfrom MessagePack bytes produced byencode_snapshot. - encode_
snapshot - Encode a
TileSnapshotto MessagePack bytes. - split_
into_ chunks - Split a
TileSnapshotinto a header plus a sequence of fixed-size chunks.